0.09/0.10 c mistral-prime version 1.313
0.09/0.10 c
0.09/0.10 c Parsing xml file
0.09/0.10 c domains............... 0 (28 domains)
0.09/0.10 c variables............. 0 (800 variables)
0.09/0.10 c predicates............ 0 (1 predicates)
0.09/0.10 c constraints........... 3.12 (64077 constraints)
3.06/3.16 c Parsing time: 3.12
3.06/3.16 c
3.06/3.16 c Building model
3.15/3.24 c 0 AllDifferent constraints infered
3.45/3.54 c 0 constants
3.45/3.54 c 0 Boolean variables (+127328)
3.45/3.54 c 0 range variables (+0)
3.45/3.54 c 782 domain (b) variables (+0)
3.45/3.54 c 0 domain (l) variables (+0)
3.45/3.54 c 64077 constraints (+171858)
3.45/3.54 c 0 values
3.45/3.54 c Building time: 0.37
3.45/3.54 c
3.45/3.54 c Solving instance
3.45/3.54 c heuristic = dom/wdeg
3.45/3.54 c Randomized probing iteration = 100
3.45/3.54 c probing limit = 30
3.45/3.54 c level based weights = no
3.45/3.54 c impact probing = no
3.45/3.54 c restart policy = No restart
3.45/3.54 c probing ..........110.22
113.64/114.73 c Probing Nodes 33239
113.64/114.73 c final run
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058372-1215114721/watcher-1058372-1215114721 -o /tmp/evaluation-result-1058372-1215114721/solver-1058372-1215114721 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1058372-1215114721.xml -v 1 -rs 1484633077 -probe 1 -ph 0 -heu dom/wdeg -res no
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: 1.99 1.98 1.99 4/73 23693
/proc/meminfo: memFree=1656648/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=820 CPUtime=0
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 39 0 0 0 0 0 0 0 21 0 1 0 1990423282 839680 25 996147200 134512640 135239859 4294956144 18446744073709551615 9757476 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 205 25 19 177 0 3 0
[startup+0.042257 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 23693
/proc/meminfo: memFree=1656648/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=5244 CPUtime=0.03
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 632 0 0 0 3 0 0 0 21 0 1 0 1990423282 5369856 598 996147200 134512640 135239859 4294956144 18446744073709551615 4159126172 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 1311 598 395 177 0 214 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5244
[startup+0.10227 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 23693
/proc/meminfo: memFree=1656648/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=6012 CPUtime=0.09
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 836 0 0 0 9 0 0 0 21 0 1 0 1990423282 6156288 802 996147200 134512640 135239859 4294956144 18446744073709551615 10191894 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 1503 802 395 177 0 406 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6012
[startup+0.302311 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 23693
/proc/meminfo: memFree=1656648/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=8760 CPUtime=0.28
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 1508 0 0 0 28 0 0 0 23 0 1 0 1990423282 8970240 1474 996147200 134512640 135239859 4294956144 18446744073709551615 4159007409 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 2190 1474 395 177 0 1093 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8760
[startup+0.7024 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 23693
/proc/meminfo: memFree=1656648/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=14140 CPUtime=0.69
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 2888 0 0 0 68 1 0 0 25 0 1 0 1990423282 14479360 2788 996147200 134512640 135239859 4294956144 18446744073709551615 10190938 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 3535 2788 395 177 0 2438 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14140
[startup+1.50155 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1643008/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=24272 CPUtime=1.47
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 5531 0 0 0 144 3 0 0 25 0 1 0 1990423282 24854528 5301 996147200 134512640 135239859 4294956144 18446744073709551615 134683374 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 6068 5301 395 177 0 4971 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 24272
[startup+3.10186 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1629248/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=44396 CPUtime=3.06
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 10759 0 0 0 299 7 0 0 25 0 1 0 1990423282 45461504 10271 996147200 134512640 135239859 4294956144 18446744073709551615 4158656412 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 11099 10271 395 177 0 10002 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 44396
[startup+6.30149 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1545984/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=116984 CPUtime=6.22
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28886 0 0 0 606 16 0 0 25 0 1 0 1990423282 119791616 27976 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29246 27976 435 177 0 28149 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 116984
[startup+12.7017 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1546112/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=116984 CPUtime=12.57
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28900 0 0 0 1240 17 0 0 25 0 1 0 1990423282 119791616 27990 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29246 27990 435 177 0 28149 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 116984
[startup+25.5022 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1546176/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=116984 CPUtime=25.25
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28909 0 0 0 2508 17 0 0 25 0 1 0 1990423282 119791616 27999 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29246 27999 435 177 0 28149 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 116984
[startup+51.1022 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1546112/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=116984 CPUtime=50.62
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28909 0 0 0 5045 17 0 0 25 0 1 0 1990423282 119791616 27999 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29246 27999 435 177 0 28149 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 116984
[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1545984/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=116984 CPUtime=101.35
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28909 0 0 0 10118 17 0 0 25 0 1 0 1990423282 119791616 27999 996147200 134512640 135239859 4294956144 18446744073709551615 134821152 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29246 27999 435 177 0 28149 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 116984
[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1545792/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=160.83
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28921 0 0 0 16065 18 0 0 25 0 1 0 1990423282 119926784 28011 996147200 134512640 135239859 4294956144 18446744073709551615 134737131 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29279 28011 437 177 0 28182 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 117116
[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1545792/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=220.3
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 22012 18 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 220.3
Current children cumulated vsize (KiB) 117116
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1545856/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=279.79
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 27961 18 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135031021 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 279.79
Current children cumulated vsize (KiB) 117116
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1545856/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=339.26
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 33908 18 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 339.26
Current children cumulated vsize (KiB) 117116
[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1545856/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=398.74
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 39856 18 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 398.74
Current children cumulated vsize (KiB) 117116
[startup+462.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1545792/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=458.22
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 45803 19 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 458.22
Current children cumulated vsize (KiB) 117116
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23694
/proc/meminfo: memFree=1545792/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=517.71
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 51752 19 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 517.71
Current children cumulated vsize (KiB) 117116
[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23700
/proc/meminfo: memFree=1545720/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=577.18
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 57699 19 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 577.18
Current children cumulated vsize (KiB) 117116
[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 23700
/proc/meminfo: memFree=1545656/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=636.67
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 63648 19 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 636.67
Current children cumulated vsize (KiB) 117116
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.06 1.99 1.99 3/84 23794
/proc/meminfo: memFree=1388456/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=875.9
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 87565 25 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 875.9
Current children cumulated vsize (KiB) 117116
[startup+942.301 s]
/proc/loadavg: 2.06 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1153960/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=935.87
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 93560 27 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 935.87
Current children cumulated vsize (KiB) 117116
[startup+1002.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1134760/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=995.84
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 99557 27 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 995.84
Current children cumulated vsize (KiB) 117116
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1115688/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1055.81
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 105554 27 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1055.81
Current children cumulated vsize (KiB) 117116
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1100584/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1115.79
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 111552 27 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1115.79
Current children cumulated vsize (KiB) 117116
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1084648/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1175.75
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 117548 27 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135019281 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1175.75
Current children cumulated vsize (KiB) 117116
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1072048/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1235.72
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 123545 27 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1235.72
Current children cumulated vsize (KiB) 117116
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1063536/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1295.7
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 129543 27 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1295.7
Current children cumulated vsize (KiB) 117116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1055216/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1355.66
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 135539 27 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1355.66
Current children cumulated vsize (KiB) 117116
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1046512/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1415.63
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 141536 27 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 134800027 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1415.63
Current children cumulated vsize (KiB) 117116
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1038000/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1475.61
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 147533 28 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1475.61
Current children cumulated vsize (KiB) 117116
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1030000/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1535.58
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 153530 28 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 134820623 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1535.58
Current children cumulated vsize (KiB) 117116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1023024/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1595.55
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 159527 28 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1595.55
Current children cumulated vsize (KiB) 117116
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1015984/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1655.52
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 165524 28 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135019277 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1655.52
Current children cumulated vsize (KiB) 117116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1009072/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1715.49
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 171521 28 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1715.49
Current children cumulated vsize (KiB) 117116
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1001392/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1775.46
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 177518 28 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1775.46
Current children cumulated vsize (KiB) 117116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=998384/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1800.05
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 179977 28 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 117116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1806.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 23796
/proc/meminfo: memFree=998384/2055920 swapFree=4179604/4192956
[pid=23693] ppid=23691 vsize=117116 CPUtime=1800.05
/proc/23693/stat : 23693 (xsolve) R 23691 23693 22996 0 -1 4194304 28922 0 0 0 179977 28 0 0 25 0 1 0 1990423282 119926784 28012 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/23693/statm: 29279 28012 437 177 0 28182 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 117116
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.93
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.305953
CPU usage (%): 99.6213
Max. virtual memory (cumulated for all children) (KiB): 117116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.305953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28922
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 19460
runsolver used 1.92371 second user time and 5.97009 second system time
The end
Begin job on node74 at 2008-07-03 21:52:02
IDJOB=1058372
IDBENCH=54124
IDSOLVER=342
FILE ID=node74/1058372-1215114721
PBS_JOBID= 7877059
Free space on /tmp= 103200 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-19.xml
COMMAND LINE= HOME/xsolve BENCHNAME -v 1 -rs RANDOMSEED -probe 1 -ph 0 -heu dom/wdeg -res no
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058372-1215114721/watcher-1058372-1215114721 -o /tmp/evaluation-result-1058372-1215114721/solver-1058372-1215114721 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1058372-1215114721.xml -v 1 -rs 1484633077 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 88348dabf1de3aab78e1de9f2b35d337
RANDOM SEED=1484633077
node74.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.259
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.259
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: 1657128 kB
Buffers: 32568 kB
Cached: 259856 kB
SwapCached: 6708 kB
Active: 94860 kB
Inactive: 241144 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1657128 kB
SwapTotal: 4192956 kB
SwapFree: 4179604 kB
Dirty: 9888 kB
Writeback: 0 kB
Mapped: 51084 kB
Slab: 47904 kB
Committed_AS: 3966740 kB
PageTables: 1848 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103072 MiB
End job on node74 at 2008-07-03 22:22:10