0.00/0.03 c --- Preproc Stats ---
2.83/2.91 c start processing
2.83/2.91 c start relation processing
8.58/8.76 c start cnf exporting
140.87/142.37 c parsing time : 2.789
140.87/142.37 c preprocessing time : 142.25
140.87/142.37
140.87/142.37 c Nary constraints - conflicts : 0 supports : 21
140.87/142.37 c Binary constraints - conflicts : 0 supports :0
140.87/142.37 c max arity constraint : 11
140.87/142.37 c Max Tuples generated 0
140.87/142.37 c relations : 2
140.87/142.37 c relations BDD: 2
140.87/142.37 c sampling 0/0
140.87/142.38 c vars : 1106123 - clauses : 4059692
140.87/142.38
140.95/142.44
140.95/142.44 c --- SAT Solver Stats ---
140.95/142.44
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1075802-1215181829/watcher-1075802-1215181829 -o /tmp/evaluation-result-1075802-1215181829/solver-1075802-1215181829 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1075802-1215181829.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 1.89 4/81 11995
/proc/meminfo: memFree=1682616/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=6392 CPUtime=0
/proc/11995/stat : 11995 (galacM.sh) R 11993 11995 11021 0 -1 4194304 231 0 0 0 0 0 0 0 20 0 1 0 1997157366 6545408 195 996147200 4194304 4520092 548682068832 18446744073709551615 227846193872 0 0 4096 8192 0 0 0 17 1 0 0
/proc/11995/statm: 1598 195 146 79 0 122 0
[startup+0.0527459 s]
/proc/loadavg: 2.02 2.02 1.89 4/81 11995
/proc/meminfo: memFree=1682616/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576
[startup+0.101761 s]
/proc/loadavg: 2.02 2.02 1.89 4/81 11995
/proc/meminfo: memFree=1682616/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576
[startup+0.301786 s]
/proc/loadavg: 2.02 2.02 1.89 4/81 11995
/proc/meminfo: memFree=1682616/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576
[startup+0.701855 s]
/proc/loadavg: 2.02 2.02 1.89 4/81 11995
/proc/meminfo: memFree=1682616/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576
[startup+1.50301 s]
/proc/loadavg: 2.02 2.02 1.89 3/91 12017
/proc/meminfo: memFree=1632488/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12009] ppid=11995 vsize=812628 CPUtime=1.43
/proc/12009/stat : 12009 (java) S 11995 11995 11021 0 -1 0 23531 0 1 0 133 10 0 0 18 0 9 0 1997157370 832131072 22957 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12009/statm: 203157 22957 1883 9 0 197138 0
[pid=12009/tid=12010] ppid=11995 vsize=812628 CPUtime=1.22
/proc/12009/task/12010/stat : 12010 (java) R 11995 11995 11021 0 -1 64 14198 0 1 0 116 6 0 0 25 0 9 0 1997157371 832131072 22957 996147200 134512640 134550740 4294955600 18446744073709551615 4126646897 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12011] ppid=11995 vsize=812628 CPUtime=0.06
/proc/12009/task/12011/stat : 12011 (java) S 11995 11995 11021 0 -1 64 7878 0 0 0 4 2 0 0 17 0 9 0 1997157373 832131072 22957 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12012] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12012/stat : 12012 (java) S 11995 11995 11021 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997157373 832131072 22957 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12013] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12013/stat : 12013 (java) S 11995 11995 11021 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997157373 832131072 22957 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12014] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12014/stat : 12014 (java) S 11995 11995 11021 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997157375 832131072 22957 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12015] ppid=11995 vsize=812628 CPUtime=0.12
/proc/12009/task/12015/stat : 12015 (java) S 11995 11995 11021 0 -1 64 756 0 0 0 12 0 0 0 16 0 9 0 1997157375 832131072 22957 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12016] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12016/stat : 12016 (java) S 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997157375 832131072 22957 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12017] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12017/stat : 12017 (java) R 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997157375 832131072 22957 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 860204
[startup+3.10129 s]
/proc/loadavg: 2.01 2.02 1.89 3/91 12017
/proc/meminfo: memFree=1582632/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12009] ppid=11995 vsize=812628 CPUtime=3.02
/proc/12009/stat : 12009 (java) S 11995 11995 11021 0 -1 0 32193 0 1 0 287 15 0 0 18 0 9 0 1997157370 832131072 31615 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12009/statm: 203157 31615 1883 9 0 197138 0
[pid=12009/tid=12010] ppid=11995 vsize=812628 CPUtime=2.69
/proc/12009/task/12010/stat : 12010 (java) R 11995 11995 11021 0 -1 64 14467 0 1 0 262 7 0 0 25 0 9 0 1997157371 832131072 31615 996147200 134512640 134550740 4294955600 18446744073709551615 4126791206 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12011] ppid=11995 vsize=812628 CPUtime=0.17
/proc/12009/task/12011/stat : 12011 (java) S 11995 11995 11021 0 -1 64 16264 0 0 0 11 6 0 0 16 0 9 0 1997157373 832131072 31615 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12012] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12012/stat : 12012 (java) S 11995 11995 11021 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997157373 832131072 31615 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12013] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12013/stat : 12013 (java) S 11995 11995 11021 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997157373 832131072 31615 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12014] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12014/stat : 12014 (java) S 11995 11995 11021 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997157375 832131072 31615 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12015] ppid=11995 vsize=812628 CPUtime=0.13
/proc/12009/task/12015/stat : 12015 (java) S 11995 11995 11021 0 -1 64 763 0 0 0 13 0 0 0 16 0 9 0 1997157375 832131072 31615 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12016] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12016/stat : 12016 (java) S 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997157375 832131072 31615 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12017] ppid=11995 vsize=812628 CPUtime=0
/proc/12009/task/12017/stat : 12017 (java) S 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997157375 832131072 31615 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 860204
[startup+6.30285 s]
/proc/loadavg: 2.01 2.02 1.89 3/91 12017
/proc/meminfo: memFree=1562152/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12009] ppid=11995 vsize=812736 CPUtime=6.19
/proc/12009/stat : 12009 (java) S 11995 11995 11021 0 -1 0 32230 0 1 0 604 15 0 0 18 0 9 0 1997157370 832241664 31649 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12009/statm: 203184 31649 1888 9 0 197165 0
[pid=12009/tid=12010] ppid=11995 vsize=812736 CPUtime=5.82
/proc/12009/task/12010/stat : 12010 (java) R 11995 11995 11021 0 -1 64 14483 0 1 0 575 7 0 0 25 0 9 0 1997157371 832241664 31649 996147200 134512640 134550740 4294955600 18446744073709551615 4126796215 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12011] ppid=11995 vsize=812736 CPUtime=0.17
/proc/12009/task/12011/stat : 12011 (java) S 11995 11995 11021 0 -1 64 16264 0 0 0 11 6 0 0 16 0 9 0 1997157373 832241664 31649 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12012] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12012/stat : 12012 (java) S 11995 11995 11021 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997157373 832241664 31649 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12013] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12013/stat : 12013 (java) S 11995 11995 11021 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997157373 832241664 31649 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12014] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12014/stat : 12014 (java) S 11995 11995 11021 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997157375 832241664 31649 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12015] ppid=11995 vsize=812736 CPUtime=0.17
/proc/12009/task/12015/stat : 12015 (java) S 11995 11995 11021 0 -1 64 784 0 0 0 17 0 0 0 15 0 9 0 1997157375 832241664 31649 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12016] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12016/stat : 12016 (java) S 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997157375 832241664 31649 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12017] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12017/stat : 12017 (java) S 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997157375 832241664 31649 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 860312
[startup+12.702 s]
/proc/loadavg: 2.01 2.02 1.89 3/91 12017
/proc/meminfo: memFree=1512552/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12009] ppid=11995 vsize=812736 CPUtime=12.53
/proc/12009/stat : 12009 (java) S 11995 11995 11021 0 -1 0 44183 0 1 0 1231 22 0 0 18 0 9 0 1997157370 832241664 43590 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12009/statm: 203184 43590 1911 9 0 197165 0
[pid=12009/tid=12010] ppid=11995 vsize=812736 CPUtime=11.52
/proc/12009/task/12010/stat : 12010 (java) R 11995 11995 11021 0 -1 64 14538 0 1 0 1143 9 0 0 25 0 9 0 1997157371 832241664 43590 996147200 134512640 134550740 4294955600 18446744073709551615 103826944 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12011] ppid=11995 vsize=812736 CPUtime=0.74
/proc/12009/task/12011/stat : 12011 (java) S 11995 11995 11021 0 -1 64 28120 0 0 0 63 11 0 0 16 0 9 0 1997157373 832241664 43590 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12012] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12012/stat : 12012 (java) S 11995 11995 11021 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997157373 832241664 43590 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12013] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12013/stat : 12013 (java) S 11995 11995 11021 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997157373 832241664 43590 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12014] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12014/stat : 12014 (java) S 11995 11995 11021 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997157375 832241664 43590 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12015] ppid=11995 vsize=812736 CPUtime=0.23
/proc/12009/task/12015/stat : 12015 (java) S 11995 11995 11021 0 -1 64 826 0 0 0 23 0 0 0 15 0 9 0 1997157375 832241664 43590 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12016] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12016/stat : 12016 (java) S 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997157375 832241664 43590 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12017] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12017/stat : 12017 (java) S 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997157375 832241664 43590 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 860312
[startup+25.5022 s]
/proc/loadavg: 2.01 2.02 1.89 3/91 12017
/proc/meminfo: memFree=1504936/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12009] ppid=11995 vsize=812736 CPUtime=25.2
/proc/12009/stat : 12009 (java) S 11995 11995 11021 0 -1 0 44209 0 1 0 2493 27 0 0 18 0 9 0 1997157370 832241664 43593 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12009/statm: 203184 43593 1911 9 0 197165 0
[pid=12009/tid=12010] ppid=11995 vsize=812736 CPUtime=24.17
/proc/12009/task/12010/stat : 12010 (java) R 11995 11995 11021 0 -1 64 14561 0 1 0 2403 14 0 0 25 0 9 0 1997157371 832241664 43593 996147200 134512640 134550740 4294955600 18446744073709551615 4126428126 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12011] ppid=11995 vsize=812736 CPUtime=0.76
/proc/12009/task/12011/stat : 12011 (java) S 11995 11995 11021 0 -1 64 28120 0 0 0 65 11 0 0 16 0 9 0 1997157373 832241664 43593 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12012] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12012/stat : 12012 (java) S 11995 11995 11021 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997157373 832241664 43593 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12013] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12013/stat : 12013 (java) S 11995 11995 11021 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1997157373 832241664 43593 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12014] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12014/stat : 12014 (java) S 11995 11995 11021 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1997157375 832241664 43593 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12015] ppid=11995 vsize=812736 CPUtime=0.24
/proc/12009/task/12015/stat : 12015 (java) S 11995 11995 11021 0 -1 64 829 0 0 0 24 0 0 0 15 0 9 0 1997157375 832241664 43593 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12016] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12016/stat : 12016 (java) S 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997157375 832241664 43593 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12009/tid=12017] ppid=11995 vsize=812736 CPUtime=0
/proc/12009/task/12017/stat : 12017 (java) S 11995 11995 11021 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997157375 832241664 43593 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 860312
[startup+51.1028 s]
/proc/loadavg: 2.00 2.02 1.89 3/91 12017
/proc/meminfo: memFree=1488808/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=0.01
################
# More data... #
################
/proc/12018/statm: 66809 61741 57 152 0 66654 0
Current children cumulated CPU time (s) 1114.85
Current children cumulated vsize (KiB) 314812
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12170
/proc/meminfo: memFree=1410296/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=267500 CPUtime=1033.83
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 61839 0 0 0 103336 47 0 0 25 0 1 0 1997171611 273920000 61812 996147200 134512640 135136200 4294955968 18446744073709551615 134529368 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 66875 61812 57 152 0 66720 0
Current children cumulated CPU time (s) 1174.82
Current children cumulated vsize (KiB) 315076
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12170
/proc/meminfo: memFree=1408696/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=269220 CPUtime=1093.81
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 62244 0 0 0 109333 48 0 0 25 0 1 0 1997171611 275681280 62217 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 67305 62217 57 152 0 67150 0
Current children cumulated CPU time (s) 1234.8
Current children cumulated vsize (KiB) 316796
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12170
/proc/meminfo: memFree=1406520/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=271204 CPUtime=1153.77
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 62768 0 0 0 115329 48 0 0 25 0 1 0 1997171611 277712896 62741 996147200 134512640 135136200 4294955968 18446744073709551615 134529406 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 67801 62741 57 152 0 67646 0
Current children cumulated CPU time (s) 1294.76
Current children cumulated vsize (KiB) 318780
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12170
/proc/meminfo: memFree=1402680/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=275080 CPUtime=1213.74
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 63726 0 0 0 121325 49 0 0 25 0 1 0 1997171611 281681920 63699 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 68770 63699 57 152 0 68615 0
Current children cumulated CPU time (s) 1354.73
Current children cumulated vsize (KiB) 322656
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12170
/proc/meminfo: memFree=1399032/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=278692 CPUtime=1273.72
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 64644 0 0 0 127322 50 0 0 25 0 1 0 1997171611 285380608 64617 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 69673 64617 57 152 0 69518 0
Current children cumulated CPU time (s) 1414.71
Current children cumulated vsize (KiB) 326268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12170
/proc/meminfo: memFree=1395064/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=282684 CPUtime=1333.69
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 65637 0 0 0 133317 52 0 0 25 0 1 0 1997171611 289468416 65610 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 70671 65610 57 152 0 70516 0
Current children cumulated CPU time (s) 1474.68
Current children cumulated vsize (KiB) 330260
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/82 12170
/proc/meminfo: memFree=1390456/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=287240 CPUtime=1393.66
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 66761 0 0 0 139312 54 0 0 25 0 1 0 1997171611 294133760 66734 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 71810 66734 57 152 0 71655 0
Current children cumulated CPU time (s) 1534.65
Current children cumulated vsize (KiB) 334816
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/82 12170
/proc/meminfo: memFree=1387256/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=290432 CPUtime=1453.64
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 67568 0 0 0 145309 55 0 0 25 0 1 0 1997171611 297402368 67541 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 72608 67541 57 152 0 72453 0
Current children cumulated CPU time (s) 1594.63
Current children cumulated vsize (KiB) 338008
[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 1.93 3/82 12170
/proc/meminfo: memFree=1386552/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=291096 CPUtime=1513.6
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 67723 0 0 0 151305 55 0 0 25 0 1 0 1997171611 298082304 67696 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 72774 67696 57 152 0 72619 0
Current children cumulated CPU time (s) 1654.59
Current children cumulated vsize (KiB) 338672
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 1.94 3/82 12170
/proc/meminfo: memFree=1385592/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=291968 CPUtime=1573.58
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 67941 0 0 0 157302 56 0 0 25 0 1 0 1997171611 298975232 67914 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 72992 67914 57 152 0 72837 0
Current children cumulated CPU time (s) 1714.57
Current children cumulated vsize (KiB) 339544
[startup+1782.3 s]
/proc/loadavg: 2.15 2.07 1.95 3/82 12170
/proc/meminfo: memFree=1384504/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=293024 CPUtime=1633.55
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 68195 0 0 0 163299 56 0 0 25 0 1 0 1997171611 300056576 68168 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 73256 68168 57 152 0 73101 0
Current children cumulated CPU time (s) 1774.54
Current children cumulated vsize (KiB) 340600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.8 s]
/proc/loadavg: 2.10 2.06 1.95 3/82 12170
/proc/meminfo: memFree=1384056/2055920 swapFree=4180540/4192956
[pid=11995] ppid=11993 vsize=47576 CPUtime=140.99
/proc/11995/stat : 11995 (galacM.sh) S 11993 11995 11021 0 -1 4194304 800 46136 0 1 0 0 14022 77 17 0 1 0 1997157366 48717824 365 996147200 4194304 4520092 548682068832 18446744073709551615 227848416090 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/11995/statm: 11894 365 246 79 0 219 0
[pid=12018] ppid=11995 vsize=293420 CPUtime=1659.04
/proc/12018/stat : 12018 (minisat) R 11995 11995 11021 0 -1 4194304 68305 0 0 0 165848 56 0 0 25 0 1 0 1997171611 300462080 68278 996147200 134512640 135136200 4294955968 18446744073709551615 134529333 0 0 4096 3 0 0 0 17 0 0 0
/proc/12018/statm: 73355 68278 57 152 0 73200 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 340996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11995 and gives
# childrusage.ru_utime.tv_sec=140
# childrusage.ru_utime.tv_usec=223682
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=784880
# CPU time returned by wait4() is 141.009
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1807.81
CPU time (s): 1800.03
CPU user time (s): 1798.7
CPU system time (s): 1.33
CPU usage (%): 99.5695
Max. virtual memory (cumulated for all children) (KiB): 860312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.224
system time used= 0.78488
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46936
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= 5618
involuntary context switches= 8531
runsolver used 2.40863 second user time and 5.81811 second system time
The end
Begin job on node18 at 2008-07-04 16:30:30
IDJOB=1075802
IDBENCH=56544
IDSOLVER=350
FILE ID=node18/1075802-1215181829
PBS_JOBID= 7881599
Free space on /tmp= 66544 MiB
SOLVER NAME= galac M
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg10-11_ext.xml
COMMAND LINE= HOME/galacM.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1075802-1215181829/watcher-1075802-1215181829 -o /tmp/evaluation-result-1075802-1215181829/solver-1075802-1215181829 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1075802-1215181829.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= be1528da6e8be12668d5807251c50f37
RANDOM SEED=2077280866
node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.268
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 : 5931.00
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.268
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: 1683032 kB
Buffers: 39916 kB
Cached: 131028 kB
SwapCached: 6536 kB
Active: 267156 kB
Inactive: 53664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1683032 kB
SwapTotal: 4192956 kB
SwapFree: 4180540 kB
Dirty: 6472 kB
Writeback: 0 kB
Mapped: 163320 kB
Slab: 36956 kB
Committed_AS: 4212792 kB
PageTables: 2076 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= 66464 MiB
End job on node18 at 2008-07-04 17:00:40