0.18/0.21 c mistral-prime version 1.313
0.18/0.21 c
0.18/0.21 c Parsing xml file
0.18/0.21 c domains............... 0 (1 domains)
0.18/0.21 c variables............. 0.03 (4662 variables)
0.18/0.21 c predicates............1.1096e-18 (11 predicates)
0.18/0.21 c constraints........... 1.7 (31899 constraints)
1.67/1.76 c Parsing time: 1.73
1.67/1.76 c
1.67/1.76 c Building model
1.77/1.81 c 0 AllDifferent constraints infered
1.96/2.07 c 0 constants
1.96/2.07 c 4662 Boolean variables (+0)
1.96/2.07 c 0 range variables (+19251)
1.96/2.07 c 0 domain (b) variables (+0)
1.96/2.07 c 0 domain (l) variables (+0)
1.96/2.07 c 30696 constraints (+19251)
1.96/2.07 c 0 values
1.96/2.07 c Building time: 0.31
1.96/2.07 c
1.96/2.07 c Solving instance
1.96/2.07 c heuristic = dom/wdeg
1.96/2.07 c Randomized probing iteration = 100
1.96/2.07 c probing limit = 30
1.96/2.07 c level based weights = no
1.96/2.07 c impact probing = no
1.96/2.07 c restart policy = No restart
1.96/2.07 c probing .......... 22.52
24.55/24.80 c Probing Nodes331621
24.55/24.80 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-1049325-1215044654/watcher-1049325-1215044654 -o /tmp/evaluation-result-1049325-1215044654/solver-1049325-1215044654 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1049325-1215044654.xml -v 1 -rs 979539685 -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.28 2.13 2.01 4/81 12436
/proc/meminfo: memFree=1555032/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=820 CPUtime=0
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 39 0 0 0 0 0 0 0 19 0 1 0 1983434252 839680 25 996147200 134512640 135239859 4294956144 18446744073709551615 8413988 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 205 25 19 177 0 3 0
[startup+0.078841 s]
/proc/loadavg: 2.28 2.13 2.01 4/81 12436
/proc/meminfo: memFree=1555032/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=6316 CPUtime=0.06
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 897 0 0 0 6 0 0 0 18 0 1 0 1983434252 6467584 863 996147200 134512640 135239859 4294956144 18446744073709551615 134618072 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 1579 863 395 177 0 482 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6316
[startup+0.10284 s]
/proc/loadavg: 2.28 2.13 2.01 4/81 12436
/proc/meminfo: memFree=1555032/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=6724 CPUtime=0.09
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 994 0 0 0 9 0 0 0 18 0 1 0 1983434252 6885376 960 996147200 134512640 135239859 4294956144 18446744073709551615 134622746 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 1681 960 395 177 0 584 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6724
[startup+0.301877 s]
/proc/loadavg: 2.28 2.13 2.01 4/81 12436
/proc/meminfo: memFree=1555032/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=9628 CPUtime=0.27
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 1735 0 0 0 27 0 0 0 19 0 1 0 1983434252 9859072 1701 996147200 134512640 135239859 4294956144 18446744073709551615 4159010128 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 2407 1701 395 177 0 1310 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9628
[startup+0.702951 s]
/proc/loadavg: 2.28 2.13 2.01 4/81 12436
/proc/meminfo: memFree=1555032/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=15612 CPUtime=0.68
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 3296 0 0 0 66 2 0 0 23 0 1 0 1983434252 15986688 3196 996147200 134512640 135239859 4294956144 18446744073709551615 134629479 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 3903 3196 395 177 0 2806 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15612
[startup+1.5011 s]
/proc/loadavg: 2.25 2.13 2.01 3/82 12437
/proc/meminfo: memFree=1539408/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=27080 CPUtime=1.46
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 6259 0 0 0 143 3 0 0 25 0 1 0 1983434252 27729920 6029 996147200 134512640 135239859 4294956144 18446744073709551615 8881118 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 6770 6029 395 177 0 5673 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 27080
[startup+3.10139 s]
/proc/loadavg: 2.25 2.13 2.01 3/82 12437
/proc/meminfo: memFree=1479696/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=3.06
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20024 0 0 0 295 11 0 0 25 0 1 0 1983434252 84049920 19405 996147200 134512640 135239859 4294956144 18446744073709551615 134820684 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19405 437 177 0 19423 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 82080
[startup+6.30197 s]
/proc/loadavg: 2.25 2.13 2.01 3/82 12437
/proc/meminfo: memFree=1478800/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=6.22
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20025 0 0 0 611 11 0 0 25 0 1 0 1983434252 84049920 19406 996147200 134512640 135239859 4294956144 18446744073709551615 134821139 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19406 437 177 0 19423 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 82080
[startup+12.7011 s]
/proc/loadavg: 2.21 2.13 2.01 3/82 12437
/proc/meminfo: memFree=1478800/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=12.56
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20025 0 0 0 1245 11 0 0 25 0 1 0 1983434252 84049920 19406 996147200 134512640 135239859 4294956144 18446744073709551615 135015603 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19406 437 177 0 19423 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 82080
[startup+25.5024 s]
/proc/loadavg: 2.18 2.12 2.01 3/82 12437
/proc/meminfo: memFree=1478928/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=25.24
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 2512 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 134821280 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 82080
[startup+51.103 s]
/proc/loadavg: 2.12 2.11 2.01 3/82 12437
/proc/meminfo: memFree=1478928/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=50.6
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 5048 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 135015600 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 82080
[startup+102.307 s]
/proc/loadavg: 2.05 2.09 2.00 3/82 12437
/proc/meminfo: memFree=1478800/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=101.32
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 10120 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 135101200 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 82080
[startup+162.302 s]
/proc/loadavg: 2.02 2.07 2.00 3/82 12437
/proc/meminfo: memFree=1478800/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=160.75
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 16063 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 134821199 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 82080
[startup+222.302 s]
/proc/loadavg: 2.00 2.05 2.00 3/82 12437
/proc/meminfo: memFree=1478736/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=220.18
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 22006 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 134820623 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 82080
[startup+282.302 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 12437
/proc/meminfo: memFree=1478736/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=279.62
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 27950 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 82080
[startup+342.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/82 12437
/proc/meminfo: memFree=1478736/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=339.05
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 33893 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 135073894 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 82080
[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 12437
/proc/meminfo: memFree=1478736/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=398.48
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 39836 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 134821120 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 398.48
Current children cumulated vsize (KiB) 82080
[startup+462.303 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 12437
/proc/meminfo: memFree=1478800/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=457.91
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 45779 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 134820020 0 0 4096 0 0 0 0 17 1 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 457.91
Current children cumulated vsize (KiB) 82080
[startup+522.302 s]
/proc/loadavg: 2.06 2.04 2.00 3/82 12477
/proc/meminfo: memFree=1463760/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=517.78
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 51766 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 517.78
Current children cumulated vsize (KiB) 82080
[startup+582.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/82 12477
/proc/meminfo: memFree=1456144/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=577.72
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 57760 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 134803453 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 577.72
Current children cumulated vsize (KiB) 82080
[startup+642.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 12477
/proc/meminfo: memFree=1450896/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=637.67
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20026 0 0 0 63755 12 0 0 25 0 1 0 1983434252 84049920 19407 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19407 438 177 0 19423 0
Current children cumulated CPU time (s) 637.67
Current children cumulated vsize (KiB) 82080
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 12479
/proc/meminfo: memFree=1422288/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=817.5
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 81737 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 135071208 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 817.5
Current children cumulated vsize (KiB) 82080
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 12480
/proc/meminfo: memFree=1414544/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=877.43
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 87730 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 135019689 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 877.43
Current children cumulated vsize (KiB) 82080
[startup+942.301 s]
/proc/loadavg: 2.12 2.03 2.01 4/83 12480
/proc/meminfo: memFree=751440/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=937.37
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 93724 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134821199 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 937.37
Current children cumulated vsize (KiB) 82080
[startup+1002.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/82 12481
/proc/meminfo: memFree=785168/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=997.32
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 99719 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134821260 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 997.32
Current children cumulated vsize (KiB) 82080
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 12481
/proc/meminfo: memFree=785168/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1057.26
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 105713 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 135095166 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1057.26
Current children cumulated vsize (KiB) 82080
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 12481
/proc/meminfo: memFree=785040/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1117.2
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 111707 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134821663 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1117.2
Current children cumulated vsize (KiB) 82080
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 12481
/proc/meminfo: memFree=785040/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1177.15
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 117702 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134842589 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1177.15
Current children cumulated vsize (KiB) 82080
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12481
/proc/meminfo: memFree=784848/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1237.09
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 123696 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134821103 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1237.09
Current children cumulated vsize (KiB) 82080
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784848/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1297.04
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 129691 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 135097520 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1297.04
Current children cumulated vsize (KiB) 82080
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784848/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1356.98
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 135685 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134820823 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1356.98
Current children cumulated vsize (KiB) 82080
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784848/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1416.92
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 141679 13 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134803618 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1416.92
Current children cumulated vsize (KiB) 82080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784848/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1476.87
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 147673 14 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134819999 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1476.87
Current children cumulated vsize (KiB) 82080
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784848/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1536.82
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 153668 14 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 135071229 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1536.82
Current children cumulated vsize (KiB) 82080
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784784/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1596.76
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 159662 14 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 135073926 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1596.76
Current children cumulated vsize (KiB) 82080
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784784/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1656.7
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 165656 14 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134820796 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1656.7
Current children cumulated vsize (KiB) 82080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784720/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1716.65
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 171651 14 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 134803628 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1716.65
Current children cumulated vsize (KiB) 82080
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784464/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1776.59
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 177645 14 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 135067266 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1776.59
Current children cumulated vsize (KiB) 82080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12481
/proc/meminfo: memFree=784656/2055920 swapFree=4110344/4192956
[pid=12436] ppid=12434 vsize=82080 CPUtime=1800.07
/proc/12436/stat : 12436 (xsolve) R 12434 12436 9807 0 -1 4194304 20027 0 0 0 179993 14 0 0 25 0 1 0 1983434252 84049920 19408 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/12436/statm: 20520 19408 438 177 0 19423 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 82080
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): 1805.82
CPU time (s): 1800.09
CPU user time (s): 1799.93
CPU system time (s): 0.154976
CPU usage (%): 99.6827
Max. virtual memory (cumulated for all children) (KiB): 82080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20027
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= 23982
runsolver used 2.35164 second user time and 5.69513 second system time
The end
Begin job on node70 at 2008-07-03 02:24:14
IDJOB=1049325
IDBENCH=54671
IDSOLVER=342
FILE ID=node70/1049325-1215044654
PBS_JOBID= 7875036
Free space on /tmp= 66432 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/pseudo/ppp/normalized-ppp-1-12-16.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-1049325-1215044654/watcher-1049325-1215044654 -o /tmp/evaluation-result-1049325-1215044654/solver-1049325-1215044654 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1049325-1215044654.xml -v 1 -rs 979539685 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 96f1337b79f3da95716c335bb7a66475
RANDOM SEED=979539685
node70.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.256
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.256
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: 1555512 kB
Buffers: 54912 kB
Cached: 253588 kB
SwapCached: 76448 kB
Active: 219456 kB
Inactive: 207564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1555512 kB
SwapTotal: 4192956 kB
SwapFree: 4110344 kB
Dirty: 6072 kB
Writeback: 0 kB
Mapped: 134576 kB
Slab: 58404 kB
Committed_AS: 4102852 kB
PageTables: 2008 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= 66428 MiB
End job on node70 at 2008-07-03 02:54:22