0.00/0.03 c --- Preproc Stats ---
21.57/21.78 c start processing
21.57/21.78 c start relation processing
41.96/42.28 c start cnf exporting
69.62/70.03 c parsing time : 21.664
69.62/70.03 c preprocessing time : 69.918
69.62/70.03
69.62/70.03 c Nary constraints - conflicts : 0 supports : 56
69.62/70.03 c Binary constraints - conflicts : 0 supports :0
69.62/70.03 c max arity constraint : 7
69.62/70.03 c Max Tuples generated 0
69.62/70.03 c relations : 56
69.62/70.03 c relations BDD: 56
69.62/70.03 c sampling 0/0
69.62/70.03 c vars : 211587 - clauses : 826604
69.62/70.03
69.69/70.13
69.69/70.13 c --- SAT Solver Stats ---
69.69/70.13
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093310-1215249539/watcher-1093310-1215249539 -o /tmp/evaluation-result-1093310-1215249539/solver-1093310-1215249539 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1093310-1215249539.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 26420
/proc/meminfo: memFree=1612640/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=8652 CPUtime=0
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 346 0 0 0 0 0 0 0 18 0 1 0 265896861 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/26420/statm: 2163 280 208 79 0 156 0
[pid=26421] ppid=26420 vsize=8688 CPUtime=0
/proc/26421/stat : 26421 (galacM.sh) S 26420 26420 26276 0 -1 4194368 36 0 0 0 0 0 0 0 18 0 1 0 265896861 8896512 286 996147200 4194304 4520092 548682068832 18446744073709551615 214945202258 0 0 4096 73728 18446744071563648864 0 0 17 0 0 0
/proc/26421/statm: 2172 286 209 79 0 165 0
[pid=26422] ppid=26421 vsize=8728 CPUtime=0
/proc/26422/stat : 26422 (galacM.sh) R 26421 26420 26276 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 1 0 265896861 8937472 290 996147200 4194304 4520092 548682068832 18446744073709551615 214945033511 0 0 3674112 73728 0 0 0 17 1 0 0
/proc/26422/statm: 2182 290 209 79 0 175 0
[startup+0.0736069 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 26420
/proc/meminfo: memFree=1612640/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=0.02
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 765 1858 0 0 0 1 0 1 18 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47564
[startup+0.101622 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 26420
/proc/meminfo: memFree=1612640/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=0.02
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 765 1858 0 0 0 1 0 1 18 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47564
[startup+0.301659 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 26420
/proc/meminfo: memFree=1612640/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=0.02
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 765 1858 0 0 0 1 0 1 18 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47564
[startup+0.701738 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 26420
/proc/meminfo: memFree=1612640/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=0.02
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 765 1858 0 0 0 1 0 1 18 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47564
[startup+1.50294 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 26442
/proc/meminfo: memFree=1533520/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=0.02
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 765 1858 0 0 0 1 0 1 18 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26434] ppid=26420 vsize=812420 CPUtime=1.45
/proc/26434/stat : 26434 (java) S 26420 26420 26276 0 -1 0 24450 0 1 0 132 13 0 0 18 0 9 0 265896864 831918080 23876 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26434/statm: 203105 23876 1882 9 0 197138 0
[pid=26434/tid=26435] ppid=26420 vsize=812420 CPUtime=1.22
/proc/26434/task/26435/stat : 26435 (java) R 26420 26420 26276 0 -1 64 14457 0 1 0 115 7 0 0 25 0 9 0 265896865 831918080 23876 996147200 134512640 134550740 4294955600 18446744073709551615 4126752433 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26436] ppid=26420 vsize=812420 CPUtime=0.09
/proc/26434/task/26436/stat : 26436 (java) S 26420 26420 26276 0 -1 64 8543 0 0 0 5 4 0 0 16 0 9 0 265896867 831918080 23876 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26437] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26437/stat : 26437 (java) S 26420 26420 26276 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 265896867 831918080 23876 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26438] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26438/stat : 26438 (java) S 26420 26420 26276 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 265896867 831918080 23876 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26439] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26439/stat : 26439 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 265896869 831918080 23876 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26440] ppid=26420 vsize=812420 CPUtime=0.11
/proc/26434/task/26440/stat : 26440 (java) S 26420 26420 26276 0 -1 64 752 0 0 0 11 0 0 0 16 0 9 0 265896869 831918080 23876 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26441] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26441/stat : 26441 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 265896869 831918080 23876 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26442] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26442/stat : 26442 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 265896869 831918080 23876 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 859984
[startup+3.10221 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 26442
/proc/meminfo: memFree=1517904/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=0.02
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 765 1858 0 0 0 1 0 1 18 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26434] ppid=26420 vsize=812420 CPUtime=3.04
/proc/26434/stat : 26434 (java) S 26420 26420 26276 0 -1 0 28234 0 1 0 289 15 0 0 18 0 9 0 265896864 831918080 27655 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26434/statm: 203105 27655 1882 9 0 197138 0
[pid=26434/tid=26435] ppid=26420 vsize=812420 CPUtime=2.68
/proc/26434/task/26435/stat : 26435 (java) R 26420 26420 26276 0 -1 64 14462 0 1 0 261 7 0 0 25 0 9 0 265896865 831918080 27655 996147200 134512640 134550740 4294955600 18446744073709551615 4126650580 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26436] ppid=26420 vsize=812420 CPUtime=0.22
/proc/26434/task/26436/stat : 26436 (java) S 26420 26420 26276 0 -1 64 12322 0 0 0 16 6 0 0 16 0 9 0 265896867 831918080 27655 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26437] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26437/stat : 26437 (java) S 26420 26420 26276 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 265896867 831918080 27655 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26438] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26438/stat : 26438 (java) S 26420 26420 26276 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 265896867 831918080 27655 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26439] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26439/stat : 26439 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 265896869 831918080 27655 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26440] ppid=26420 vsize=812420 CPUtime=0.11
/proc/26434/task/26440/stat : 26440 (java) S 26420 26420 26276 0 -1 64 752 0 0 0 11 0 0 0 16 0 9 0 265896869 831918080 27655 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26441] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26441/stat : 26441 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 265896869 831918080 27655 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26442] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26442/stat : 26442 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 265896869 831918080 27655 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 859984
[startup+6.30283 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 26442
/proc/meminfo: memFree=1485712/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=0.02
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 765 1858 0 0 0 1 0 1 18 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26434] ppid=26420 vsize=812420 CPUtime=6.23
/proc/26434/stat : 26434 (java) S 26420 26420 26276 0 -1 0 36178 0 1 0 604 19 0 0 18 0 9 0 265896864 831918080 35589 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26434/statm: 203105 35589 1882 9 0 197138 0
[pid=26434/tid=26435] ppid=26420 vsize=812420 CPUtime=5.62
/proc/26434/task/26435/stat : 26435 (java) R 26420 26420 26276 0 -1 64 14472 0 1 0 554 8 0 0 25 0 9 0 265896865 831918080 35589 996147200 134512640 134550740 4294955600 18446744073709551615 4126666358 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26436] ppid=26420 vsize=812420 CPUtime=0.44
/proc/26434/task/26436/stat : 26436 (java) S 26420 26420 26276 0 -1 64 20250 0 0 0 36 8 0 0 16 0 9 0 265896867 831918080 35589 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26437] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26437/stat : 26437 (java) S 26420 26420 26276 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 265896867 831918080 35589 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26438] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26438/stat : 26438 (java) S 26420 26420 26276 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 265896867 831918080 35589 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26439] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26439/stat : 26439 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 265896869 831918080 35589 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26440] ppid=26420 vsize=812420 CPUtime=0.12
/proc/26434/task/26440/stat : 26440 (java) S 26420 26420 26276 0 -1 64 758 0 0 0 12 0 0 0 16 0 9 0 265896869 831918080 35589 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26441] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26441/stat : 26441 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 265896869 831918080 35589 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26442] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26442/stat : 26442 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 265896869 831918080 35589 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 859984
[startup+12.7021 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 26442
/proc/meminfo: memFree=1415952/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=0.02
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 765 1858 0 0 0 1 0 1 18 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26434] ppid=26420 vsize=812420 CPUtime=12.59
/proc/26434/stat : 26434 (java) S 26420 26420 26276 0 -1 0 53080 0 1 0 1232 27 0 0 18 0 9 0 265896864 831918080 52472 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26434/statm: 203105 52472 1883 9 0 197138 0
[pid=26434/tid=26435] ppid=26420 vsize=812420 CPUtime=11.47
/proc/26434/task/26435/stat : 26435 (java) R 26420 26420 26276 0 -1 64 14491 0 1 0 1137 10 0 0 25 0 9 0 265896865 831918080 52472 996147200 134512640 134550740 4294955600 18446744073709551615 4126663432 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26436] ppid=26420 vsize=812420 CPUtime=0.95
/proc/26434/task/26436/stat : 26436 (java) S 26420 26420 26276 0 -1 64 37120 0 0 0 79 16 0 0 16 0 9 0 265896867 831918080 52472 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26437] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26437/stat : 26437 (java) S 26420 26420 26276 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 265896867 831918080 52472 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26438] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26438/stat : 26438 (java) S 26420 26420 26276 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 265896867 831918080 52472 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26439] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26439/stat : 26439 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 265896869 831918080 52472 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26440] ppid=26420 vsize=812420 CPUtime=0.14
/proc/26434/task/26440/stat : 26440 (java) S 26420 26420 26276 0 -1 64 771 0 0 0 14 0 0 0 16 0 9 0 265896869 831918080 52472 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26441] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26441/stat : 26441 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 265896869 831918080 52472 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26442] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26442/stat : 26442 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 265896869 831918080 52472 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 859984
[startup+25.5015 s]
/proc/loadavg: 2.15 2.03 2.01 3/83 26442
/proc/meminfo: memFree=1304912/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=0.02
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 765 1858 0 0 0 1 0 1 18 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26434] ppid=26420 vsize=812420 CPUtime=25.32
/proc/26434/stat : 26434 (java) S 26420 26420 26276 0 -1 0 79140 0 1 0 2489 43 0 0 18 0 9 0 265896864 831918080 78499 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26434/statm: 203105 78499 1891 9 0 197138 0
[pid=26434/tid=26435] ppid=26420 vsize=812420 CPUtime=23.28
/proc/26434/task/26435/stat : 26435 (java) R 26420 26420 26276 0 -1 64 14541 0 1 0 2316 12 0 0 25 0 9 0 265896865 831918080 78499 996147200 134512640 134550740 4294955600 18446744073709551615 4126880871 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26436] ppid=26420 vsize=812420 CPUtime=1.81
/proc/26434/task/26436/stat : 26436 (java) S 26420 26420 26276 0 -1 64 63103 0 0 0 152 29 0 0 17 0 9 0 265896867 831918080 78499 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26437] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26437/stat : 26437 (java) S 26420 26420 26276 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 265896867 831918080 78499 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26438] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26438/stat : 26438 (java) S 26420 26420 26276 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 265896867 831918080 78499 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26439] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26439/stat : 26439 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 265896869 831918080 78499 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26440] ppid=26420 vsize=812420 CPUtime=0.19
/proc/26434/task/26440/stat : 26440 (java) S 26420 26420 26276 0 -1 64 798 0 0 0 19 0 0 0 15 0 9 0 265896869 831918080 78499 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26441] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26441/stat : 26441 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 265896869 831918080 78499 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26434/tid=26442] ppid=26420 vsize=812420 CPUtime=0
/proc/26434/task/26442/stat : 26442 (java) S 26420 26420 26276 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 265896869 831918080 78499 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
################
# More data... #
################
/proc/26443/statm: 16462 15196 56 152 0 16307 0
Current children cumulated CPU time (s) 1175.83
Current children cumulated vsize (KiB) 113412
[startup+1242.3 s]
/proc/loadavg: 2.15 2.19 2.10 3/76 26472
/proc/meminfo: memFree=1724168/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=66412 CPUtime=1165.61
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 15361 0 0 0 116547 14 0 0 25 0 1 0 265903875 68005888 15342 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 16603 15342 56 152 0 16448 0
Current children cumulated CPU time (s) 1235.34
Current children cumulated vsize (KiB) 113976
[startup+1302.3 s]
/proc/loadavg: 2.10 2.17 2.09 3/76 26472
/proc/meminfo: memFree=1723464/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=66964 CPUtime=1225.14
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 15522 0 0 0 122500 14 0 0 25 0 1 0 265903875 68571136 15503 996147200 134512640 135136200 4294955968 18446744073709551615 134529333 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 16741 15503 56 152 0 16586 0
Current children cumulated CPU time (s) 1294.87
Current children cumulated vsize (KiB) 114528
[startup+1362.3 s]
/proc/loadavg: 2.08 2.15 2.09 3/76 26472
/proc/meminfo: memFree=1722952/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=67652 CPUtime=1284.67
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 15663 0 0 0 128452 15 0 0 25 0 1 0 265903875 69275648 15644 996147200 134512640 135136200 4294955968 18446744073709551615 134529333 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 16913 15644 56 152 0 16758 0
Current children cumulated CPU time (s) 1354.4
Current children cumulated vsize (KiB) 115216
[startup+1422.31 s]
/proc/loadavg: 2.07 2.13 2.09 3/76 26472
/proc/meminfo: memFree=1722312/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=68104 CPUtime=1344.2
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 15798 0 0 0 134405 15 0 0 25 0 1 0 265903875 69738496 15779 996147200 134512640 135136200 4294955968 18446744073709551615 134529431 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 17026 15779 56 152 0 16871 0
Current children cumulated CPU time (s) 1413.93
Current children cumulated vsize (KiB) 115668
[startup+1482.3 s]
/proc/loadavg: 2.06 2.12 2.09 3/76 26472
/proc/meminfo: memFree=1721672/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=68808 CPUtime=1403.72
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 15954 0 0 0 140357 15 0 0 25 0 1 0 265903875 70459392 15935 996147200 134512640 135136200 4294955968 18446744073709551615 134529333 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 17202 15935 56 152 0 17047 0
Current children cumulated CPU time (s) 1473.45
Current children cumulated vsize (KiB) 116372
[startup+1542.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/76 26472
/proc/meminfo: memFree=1721032/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=69488 CPUtime=1463.25
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 16093 0 0 0 146310 15 0 0 25 0 1 0 265903875 71155712 16074 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 17372 16074 56 152 0 17217 0
Current children cumulated CPU time (s) 1532.98
Current children cumulated vsize (KiB) 117052
[startup+1602.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/76 26472
/proc/meminfo: memFree=1720520/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=69916 CPUtime=1522.77
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 16221 0 0 0 152262 15 0 0 25 0 1 0 265903875 71593984 16202 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 17479 16202 56 152 0 17324 0
Current children cumulated CPU time (s) 1592.5
Current children cumulated vsize (KiB) 117480
[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/76 26472
/proc/meminfo: memFree=1720008/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=70460 CPUtime=1582.31
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 16343 0 0 0 158215 16 0 0 25 0 1 0 265903875 72151040 16324 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 17615 16324 56 152 0 17460 0
Current children cumulated CPU time (s) 1652.04
Current children cumulated vsize (KiB) 118024
[startup+1722.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/77 26473
/proc/meminfo: memFree=1719488/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=70896 CPUtime=1641.83
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 16467 0 0 0 164167 16 0 0 25 0 1 0 265903875 72597504 16448 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 17724 16448 56 152 0 17569 0
Current children cumulated CPU time (s) 1711.56
Current children cumulated vsize (KiB) 118460
[startup+1782.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/77 26473
/proc/meminfo: memFree=1718848/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=71460 CPUtime=1701.33
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 16599 0 0 0 170117 16 0 0 25 0 1 0 265903875 73175040 16580 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 17865 16580 56 152 0 17710 0
Current children cumulated CPU time (s) 1771.06
Current children cumulated vsize (KiB) 119024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.5 s]
/proc/loadavg: 2.06 2.09 2.09 3/77 26473
/proc/meminfo: memFree=1718400/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=71952 CPUtime=1730.29
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 16695 0 0 0 173013 16 0 0 25 0 1 0 265903875 73678848 16676 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 17988 16676 56 152 0 17833 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 119516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811.5 s]
/proc/loadavg: 2.06 2.09 2.09 3/77 26473
/proc/meminfo: memFree=1718400/2055920 swapFree=4181032/4192956
[pid=26420] ppid=26418 vsize=47564 CPUtime=69.73
/proc/26420/stat : 26420 (galacM.sh) S 26418 26420 26276 0 -1 4194304 799 103408 0 1 0 1 6894 78 17 0 1 0 265896861 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 214944639834 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/26420/statm: 11891 364 245 79 0 219 0
[pid=26443] ppid=26420 vsize=71952 CPUtime=1730.29
/proc/26443/stat : 26443 (minisat) R 26420 26420 26276 0 -1 4194304 16695 0 0 0 173013 16 0 0 25 0 1 0 265903875 73678848 16676 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26443/statm: 17988 16676 56 152 0 17833 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 119516
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26420 and gives
# childrusage.ru_utime.tv_sec=68
# childrusage.ru_utime.tv_usec=947518
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=793879
# CPU time returned by wait4() is 69.7414
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1811.51
CPU time (s): 1800.02
CPU user time (s): 1799.07
CPU system time (s): 0.95
CPU usage (%): 99.3655
Max. virtual memory (cumulated for all children) (KiB): 859984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.9475
system time used= 0.793879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104207
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= 3364
involuntary context switches= 2774
runsolver used 1.74373 second user time and 5.20921 second system time
The end
Begin job on node85 at 2008-07-05 11:19:01
IDJOB=1093310
IDBENCH=58696
IDSOLVER=350
FILE ID=node85/1093310-1215249539
PBS_JOBID= 7882049
Free space on /tmp= 126788 MiB
SOLVER NAME= galac M
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-5.xml
COMMAND LINE= HOME/galacM.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093310-1215249539/watcher-1093310-1215249539 -o /tmp/evaluation-result-1093310-1215249539/solver-1093310-1215249539 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1093310-1215249539.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7190ed6731aa72fd4a74df29ac13f8df
RANDOM SEED=877806279
node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.272
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.272
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1613184 kB
Buffers: 8128 kB
Cached: 212604 kB
SwapCached: 5844 kB
Active: 287728 kB
Inactive: 108716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1613184 kB
SwapTotal: 4192956 kB
SwapFree: 4181032 kB
Dirty: 33084 kB
Writeback: 0 kB
Mapped: 184328 kB
Slab: 30636 kB
Committed_AS: 971892 kB
PageTables: 2920 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126800 MiB
End job on node85 at 2008-07-05 11:49:15