runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/inescp-1.0/randc192b7.cudf.easy.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/easy//randc192b7.cudf /home/misc2010/tmp/201007050905/inescp-1.0/randc192b7.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.20 1.18 1.10 5/38 30298 /proc/meminfo: memFree=473476/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) S 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=3868 CPUtime=0 /proc/30298/stat : 30298 (cudf-solver.py) R 30297 30297 24102 769 24102 4202496 684 0 0 0 0 0 0 0 25 0 1 0 525197043 3960832 582 1283457024 134512640 135539072 4293839392 18446744073709551615 134598678 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/30298/statm: 967 582 331 251 0 268 0 [startup+0.187544 s] /proc/loadavg: 1.20 1.18 1.10 5/38 30298 /proc/meminfo: memFree=473476/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) S 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=4004 CPUtime=0 /proc/30298/stat : 30298 (cudf-solver.py) S 30297 30297 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525197043 4100096 644 1283457024 134512640 135539072 4293839392 18446744073709551615 4158986654 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30298/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6392 [startup+0.207549 s] /proc/loadavg: 1.20 1.18 1.10 5/38 30298 /proc/meminfo: memFree=473476/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) S 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=4004 CPUtime=0 /proc/30298/stat : 30298 (cudf-solver.py) S 30297 30297 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525197043 4100096 644 1283457024 134512640 135539072 4293839392 18446744073709551615 4158986654 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30298/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6392 [startup+0.307564 s] /proc/loadavg: 1.20 1.18 1.10 5/38 30298 /proc/meminfo: memFree=473476/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) S 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=4004 CPUtime=0 /proc/30298/stat : 30298 (cudf-solver.py) S 30297 30297 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525197043 4100096 644 1283457024 134512640 135539072 4293839392 18446744073709551615 4158986654 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30298/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6392 [startup+0.707684 s] /proc/loadavg: 1.20 1.18 1.10 5/38 30298 /proc/meminfo: memFree=473476/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) S 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=4004 CPUtime=0 /proc/30298/stat : 30298 (cudf-solver.py) S 30297 30297 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525197043 4100096 644 1283457024 134512640 135539072 4293839392 18446744073709551615 4158986654 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30298/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6392 [startup+1.5079 s] /proc/loadavg: 1.20 1.18 1.10 3/48 30308 /proc/meminfo: memFree=438832/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) S 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=4004 CPUtime=0 /proc/30298/stat : 30298 (cudf-solver.py) S 30297 30297 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525197043 4100096 644 1283457024 134512640 135539072 4293839392 18446744073709551615 4158986654 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30298/statm: 1001 644 348 251 0 302 0 [pid=30300] ppid=30298 vsize=865476 CPUtime=1.49 /proc/30300/stat : 30300 (java) S 30298 30297 24102 769 24102 4202496 15707 0 1 0 141 8 0 0 25 0 9 0 525197044 886247424 14296 1283457024 134512640 134550932 4287324960 18446744073709551615 4160193682 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30300/statm: 216369 14296 2715 10 0 210707 0 [pid=30300/tid=30301] ppid=30298 vsize=865476 CPUtime=0.92 /proc/30300/task/30301/stat : 30301 (java) R 30298 30297 24102 769 24102 4202560 3369 0 1 0 90 2 0 0 25 0 9 0 525197045 886247424 14296 1283457024 134512640 134550932 4287324960 18446744073709551615 4124424659 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30300/tid=30302] ppid=30298 vsize=865476 CPUtime=0.5 /proc/30300/task/30302/stat : 30302 (java) S 30298 30297 24102 769 24102 4202560 10829 0 0 0 44 6 0 0 17 0 9 0 525197045 886247424 14296 1283457024 134512640 134550932 4287324960 18446744073709551615 4160207880 0 0 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=30300/tid=30303] ppid=30298 vsize=865476 CPUtime=0 /proc/30300/task/30303/stat : 30303 (java) S 30298 30297 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 525197045 886247424 14296 1283457024 134512640 134550932 4287324960 18446744073709551615 4160207088 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=30300/tid=30304] ppid=30298 vsize=865476 CPUtime=0 /proc/30300/task/30304/stat : 30304 (java) S 30298 30297 24102 769 24102 4202560 8 0 0 0 0 0 0 0 16 0 9 0 525197046 886247424 14296 1283457024 134512640 134550932 4287324960 18446744073709551615 4160207088 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=30300/tid=30305] ppid=30298 vsize=865476 CPUtime=0 /proc/30300/task/30305/stat : 30305 (java) S 30298 30297 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525197046 886247424 14296 1283457024 134512640 134550932 4287324960 18446744073709551615 4160215376 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=30300/tid=30306] ppid=30298 vsize=865476 CPUtime=0.05 /proc/30300/task/30306/stat : 30306 (java) R 30298 30297 24102 769 24102 4202560 393 0 0 0 5 0 0 0 19 0 9 0 525197046 886247424 14296 1283457024 134512640 134550932 4287324960 18446744073709551615 101699927 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30300/tid=30307] ppid=30298 vsize=865476 CPUtime=0 /proc/30300/task/30307/stat : 30307 (java) S 30298 30297 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525197046 886247424 14296 1283457024 134512640 134550932 4287324960 18446744073709551615 4160207088 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=30300/tid=30308] ppid=30298 vsize=865476 CPUtime=0 /proc/30300/task/30308/stat : 30308 (java) S 30298 30297 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 9 0 525197046 886247424 14296 1283457024 134512640 134550932 4287324960 18446744073709551615 4160207880 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 871868 [startup+3.10982 s] /proc/loadavg: 1.20 1.18 1.10 2/41 30311 /proc/meminfo: memFree=469508/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) S 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=4004 CPUtime=2.28 /proc/30298/stat : 30298 (cudf-solver.py) S 30297 30297 24102 769 24102 4202496 808 18869 0 1 0 0 206 22 17 0 1 0 525197043 4100096 644 1283457024 134512640 135539072 4293839392 18446744073709551615 4158986654 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30298/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 6392 heavy processes: [startup+6.31066 s] /proc/loadavg: 1.18 1.18 1.10 2/41 30313 /proc/meminfo: memFree=445328/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) S 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=4004 CPUtime=2.28 /proc/30298/stat : 30298 (cudf-solver.py) S 30297 30297 24102 769 24102 4202496 808 18869 0 1 0 0 206 22 17 0 1 0 525197043 4100096 644 1283457024 134512640 135539072 4293839392 18446744073709551615 4158986654 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30298/statm: 1001 644 348 251 0 302 0 [pid=30312] ppid=30298 vsize=2896 CPUtime=0 /proc/30312/stat : 30312 (sh) S 30298 30297 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 525197274 2965504 325 1283457024 134512640 135191968 4294019728 18446744073709551615 4159097246 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30312/statm: 724 325 221 166 0 156 0 [pid=30313] ppid=30312 vsize=26484 CPUtime=3.99 /proc/30313/stat : 30313 (msuncore) R 30312 30297 24102 769 24102 4202496 16350 0 0 0 394 5 0 0 25 0 1 0 525197274 27119616 6390 1283457024 134512640 135858300 4288273728 18446744073709551615 134620115 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/30313/statm: 6621 6390 137 329 0 6290 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 35772 Solver just ended. Dumping a history of the last processes samples [startup+6.41069 s] /proc/loadavg: 1.18 1.18 1.10 2/41 30313 /proc/meminfo: memFree=445328/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) S 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=4004 CPUtime=2.28 /proc/30298/stat : 30298 (cudf-solver.py) S 30297 30297 24102 769 24102 4202496 808 18869 0 1 0 0 206 22 17 0 1 0 525197043 4100096 644 1283457024 134512640 135539072 4293839392 18446744073709551615 4158986654 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/30298/statm: 1001 644 348 251 0 302 0 [pid=30312] ppid=30298 vsize=2896 CPUtime=0 /proc/30312/stat : 30312 (sh) S 30298 30297 24102 769 24102 4194304 361 0 0 0 0 0 0 0 17 0 1 0 525197274 2965504 325 1283457024 134512640 135191968 4294019728 18446744073709551615 4159097246 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30312/statm: 724 325 221 166 0 156 0 [pid=30313] ppid=30312 vsize=26484 CPUtime=4.09 /proc/30313/stat : 30313 (msuncore) R 30312 30297 24102 769 24102 4202496 16350 0 0 0 404 5 0 0 25 0 1 0 525197274 27119616 6390 1283457024 134512640 135858300 4288273728 18446744073709551615 134665154 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/30313/statm: 6621 6390 137 329 0 6290 0 Current children cumulated CPU time (s) 6.37 Current children cumulated vsize (KiB) 35772 [startup+6.64793 s] /proc/loadavg: 1.18 1.18 1.10 3/39 30314 /proc/meminfo: memFree=473632/1048576 swapFree=2095456/2097144 [pid=30297] ppid=30296 vsize=2388 CPUtime=0 /proc/30297/stat : 30297 (inescp-1.0) R 30296 30297 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 525197043 2445312 261 1283457024 134512640 135191968 4289529344 18446744073709551615 4159601054 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/30297/statm: 597 261 222 166 0 29 0 [pid=30298] ppid=30297 vsize=0 CPUtime=6.6 /proc/30298/stat : 30298 (cudf-solver.py) Z 30297 30297 24102 769 24102 4202508 2409 36075 0 1 8 0 624 28 15 0 1 0 525197043 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/30298/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.6 Current children cumulated vsize (KiB) 2388 Child status: 0 Real time (s): 6.6502 CPU time (s): 6.62041 CPU user time (s): 6.3284 CPU system time (s): 0.292018 CPU usage (%): 99.5521 Max. virtual memory (cumulated for all children) (KiB): 872188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.32839 system time used= 0.292018 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38858 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1084 involuntary context switches= 1116 runsolver used 0 second user time and 0 second system time The end