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/rand5619c8.cudf.easy.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/easy//rand5619c8.cudf /home/misc2010/tmp/201007050905/inescp-1.0/rand5619c8.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.13 1.15 0.74 2/38 26367 /proc/meminfo: memFree=460224/1048576 swapFree=2095456/2097144 [pid=26365] ppid=26364 vsize=2380 CPUtime=0 /proc/26365/stat : 26365 (inescp-1.0) S 26364 26365 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525013590 2437120 259 1283457024 134512640 135191968 4293251456 18446744073709551615 4159195550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26365/statm: 595 259 222 166 0 27 0 [pid=26366] ppid=26365 vsize=4008 CPUtime=0 /proc/26366/stat : 26366 (cudf-solver.py) S 26365 26365 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525013590 4104192 644 1283457024 134512640 135539072 4288560400 18446744073709551615 4159252894 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26366/statm: 1002 644 348 251 0 303 0 [pid=26367] ppid=26366 vsize=2900 CPUtime=0 /proc/26367/stat : 26367 (sh) D 26366 26365 24102 769 24102 4194304 343 0 0 0 0 0 0 0 25 0 1 0 525013591 2969600 323 1283457024 134512640 135191968 4292040832 18446744073709551615 4159661098 0 0 16781312 0 18446744071564252162 0 0 17 0 0 0 0 /proc/26367/statm: 725 323 219 166 0 157 0 [startup+0.152957 s] /proc/loadavg: 1.13 1.15 0.74 2/38 26367 /proc/meminfo: memFree=460224/1048576 swapFree=2095456/2097144 [pid=26365] ppid=26364 vsize=2380 CPUtime=0 /proc/26365/stat : 26365 (inescp-1.0) S 26364 26365 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525013590 2437120 259 1283457024 134512640 135191968 4293251456 18446744073709551615 4159195550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26365/statm: 595 259 222 166 0 27 0 [pid=26366] ppid=26365 vsize=4008 CPUtime=0 /proc/26366/stat : 26366 (cudf-solver.py) S 26365 26365 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525013590 4104192 644 1283457024 134512640 135539072 4288560400 18446744073709551615 4159252894 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26366/statm: 1002 644 348 251 0 303 0 [pid=26367] ppid=26366 vsize=862664 CPUtime=0.05 /proc/26367/stat : 26367 (java) S 26366 26365 24102 769 24102 4202496 3246 0 1 0 5 0 0 0 25 0 9 0 525013591 883367936 2447 1283457024 134512640 134550932 4289568064 18446744073709551615 4159911058 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26367/statm: 215666 2447 1202 10 0 210406 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 869052 [startup+0.202972 s] /proc/loadavg: 1.13 1.15 0.74 2/38 26367 /proc/meminfo: memFree=460224/1048576 swapFree=2095456/2097144 [pid=26365] ppid=26364 vsize=2380 CPUtime=0 /proc/26365/stat : 26365 (inescp-1.0) S 26364 26365 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525013590 2437120 259 1283457024 134512640 135191968 4293251456 18446744073709551615 4159195550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26365/statm: 595 259 222 166 0 27 0 [pid=26366] ppid=26365 vsize=4008 CPUtime=0 /proc/26366/stat : 26366 (cudf-solver.py) S 26365 26365 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525013590 4104192 644 1283457024 134512640 135539072 4288560400 18446744073709551615 4159252894 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26366/statm: 1002 644 348 251 0 303 0 [pid=26367] ppid=26366 vsize=864476 CPUtime=0.07 /proc/26367/stat : 26367 (java) S 26366 26365 24102 769 24102 4202496 4135 0 1 0 7 0 0 0 25 0 9 0 525013591 885223424 3259 1283457024 134512640 134550932 4289568064 18446744073709551615 4159911058 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26367/statm: 216119 3259 1728 10 0 210457 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 870864 [startup+0.309121 s] /proc/loadavg: 1.13 1.15 0.74 2/38 26367 /proc/meminfo: memFree=460224/1048576 swapFree=2095456/2097144 [pid=26365] ppid=26364 vsize=2380 CPUtime=0 /proc/26365/stat : 26365 (inescp-1.0) S 26364 26365 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525013590 2437120 259 1283457024 134512640 135191968 4293251456 18446744073709551615 4159195550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26365/statm: 595 259 222 166 0 27 0 [pid=26366] ppid=26365 vsize=4008 CPUtime=0 /proc/26366/stat : 26366 (cudf-solver.py) S 26365 26365 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525013590 4104192 644 1283457024 134512640 135539072 4288560400 18446744073709551615 4159252894 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26366/statm: 1002 644 348 251 0 303 0 [pid=26367] ppid=26366 vsize=864476 CPUtime=0.14 /proc/26367/stat : 26367 (java) S 26366 26365 24102 769 24102 4202496 4603 0 1 0 14 0 0 0 25 0 9 0 525013591 885223424 3676 1283457024 134512640 134550932 4289568064 18446744073709551615 4159911058 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26367/statm: 216119 3676 1892 10 0 210457 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 870864 [startup+0.712108 s] /proc/loadavg: 1.13 1.15 0.74 2/38 26367 /proc/meminfo: memFree=460224/1048576 swapFree=2095456/2097144 [pid=26365] ppid=26364 vsize=2380 CPUtime=0 /proc/26365/stat : 26365 (inescp-1.0) S 26364 26365 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525013590 2437120 259 1283457024 134512640 135191968 4293251456 18446744073709551615 4159195550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26365/statm: 595 259 222 166 0 27 0 [pid=26366] ppid=26365 vsize=4008 CPUtime=0 /proc/26366/stat : 26366 (cudf-solver.py) S 26365 26365 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525013590 4104192 644 1283457024 134512640 135539072 4288560400 18446744073709551615 4159252894 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26366/statm: 1002 644 348 251 0 303 0 [pid=26367] ppid=26366 vsize=864796 CPUtime=0.54 /proc/26367/stat : 26367 (java) S 26366 26365 24102 769 24102 4202496 7554 0 1 0 53 1 0 0 25 0 9 0 525013591 885551104 6440 1283457024 134512640 134550932 4289568064 18446744073709551615 4159911058 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26367/statm: 216199 6440 2715 10 0 210537 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 871184 [startup+1.51234 s] /proc/loadavg: 1.13 1.15 0.74 3/47 26376 /proc/meminfo: memFree=428060/1048576 swapFree=2095456/2097144 [pid=26365] ppid=26364 vsize=2380 CPUtime=0 /proc/26365/stat : 26365 (inescp-1.0) S 26364 26365 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525013590 2437120 259 1283457024 134512640 135191968 4293251456 18446744073709551615 4159195550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26365/statm: 595 259 222 166 0 27 0 [pid=26366] ppid=26365 vsize=4008 CPUtime=0 /proc/26366/stat : 26366 (cudf-solver.py) S 26365 26365 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525013590 4104192 644 1283457024 134512640 135539072 4288560400 18446744073709551615 4159252894 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26366/statm: 1002 644 348 251 0 303 0 [pid=26367] ppid=26366 vsize=865492 CPUtime=1.33 /proc/26367/stat : 26367 (java) S 26366 26365 24102 769 24102 4202496 15544 0 1 0 126 7 0 0 25 0 9 0 525013591 886263808 14134 1283457024 134512640 134550932 4289568064 18446744073709551615 4159911058 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26367/statm: 216373 14134 2716 10 0 210711 0 [pid=26367/tid=26369] ppid=26366 vsize=865492 CPUtime=0.82 /proc/26367/task/26369/stat : 26369 (java) R 26366 26365 24102 769 24102 4202560 3233 0 1 0 81 1 0 0 25 0 9 0 525013597 886263808 14134 1283457024 134512640 134550932 4289568064 18446744073709551615 4159935175 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26367/tid=26370] ppid=26366 vsize=865492 CPUtime=0.46 /proc/26367/task/26370/stat : 26370 (java) R 26366 26365 24102 769 24102 4202560 10786 0 0 0 40 6 0 0 17 0 9 0 525013599 886263808 14134 1283457024 134512640 134550932 4289568064 18446744073709551615 103825730 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26367/tid=26371] ppid=26366 vsize=865492 CPUtime=0 /proc/26367/task/26371/stat : 26371 (java) S 26366 26365 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 525013599 886263808 14134 1283457024 134512640 134550932 4289568064 18446744073709551615 4159924464 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=26367/tid=26372] ppid=26366 vsize=865492 CPUtime=0 /proc/26367/task/26372/stat : 26372 (java) S 26366 26365 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 9 0 525013599 886263808 14134 1283457024 134512640 134550932 4289568064 18446744073709551615 4159924464 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=26367/tid=26373] ppid=26366 vsize=865492 CPUtime=0 /proc/26367/task/26373/stat : 26373 (java) S 26366 26365 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525013600 886263808 14134 1283457024 134512640 134550932 4289568064 18446744073709551615 4159932752 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=26367/tid=26374] ppid=26366 vsize=865492 CPUtime=0.04 /proc/26367/task/26374/stat : 26374 (java) S 26366 26365 24102 769 24102 4202560 409 0 0 0 4 0 0 0 16 0 9 0 525013600 886263808 14134 1283457024 134512640 134550932 4289568064 18446744073709551615 4159924464 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=26367/tid=26375] ppid=26366 vsize=865492 CPUtime=0 /proc/26367/task/26375/stat : 26375 (java) S 26366 26365 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525013600 886263808 14134 1283457024 134512640 134550932 4289568064 18446744073709551615 4159924464 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=26367/tid=26376] ppid=26366 vsize=865492 CPUtime=0 /proc/26367/task/26376/stat : 26376 (java) S 26366 26365 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 9 0 525013601 886263808 14134 1283457024 134512640 134550932 4289568064 18446744073709551615 4159925256 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 871880 [startup+3.10522 s] /proc/loadavg: 1.13 1.15 0.74 2/40 26379 /proc/meminfo: memFree=453904/1048576 swapFree=2095456/2097144 [pid=26365] ppid=26364 vsize=2380 CPUtime=0 /proc/26365/stat : 26365 (inescp-1.0) S 26364 26365 24102 769 24102 4194304 361 0 0 0 0 0 0 0 25 0 1 0 525013590 2437120 259 1283457024 134512640 135191968 4293251456 18446744073709551615 4159195550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26365/statm: 595 259 222 166 0 27 0 [pid=26366] ppid=26365 vsize=4008 CPUtime=2.22 /proc/26366/stat : 26366 (cudf-solver.py) S 26365 26365 24102 769 24102 4202496 807 18871 0 1 0 0 202 20 17 0 1 0 525013590 4104192 644 1283457024 134512640 135539072 4288560400 18446744073709551615 4159252894 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/26366/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 6388 heavy processes: [startup+6.31435 s] /proc/loadavg: 1.12 1.15 0.74 2/40 26381 /proc/meminfo: memFree=426872/1048576 swapFree=2095456/2097144 [pid=26365] ppid=26364 vsize=2380 CPUtime=0 /proc/26365/stat : 26365 (inescp-1.0) R 26364 26365 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525013590 2437120 259 1283457024 134512640 135191968 4293251456 18446744073709551615 4159195550 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/26365/statm: 595 259 222 166 0 27 0 [pid=26366] ppid=26365 vsize=0 CPUtime=6.06 /proc/26366/stat : 26366 (cudf-solver.py) Z 26365 26365 24102 769 24102 4202508 2401 39367 0 1 9 0 567 30 15 0 1 0 525013590 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26366/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 2380 Solver just ended. Dumping a history of the last processes samples [startup+6.31435 s] /proc/loadavg: 1.12 1.15 0.74 2/40 26381 /proc/meminfo: memFree=426872/1048576 swapFree=2095456/2097144 [pid=26365] ppid=26364 vsize=2380 CPUtime=0 /proc/26365/stat : 26365 (inescp-1.0) R 26364 26365 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525013590 2437120 259 1283457024 134512640 135191968 4293251456 18446744073709551615 4159195550 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/26365/statm: 595 259 222 166 0 27 0 [pid=26366] ppid=26365 vsize=0 CPUtime=6.06 /proc/26366/stat : 26366 (cudf-solver.py) Z 26365 26365 24102 769 24102 4202508 2401 39367 0 1 9 0 567 30 15 0 1 0 525013590 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26366/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 2380 Child status: 0 Real time (s): 6.31509 CPU time (s): 6.08438 CPU user time (s): 5.76836 CPU system time (s): 0.316019 CPU usage (%): 96.3466 Max. virtual memory (cumulated for all children) (KiB): 872200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.76836 system time used= 0.316019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42139 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= 1203 involuntary context switches= 1414 runsolver used 0 second user time and 0 second system time The end