0.00/0.02 c mistral-prime version 1.313
0.00/0.02 c
0.00/0.02 c Parsing xml file
0.00/0.02 c domains............... 0 (3 domains)
0.00/0.02 c variables............. 0.03 (4524 variables)
0.00/0.05 c predicates............ 2.94 (67 predicates)
2.96/3.00 c constraints........... 0.23 (315 constraints)
3.17/3.23 c Parsing time: 3.2
3.17/3.23 c
3.17/3.23 c Building model
3.17/3.25 c 0 AllDifferent constraints infered
3.27/3.35 c 0 constants
3.27/3.35 c 3380 Boolean variables (+0)
3.27/3.35 c 0 range variables (+31504)
3.27/3.35 c 0 domain (b) variables (+0)
3.27/3.35 c 0 domain (l) variables (+0)
3.27/3.35 c 0 constraints (+31504)
3.27/3.35 c 0 values
3.27/3.35 c Building time: 0.11
3.27/3.35 c
3.27/3.35 c Solving instance
3.27/3.35 c heuristic = dom/wdeg
3.27/3.35 c Randomized probing iteration = 100
3.27/3.35 c probing limit = 30
3.27/3.35 c level based weights = no
3.27/3.35 c impact probing = no
3.27/3.35 c restart policy = No restart
3.27/3.35 c probing ..........179.56
182.83/183.60 c Probing Nodes190190
182.83/183.60 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-1063661-1215138391/watcher-1063661-1215138391 -o /tmp/evaluation-result-1063661-1215138391/solver-1063661-1215138391 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1063661-1215138391.xml -v 1 -rs 409559314 -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.79 2.53 2.31 4/74 17589
/proc/meminfo: memFree=1688416/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=820 CPUtime=0
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 39 0 0 0 0 0 0 0 22 0 1 0 1302085017 839680 25 996147200 134512640 135239859 4294956144 18446744073709551615 7619364 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 205 25 19 177 0 3 0
[startup+0.120848 s]
/proc/loadavg: 2.79 2.53 2.31 4/74 17589
/proc/meminfo: memFree=1688416/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=7180 CPUtime=0.09
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 1108 0 0 0 9 0 0 0 22 0 1 0 1302085017 7352320 1074 996147200 134512640 135239859 4294956144 18446744073709551615 4159010154 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 1795 1074 381 177 0 698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7180
[startup+0.202867 s]
/proc/loadavg: 2.79 2.53 2.31 4/74 17589
/proc/meminfo: memFree=1688416/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=7180 CPUtime=0.17
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 1119 0 0 0 17 0 0 0 22 0 1 0 1302085017 7352320 1085 996147200 134512640 135239859 4294956144 18446744073709551615 134610700 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 1795 1085 381 177 0 698 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7180
[startup+0.301888 s]
/proc/loadavg: 2.79 2.53 2.31 4/74 17589
/proc/meminfo: memFree=1688416/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=7708 CPUtime=0.28
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 1228 0 0 0 27 1 0 0 23 0 1 0 1302085017 7892992 1194 996147200 134512640 135239859 4294956144 18446744073709551615 4159010323 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 1927 1194 381 177 0 830 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7708
[startup+0.701972 s]
/proc/loadavg: 2.79 2.53 2.31 4/74 17589
/proc/meminfo: memFree=1688416/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=29432 CPUtime=0.68
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 6456 0 0 0 65 3 0 0 25 0 1 0 1302085017 30138368 6422 996147200 134512640 135239859 4294956144 18446744073709551615 134610712 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 7358 6422 381 177 0 6261 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29432
[startup+1.50113 s]
/proc/loadavg: 2.79 2.53 2.31 3/75 17590
/proc/meminfo: memFree=1657304/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=35580 CPUtime=1.47
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 8221 0 0 0 144 3 0 0 25 0 1 0 1302085017 36433920 8187 996147200 134512640 135239859 4294956144 18446744073709551615 134610719 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 8895 8187 381 177 0 7798 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 35580
[startup+3.10143 s]
/proc/loadavg: 2.79 2.53 2.31 3/75 17590
/proc/meminfo: memFree=1656792/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=41228 CPUtime=3.07
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 9581 0 0 0 303 4 0 0 25 0 1 0 1302085017 42217472 9547 996147200 134512640 135239859 4294956144 18446744073709551615 134888482 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 10307 9547 396 177 0 9210 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 41228
[startup+6.30107 s]
/proc/loadavg: 2.72 2.52 2.31 3/75 17590
/proc/meminfo: memFree=1627736/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=71172 CPUtime=6.25
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 18154 0 0 0 616 9 0 0 25 0 1 0 1302085017 72880128 16114 996147200 134512640 135239859 4294956144 18446744073709551615 135101110 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 17793 16114 438 177 0 16696 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 71172
[startup+12.7013 s]
/proc/loadavg: 2.67 2.51 2.30 3/75 17590
/proc/meminfo: memFree=1621336/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=74076 CPUtime=12.62
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 19108 0 0 0 1253 9 0 0 25 0 1 0 1302085017 75853824 17068 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 18519 17068 438 177 0 17422 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 74076
[startup+25.5028 s]
/proc/loadavg: 2.52 2.49 2.30 3/76 17591
/proc/meminfo: memFree=1619480/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=75932 CPUtime=25.37
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 19612 0 0 0 2527 10 0 0 25 0 1 0 1302085017 77754368 17572 996147200 134512640 135239859 4294956144 18446744073709551615 135030929 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 18983 17572 438 177 0 17886 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 75932
[startup+51.1019 s]
/proc/loadavg: 2.34 2.45 2.29 3/76 17591
/proc/meminfo: memFree=1616280/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=78440 CPUtime=50.87
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20419 0 0 0 5077 10 0 0 25 0 1 0 1302085017 80322560 18379 996147200 134512640 135239859 4294956144 18446744073709551615 134803522 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19610 18379 438 177 0 18513 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 78440
[startup+102.302 s]
/proc/loadavg: 2.15 2.38 2.27 3/76 17591
/proc/meminfo: memFree=1615192/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79496 CPUtime=101.87
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20666 0 0 0 10176 11 0 0 25 0 1 0 1302085017 81403904 18626 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19874 18626 438 177 0 18777 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 79496
[startup+162.303 s]
/proc/loadavg: 2.05 2.31 2.25 3/76 17591
/proc/meminfo: memFree=1615000/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79760 CPUtime=161.62
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20782 0 0 0 16151 11 0 0 25 0 1 0 1302085017 81674240 18742 996147200 134512640 135239859 4294956144 18446744073709551615 135096262 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19940 18742 438 177 0 18843 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 79760
[startup+222.307 s]
/proc/loadavg: 2.02 2.25 2.23 3/76 17591
/proc/meminfo: memFree=1614488/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=221.38
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 22127 11 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 79892
[startup+282.301 s]
/proc/loadavg: 2.00 2.20 2.22 3/77 17592
/proc/meminfo: memFree=1614480/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=281.14
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 28102 12 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 281.14
Current children cumulated vsize (KiB) 79892
[startup+342.301 s]
/proc/loadavg: 2.00 2.16 2.20 3/77 17592
/proc/meminfo: memFree=1614488/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=340.9
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 34078 12 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135071466 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 340.9
Current children cumulated vsize (KiB) 79892
[startup+402.302 s]
/proc/loadavg: 2.00 2.13 2.18 3/77 17592
/proc/meminfo: memFree=1614424/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=400.66
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 40054 12 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135097674 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 79892
[startup+462.303 s]
/proc/loadavg: 2.00 2.10 2.17 3/77 17592
/proc/meminfo: memFree=1614296/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=460.42
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 46029 13 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135073856 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 460.42
Current children cumulated vsize (KiB) 79892
[startup+522.302 s]
/proc/loadavg: 2.00 2.08 2.16 3/73 17620
/proc/meminfo: memFree=1614576/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=520.33
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 52020 13 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135097664 0 0 4096 0 0 0 0 17 0 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 520.33
Current children cumulated vsize (KiB) 79892
[startup+582.301 s]
/proc/loadavg: 2.00 2.06 2.15 3/73 17620
/proc/meminfo: memFree=1614448/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=580.28
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 58014 14 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135030898 0 0 4096 0 0 0 0 17 0 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 580.28
Current children cumulated vsize (KiB) 79892
[startup+642.301 s]
/proc/loadavg: 2.00 2.05 2.13 3/73 17620
/proc/meminfo: memFree=1614448/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=640.23
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 64009 14 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135101118 0 0 4096 0 0 0 0 17 0 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 640.23
Current children cumulated vsize (KiB) 79892
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.02 2.09 3/73 17620
/proc/meminfo: memFree=1614328/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=880.03
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 87989 14 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 134803091 0 0 4096 0 0 0 0 17 0 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 880.03
Current children cumulated vsize (KiB) 79892
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.08 3/73 17620
/proc/meminfo: memFree=1614392/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=939.97
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 93983 14 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 0 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 939.97
Current children cumulated vsize (KiB) 79892
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/70 17650
/proc/meminfo: memFree=1615120/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=999.78
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 99964 14 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135071424 0 0 4096 0 0 0 0 17 0 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 999.78
Current children cumulated vsize (KiB) 79892
[startup+1062.3 s]
/proc/loadavg: 2.14 2.03 2.08 3/83 17722
/proc/meminfo: memFree=1230120/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1059.4
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 105923 17 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 134788054 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1059.4
Current children cumulated vsize (KiB) 79892
[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.08 3/83 17722
/proc/meminfo: memFree=1198696/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1118.83
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 111865 18 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135071424 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1118.83
Current children cumulated vsize (KiB) 79892
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.07 3/83 17722
/proc/meminfo: memFree=1184552/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1178.26
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 117808 18 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135031429 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1178.26
Current children cumulated vsize (KiB) 79892
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/83 17722
/proc/meminfo: memFree=1163368/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1237.68
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 123750 18 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135097665 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1237.68
Current children cumulated vsize (KiB) 79892
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/83 17722
/proc/meminfo: memFree=1152936/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1297.13
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 129694 19 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1297.13
Current children cumulated vsize (KiB) 79892
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/83 17722
/proc/meminfo: memFree=1138024/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1356.55
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 135636 19 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 134803086 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1356.55
Current children cumulated vsize (KiB) 79892
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/83 17722
/proc/meminfo: memFree=1127144/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1415.99
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 141580 19 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135095166 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1415.99
Current children cumulated vsize (KiB) 79892
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/83 17722
/proc/meminfo: memFree=1114024/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1475.42
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 147522 20 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135095148 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1475.42
Current children cumulated vsize (KiB) 79892
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.04 3/83 17722
/proc/meminfo: memFree=1105832/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1534.85
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 153465 20 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135030898 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1534.85
Current children cumulated vsize (KiB) 79892
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 17722
/proc/meminfo: memFree=1091368/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1594.29
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 159408 21 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 134803573 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1594.29
Current children cumulated vsize (KiB) 79892
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 17722
/proc/meminfo: memFree=1079272/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1653.71
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 165350 21 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 134803510 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1653.71
Current children cumulated vsize (KiB) 79892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 17722
/proc/meminfo: memFree=1064744/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1713.14
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 171293 21 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 135067324 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1713.14
Current children cumulated vsize (KiB) 79892
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 17722
/proc/meminfo: memFree=1052520/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1772.58
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 177236 22 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 134842600 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1772.58
Current children cumulated vsize (KiB) 79892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 17722
/proc/meminfo: memFree=1042216/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1800.01
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 179979 22 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 134788054 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 79892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1810 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 17722
/proc/meminfo: memFree=1042216/2055920 swapFree=4122004/4192956
[pid=17589] ppid=17587 vsize=79892 CPUtime=1800.01
/proc/17589/stat : 17589 (xsolve) R 17587 17589 16367 0 -1 4194304 20825 0 0 0 179979 22 0 0 25 0 1 0 1302085017 81809408 18785 996147200 134512640 135239859 4294956144 18446744073709551615 134788054 0 0 4096 0 0 0 0 17 1 0 0
/proc/17589/statm: 19973 18785 439 177 0 18876 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 79892
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.02
CPU time (s): 1800.03
CPU user time (s): 1799.8
CPU system time (s): 0.235964
CPU usage (%): 99.4482
Max. virtual memory (cumulated for all children) (KiB): 79892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.235964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20825
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= 8
involuntary context switches= 38567
runsolver used 2.03169 second user time and 5.30419 second system time
The end
Begin job on node20 at 2008-07-04 04:26:31
IDJOB=1063661
IDBENCH=54827
IDSOLVER=342
FILE ID=node20/1063661-1215138391
PBS_JOBID= 7877336
Free space on /tmp= 66556 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-vtp-base.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-1063661-1215138391/watcher-1063661-1215138391 -o /tmp/evaluation-result-1063661-1215138391/solver-1063661-1215138391 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1063661-1215138391.xml -v 1 -rs 409559314 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7a5829c10442f057a00aad0acec30b89
RANDOM SEED=409559314
node20.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1688896 kB
Buffers: 34340 kB
Cached: 162132 kB
SwapCached: 64852 kB
Active: 155340 kB
Inactive: 136988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1688896 kB
SwapTotal: 4192956 kB
SwapFree: 4122004 kB
Dirty: 2264 kB
Writeback: 0 kB
Mapped: 102444 kB
Slab: 59968 kB
Committed_AS: 2688780 kB
PageTables: 1936 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= 66444 MiB
End job on node20 at 2008-07-04 04:56:43