0.03 c --- Preproc Stats ---
3.14 c start processing
3.14 c start relation processing
9.82 c start cnf exporting
41.11 c parsing time : 2.952
41.11 c preprocessing time : 40.914
41.11
41.11 c Nary constraints - conflicts : 0 supports : 74
41.11 c Binary constraints - conflicts : 0 supports :0
41.11 c max arity constraint : 3
41.11 c Max Tuples generated 0
41.11 c relations : 74
41.11 c relations BDD: 74
41.11 c vars : 289878 - clauses : 916117
41.11
41.14
41.14 c --- Minisat Stats ---
41.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-196238-1168120880 -o ROOT/results/node30/solver-196238-1168120880 -C 1800 -M 900 /tmp/evaluation/196238-1168120880/galac.sh /tmp/evaluation/196238-1168120880/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.89 1.98 1.97 5/104 12717
/proc/meminfo: memFree=910320/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=8560 CPUtime=0
/proc/12716/stat : 12716 (galac.sh) R 12714 12716 11782 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 160481973 8765440 253 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907769743 0 0 4096 8192 0 0 0 17 1 0 0
/proc/12716/statm: 2140 253 197 79 0 133 0
[startup+0.105416 s]
/proc/loadavg: 1.89 1.98 1.97 5/104 12717
/proc/meminfo: memFree=910320/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=0.01
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 763 1704 0 0 0 0 0 1 18 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.513439 s]
/proc/loadavg: 1.89 1.98 1.97 5/104 12717
/proc/meminfo: memFree=910320/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=0.01
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 763 1704 0 0 0 0 0 1 18 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+1.3355 s]
/proc/loadavg: 1.89 1.98 1.97 4/112 12737
/proc/meminfo: memFree=831656/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=0.01
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 763 1704 0 0 0 0 0 1 18 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12730] ppid=12716 vsize=861064 CPUtime=1.24
/proc/12730/stat : 12730 (java) R 12716 12716 11782 0 -1 0 21641 0 1 0 112 12 0 0 22 0 8 0 160481977 881729536 21394 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073652471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12730/statm: 215266 21394 1966 14 0 201471 0
[pid=12730/tid=12731] ppid=12716 vsize=861064 CPUtime=0.06
/proc/12730/task/12731/stat : 12731 (java) S 12716 12716 11782 0 -1 64 5888 0 0 0 4 2 0 0 16 0 8 0 160481984 881729536 21394 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12732] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12732/stat : 12732 (java) S 12716 12716 11782 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 160481984 881729536 21394 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12733] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12733/stat : 12733 (java) S 12716 12716 11782 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 160481984 881729536 21394 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12734] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12734/stat : 12734 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160481988 881729536 21394 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12735] ppid=12716 vsize=861064 CPUtime=0.12
/proc/12730/task/12735/stat : 12735 (java) S 12716 12716 11782 0 -1 64 893 0 0 0 12 0 0 0 16 0 8 0 160481988 881729536 21394 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12736] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12736/stat : 12736 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160481988 881729536 21394 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12737] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12737/stat : 12737 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160481988 881729536 21394 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 908624
[startup+2.9796 s]
/proc/loadavg: 1.89 1.98 1.97 5/111 12738
/proc/meminfo: memFree=824368/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=0.01
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 763 1704 0 0 0 0 0 1 18 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12730] ppid=12716 vsize=861064 CPUtime=2.85
/proc/12730/stat : 12730 (java) R 12716 12716 11782 0 -1 0 25868 0 1 0 271 14 0 0 25 0 8 0 160481977 881729536 25615 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073744525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12730/statm: 215266 25615 1966 14 0 201471 0
[pid=12730/tid=12731] ppid=12716 vsize=861064 CPUtime=0.22
/proc/12730/task/12731/stat : 12731 (java) S 12716 12716 11782 0 -1 64 10101 0 0 0 18 4 0 0 16 0 8 0 160481984 881729536 25615 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12732] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12732/stat : 12732 (java) S 12716 12716 11782 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 160481984 881729536 25615 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12733] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12733/stat : 12733 (java) S 12716 12716 11782 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 160481984 881729536 25615 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12734] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12734/stat : 12734 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160481988 881729536 25615 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12735] ppid=12716 vsize=861064 CPUtime=0.15
/proc/12730/task/12735/stat : 12735 (java) S 12716 12716 11782 0 -1 64 901 0 0 0 14 1 0 0 16 0 8 0 160481988 881729536 25615 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12736] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12736/stat : 12736 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160481988 881729536 25615 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12737] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12737/stat : 12737 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160481988 881729536 25615 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 908624
[startup+6.18781 s]
/proc/loadavg: 1.90 1.98 1.97 3/112 12761
/proc/meminfo: memFree=806184/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=0.01
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 763 1704 0 0 0 0 0 1 18 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12730] ppid=12716 vsize=861064 CPUtime=6.02
/proc/12730/stat : 12730 (java) R 12716 12716 11782 0 -1 0 33137 0 1 0 584 18 0 0 25 0 8 0 160481977 881729536 32882 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12730/statm: 215266 32882 1974 14 0 201471 0
[pid=12730/tid=12731] ppid=12716 vsize=861064 CPUtime=0.6
/proc/12730/task/12731/stat : 12731 (java) R 12716 12716 11782 0 -1 64 17314 0 0 0 53 7 0 0 18 0 8 0 160481984 881729536 32882 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12732] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12732/stat : 12732 (java) S 12716 12716 11782 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 160481984 881729536 32882 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12733] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12733/stat : 12733 (java) S 12716 12716 11782 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 160481984 881729536 32882 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12734] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12734/stat : 12734 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160481988 881729536 32882 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12735] ppid=12716 vsize=861064 CPUtime=0.2
/proc/12730/task/12735/stat : 12735 (java) S 12716 12716 11782 0 -1 64 934 0 0 0 19 1 0 0 15 0 8 0 160481988 881729536 32882 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12736] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12736/stat : 12736 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160481988 881729536 32882 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12737] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12737/stat : 12737 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160481988 881729536 32882 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 908624
[startup+12.67 s]
/proc/loadavg: 1.91 1.98 1.97 3/112 12771
/proc/meminfo: memFree=701480/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=0.01
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 763 1704 0 0 0 0 0 1 18 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12730] ppid=12716 vsize=861064 CPUtime=12.46
/proc/12730/stat : 12730 (java) R 12716 12716 11782 0 -1 0 53931 0 1 0 1217 29 0 0 25 0 8 0 160481977 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074082224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12730/statm: 215266 53670 1994 14 0 201471 0
[pid=12730/tid=12731] ppid=12716 vsize=861064 CPUtime=1.52
/proc/12730/task/12731/stat : 12731 (java) S 12716 12716 11782 0 -1 64 38026 0 0 0 136 16 0 0 16 0 8 0 160481984 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12732] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12732/stat : 12732 (java) S 12716 12716 11782 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 160481984 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12733] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12733/stat : 12733 (java) S 12716 12716 11782 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 160481984 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12734] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12734/stat : 12734 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160481988 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12735] ppid=12716 vsize=861064 CPUtime=0.27
/proc/12730/task/12735/stat : 12735 (java) S 12716 12716 11782 0 -1 64 970 0 0 0 25 2 0 0 15 0 8 0 160481988 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12736] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12736/stat : 12736 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160481988 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12737] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12737/stat : 12737 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160481988 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 908624
[startup+25.5639 s]
/proc/loadavg: 1.93 1.98 1.97 3/112 12793
/proc/meminfo: memFree=695152/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=0.01
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 763 1704 0 0 0 0 0 1 18 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12730] ppid=12716 vsize=861064 CPUtime=25.26
/proc/12730/stat : 12730 (java) R 12716 12716 11782 0 -1 0 53952 0 1 0 2492 34 0 0 25 0 8 0 160481977 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074080312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12730/statm: 215266 53670 1994 14 0 201471 0
[pid=12730/tid=12731] ppid=12716 vsize=861064 CPUtime=1.54
/proc/12730/task/12731/stat : 12731 (java) S 12716 12716 11782 0 -1 64 38026 0 0 0 138 16 0 0 16 0 8 0 160481984 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12732] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12732/stat : 12732 (java) S 12716 12716 11782 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 160481984 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12733] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12733/stat : 12733 (java) S 12716 12716 11782 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 160481984 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12734] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12734/stat : 12734 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160481988 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12735] ppid=12716 vsize=861064 CPUtime=0.27
/proc/12730/task/12735/stat : 12735 (java) S 12716 12716 11782 0 -1 64 970 0 0 0 25 2 0 0 15 0 8 0 160481988 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12736] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12736/stat : 12736 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160481988 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12730/tid=12737] ppid=12716 vsize=861064 CPUtime=0
/proc/12730/task/12737/stat : 12737 (java) S 12716 12716 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160481988 881729536 53670 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 908624
[startup+51.1855 s]
/proc/loadavg: 1.95 1.98 1.97 3/105 12818
/proc/meminfo: memFree=819304/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=59132 CPUtime=9.88
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 14006 0 0 0 979 9 0 0 25 0 1 0 160486088 60551168 13988 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/12804/statm: 14783 13988 54 142 0 14639 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 106692
[startup+102.429 s]
/proc/loadavg: 2.05 1.99 1.97 3/99 12852
/proc/meminfo: memFree=815784/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=63888 CPUtime=60.8
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 15199 0 0 0 6070 10 0 0 25 0 1 0 160486088 65421312 15181 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/12804/statm: 15972 15181 54 142 0 15828 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 111448
[startup+162.498 s]
/proc/loadavg: 2.02 1.99 1.97 3/99 12852
/proc/meminfo: memFree=787496/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=67096 CPUtime=120.59
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 15982 0 0 0 12048 11 0 0 25 0 1 0 160486088 68706304 15964 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/12804/statm: 16774 15964 54 142 0 16630 0
Current children cumulated CPU time (s) 161.33
Current children cumulated vsize (KiB) 114656
################
# More data... #
################
/proc/loadavg: 2.10 2.04 2.00 3/99 12854
/proc/meminfo: memFree=548584/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=148348 CPUtime=1077
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 36271 0 0 0 107660 40 0 0 25 0 1 0 160486088 151908352 36253 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529417 0 0 4096 3 0 0 0 17 1 0 0
/proc/12804/statm: 37087 36253 54 142 0 36943 0
Current children cumulated CPU time (s) 1117.74
Current children cumulated vsize (KiB) 195908
[startup+1183.62 s]
/proc/loadavg: 2.04 2.03 2.00 3/99 12854
/proc/meminfo: memFree=546280/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=150592 CPUtime=1136.79
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 36839 0 0 0 113638 41 0 0 25 0 1 0 160486088 154206208 36821 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529414 0 0 4096 3 0 0 0 17 1 0 0
/proc/12804/statm: 37648 36821 54 142 0 37504 0
Current children cumulated CPU time (s) 1177.53
Current children cumulated vsize (KiB) 198152
[startup+1243.68 s]
/proc/loadavg: 2.01 2.02 2.00 3/99 12854
/proc/meminfo: memFree=544040/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=152840 CPUtime=1196.58
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 37396 0 0 0 119616 42 0 0 25 0 1 0 160486088 156508160 37378 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/12804/statm: 38210 37378 54 142 0 38066 0
Current children cumulated CPU time (s) 1237.32
Current children cumulated vsize (KiB) 200400
[startup+1303.75 s]
/proc/loadavg: 2.00 2.02 2.00 3/99 12854
/proc/meminfo: memFree=514280/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=154856 CPUtime=1256.31
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 37913 0 0 0 125588 43 0 0 25 0 1 0 160486088 158572544 37895 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 38714 37895 54 142 0 38570 0
Current children cumulated CPU time (s) 1297.05
Current children cumulated vsize (KiB) 202416
[startup+1363.81 s]
/proc/loadavg: 2.00 2.01 2.00 3/99 12854
/proc/meminfo: memFree=512168/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=156836 CPUtime=1316.1
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 38422 0 0 0 131566 44 0 0 25 0 1 0 160486088 160600064 38404 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 39209 38404 54 142 0 39065 0
Current children cumulated CPU time (s) 1356.84
Current children cumulated vsize (KiB) 204396
[startup+1423.87 s]
/proc/loadavg: 2.00 2.01 2.00 3/99 12854
/proc/meminfo: memFree=509992/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=159080 CPUtime=1375.88
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 38984 0 0 0 137543 45 0 0 25 0 1 0 160486088 162897920 38966 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 39770 38966 54 142 0 39626 0
Current children cumulated CPU time (s) 1416.62
Current children cumulated vsize (KiB) 206640
[startup+1483.93 s]
/proc/loadavg: 2.00 2.00 2.00 3/99 12854
/proc/meminfo: memFree=507880/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=161196 CPUtime=1435.65
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 39514 0 0 0 143519 46 0 0 25 0 1 0 160486088 165064704 39496 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 40299 39496 54 142 0 40155 0
Current children cumulated CPU time (s) 1476.39
Current children cumulated vsize (KiB) 208756
[startup+1544 s]
/proc/loadavg: 2.00 2.00 2.00 3/99 12854
/proc/meminfo: memFree=478120/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=163728 CPUtime=1495.44
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 40163 0 0 0 149496 48 0 0 25 0 1 0 160486088 167657472 40145 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 40932 40145 54 142 0 40788 0
Current children cumulated CPU time (s) 1536.18
Current children cumulated vsize (KiB) 211288
[startup+1604.07 s]
/proc/loadavg: 2.00 2.00 2.00 3/99 12854
/proc/meminfo: memFree=475752/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=165984 CPUtime=1555.23
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 40734 0 0 0 155474 49 0 0 25 0 1 0 160486088 169967616 40716 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 41496 40716 54 142 0 41352 0
Current children cumulated CPU time (s) 1595.97
Current children cumulated vsize (KiB) 213544
[startup+1664.13 s]
/proc/loadavg: 2.04 2.01 2.00 3/99 12854
/proc/meminfo: memFree=473576/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=168236 CPUtime=1614.99
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 41275 0 0 0 161449 50 0 0 25 0 1 0 160486088 172273664 41257 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 42059 41257 54 142 0 41915 0
Current children cumulated CPU time (s) 1655.73
Current children cumulated vsize (KiB) 215796
[startup+1724.19 s]
/proc/loadavg: 2.04 2.02 2.00 3/99 12854
/proc/meminfo: memFree=471784/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=169956 CPUtime=1674.79
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 41731 0 0 0 167428 51 0 0 25 0 1 0 160486088 174034944 41713 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134521387 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 42489 41713 54 142 0 42345 0
Current children cumulated CPU time (s) 1715.53
Current children cumulated vsize (KiB) 217516
[startup+1784.23 s]
/proc/loadavg: 2.06 2.03 2.00 3/87 13083
/proc/meminfo: memFree=879616/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=172084 CPUtime=1734.54
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 42245 0 0 0 173401 53 0 0 25 0 1 0 160486088 176214016 42227 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 43021 42227 54 142 0 42877 0
Current children cumulated CPU time (s) 1775.28
Current children cumulated vsize (KiB) 219644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.18 s]
/proc/loadavg: 2.03 2.03 2.00 3/87 13083
/proc/meminfo: memFree=878912/2055920 swapFree=4191880/4192956
[pid=12716] ppid=12714 vsize=47560 CPUtime=40.74
/proc/12716/stat : 12716 (galac.sh) S 12714 12716 11782 0 -1 4194304 801 55693 0 1 0 0 4030 44 17 0 1 0 160481973 48701440 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264907189082 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/12716/statm: 11890 364 246 79 0 218 0
[pid=12804] ppid=12716 vsize=172752 CPUtime=1759.35
/proc/12804/stat : 12804 (minisat) R 12716 12716 11782 0 -1 4194304 42441 0 0 0 175882 53 0 0 25 0 1 0 160486088 176898048 42423 18446744073709551615 134512640 135096742 4294956496 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/12804/statm: 43188 42423 54 142 0 43044 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 220312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 12716 and gives childrusage.ru_utime.tv_sec=40 childrusage.ru_utime.tv_usec=308872 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=451931
CPU time returned by wait4() is 40.7608
while last known CPU time is 1800.09
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.19
CPU time (s): 1800.09
CPU user time (s): 1799.12
CPU system time (s): 0.97
CPU usage (%): 99.497
Max. virtual memory (cumulated for all children) (KiB): 908624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.3089
system time used= 0.451931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56494
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= 2224
involuntary context switches= 3853
runsolver used 1.86871 s user time and 5.15222 s system time
The end
Begin job on node30 on Sat Jan 6 22:01:20 UTC 2007
IDJOB= 196238
IDBENCH= 3336
FILE ID= node30/196238-1168120880
PBS_JOBID= 3477444
Free space on /tmp= 66474 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-18_ext.xml
COMMAND LINE= /tmp/evaluation/196238-1168120880/galac.sh /tmp/evaluation/196238-1168120880/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-196238-1168120880 -o ROOT/results/node30/solver-196238-1168120880 -C 1800 -M 900 /tmp/evaluation/196238-1168120880/galac.sh /tmp/evaluation/196238-1168120880/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= 00f785a45aa82671ed3db507767e40df
RANDOM SEED= 966974115
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.234
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.234
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: 910800 kB
Buffers: 54192 kB
Cached: 777588 kB
SwapCached: 268 kB
Active: 403456 kB
Inactive: 651700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 910800 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 5712 kB
Writeback: 0 kB
Mapped: 251484 kB
Slab: 73960 kB
Committed_AS: 4001176 kB
PageTables: 2832 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= 66458 MiB
End job on node30 on Sat Jan 6 22:31:30 UTC 2007