0.24 c --- Preproc Stats ---
3.57 c start processing
3.58 c start relation processing
3.58 c start cnf exporting
3.92 c parsing time : 3.185
3.92 c preprocessing time : 3.535
3.92
3.92 c Nary constraints - conflicts : 2550 supports : 0
3.92 c Binary constraints - conflicts : 600 supports :0
3.92 c max arity constraint : 3
3.92 c Max Tuples generated 8
3.92 c relations : 2
3.92 c relations BDD: 0
3.92 c vars : 1201 - clauses : 3150
3.92
3.94
3.94 c --- Minisat Stats ---
3.94
1813.96 Terminated
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-212731-1168223386 -o ROOT/results/node34/solver-212731-1168223386 -C 1800 -M 900 /tmp/evaluation/212731-1168223386/galac.sh /tmp/evaluation/212731-1168223386/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 2.00 2.16 4/74 10044
/proc/meminfo: memFree=1878560/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=18540 CPUtime=0
/proc/10043/stat : 10043 (runsolver) D 10041 10043 8845 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 170732395 18984960 279 18446744073709551615 4194304 4267372 548682069088 18446744073709551615 254195330343 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/10043/statm: 4635 279 244 17 0 2626 0
[startup+0.104441 s]
/proc/loadavg: 1.92 2.00 2.16 4/74 10044
/proc/meminfo: memFree=1878560/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=8768 CPUtime=0.01
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 519 1175 4 1 0 0 0 1 18 0 1 0 170732395 8978432 314 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254195499090 0 2 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/10043/statm: 2192 314 217 79 0 185 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8768
[startup+0.512475 s]
/proc/loadavg: 1.92 2.00 2.16 4/74 10044
/proc/meminfo: memFree=1878560/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=0.02
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 758 1703 5 1 0 1 0 1 18 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47560
[startup+1.33554 s]
/proc/loadavg: 1.92 2.00 2.16 3/82 10064
/proc/meminfo: memFree=1836376/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=0.02
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 758 1703 5 1 0 1 0 1 18 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10057] ppid=10043 vsize=861064 CPUtime=1.06
/proc/10057/stat : 10057 (java) R 10043 10043 8845 0 -1 0 11996 0 5 0 99 7 0 0 22 0 8 0 170732420 881729536 11754 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073896488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10057/statm: 215266 11754 1990 14 0 201471 0
[pid=10057/tid=10058] ppid=10043 vsize=861064 CPUtime=0.04
/proc/10057/task/10058/stat : 10058 (java) S 10043 10043 8845 0 -1 64 3383 0 0 0 3 1 0 0 16 0 8 0 170732424 881729536 11754 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10059] ppid=10043 vsize=861064 CPUtime=0
/proc/10057/task/10059/stat : 10059 (java) S 10043 10043 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170732425 881729536 11754 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10060] ppid=10043 vsize=861064 CPUtime=0
/proc/10057/task/10060/stat : 10060 (java) S 10043 10043 8845 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 170732425 881729536 11754 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10061] ppid=10043 vsize=861064 CPUtime=0
/proc/10057/task/10061/stat : 10061 (java) S 10043 10043 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170732428 881729536 11754 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10062] ppid=10043 vsize=861064 CPUtime=0.24
/proc/10057/task/10062/stat : 10062 (java) S 10043 10043 8845 0 -1 64 1008 0 0 0 24 0 0 0 15 0 8 0 170732428 881729536 11754 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10063] ppid=10043 vsize=861064 CPUtime=0
/proc/10057/task/10063/stat : 10063 (java) S 10043 10043 8845 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170732428 881729536 11754 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10064] ppid=10043 vsize=861064 CPUtime=0
/proc/10057/task/10064/stat : 10064 (java) S 10043 10043 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170732428 881729536 11754 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 908624
[startup+2.98868 s]
/proc/loadavg: 1.92 2.00 2.16 4/82 10064
/proc/meminfo: memFree=1833560/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=0.02
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 758 1703 5 1 0 1 0 1 18 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10057] ppid=10043 vsize=861196 CPUtime=2.69
/proc/10057/stat : 10057 (java) R 10043 10043 8845 0 -1 0 15486 0 5 0 260 9 0 0 25 0 8 0 170732420 881864704 15242 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073862972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10057/statm: 215299 15242 1990 14 0 201504 0
[pid=10057/tid=10058] ppid=10043 vsize=861196 CPUtime=0.04
/proc/10057/task/10058/stat : 10058 (java) S 10043 10043 8845 0 -1 64 3383 0 0 0 3 1 0 0 17 0 8 0 170732424 881864704 15242 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10059] ppid=10043 vsize=861196 CPUtime=0
/proc/10057/task/10059/stat : 10059 (java) S 10043 10043 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170732425 881864704 15242 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10060] ppid=10043 vsize=861196 CPUtime=0
/proc/10057/task/10060/stat : 10060 (java) S 10043 10043 8845 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 170732425 881864704 15242 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10061] ppid=10043 vsize=861196 CPUtime=0
/proc/10057/task/10061/stat : 10061 (java) S 10043 10043 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170732428 881864704 15242 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10062] ppid=10043 vsize=861196 CPUtime=0.32
/proc/10057/task/10062/stat : 10062 (java) S 10043 10043 8845 0 -1 64 1066 0 0 0 31 1 0 0 15 0 8 0 170732428 881864704 15242 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10063] ppid=10043 vsize=861196 CPUtime=0
/proc/10057/task/10063/stat : 10063 (java) S 10043 10043 8845 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170732428 881864704 15242 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10057/tid=10064] ppid=10043 vsize=861196 CPUtime=0
/proc/10057/task/10064/stat : 10064 (java) S 10043 10043 8845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170732428 881864704 15242 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 908756
[startup+6.28194 s]
/proc/loadavg: 1.93 2.00 2.16 3/75 10065
/proc/meminfo: memFree=1874128/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=2692 CPUtime=2.31
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 370 0 0 0 231 0 0 0 25 0 1 0 170732790 2756608 352 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529487 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 673 352 54 142 0 529 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 50252
[startup+12.7475 s]
/proc/loadavg: 1.93 2.00 2.16 3/75 10065
/proc/meminfo: memFree=1873744/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=3220 CPUtime=8.73
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 491 0 0 0 873 0 0 0 25 0 1 0 170732790 3297280 473 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529321 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 805 473 54 142 0 661 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 50780
[startup+25.5665 s]
/proc/loadavg: 1.95 2.00 2.15 3/75 10065
/proc/meminfo: memFree=1873360/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=3884 CPUtime=21.46
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 640 0 0 0 2146 0 0 0 25 0 1 0 170732790 3977216 622 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 971 622 54 142 0 827 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 51444
[startup+51.2166 s]
/proc/loadavg: 1.97 2.00 2.15 3/75 10065
/proc/meminfo: memFree=1872592/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=4676 CPUtime=46.92
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 833 0 0 0 4692 0 0 0 25 0 1 0 170732790 4788224 815 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 1169 815 54 142 0 1025 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 52236
[startup+102.518 s]
/proc/loadavg: 1.98 2.00 2.14 3/75 10065
/proc/meminfo: memFree=1871696/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=5600 CPUtime=97.84
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 1067 0 0 0 9784 0 0 0 25 0 1 0 170732790 5734400 1049 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 1400 1049 54 142 0 1256 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 53160
[startup+162.544 s]
/proc/loadavg: 1.99 2.00 2.13 3/75 10065
/proc/meminfo: memFree=1870736/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=6380 CPUtime=157.43
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 1286 0 0 0 15742 1 0 0 25 0 1 0 170732790 6533120 1268 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 1595 1268 54 142 0 1451 0
Current children cumulated CPU time (s) 161.08
Current children cumulated vsize (KiB) 53940
[startup+222.579 s]
/proc/loadavg: 1.99 2.00 2.12 3/75 10065
/proc/meminfo: memFree=1870160/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=7048 CPUtime=217.01
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 1433 0 0 0 21700 1 0 0 25 0 1 0 170732790 7217152 1415 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529524 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 1762 1415 54 142 0 1618 0
Current children cumulated CPU time (s) 220.66
Current children cumulated vsize (KiB) 54608
[startup+282.614 s]
/proc/loadavg: 1.99 2.00 2.10 3/75 10065
/proc/meminfo: memFree=1869520/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=7576 CPUtime=276.58
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 1583 0 0 0 27656 2 0 0 25 0 1 0 170732790 7757824 1565 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 1894 1565 54 142 0 1750 0
Current children cumulated CPU time (s) 280.23
Current children cumulated vsize (KiB) 55136
[startup+342.649 s]
/proc/loadavg: 1.99 2.00 2.09 3/75 10065
/proc/meminfo: memFree=1869200/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=7976 CPUtime=336.12
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 1661 0 0 0 33610 2 0 0 25 0 1 0 170732790 8167424 1643 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 1994 1643 54 142 0 1850 0
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (KiB) 55536
[startup+402.692 s]
/proc/loadavg: 1.99 2.00 2.09 3/75 10065
/proc/meminfo: memFree=1868560/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
################
# More data... #
################
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=11376 CPUtime=1050.52
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2497 0 0 0 105047 5 0 0 25 0 1 0 170732790 11649024 2479 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 2844 2479 54 142 0 2700 0
Current children cumulated CPU time (s) 1054.17
Current children cumulated vsize (KiB) 58936
[startup+1123.1 s]
/proc/loadavg: 2.00 2.00 2.03 3/75 10065
/proc/meminfo: memFree=1865488/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=11524 CPUtime=1110.05
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2526 0 0 0 111000 5 0 0 25 0 1 0 170732790 11800576 2508 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 2881 2508 54 142 0 2737 0
Current children cumulated CPU time (s) 1113.7
Current children cumulated vsize (KiB) 59084
[startup+1183.13 s]
/proc/loadavg: 2.00 2.00 2.03 3/75 10065
/proc/meminfo: memFree=1865360/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=11656 CPUtime=1169.59
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2554 0 0 0 116953 6 0 0 25 0 1 0 170732790 11935744 2536 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529461 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 2914 2536 54 142 0 2770 0
Current children cumulated CPU time (s) 1173.24
Current children cumulated vsize (KiB) 59216
[startup+1243.17 s]
/proc/loadavg: 2.00 2.00 2.02 3/75 10065
/proc/meminfo: memFree=1865296/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=11656 CPUtime=1229.12
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2564 0 0 0 122906 6 0 0 25 0 1 0 170732790 11935744 2546 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134527268 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 2914 2546 54 142 0 2770 0
Current children cumulated CPU time (s) 1232.77
Current children cumulated vsize (KiB) 59216
[startup+1303.21 s]
/proc/loadavg: 2.00 2.00 2.01 3/75 10065
/proc/meminfo: memFree=1865168/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=11804 CPUtime=1288.66
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2600 0 0 0 128860 6 0 0 25 0 1 0 170732790 12087296 2582 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529374 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 2951 2582 54 142 0 2807 0
Current children cumulated CPU time (s) 1292.31
Current children cumulated vsize (KiB) 59364
[startup+1363.25 s]
/proc/loadavg: 2.00 2.00 2.01 3/75 10065
/proc/meminfo: memFree=1864720/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=12236 CPUtime=1348.19
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2693 0 0 0 134812 7 0 0 25 0 1 0 170732790 12529664 2675 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 3059 2675 54 142 0 2915 0
Current children cumulated CPU time (s) 1351.84
Current children cumulated vsize (KiB) 59796
[startup+1423.28 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 10065
/proc/meminfo: memFree=1864528/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=12384 CPUtime=1407.71
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2742 0 0 0 140764 7 0 0 25 0 1 0 170732790 12681216 2724 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134520077 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 3096 2724 54 142 0 2952 0
Current children cumulated CPU time (s) 1411.36
Current children cumulated vsize (KiB) 59944
[startup+1483.34 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 10065
/proc/meminfo: memFree=1864144/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=12784 CPUtime=1467.24
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2837 0 0 0 146717 7 0 0 25 0 1 0 170732790 13090816 2819 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529611 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 3196 2819 54 142 0 3052 0
Current children cumulated CPU time (s) 1470.89
Current children cumulated vsize (KiB) 60344
[startup+1543.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 10065
/proc/meminfo: memFree=1863952/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=12920 CPUtime=1526.76
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2874 0 0 0 152668 8 0 0 25 0 1 0 170732790 13230080 2856 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529330 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 3230 2856 54 142 0 3086 0
Current children cumulated CPU time (s) 1530.41
Current children cumulated vsize (KiB) 60480
[startup+1603.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 10065
/proc/meminfo: memFree=1863824/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=13056 CPUtime=1586.28
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2908 0 0 0 158620 8 0 0 25 0 1 0 170732790 13369344 2890 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134526158 0 0 4096 3 0 0 0 17 1 0 0
/proc/10065/statm: 3264 2890 54 142 0 3120 0
Current children cumulated CPU time (s) 1589.93
Current children cumulated vsize (KiB) 60616
[startup+1663.44 s]
/proc/loadavg: 1.72 1.93 1.98 2/66 10211
/proc/meminfo: memFree=1872816/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=13204 CPUtime=1645.97
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2952 0 0 0 164583 14 0 0 25 0 1 0 170732790 13520896 2934 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529417 0 0 4096 3 0 0 0 17 0 0 0
/proc/10065/statm: 3301 2934 54 142 0 3157 0
Current children cumulated CPU time (s) 1649.62
Current children cumulated vsize (KiB) 60764
[startup+1723.52 s]
/proc/loadavg: 1.33 1.78 1.92 2/69 10242
/proc/meminfo: memFree=1866512/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=13336 CPUtime=1706.03
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 2984 0 0 0 170588 15 0 0 25 0 1 0 170732790 13656064 2966 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134521255 0 0 4096 3 0 0 0 17 0 0 0
/proc/10065/statm: 3334 2966 54 142 0 3190 0
Current children cumulated CPU time (s) 1709.68
Current children cumulated vsize (KiB) 60896
[startup+1783.61 s]
/proc/loadavg: 1.12 1.63 1.86 2/69 10466
/proc/meminfo: memFree=1865808/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=13624 CPUtime=1766.1
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 3042 0 0 0 176593 17 0 0 25 0 1 0 170732790 13950976 3024 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529330 0 0 4096 3 0 0 0 17 0 0 0
/proc/10065/statm: 3406 3024 54 142 0 3262 0
Current children cumulated CPU time (s) 1769.75
Current children cumulated vsize (KiB) 61184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.95 s]
/proc/loadavg: 1.07 1.57 1.83 2/69 10536
/proc/meminfo: memFree=1865424/2055920 swapFree=4192812/4192956
[pid=10043] ppid=10041 vsize=47560 CPUtime=3.65
/proc/10043/stat : 10043 (galac.sh) S 10041 10043 8845 0 -1 4194304 796 18416 5 6 0 1 351 13 17 0 1 0 170732395 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 254194936666 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10043/statm: 11890 364 246 79 0 218 0
[pid=10065] ppid=10043 vsize=13624 CPUtime=1796.43
/proc/10065/stat : 10065 (minisat) R 10043 10043 8845 0 -1 4194304 3053 0 0 0 179625 18 0 0 25 0 1 0 170732790 13950976 3035 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 0 0 0
/proc/10065/statm: 3406 3035 54 142 0 3262 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 61184
Sending SIGTERM to process tree (bottom up)
Child status: 0
Real time (s): 1813.97
CPU time (s): 1800.12
CPU user time (s): 1799.78
CPU system time (s): 0.339948
CPU usage (%): 99.2364
Max. virtual memory (cumulated for all children) (KiB): 908756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.339948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22461
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1708
involuntary context switches= 30051
runsolver used 2.00169 s user time and 5.13822 s system time
The end
Begin job on node34 on Mon Jan 8 02:29:47 UTC 2007
IDJOB= 212731
IDBENCH= 4793
FILE ID= node34/212731-1168223386
PBS_JOBID= 3480922
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/f600.xml
COMMAND LINE= /tmp/evaluation/212731-1168223386/galac.sh /tmp/evaluation/212731-1168223386/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-212731-1168223386 -o ROOT/results/node34/solver-212731-1168223386 -C 1800 -M 900 /tmp/evaluation/212731-1168223386/galac.sh /tmp/evaluation/212731-1168223386/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= eaafb6d59875b3b88c054bc279abccfd
RANDOM SEED= 276778812
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.227
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.227
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1879104 kB
Buffers: 30444 kB
Cached: 62716 kB
SwapCached: 0 kB
Active: 68924 kB
Inactive: 52480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1879104 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3280 kB
Writeback: 0 kB
Mapped: 39676 kB
Slab: 40740 kB
Committed_AS: 2989088 kB
PageTables: 1748 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= 66542 MiB
End job on node34 on Mon Jan 8 03:00:06 UTC 2007