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 (1 domains)
0.09/0.10 c variables............. 0.03 (5264 variables)
0.09/0.10 c predicates............1.1096e-18 (4 predicates)
0.09/0.10 c constraints........... 1.3 (28552 constraints)
1.28/1.34 c Parsing time: 1.33
1.28/1.34 c
1.28/1.34 c Building model
1.38/1.41 c 0 AllDifferent constraints infered
1.68/1.71 c 0 constants
1.68/1.71 c 5264 Boolean variables (+496)
1.68/1.71 c 0 range variables (+61056)
1.68/1.71 c 0 domain (b) variables (+0)
1.68/1.71 c 0 domain (l) variables (+0)
1.68/1.71 c 0 constraints (+61832)
1.68/1.71 c 0 values
1.68/1.71 c Building time: 0.36
1.68/1.71 c
1.68/1.71 c Solving instance
1.68/1.71 c heuristic = dom/wdeg
1.68/1.71 c Randomized probing iteration = 100
1.68/1.71 c probing limit = 30
1.68/1.71 c level based weights = no
1.68/1.71 c impact probing = no
1.68/1.71 c restart policy = No restart
1.68/1.71 c probing .......... 29.61
31.26/31.43 c Probing Nodes290983
31.26/31.43 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-1093561-1215250650/watcher-1093561-1215250650 -o /tmp/evaluation-result-1093561-1215250650/solver-1093561-1215250650 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1093561-1215250650.xml -v 1 -rs 681214063 -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.92 1.98 1.99 4/81 32596
/proc/meminfo: memFree=1579992/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=820 CPUtime=0
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 39 0 0 0 0 0 0 0 20 0 1 0 258052984 839680 25 996147200 134512640 135239859 4294956144 18446744073709551615 5566763 0 0 4096 0 0 0 0 17 1 0 0
/proc/32596/statm: 205 25 19 177 0 3 0
[startup+0.042836 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 32596
/proc/meminfo: memFree=1579992/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=5788 CPUtime=0.03
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 759 0 0 0 3 0 0 0 20 0 1 0 258052984 5926912 725 996147200 134512640 135239859 4294956144 18446744073709551615 134943075 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 1447 725 370 177 0 350 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5788
[startup+0.1018 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 32596
/proc/meminfo: memFree=1579992/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=6992 CPUtime=0.09
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 1065 0 0 0 9 0 0 0 20 0 1 0 258052984 7159808 1031 996147200 134512640 135239859 4294956144 18446744073709551615 134665848 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 1748 1031 396 177 0 651 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6992
[startup+0.301819 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 32596
/proc/meminfo: memFree=1579992/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=10368 CPUtime=0.29
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 1932 0 0 0 28 1 0 0 22 0 1 0 258052984 10616832 1898 996147200 134512640 135239859 4294956144 18446744073709551615 4159159168 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 2592 1898 396 177 0 1495 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10368
[startup+0.701864 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 32596
/proc/meminfo: memFree=1579992/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=17260 CPUtime=0.69
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 3712 0 0 0 67 2 0 0 25 0 1 0 258052984 17674240 3612 996147200 134512640 135239859 4294956144 18446744073709551615 4159752738 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 4315 3612 396 177 0 3218 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17260
[startup+1.50195 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1561808/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=52540 CPUtime=1.48
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 12732 0 0 0 142 6 0 0 25 0 1 0 258052984 53800960 12314 996147200 134512640 135239859 4294956144 18446744073709551615 6000546 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 13135 12314 422 177 0 12038 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 52540
[startup+3.10214 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1479568/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=105352 CPUtime=3.08
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26195 0 0 0 296 12 0 0 25 0 1 0 258052984 107880448 25419 996147200 134512640 135239859 4294956144 18446744073709551615 135096268 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26338 25419 435 177 0 25241 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 105352
[startup+6.30147 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1479312/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=105352 CPUtime=6.26
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26197 0 0 0 614 12 0 0 25 0 1 0 258052984 107880448 25421 996147200 134512640 135239859 4294956144 18446744073709551615 135097674 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26338 25421 435 177 0 25241 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 105352
[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1479248/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=105352 CPUtime=12.64
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26197 0 0 0 1252 12 0 0 25 0 1 0 258052984 107880448 25421 996147200 134512640 135239859 4294956144 18446744073709551615 135096268 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26338 25421 435 177 0 25241 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 105352
[startup+25.5015 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1479248/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=105352 CPUtime=25.38
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26200 0 0 0 2526 12 0 0 25 0 1 0 258052984 107880448 25424 996147200 134512640 135239859 4294956144 18446744073709551615 135067324 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26338 25424 435 177 0 25241 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 105352
[startup+51.1013 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1479184/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=50.88
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26491 0 0 0 5076 12 0 0 25 0 1 0 258052984 108929024 25458 996147200 134512640 135239859 4294956144 18446744073709551615 135035199 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25458 436 177 0 25497 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 106376
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1479248/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=101.88
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26498 0 0 0 10176 12 0 0 25 0 1 0 258052984 108929024 25465 996147200 134512640 135239859 4294956144 18446744073709551615 135019639 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25465 436 177 0 25497 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 106376
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1479184/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=161.64
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26502 0 0 0 16151 13 0 0 25 0 1 0 258052984 108929024 25469 996147200 134512640 135239859 4294956144 18446744073709551615 134821139 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25469 436 177 0 25497 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 106376
[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1479184/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=221.4
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26502 0 0 0 22127 13 0 0 25 0 1 0 258052984 108929024 25469 996147200 134512640 135239859 4294956144 18446744073709551615 134788054 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25469 436 177 0 25497 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 106376
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 32597
/proc/meminfo: memFree=1479120/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=281.16
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26502 0 0 0 28103 13 0 0 25 0 1 0 258052984 108929024 25469 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25469 436 177 0 25497 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 106376
[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 32636
/proc/meminfo: memFree=1715472/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=340.89
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26502 0 0 0 34075 14 0 0 25 0 1 0 258052984 108929024 25469 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25469 436 177 0 25497 0
Current children cumulated CPU time (s) 340.89
Current children cumulated vsize (KiB) 106376
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 4/83 32636
/proc/meminfo: memFree=1704464/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=400.65
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26502 0 0 0 40051 14 0 0 25 0 1 0 258052984 108929024 25469 996147200 134512640 135239859 4294956144 18446744073709551615 134821696 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25469 436 177 0 25497 0
Current children cumulated CPU time (s) 400.65
Current children cumulated vsize (KiB) 106376
[startup+462.301 s]
/proc/loadavg: 2.07 2.00 2.00 3/83 32636
/proc/meminfo: memFree=1700240/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=460.41
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26502 0 0 0 46027 14 0 0 25 0 1 0 258052984 108929024 25469 996147200 134512640 135239859 4294956144 18446744073709551615 135067338 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25469 436 177 0 25497 0
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (KiB) 106376
[startup+522.302 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 32636
/proc/meminfo: memFree=1696144/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=520.17
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26502 0 0 0 52003 14 0 0 25 0 1 0 258052984 108929024 25469 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25469 436 177 0 25497 0
Current children cumulated CPU time (s) 520.17
Current children cumulated vsize (KiB) 106376
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 32636
/proc/meminfo: memFree=1690832/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=579.93
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26502 0 0 0 57978 15 0 0 25 0 1 0 258052984 108929024 25469 996147200 134512640 135239859 4294956144 18446744073709551615 134820704 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25469 436 177 0 25497 0
Current children cumulated CPU time (s) 579.93
Current children cumulated vsize (KiB) 106376
[startup+642.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 32636
/proc/meminfo: memFree=1687120/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=639.69
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26502 0 0 0 63954 15 0 0 25 0 1 0 258052984 108929024 25469 996147200 134512640 135239859 4294956144 18446744073709551615 134821152 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25469 436 177 0 25497 0
Current children cumulated CPU time (s) 639.69
Current children cumulated vsize (KiB) 106376
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/83 32637
/proc/meminfo: memFree=1662016/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=818.97
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26506 0 0 0 81882 15 0 0 25 0 1 0 258052984 108929024 25473 996147200 134512640 135239859 4294956144 18446744073709551615 135067324 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25473 436 177 0 25497 0
Current children cumulated CPU time (s) 818.97
Current children cumulated vsize (KiB) 106376
[startup+882.302 s]
/proc/loadavg: 2.09 2.06 2.01 3/84 32638
/proc/meminfo: memFree=1634296/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=878.72
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26506 0 0 0 87857 15 0 0 25 0 1 0 258052984 108929024 25473 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25473 436 177 0 25497 0
Current children cumulated CPU time (s) 878.72
Current children cumulated vsize (KiB) 106376
[startup+942.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/83 32639
/proc/meminfo: memFree=1634040/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=938.47
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26506 0 0 0 93832 15 0 0 25 0 1 0 258052984 108929024 25473 996147200 134512640 135239859 4294956144 18446744073709551615 134842589 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25473 436 177 0 25497 0
Current children cumulated CPU time (s) 938.47
Current children cumulated vsize (KiB) 106376
[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/83 32639
/proc/meminfo: memFree=1633912/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=998.23
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26506 0 0 0 99808 15 0 0 25 0 1 0 258052984 108929024 25473 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25473 436 177 0 25497 0
Current children cumulated CPU time (s) 998.23
Current children cumulated vsize (KiB) 106376
[startup+1062.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/83 32639
/proc/meminfo: memFree=1633784/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1058
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26506 0 0 0 105784 16 0 0 25 0 1 0 258052984 108929024 25473 996147200 134512640 135239859 4294956144 18446744073709551615 134821696 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25473 436 177 0 25497 0
Current children cumulated CPU time (s) 1058
Current children cumulated vsize (KiB) 106376
[startup+1122.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/83 32641
/proc/meminfo: memFree=1633592/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1117.75
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 111759 16 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 134821103 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1117.75
Current children cumulated vsize (KiB) 106376
[startup+1182.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/83 32641
/proc/meminfo: memFree=1633664/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1177.51
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 117735 16 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 135102568 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1177.51
Current children cumulated vsize (KiB) 106376
[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/83 32641
/proc/meminfo: memFree=1633664/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1237.27
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 123711 16 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 135067324 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1237.27
Current children cumulated vsize (KiB) 106376
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/83 32641
/proc/meminfo: memFree=1633664/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1297.02
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 129686 16 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 135074124 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1297.02
Current children cumulated vsize (KiB) 106376
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/83 32641
/proc/meminfo: memFree=1633664/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1356.78
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 135662 16 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 134788054 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1356.78
Current children cumulated vsize (KiB) 106376
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 32647
/proc/meminfo: memFree=1633472/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1416.53
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 141637 16 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 135030898 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1416.53
Current children cumulated vsize (KiB) 106376
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 32647
/proc/meminfo: memFree=1633408/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1476.28
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 147612 16 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 135102568 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1476.28
Current children cumulated vsize (KiB) 106376
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 32647
/proc/meminfo: memFree=1633344/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1536.04
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 153588 16 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 134820750 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1536.04
Current children cumulated vsize (KiB) 106376
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 32647
/proc/meminfo: memFree=1633344/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1595.8
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 159564 16 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 135067324 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1595.8
Current children cumulated vsize (KiB) 106376
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 32647
/proc/meminfo: memFree=1633280/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1655.56
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 165539 17 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 134788054 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1655.56
Current children cumulated vsize (KiB) 106376
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 32647
/proc/meminfo: memFree=1633280/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1715.32
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 171515 17 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 134804998 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1715.32
Current children cumulated vsize (KiB) 106376
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 32647
/proc/meminfo: memFree=1633216/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1775.08
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 177491 17 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 134820750 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1775.08
Current children cumulated vsize (KiB) 106376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 32647
/proc/meminfo: memFree=1633280/2055920 swapFree=4180000/4192956
[pid=32596] ppid=32594 vsize=106376 CPUtime=1800.08
/proc/32596/stat : 32596 (xsolve) R 32594 32596 30539 0 -1 4194304 26510 0 0 0 179991 17 0 0 25 0 1 0 258052984 108929024 25477 996147200 134512640 135239859 4294956144 18446744073709551615 135035199 0 0 4096 0 0 0 0 17 0 0 0
/proc/32596/statm: 26594 25477 436 177 0 25497 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 106376
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): 1807.42
CPU time (s): 1800.11
CPU user time (s): 1799.92
CPU system time (s): 0.189971
CPU usage (%): 99.5951
Max. virtual memory (cumulated for all children) (KiB): 106376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26510
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= 28505
runsolver used 1.79273 second user time and 4.81527 second system time
The end
Begin job on node81 at 2008-07-05 11:37:30
IDJOB=1093561
IDBENCH=58711
IDSOLVER=342
FILE ID=node81/1093561-1215250650
PBS_JOBID= 7881922
Free space on /tmp= 126784 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/socialGolfers/normalized-socialGolfer-7-4-8.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-1093561-1215250650/watcher-1093561-1215250650 -o /tmp/evaluation-result-1093561-1215250650/solver-1093561-1215250650 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1093561-1215250650.xml -v 1 -rs 681214063 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5771d912d20e48d98ee8045757bce946
RANDOM SEED=681214063
node81.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.236
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.236
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: 2055920 kB
MemFree: 1580472 kB
Buffers: 16652 kB
Cached: 163780 kB
SwapCached: 6228 kB
Active: 355492 kB
Inactive: 64912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1580472 kB
SwapTotal: 4192956 kB
SwapFree: 4180000 kB
Dirty: 5028 kB
Writeback: 0 kB
Mapped: 256928 kB
Slab: 39992 kB
Committed_AS: 1398720 kB
PageTables: 2072 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= 126808 MiB
End job on node81 at 2008-07-05 12:07:40