0.00/0.03 c --- Preproc Stats ---
5.59/5.72 c start processing
5.59/5.72 c start relation processing
19.76/20.00 c start cnf exporting
75.93/76.86 c parsing time : 5.591
75.93/76.86 c preprocessing time : 76.727
75.93/76.86
75.93/76.86 c Nary constraints - conflicts : 0 supports : 93
75.93/76.86 c Binary constraints - conflicts : 0 supports :0
75.93/76.86 c max arity constraint : 3
75.93/76.86 c Max Tuples generated 0
75.93/76.86 c relations : 93
75.93/76.86 c relations BDD: 93
75.93/76.86 c sampling 0/0
75.93/76.86 c vars : 598174 - clauses : 1874383
75.93/76.86
75.99/76.97
75.99/76.97 c --- SAT Solver Stats ---
75.99/76.97
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058529-1215115813/watcher-1058529-1215115813 -o /tmp/evaluation-result-1058529-1215115813/solver-1058529-1215115813 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1058529-1215115813.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 4712
/proc/meminfo: memFree=1603776/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=5228 CPUtime=0
/proc/4712/stat : 4712 (galacM.sh) R 4710 4712 3359 0 -1 4194304 63 0 0 0 0 0 0 0 20 0 1 0 634514956 5353472 48 996147200 4194304 4520092 548682068832 18446744073709551615 231491041324 0 0 4096 0 0 0 0 17 1 0 0
/proc/4712/statm: 1307 48 37 79 0 105 0
[startup+0.021281 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 4712
/proc/meminfo: memFree=1603776/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=8748 CPUtime=0
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 454 948 0 0 0 0 0 0 17 0 1 0 634514956 8957952 312 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 2187 312 217 79 0 180 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8748
[startup+0.101337 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 4712
/proc/meminfo: memFree=1603776/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=0.01
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572
[startup+0.301363 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 4712
/proc/meminfo: memFree=1603776/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=0.01
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572
[startup+0.701427 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 4712
/proc/meminfo: memFree=1603776/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=0.01
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572
[startup+1.50255 s]
/proc/loadavg: 2.16 2.04 2.01 3/82 4734
/proc/meminfo: memFree=1532784/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=0.01
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4726] ppid=4712 vsize=812628 CPUtime=1.43
/proc/4726/stat : 4726 (java) S 4712 4712 3359 0 -1 0 22161 0 1 0 131 12 0 0 18 0 9 0 634514960 832131072 21583 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4726/statm: 203157 21583 1884 9 0 197138 0
[pid=4726/tid=4727] ppid=4712 vsize=812628 CPUtime=1.2
/proc/4726/task/4727/stat : 4727 (java) R 4712 4712 3359 0 -1 64 14457 0 1 0 112 8 0 0 25 0 9 0 634514961 832131072 21583 996147200 134512640 134550740 4294955616 18446744073709551615 4126653384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4728] ppid=4712 vsize=812628 CPUtime=0.09
/proc/4726/task/4728/stat : 4728 (java) S 4712 4712 3359 0 -1 64 6248 0 0 0 6 3 0 0 16 0 9 0 634514963 832131072 21583 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4729] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4729/stat : 4729 (java) S 4712 4712 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 634514963 832131072 21583 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4730] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4730/stat : 4730 (java) S 4712 4712 3359 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 634514963 832131072 21583 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4731] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4731/stat : 4731 (java) S 4712 4712 3359 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 634514965 832131072 21583 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4732] ppid=4712 vsize=812628 CPUtime=0.11
/proc/4726/task/4732/stat : 4732 (java) S 4712 4712 3359 0 -1 64 751 0 0 0 11 0 0 0 16 0 9 0 634514965 832131072 21583 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4733] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4733/stat : 4733 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 634514966 832131072 21583 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4734] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4734/stat : 4734 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 634514966 832131072 21583 996147200 134512640 134550740 4294955616 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) 860200
[startup+3.10279 s]
/proc/loadavg: 2.16 2.04 2.01 3/82 4734
/proc/meminfo: memFree=1518832/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=0.01
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4726] ppid=4712 vsize=812628 CPUtime=3.01
/proc/4726/stat : 4726 (java) S 4712 4712 3359 0 -1 0 25251 0 1 0 287 14 0 0 18 0 9 0 634514960 832131072 24668 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4726/statm: 203157 24668 1884 9 0 197138 0
[pid=4726/tid=4727] ppid=4712 vsize=812628 CPUtime=2.65
/proc/4726/task/4727/stat : 4727 (java) R 4712 4712 3359 0 -1 64 14462 0 1 0 257 8 0 0 25 0 9 0 634514961 832131072 24668 996147200 134512640 134550740 4294955616 18446744073709551615 4126714045 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4728] ppid=4712 vsize=812628 CPUtime=0.22
/proc/4726/task/4728/stat : 4728 (java) S 4712 4712 3359 0 -1 64 9329 0 0 0 17 5 0 0 16 0 9 0 634514963 832131072 24668 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4729] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4729/stat : 4729 (java) S 4712 4712 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 634514963 832131072 24668 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4730] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4730/stat : 4730 (java) S 4712 4712 3359 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 634514963 832131072 24668 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4731] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4731/stat : 4731 (java) S 4712 4712 3359 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 634514965 832131072 24668 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4732] ppid=4712 vsize=812628 CPUtime=0.12
/proc/4726/task/4732/stat : 4732 (java) S 4712 4712 3359 0 -1 64 755 0 0 0 12 0 0 0 16 0 9 0 634514965 832131072 24668 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4733] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4733/stat : 4733 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 634514966 832131072 24668 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4734] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4734/stat : 4734 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 634514966 832131072 24668 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 860200
[startup+6.30226 s]
/proc/loadavg: 2.15 2.04 2.01 3/82 4734
/proc/meminfo: memFree=1492016/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=0.01
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4726] ppid=4712 vsize=812628 CPUtime=6.19
/proc/4726/stat : 4726 (java) S 4712 4712 3359 0 -1 0 30777 0 1 0 601 18 0 0 18 0 9 0 634514960 832131072 30183 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4726/statm: 203157 30183 1892 9 0 197138 0
[pid=4726/tid=4727] ppid=4712 vsize=812628 CPUtime=5.5
/proc/4726/task/4727/stat : 4727 (java) R 4712 4712 3359 0 -1 64 14485 0 1 0 541 9 0 0 25 0 9 0 634514961 832131072 30183 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4728] ppid=4712 vsize=812628 CPUtime=0.47
/proc/4726/task/4728/stat : 4728 (java) R 4712 4712 3359 0 -1 64 14786 0 0 0 40 7 0 0 16 0 9 0 634514963 832131072 30183 996147200 134512640 134550740 4294955616 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4729] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4729/stat : 4729 (java) S 4712 4712 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 634514963 832131072 30183 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4730] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4730/stat : 4730 (java) S 4712 4712 3359 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 634514963 832131072 30183 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4731] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4731/stat : 4731 (java) S 4712 4712 3359 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 634514965 832131072 30183 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4732] ppid=4712 vsize=812628 CPUtime=0.19
/proc/4726/task/4732/stat : 4732 (java) S 4712 4712 3359 0 -1 64 801 0 0 0 19 0 0 0 16 0 9 0 634514965 832131072 30183 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4733] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4733/stat : 4733 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 634514966 832131072 30183 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4734] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4734/stat : 4734 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 634514966 832131072 30183 996147200 134512640 134550740 4294955616 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) 860200
[startup+12.7022 s]
/proc/loadavg: 2.13 2.04 2.01 3/82 4734
/proc/meminfo: memFree=1399920/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=0.01
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4726] ppid=4712 vsize=812628 CPUtime=12.52
/proc/4726/stat : 4726 (java) S 4712 4712 3359 0 -1 0 53048 0 1 0 1222 30 0 0 18 0 9 0 634514960 832131072 52452 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4726/statm: 203157 52452 1892 9 0 197138 0
[pid=4726/tid=4727] ppid=4712 vsize=812628 CPUtime=10.74
/proc/4726/task/4727/stat : 4727 (java) R 4712 4712 3359 0 -1 64 14487 0 1 0 1065 9 0 0 25 0 9 0 634514961 832131072 52452 996147200 134512640 134550740 4294955616 18446744073709551615 4126881190 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4728] ppid=4712 vsize=812628 CPUtime=1.56
/proc/4726/task/4728/stat : 4728 (java) S 4712 4712 3359 0 -1 64 37054 0 0 0 137 19 0 0 16 0 9 0 634514963 832131072 52452 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4729] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4729/stat : 4729 (java) S 4712 4712 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 634514963 832131072 52452 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4730] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4730/stat : 4730 (java) S 4712 4712 3359 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 634514963 832131072 52452 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4731] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4731/stat : 4731 (java) S 4712 4712 3359 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 634514965 832131072 52452 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4732] ppid=4712 vsize=812628 CPUtime=0.19
/proc/4726/task/4732/stat : 4732 (java) S 4712 4712 3359 0 -1 64 802 0 0 0 19 0 0 0 16 0 9 0 634514965 832131072 52452 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4733] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4733/stat : 4733 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 634514966 832131072 52452 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4734] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4734/stat : 4734 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 634514966 832131072 52452 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 860200
[startup+25.5011 s]
/proc/loadavg: 2.10 2.03 2.01 3/82 4734
/proc/meminfo: memFree=1257840/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=0.01
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 765 1698 0 0 0 0 0 1 23 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4726] ppid=4712 vsize=812628 CPUtime=25.11
/proc/4726/stat : 4726 (java) S 4712 4712 3359 0 -1 0 87866 0 1 0 2462 49 0 0 18 0 9 0 634514960 832131072 87256 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4726/statm: 203157 87256 1911 9 0 197138 0
[pid=4726/tid=4727] ppid=4712 vsize=812628 CPUtime=21.51
/proc/4726/task/4727/stat : 4727 (java) R 4712 4712 3359 0 -1 64 14539 0 1 0 2140 11 0 0 25 0 9 0 634514961 832131072 87256 996147200 134512640 134550740 4294955616 18446744073709551615 4126657824 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4728] ppid=4712 vsize=812628 CPUtime=3.33
/proc/4726/task/4728/stat : 4728 (java) S 4712 4712 3359 0 -1 64 71784 0 0 0 297 36 0 0 16 0 9 0 634514963 832131072 87256 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4729] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4729/stat : 4729 (java) S 4712 4712 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 634514963 832131072 87256 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4730] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4730/stat : 4730 (java) S 4712 4712 3359 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 634514963 832131072 87256 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4731] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4731/stat : 4731 (java) S 4712 4712 3359 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 634514965 832131072 87256 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4732] ppid=4712 vsize=812628 CPUtime=0.25
/proc/4726/task/4732/stat : 4732 (java) S 4712 4712 3359 0 -1 64 838 0 0 0 25 0 0 0 15 0 9 0 634514965 832131072 87256 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4733] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4733/stat : 4733 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 634514966 832131072 87256 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4726/tid=4734] ppid=4712 vsize=812628 CPUtime=0
/proc/4726/task/4734/stat : 4734 (java) S 4712 4712 3359 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 634514966 832131072 87256 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 860200
[startup+51.1019 s]
/proc/loadavg: 2.07 2.03 2.01 3/82 4734
/proc/meminfo: memFree=1242608/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=0.01
################
# More data... #
################
/proc/4735/statm: 50965 48392 57 152 0 50810 0
Current children cumulated CPU time (s) 1179.12
Current children cumulated vsize (KiB) 251432
[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 4763
/proc/meminfo: memFree=1377456/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=206912 CPUtime=1163.05
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 49187 0 0 0 116263 42 0 0 25 0 1 0 634522653 211877888 49168 996147200 134512640 135136200 4294955968 18446744073709551615 134529396 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 51728 49168 57 152 0 51573 0
Current children cumulated CPU time (s) 1239.1
Current children cumulated vsize (KiB) 254484
[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 4763
/proc/meminfo: memFree=1372016/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=212204 CPUtime=1223.03
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 50545 0 0 0 122260 43 0 0 25 0 1 0 634522653 217296896 50526 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 53051 50526 57 152 0 52896 0
Current children cumulated CPU time (s) 1299.08
Current children cumulated vsize (KiB) 259776
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 4763
/proc/meminfo: memFree=1369008/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=215508 CPUtime=1283
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 51302 0 0 0 128256 44 0 0 25 0 1 0 634522653 220680192 51283 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 53877 51283 57 152 0 53722 0
Current children cumulated CPU time (s) 1359.05
Current children cumulated vsize (KiB) 263080
[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 4763
/proc/meminfo: memFree=1363952/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=220424 CPUtime=1342.98
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 52548 0 0 0 134252 46 0 0 25 0 1 0 634522653 225714176 52529 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 55106 52529 57 152 0 54951 0
Current children cumulated CPU time (s) 1419.03
Current children cumulated vsize (KiB) 267996
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 4763
/proc/meminfo: memFree=1360368/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=223992 CPUtime=1402.95
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 53440 0 0 0 140248 47 0 0 25 0 1 0 634522653 229367808 53421 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 55998 53421 57 152 0 55843 0
Current children cumulated CPU time (s) 1479
Current children cumulated vsize (KiB) 271564
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 4763
/proc/meminfo: memFree=1354992/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=229300 CPUtime=1462.92
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 54779 0 0 0 146245 47 0 0 25 0 1 0 634522653 234803200 54760 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 57325 54760 57 152 0 57170 0
Current children cumulated CPU time (s) 1538.97
Current children cumulated vsize (KiB) 276872
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 4763
/proc/meminfo: memFree=1347824/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=236424 CPUtime=1522.89
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 56563 0 0 0 152240 49 0 0 25 0 1 0 634522653 242098176 56544 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 59106 56544 57 152 0 58951 0
Current children cumulated CPU time (s) 1598.94
Current children cumulated vsize (KiB) 283996
[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 4802
/proc/meminfo: memFree=1240560/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=242180 CPUtime=1582.86
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 57986 0 0 0 158234 52 0 0 25 0 1 0 634522653 247992320 57967 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 60545 57967 57 152 0 60390 0
Current children cumulated CPU time (s) 1658.91
Current children cumulated vsize (KiB) 289752
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 4802
/proc/meminfo: memFree=1234288/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=248292 CPUtime=1642.84
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 59507 0 0 0 164230 54 0 0 25 0 1 0 634522653 254251008 59488 996147200 134512640 135136200 4294955968 18446744073709551615 134529333 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 62073 59488 57 152 0 61918 0
Current children cumulated CPU time (s) 1718.89
Current children cumulated vsize (KiB) 295864
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 4802
/proc/meminfo: memFree=1227952/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=254288 CPUtime=1702.81
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 61022 0 0 0 170227 54 0 0 25 0 1 0 634522653 260390912 61003 996147200 134512640 135136200 4294955968 18446744073709551615 134529373 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 63572 61003 57 152 0 63417 0
Current children cumulated CPU time (s) 1778.86
Current children cumulated vsize (KiB) 301860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.5 s]
/proc/loadavg: 2.10 2.03 2.00 3/82 4802
/proc/meminfo: memFree=1226352/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=255896 CPUtime=1724
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 61422 0 0 0 172346 54 0 0 25 0 1 0 634522653 262037504 61403 996147200 134512640 135136200 4294955968 18446744073709551615 134521246 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 63974 61403 57 152 0 63819 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 303468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1803.5 s]
/proc/loadavg: 2.10 2.03 2.00 3/82 4802
/proc/meminfo: memFree=1226352/2055920 swapFree=4180236/4192956
[pid=4712] ppid=4710 vsize=47572 CPUtime=76.05
/proc/4712/stat : 4712 (galacM.sh) S 4710 4712 3359 0 -1 4194304 799 89672 0 1 0 0 7526 79 17 0 1 0 634514956 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 231493266266 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/4712/statm: 11893 364 245 79 0 219 0
[pid=4735] ppid=4712 vsize=255896 CPUtime=1724
/proc/4735/stat : 4735 (minisat) R 4712 4712 3359 0 -1 4194304 61422 0 0 0 172346 54 0 0 25 0 1 0 634522653 262037504 61403 996147200 134512640 135136200 4294955968 18446744073709551615 134521246 0 0 4096 3 0 0 0 17 0 0 0
/proc/4735/statm: 63974 61403 57 152 0 63819 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 303468
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4712 and gives
# childrusage.ru_utime.tv_sec=75
# childrusage.ru_utime.tv_usec=274556
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=803877
# CPU time returned by wait4() is 76.0784
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1803.51
CPU time (s): 1800.05
CPU user time (s): 1798.72
CPU system time (s): 1.33
CPU usage (%): 99.808
Max. virtual memory (cumulated for all children) (KiB): 860200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.2746
system time used= 0.803877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90471
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= 3505
involuntary context switches= 5150
runsolver used 2.13667 second user time and 4.82627 second system time
The end
Begin job on node39 at 2008-07-03 22:10:14
IDJOB=1058529
IDBENCH=54168
IDSOLVER=350
FILE ID=node39/1058529-1215115813
PBS_JOBID= 7877125
Free space on /tmp= 66540 MiB
SOLVER NAME= galac M
BENCH NAME= CPAI08/csp/rand-3-28-28/normalized-rand-3-28-28-93-632-9_ext.xml
COMMAND LINE= HOME/galacM.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058529-1215115813/watcher-1058529-1215115813 -o /tmp/evaluation-result-1058529-1215115813/solver-1058529-1215115813 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1058529-1215115813.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e051c173ddf0f3971a9c89b57445255a
RANDOM SEED=1076314001
node39.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.267
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.267
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: 1604256 kB
Buffers: 63220 kB
Cached: 279228 kB
SwapCached: 6528 kB
Active: 185588 kB
Inactive: 193856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1604256 kB
SwapTotal: 4192956 kB
SwapFree: 4180236 kB
Dirty: 8880 kB
Writeback: 0 kB
Mapped: 43992 kB
Slab: 57768 kB
Committed_AS: 887488 kB
PageTables: 1764 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= 66496 MiB
End job on node39 at 2008-07-03 22:40:19