0.23 c --- Preproc Stats ---
1.88 c start processing
1.88 c start relation processing
4.66 c start cnf exporting
19.35 c parsing time : 1.508
19.35 c preprocessing time : 18.983
19.35
19.35 c Nary constraints - conflicts : 0 supports : 60
19.35 c Binary constraints - conflicts : 0 supports :0
19.35 c max arity constraint : 3
19.35 c Max Tuples generated 0
19.35 c relations : 60
19.35 c relations BDD: 60
19.35 c vars : 135731 - clauses : 433063
19.35
19.38
19.38 c --- Minisat Stats ---
19.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-218100-1168250876 -o ROOT/results/node42/solver-218100-1168250876 -C 1800 -M 900 /tmp/evaluation/218100-1168250876/galac.sh /tmp/evaluation/218100-1168250876/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.00 1.00 1.11 4/65 9670
/proc/meminfo: memFree=1912064/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=18540 CPUtime=0
/proc/9669/stat : 9669 (runsolver) D 9667 9669 8383 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 173486825 18984960 279 18446744073709551615 4194304 4267372 548682069088 18446744073709551615 259415141671 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/9669/statm: 4635 279 244 17 0 2626 0
[startup+0.103651 s]
/proc/loadavg: 1.00 1.00 1.11 4/65 9670
/proc/meminfo: memFree=1912064/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=8784 CPUtime=0
/proc/9669/stat : 9669 (galac.sh) D 9667 9669 8383 0 -1 4194304 564 1322 4 0 0 0 0 0 17 0 1 0 173486825 8994816 318 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259415310418 0 2 4096 73728 18446744071563479169 0 0 17 1 0 0
/proc/9669/statm: 2196 318 217 79 0 189 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8784
[startup+0.511699 s]
/proc/loadavg: 1.00 1.00 1.11 4/65 9670
/proc/meminfo: memFree=1912064/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=0.02
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 756 1704 5 0 0 1 0 1 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47564
[startup+1.33379 s]
/proc/loadavg: 1.00 1.00 1.11 2/73 9690
/proc/meminfo: memFree=1840576/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=0.02
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 756 1704 5 0 0 1 0 1 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9683] ppid=9669 vsize=861064 CPUtime=1.07
/proc/9683/stat : 9683 (java) R 9669 9669 8383 0 -1 0 21534 0 4 0 97 10 0 0 17 0 8 0 173486848 881729536 21290 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073681429 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9683/statm: 215266 21290 1965 14 0 201471 0
[pid=9683/tid=9684] ppid=9669 vsize=861064 CPUtime=0.05
/proc/9683/task/9684/stat : 9684 (java) S 9669 9669 8383 0 -1 64 5784 0 0 0 4 1 0 0 16 0 8 0 173486852 881729536 21290 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9685] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9685/stat : 9685 (java) S 9669 9669 8383 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 173486852 881729536 21290 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9686] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9686/stat : 9686 (java) S 9669 9669 8383 0 -1 64 4 0 0 0 0 0 0 0 18 0 8 0 173486852 881729536 21290 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9687] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9687/stat : 9687 (java) S 9669 9669 8383 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 173486856 881729536 21290 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9688] ppid=9669 vsize=861064 CPUtime=0.11
/proc/9683/task/9688/stat : 9688 (java) S 9669 9669 8383 0 -1 64 894 0 0 0 11 0 0 0 16 0 8 0 173486856 881729536 21290 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9689] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9689/stat : 9689 (java) S 9669 9669 8383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173486856 881729536 21290 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9690] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9690/stat : 9690 (java) S 9669 9669 8383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173486856 881729536 21290 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 908628
[startup+2.98497 s]
/proc/loadavg: 1.00 1.00 1.11 2/73 9690
/proc/meminfo: memFree=1827648/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=0.02
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 756 1704 5 0 0 1 0 1 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9683] ppid=9669 vsize=861064 CPUtime=2.71
/proc/9683/stat : 9683 (java) R 9669 9669 8383 0 -1 0 22800 0 4 0 260 11 0 0 24 0 8 0 173486848 881729536 22553 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073821188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9683/statm: 215266 22553 1973 14 0 201471 0
[pid=9683/tid=9684] ppid=9669 vsize=861064 CPUtime=0.1
/proc/9683/task/9684/stat : 9684 (java) S 9669 9669 8383 0 -1 64 7005 0 0 0 8 2 0 0 17 0 8 0 173486852 881729536 22553 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9685] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9685/stat : 9685 (java) S 9669 9669 8383 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 173486852 881729536 22553 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9686] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9686/stat : 9686 (java) S 9669 9669 8383 0 -1 64 4 0 0 0 0 0 0 0 18 0 8 0 173486852 881729536 22553 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9687] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9687/stat : 9687 (java) S 9669 9669 8383 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 173486856 881729536 22553 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9688] ppid=9669 vsize=861064 CPUtime=0.15
/proc/9683/task/9688/stat : 9688 (java) S 9669 9669 8383 0 -1 64 918 0 0 0 15 0 0 0 16 0 8 0 173486856 881729536 22553 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9689] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9689/stat : 9689 (java) S 9669 9669 8383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173486856 881729536 22553 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9690] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9690/stat : 9690 (java) S 9669 9669 8383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173486856 881729536 22553 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 908628
[startup+6.26133 s]
/proc/loadavg: 1.00 1.00 1.11 2/73 9690
/proc/meminfo: memFree=1775808/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=0.02
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 756 1704 5 0 0 1 0 1 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9683] ppid=9669 vsize=861064 CPUtime=5.98
/proc/9683/stat : 9683 (java) R 9669 9669 8383 0 -1 0 37030 0 4 0 580 18 0 0 19 0 8 0 173486848 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073514685 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9683/statm: 215266 36780 1993 14 0 201471 0
[pid=9683/tid=9684] ppid=9669 vsize=861064 CPUtime=0.73
/proc/9683/task/9684/stat : 9684 (java) S 9669 9669 8383 0 -1 64 21144 0 0 0 65 8 0 0 16 0 8 0 173486852 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9685] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9685/stat : 9685 (java) S 9669 9669 8383 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 173486852 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9686] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9686/stat : 9686 (java) S 9669 9669 8383 0 -1 64 4 0 0 0 0 0 0 0 18 0 8 0 173486852 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9687] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9687/stat : 9687 (java) S 9669 9669 8383 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 173486856 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9688] ppid=9669 vsize=861064 CPUtime=0.22
/proc/9683/task/9688/stat : 9688 (java) S 9669 9669 8383 0 -1 64 966 0 0 0 21 1 0 0 16 0 8 0 173486856 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9689] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9689/stat : 9689 (java) S 9669 9669 8383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173486856 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9690] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9690/stat : 9690 (java) S 9669 9669 8383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173486856 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 908628
[startup+12.747 s]
/proc/loadavg: 1.00 1.00 1.11 2/73 9690
/proc/meminfo: memFree=1766920/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=0.02
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 756 1704 5 0 0 1 0 1 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9683] ppid=9669 vsize=861064 CPUtime=12.45
/proc/9683/stat : 9683 (java) R 9669 9669 8383 0 -1 0 37041 0 4 0 1225 20 0 0 25 0 8 0 173486848 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073940254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9683/statm: 215266 36780 1993 14 0 201471 0
[pid=9683/tid=9684] ppid=9669 vsize=861064 CPUtime=0.74
/proc/9683/task/9684/stat : 9684 (java) S 9669 9669 8383 0 -1 64 21144 0 0 0 66 8 0 0 16 0 8 0 173486852 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9685] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9685/stat : 9685 (java) S 9669 9669 8383 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 173486852 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9686] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9686/stat : 9686 (java) S 9669 9669 8383 0 -1 64 4 0 0 0 0 0 0 0 18 0 8 0 173486852 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9687] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9687/stat : 9687 (java) S 9669 9669 8383 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 173486856 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9688] ppid=9669 vsize=861064 CPUtime=0.22
/proc/9683/task/9688/stat : 9688 (java) S 9669 9669 8383 0 -1 64 966 0 0 0 21 1 0 0 16 0 8 0 173486856 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9683/tid=9689] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9689/stat : 9689 (java) S 9669 9669 8383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173486856 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9683/tid=9690] ppid=9669 vsize=861064 CPUtime=0
/proc/9683/task/9690/stat : 9690 (java) S 9669 9669 8383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173486856 881729536 36780 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 908628
[startup+25.5765 s]
/proc/loadavg: 1.00 1.00 1.11 2/66 9691
/proc/meminfo: memFree=1875712/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=28752 CPUtime=6.18
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 6886 0 0 0 615 3 0 0 25 0 1 0 173488763 29442048 6868 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134520025 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 7188 6868 54 142 0 7044 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 76316
[startup+51.1983 s]
/proc/loadavg: 1.06 1.02 1.11 2/66 9691
/proc/meminfo: memFree=1872768/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=31664 CPUtime=31.79
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 7633 0 0 0 3175 4 0 0 25 0 1 0 173488763 32423936 7615 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529361 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 7916 7615 54 142 0 7772 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 79228
[startup+102.437 s]
/proc/loadavg: 1.02 1.01 1.10 2/66 9691
/proc/meminfo: memFree=1868800/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=35640 CPUtime=83.01
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 8644 0 0 0 8296 5 0 0 25 0 1 0 173488763 36495360 8626 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529743 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 8910 8626 54 142 0 8766 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 83204
[startup+162.492 s]
/proc/loadavg: 1.04 1.02 1.09 2/66 9691
/proc/meminfo: memFree=1864192/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=40248 CPUtime=143.04
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 9768 0 0 0 14298 6 0 0 25 0 1 0 173488763 41213952 9750 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 10062 9750 54 142 0 9918 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 87812
[startup+222.545 s]
/proc/loadavg: 1.01 1.02 1.09 2/66 9691
/proc/meminfo: memFree=1859456/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=44928 CPUtime=203.08
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 10945 0 0 0 20300 8 0 0 25 0 1 0 173488763 46006272 10927 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529417 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 11232 10927 54 142 0 11088 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 92492
[startup+282.595 s]
/proc/loadavg: 1.00 1.01 1.08 2/66 9691
################
# More data... #
################
/proc/loadavg: 1.02 1.01 1.02 2/66 9693
/proc/meminfo: memFree=1802560/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=102044 CPUtime=1103.61
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 25076 0 0 0 110336 25 0 0 25 0 1 0 173488763 104493056 25058 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529368 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 25511 25058 54 142 0 25367 0
Current children cumulated CPU time (s) 1122.72
Current children cumulated vsize (KiB) 149608
[startup+1183.39 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 9693
/proc/meminfo: memFree=1799296/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=105376 CPUtime=1163.65
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 25905 0 0 0 116339 26 0 0 25 0 1 0 173488763 107905024 25887 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 26344 25887 54 142 0 26200 0
Current children cumulated CPU time (s) 1182.76
Current children cumulated vsize (KiB) 152940
[startup+1243.44 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 9693
/proc/meminfo: memFree=1796288/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=108316 CPUtime=1223.69
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 26627 0 0 0 122342 27 0 0 25 0 1 0 173488763 110915584 26609 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 27079 26609 54 142 0 26935 0
Current children cumulated CPU time (s) 1242.8
Current children cumulated vsize (KiB) 155880
[startup+1303.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9693
/proc/meminfo: memFree=1792960/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=112088 CPUtime=1283.73
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 27459 0 0 0 128345 28 0 0 25 0 1 0 173488763 114778112 27441 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 28022 27441 54 142 0 27878 0
Current children cumulated CPU time (s) 1302.84
Current children cumulated vsize (KiB) 159652
[startup+1363.55 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9693
/proc/meminfo: memFree=1790400/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=114776 CPUtime=1343.76
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 28128 0 0 0 134347 29 0 0 25 0 1 0 173488763 117530624 28110 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 28694 28110 54 142 0 28550 0
Current children cumulated CPU time (s) 1362.87
Current children cumulated vsize (KiB) 162340
[startup+1423.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9693
/proc/meminfo: memFree=1787584/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=117448 CPUtime=1403.79
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 28804 0 0 0 140349 30 0 0 25 0 1 0 173488763 120266752 28786 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 29362 28786 54 142 0 29218 0
Current children cumulated CPU time (s) 1422.9
Current children cumulated vsize (KiB) 165012
[startup+1483.66 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9693
/proc/meminfo: memFree=1784256/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=120824 CPUtime=1463.83
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 29631 0 0 0 146353 30 0 0 25 0 1 0 173488763 123723776 29613 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529492 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 30206 29613 54 142 0 30062 0
Current children cumulated CPU time (s) 1482.94
Current children cumulated vsize (KiB) 168388
[startup+1543.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9693
/proc/meminfo: memFree=1781440/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=123504 CPUtime=1523.86
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 30317 0 0 0 152355 31 0 0 25 0 1 0 173488763 126468096 30299 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 30876 30299 54 142 0 30732 0
Current children cumulated CPU time (s) 1542.97
Current children cumulated vsize (KiB) 171068
[startup+1603.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9693
/proc/meminfo: memFree=1778880/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=126060 CPUtime=1583.9
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 30947 0 0 0 158358 32 0 0 25 0 1 0 173488763 129085440 30929 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 31515 30929 54 142 0 31371 0
Current children cumulated CPU time (s) 1603.01
Current children cumulated vsize (KiB) 173624
[startup+1663.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9693
/proc/meminfo: memFree=1776384/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=128532 CPUtime=1643.94
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 31584 0 0 0 164360 34 0 0 25 0 1 0 173488763 131616768 31566 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529735 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 32133 31566 54 142 0 31989 0
Current children cumulated CPU time (s) 1663.05
Current children cumulated vsize (KiB) 176096
[startup+1723.87 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 9693
/proc/meminfo: memFree=1773376/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=131496 CPUtime=1703.98
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 32319 0 0 0 170363 35 0 0 25 0 1 0 173488763 134651904 32301 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 32874 32301 54 142 0 32730 0
Current children cumulated CPU time (s) 1723.09
Current children cumulated vsize (KiB) 179060
[startup+1783.92 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 9693
/proc/meminfo: memFree=1771072/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=133840 CPUtime=1764
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 32889 0 0 0 176365 35 0 0 25 0 1 0 173488763 137052160 32871 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 33460 32871 54 142 0 33316 0
Current children cumulated CPU time (s) 1783.11
Current children cumulated vsize (KiB) 181404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.83 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 9693
/proc/meminfo: memFree=1770368/2055920 swapFree=4191892/4192956
[pid=9669] ppid=9667 vsize=47564 CPUtime=19.11
/proc/9669/stat : 9669 (galac.sh) S 9667 9669 8383 0 -1 4194304 794 38764 5 4 0 1 1884 26 17 0 1 0 173486825 48705536 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 259414747994 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9669/statm: 11891 363 245 79 0 218 0
[pid=9691] ppid=9669 vsize=134368 CPUtime=1780.91
/proc/9691/stat : 9691 (minisat) R 9669 9669 8383 0 -1 4194304 33052 0 0 0 178056 35 0 0 25 0 1 0 173488763 137592832 33034 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 1 0 0
/proc/9691/statm: 33592 33034 54 142 0 33448 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 181932
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 9669 and gives childrusage.ru_utime.tv_sec=18 childrusage.ru_utime.tv_usec=846134 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=276957
CPU time returned by wait4() is 19.1231
while last known CPU time is 1800.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1800.84
CPU time (s): 1800.02
CPU user time (s): 1799.4
CPU system time (s): 0.62
CPU usage (%): 99.9545
Max. virtual memory (cumulated for all children) (KiB): 908628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.8461
system time used= 0.276957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39558
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1378
involuntary context switches= 398
runsolver used 1.2768 s user time and 3.62645 s system time
The end
Begin job on node42 on Mon Jan 8 10:07:56 UTC 2007
IDJOB= 218100
IDBENCH= 5199
FILE ID= node42/218100-1168250876
PBS_JOBID= 3481787
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-1_ext.xml
COMMAND LINE= /tmp/evaluation/218100-1168250876/galac.sh /tmp/evaluation/218100-1168250876/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-218100-1168250876 -o ROOT/results/node42/solver-218100-1168250876 -C 1800 -M 900 /tmp/evaluation/218100-1168250876/galac.sh /tmp/evaluation/218100-1168250876/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= 63fc55ad75961bae7c06211413bc4c18
RANDOM SEED= 812384863
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.229
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.229
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: 1912544 kB
Buffers: 16356 kB
Cached: 58496 kB
SwapCached: 356 kB
Active: 54616 kB
Inactive: 35788 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1912544 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4156 kB
Writeback: 0 kB
Mapped: 24388 kB
Slab: 39032 kB
Committed_AS: 3508188 kB
PageTables: 1408 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= 66553 MiB
End job on node42 on Mon Jan 8 10:37:57 UTC 2007