0.00/0.00 c mistral-prime version 1.313
0.00/0.00 c
0.00/0.00 c Parsing xml file
0.00/0.00 c domains............... 0 (1 domains)
0.00/0.00 c variables............. 0.04 (7195 variables)
0.00/0.05 c predicates............ 3.97 (442 predicates)
3.93/4.08 c constraints........... 0.79 (852 constraints)
4.72/4.88 c Parsing time: 4.8
4.72/4.88 c
4.72/4.88 c Building model
4.82/4.94 c 0 AllDifferent constraints infered
5.51/5.61 c 0 constants
5.51/5.61 c 7195 Boolean variables (+0)
5.51/5.61 c 0 range variables (+155494)
5.51/5.61 c 0 domain (b) variables (+0)
5.51/5.61 c 0 domain (l) variables (+0)
5.51/5.61 c 3 constraints (+155494)
5.51/5.61 c 0 values
5.51/5.61 c Building time: 0.73
5.51/5.61 c
5.51/5.61 c Solving instance
5.51/5.61 c heuristic = dom/wdeg
5.51/5.61 c Randomized probing iteration = 100
5.51/5.61 c probing limit = 30
5.51/5.61 c level based weights = no
5.51/5.61 c impact probing = no
5.51/5.61 c restart policy = No restart
5.51/5.61 c probing ......600.91
606.30/611.34 c Probing Nodes317160
606.30/611.34 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-1065089-1215145735/watcher-1065089-1215145735 -o /tmp/evaluation-result-1065089-1215145735/solver-1065089-1215145735 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1065089-1215145735.xml -v 1 -rs 1259366385 -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: 2.22 2.05 2.02 4/93 26209
/proc/meminfo: memFree=1697384/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=4584 CPUtime=0
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 670303096 4694016 344 996147200 134512640 135239859 4294956144 18446744073709551615 4158801248 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 1146 351 301 177 0 49 0
[startup+0.0978081 s]
/proc/loadavg: 2.22 2.05 2.02 4/93 26209
/proc/meminfo: memFree=1697384/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=6912 CPUtime=0.09
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 1038 0 0 0 9 0 0 0 18 0 1 0 670303096 7077888 1004 996147200 134512640 135239859 4294956144 18446744073709551615 8367929 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 1728 1005 381 177 0 631 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6912
[startup+0.101813 s]
/proc/loadavg: 2.22 2.05 2.02 4/93 26209
/proc/meminfo: memFree=1697384/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=6912 CPUtime=0.09
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 1048 0 0 0 9 0 0 0 18 0 1 0 670303096 7077888 1014 996147200 134512640 135239859 4294956144 18446744073709551615 8369787 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 1728 1015 381 177 0 631 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6912
[startup+0.301846 s]
/proc/loadavg: 2.22 2.05 2.02 4/93 26209
/proc/meminfo: memFree=1697384/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=10336 CPUtime=0.29
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 1880 0 0 0 29 0 0 0 19 0 1 0 670303096 10584064 1846 996147200 134512640 135239859 4294956144 18446744073709551615 4159010178 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 2584 1846 381 177 0 1487 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10336
[startup+0.70192 s]
/proc/loadavg: 2.22 2.05 2.02 4/93 26209
/proc/meminfo: memFree=1697384/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=10880 CPUtime=0.68
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 2043 0 0 0 68 0 0 0 23 0 1 0 670303096 11141120 2009 996147200 134512640 135239859 4294956144 18446744073709551615 4158658908 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 2720 2009 381 177 0 1623 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10880
[startup+1.50107 s]
/proc/loadavg: 2.22 2.05 2.02 3/94 26210
/proc/meminfo: memFree=1690464/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=13680 CPUtime=1.47
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 2827 0 0 0 147 0 0 0 25 0 1 0 670303096 14008320 2696 996147200 134512640 135239859 4294956144 18446744073709551615 134610523 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 3420 2696 381 177 0 2323 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13680
[startup+3.10237 s]
/proc/loadavg: 2.20 2.05 2.01 3/94 26210
/proc/meminfo: memFree=1687904/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=16908 CPUtime=3.05
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 3649 0 0 0 304 1 0 0 25 0 1 0 670303096 17313792 3518 996147200 134512640 135239859 4294956144 18446744073709551615 134683528 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 4227 3518 381 177 0 3130 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16908
[startup+6.30196 s]
/proc/loadavg: 2.20 2.05 2.01 3/94 26210
/proc/meminfo: memFree=1531488/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=229836 CPUtime=6.2
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 57437 0 0 0 594 26 0 0 25 0 1 0 670303096 235352064 55980 996147200 134512640 135239859 4294956144 18446744073709551615 135042319 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 57459 55980 437 177 0 56362 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 229836
[startup+12.7011 s]
/proc/loadavg: 2.17 2.05 2.01 3/94 26210
/proc/meminfo: memFree=1422952/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=300724 CPUtime=12.5
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 79663 0 0 0 1216 34 0 0 25 0 1 0 670303096 307941376 70522 996147200 134512640 135239859 4294956144 18446744073709551615 8369787 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 75181 70522 437 177 0 74084 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 300724
[startup+25.5015 s]
/proc/loadavg: 2.14 2.04 2.01 3/94 26210
/proc/meminfo: memFree=1411752/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=304684 CPUtime=25.11
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 80946 0 0 0 2476 35 0 0 25 0 1 0 670303096 311996416 71805 996147200 134512640 135239859 4294956144 18446744073709551615 134803091 0 0 4096 0 0 0 0 17 0 0 0
/proc/26209/statm: 76171 71805 437 177 0 75074 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 304684
[startup+51.1013 s]
/proc/loadavg: 2.09 2.04 2.01 3/74 26241
/proc/meminfo: memFree=1591256/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=306796 CPUtime=50.38
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 81594 0 0 0 5002 36 0 0 25 0 1 0 670303096 314159104 72453 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 76699 72453 437 177 0 75602 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 306796
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/74 26241
/proc/meminfo: memFree=1330008/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=307588 CPUtime=101.19
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 81798 0 0 0 10082 37 0 0 25 0 1 0 670303096 314970112 72657 996147200 134512640 135239859 4294956144 18446744073709551615 135101119 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 76897 72657 437 177 0 75800 0
Current children cumulated CPU time (s) 101.19
Current children cumulated vsize (KiB) 307588
[startup+162.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/74 26241
/proc/meminfo: memFree=1326168/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=309964 CPUtime=160.73
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82721 0 0 0 16035 38 0 0 25 0 1 0 670303096 317403136 73580 996147200 134512640 135239859 4294956144 18446744073709551615 135096268 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77491 73580 437 177 0 76394 0
Current children cumulated CPU time (s) 160.73
Current children cumulated vsize (KiB) 309964
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 26241
/proc/meminfo: memFree=1322520/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=309964 CPUtime=220.27
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82743 0 0 0 21989 38 0 0 25 0 1 0 670303096 317403136 73602 996147200 134512640 135239859 4294956144 18446744073709551615 135101100 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77491 73602 437 177 0 76394 0
Current children cumulated CPU time (s) 220.27
Current children cumulated vsize (KiB) 309964
[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 26241
/proc/meminfo: memFree=1322136/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310360 CPUtime=279.81
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82838 0 0 0 27943 38 0 0 25 0 1 0 670303096 317808640 73697 996147200 134512640 135239859 4294956144 18446744073709551615 134803091 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77590 73697 437 177 0 76493 0
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (KiB) 310360
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1322072/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310492 CPUtime=339.35
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82851 0 0 0 33897 38 0 0 25 0 1 0 670303096 317943808 73710 996147200 134512640 135239859 4294956144 18446744073709551615 135097665 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77623 73710 437 177 0 76526 0
Current children cumulated CPU time (s) 339.35
Current children cumulated vsize (KiB) 310492
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1321944/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310492 CPUtime=398.9
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82864 0 0 0 39852 38 0 0 25 0 1 0 670303096 317943808 73723 996147200 134512640 135239859 4294956144 18446744073709551615 135101105 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77623 73723 437 177 0 76526 0
Current children cumulated CPU time (s) 398.9
Current children cumulated vsize (KiB) 310492
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1321944/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310492 CPUtime=458.44
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82870 0 0 0 45806 38 0 0 25 0 1 0 670303096 317943808 73729 996147200 134512640 135239859 4294956144 18446744073709551615 135101088 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77623 73729 437 177 0 76526 0
Current children cumulated CPU time (s) 458.44
Current children cumulated vsize (KiB) 310492
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1321432/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310756 CPUtime=517.98
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82943 0 0 0 51760 38 0 0 25 0 1 0 670303096 318214144 73802 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77689 73802 437 177 0 76592 0
Current children cumulated CPU time (s) 517.98
Current children cumulated vsize (KiB) 310756
[startup+582.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1321432/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=577.52
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82953 0 0 0 57714 38 0 0 25 0 1 0 670303096 318349312 73812 996147200 134512640 135239859 4294956144 18446744073709551615 135101088 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73812 437 177 0 76625 0
Current children cumulated CPU time (s) 577.52
Current children cumulated vsize (KiB) 310888
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1321368/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=637.06
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 63668 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 134788054 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 637.06
Current children cumulated vsize (KiB) 310888
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1319512/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=815.69
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 81531 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135101118 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 815.69
Current children cumulated vsize (KiB) 310888
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1318296/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=875.22
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 87484 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 875.22
Current children cumulated vsize (KiB) 310888
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1317528/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=934.77
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 93439 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135067330 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 934.77
Current children cumulated vsize (KiB) 310888
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26241
/proc/meminfo: memFree=1317208/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=994.31
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 99393 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135074268 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 994.31
Current children cumulated vsize (KiB) 310888
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 26241
/proc/meminfo: memFree=1317144/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1053.85
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 105347 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1053.85
Current children cumulated vsize (KiB) 310888
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/74 26241
/proc/meminfo: memFree=1314456/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1113.39
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 111301 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1113.39
Current children cumulated vsize (KiB) 310888
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/74 26241
/proc/meminfo: memFree=1313944/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1172.93
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 117255 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135102613 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1172.93
Current children cumulated vsize (KiB) 310888
[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/74 26241
/proc/meminfo: memFree=1313560/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1232.47
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 123209 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135035199 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1232.47
Current children cumulated vsize (KiB) 310888
[startup+1302.3 s]
/proc/loadavg: 2.12 2.06 2.00 3/74 26241
/proc/meminfo: memFree=1313240/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1292.02
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 129164 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 134803091 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1292.02
Current children cumulated vsize (KiB) 310888
[startup+1362.3 s]
/proc/loadavg: 2.12 2.06 2.00 3/74 26242
/proc/meminfo: memFree=1313176/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1351.55
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 135117 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 134803091 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1351.55
Current children cumulated vsize (KiB) 310888
[startup+1422.31 s]
/proc/loadavg: 2.04 2.05 2.00 3/74 26242
/proc/meminfo: memFree=1313176/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1411.1
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 141072 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 134803089 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1411.1
Current children cumulated vsize (KiB) 310888
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/74 26242
/proc/meminfo: memFree=1313176/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1470.64
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 147026 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 134788054 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1470.64
Current children cumulated vsize (KiB) 310888
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 26243
/proc/meminfo: memFree=1312984/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1530.17
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 152979 38 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135035197 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1530.17
Current children cumulated vsize (KiB) 310888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 26243
/proc/meminfo: memFree=1312664/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1589.73
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 158934 39 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 134821663 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1589.73
Current children cumulated vsize (KiB) 310888
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 26243
/proc/meminfo: memFree=1312216/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1649.27
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 164888 39 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135071456 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1649.27
Current children cumulated vsize (KiB) 310888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 26243
/proc/meminfo: memFree=1311832/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1708.81
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 170842 39 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135102568 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1708.81
Current children cumulated vsize (KiB) 310888
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26243
/proc/meminfo: memFree=1311640/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1768.35
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 176796 39 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135071425 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1768.35
Current children cumulated vsize (KiB) 310888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26243
/proc/meminfo: memFree=1311576/2055924 swapFree=4177292/4192956
[pid=26209] ppid=26207 vsize=310888 CPUtime=1800.01
/proc/26209/stat : 26209 (xsolve) R 26207 26209 24633 0 -1 4194304 82954 0 0 0 179962 39 0 0 25 0 1 0 670303096 318349312 73813 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/26209/statm: 77722 73813 438 177 0 76625 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 310888
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)
Real time (s): 1814.25
CPU time (s): 1800.06
CPU user time (s): 1799.62
CPU system time (s): 0.436933
CPU usage (%): 99.2177
Max. virtual memory (cumulated for all children) (KiB): 310888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.436933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82954
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= 39936
runsolver used 1.60176 second user time and 5.02224 second system time
The end
Begin job on node83 at 2008-07-04 06:28:55
IDJOB=1065089
IDBENCH=55035
IDSOLVER=342
FILE ID=node83/1065089-1215145735
PBS_JOBID= 7877318
Free space on /tmp= 66528 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-air05.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-1065089-1215145735/watcher-1065089-1215145735 -o /tmp/evaluation-result-1065089-1215145735/solver-1065089-1215145735 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1065089-1215145735.xml -v 1 -rs 1259366385 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 37e5fd3484da66ae9d2e1835399ce3e1
RANDOM SEED=1259366385
node83.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.263
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.263
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1697864 kB
Buffers: 13736 kB
Cached: 110548 kB
SwapCached: 9472 kB
Active: 286828 kB
Inactive: 25848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1697864 kB
SwapTotal: 4192956 kB
SwapFree: 4177292 kB
Dirty: 4944 kB
Writeback: 0 kB
Mapped: 205436 kB
Slab: 29940 kB
Committed_AS: 1701888 kB
PageTables: 2320 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= 66552 MiB
End job on node83 at 2008-07-04 06:59:11