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 (19 domains)
0.00/0.00 c variables............. 0 (800 variables)
0.00/0.01 c predicates............ 0 (1 predicates)
0.00/0.01 c constraints........... 1.26 (28400 constraints)
1.19/1.27 c Parsing time: 1.26
1.19/1.27 c
1.19/1.27 c Building model
1.29/1.33 c 0 AllDifferent constraints infered
1.39/1.46 c 0 constants
1.39/1.46 c 0 Boolean variables (+51702)
1.39/1.46 c 0 range variables (+0)
1.39/1.46 c 614 domain (b) variables (+0)
1.39/1.46 c 0 domain (l) variables (+0)
1.39/1.46 c 28400 constraints (+80919)
1.39/1.46 c 0 values
1.39/1.46 c Building time: 0.19
1.39/1.46 c
1.39/1.46 c Solving instance
1.39/1.46 c heuristic = dom/wdeg
1.39/1.46 c Randomized probing iteration = 100
1.39/1.46 c probing limit = 30
1.39/1.46 c level based weights = no
1.39/1.46 c impact probing = no
1.39/1.46 c restart policy = No restart
1.39/1.46 c probing .......... 34.99
36.37/36.46 c Probing Nodes 21095
36.37/36.46 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-1058340-1215114417/watcher-1058340-1215114417 -o /tmp/evaluation-result-1058340-1215114417/solver-1058340-1215114417 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1058340-1215114417.xml -v 1 -rs 1415587012 -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.01 2.00 2.03 4/75 23731
/proc/meminfo: memFree=1916104/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=4584 CPUtime=0
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 667171270 4694016 277 996147200 134512640 135239859 4294956144 18446744073709551615 134525456 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 1146 288 243 177 0 49 0
[startup+0.033871 s]
/proc/loadavg: 2.01 2.00 2.03 4/75 23731
/proc/meminfo: memFree=1916104/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=5108 CPUtime=0.02
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 626 0 0 0 2 0 0 0 18 0 1 0 667171270 5230592 592 996147200 134512640 135239859 4294956144 18446744073709551615 134943457 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 1277 593 395 177 0 180 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5108
[startup+0.102887 s]
/proc/loadavg: 2.01 2.00 2.03 4/75 23731
/proc/meminfo: memFree=1916104/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=6132 CPUtime=0.09
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 880 0 0 0 9 0 0 0 18 0 1 0 667171270 6279168 846 996147200 134512640 135239859 4294956144 18446744073709551615 134542912 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 1533 846 395 177 0 436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6132
[startup+0.302925 s]
/proc/loadavg: 2.01 2.00 2.03 4/75 23731
/proc/meminfo: memFree=1916104/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=9132 CPUtime=0.29
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 1595 0 0 0 28 1 0 0 19 0 1 0 667171270 9351168 1561 996147200 134512640 135239859 4294956144 18446744073709551615 4159670442 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 2283 1562 395 177 0 1186 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9132
[startup+0.701997 s]
/proc/loadavg: 2.01 2.00 2.03 4/75 23731
/proc/meminfo: memFree=1916104/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=14772 CPUtime=0.69
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 3053 0 0 0 67 2 0 0 23 0 1 0 667171270 15126528 2953 996147200 134512640 135239859 4294956144 18446744073709551615 8369787 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 3693 2953 395 177 0 2596 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14772
[startup+1.50115 s]
/proc/loadavg: 2.01 2.00 2.03 3/76 23732
/proc/meminfo: memFree=1901696/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=54956 CPUtime=1.49
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13278 0 0 0 142 7 0 0 25 0 1 0 667171270 56274944 12781 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13739 12781 435 177 0 12642 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54956
[startup+3.10144 s]
/proc/loadavg: 2.01 2.00 2.03 3/76 23732
/proc/meminfo: memFree=1865984/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55324 CPUtime=3.08
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13381 0 0 0 301 7 0 0 25 0 1 0 667171270 56651776 12851 996147200 134512640 135239859 4294956144 18446744073709551615 134800042 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13831 12851 435 177 0 12734 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 55324
[startup+6.30104 s]
/proc/loadavg: 2.01 2.00 2.03 3/76 23732
/proc/meminfo: memFree=1866000/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55324 CPUtime=6.28
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13387 0 0 0 621 7 0 0 25 0 1 0 667171270 56651776 12857 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13831 12857 435 177 0 12734 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55324
[startup+12.7013 s]
/proc/loadavg: 2.16 2.03 2.04 3/76 23732
/proc/meminfo: memFree=1865744/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55324 CPUtime=12.68
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13387 0 0 0 1261 7 0 0 25 0 1 0 667171270 56651776 12857 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13831 12857 435 177 0 12734 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55324
[startup+25.5026 s]
/proc/loadavg: 2.13 2.03 2.03 3/76 23732
/proc/meminfo: memFree=1865808/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55324 CPUtime=25.48
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13387 0 0 0 2540 8 0 0 25 0 1 0 667171270 56651776 12857 996147200 134512640 135239859 4294956144 18446744073709551615 134737509 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13831 12857 435 177 0 12734 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55324
[startup+51.1024 s]
/proc/loadavg: 2.08 2.03 2.03 3/76 23732
/proc/meminfo: memFree=1865872/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=51.07
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 5099 8 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 55456
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 2.03 3/77 23733
/proc/meminfo: memFree=1865672/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=102.25
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 10217 8 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 55456
[startup+162.302 s]
/proc/loadavg: 2.01 2.02 2.02 3/77 23733
/proc/meminfo: memFree=1865672/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=162.21
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 16213 8 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 55456
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.02 3/77 23733
/proc/meminfo: memFree=1865608/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=222.19
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 22211 8 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 55456
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/77 23734
/proc/meminfo: memFree=1865544/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=282.16
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 28208 8 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 55456
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 23735
/proc/meminfo: memFree=1865536/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=342.13
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 34205 8 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 55456
[startup+402.302 s]
/proc/loadavg: 2.11 2.03 2.01 3/78 23735
/proc/meminfo: memFree=1865536/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=402.1
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 40202 8 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 55456
[startup+462.303 s]
/proc/loadavg: 2.09 2.04 2.01 3/78 23736
/proc/meminfo: memFree=1865536/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=462.08
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 46199 9 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135030997 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 55456
[startup+522.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/78 23736
/proc/meminfo: memFree=1865408/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=522.05
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 52196 9 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135031317 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 55456
[startup+582.301 s]
/proc/loadavg: 2.47 2.14 2.04 3/76 23787
/proc/meminfo: memFree=1703888/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=581.81
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 58171 10 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135096254 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 581.81
Current children cumulated vsize (KiB) 55456
[startup+642.301 s]
/proc/loadavg: 2.93 2.35 2.12 3/76 23787
/proc/meminfo: memFree=1460112/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=641.54
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 64142 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135095200 0 0 4096 0 0 0 0 17 0 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 641.54
Current children cumulated vsize (KiB) 55456
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.02 2.16 2.09 3/74 23830
/proc/meminfo: memFree=1791968/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=879.69
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 87957 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 879.69
Current children cumulated vsize (KiB) 55456
[startup+942.302 s]
/proc/loadavg: 2.00 2.13 2.08 3/74 23830
/proc/meminfo: memFree=1791968/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=939.23
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 93911 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 939.23
Current children cumulated vsize (KiB) 55456
[startup+1002.3 s]
/proc/loadavg: 2.00 2.11 2.07 3/74 23830
/proc/meminfo: memFree=1792032/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=998.77
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 99865 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 998.77
Current children cumulated vsize (KiB) 55456
[startup+1062.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/74 23830
/proc/meminfo: memFree=1792032/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1058.32
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 105820 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1058.32
Current children cumulated vsize (KiB) 55456
[startup+1122.3 s]
/proc/loadavg: 2.00 2.07 2.06 3/74 23830
/proc/meminfo: memFree=1791968/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1117.85
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 111773 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1117.85
Current children cumulated vsize (KiB) 55456
[startup+1182.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/74 23830
/proc/meminfo: memFree=1791904/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1177.4
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 117728 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1177.4
Current children cumulated vsize (KiB) 55456
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/74 23830
/proc/meminfo: memFree=1791776/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1236.94
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 123682 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1236.94
Current children cumulated vsize (KiB) 55456
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/74 23830
/proc/meminfo: memFree=1791584/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1296.48
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 129636 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135095222 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1296.48
Current children cumulated vsize (KiB) 55456
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/74 23830
/proc/meminfo: memFree=1791520/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1356.02
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 135590 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135013785 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1356.02
Current children cumulated vsize (KiB) 55456
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.03 3/74 23830
/proc/meminfo: memFree=1791520/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1415.56
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 141544 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 134799924 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1415.56
Current children cumulated vsize (KiB) 55456
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/74 23830
/proc/meminfo: memFree=1791520/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1475.1
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 147498 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1475.1
Current children cumulated vsize (KiB) 55456
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/74 23830
/proc/meminfo: memFree=1791520/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1534.64
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 153452 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 134799944 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1534.64
Current children cumulated vsize (KiB) 55456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/74 23830
/proc/meminfo: memFree=1791520/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1594.19
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 159407 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1594.19
Current children cumulated vsize (KiB) 55456
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 23830
/proc/meminfo: memFree=1791456/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1653.72
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 165360 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135102596 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1653.72
Current children cumulated vsize (KiB) 55456
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 23830
/proc/meminfo: memFree=1791456/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1713.27
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 171315 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135019286 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1713.27
Current children cumulated vsize (KiB) 55456
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/74 23830
/proc/meminfo: memFree=1791392/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1772.81
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 177269 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135095726 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1772.81
Current children cumulated vsize (KiB) 55456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/74 23830
/proc/meminfo: memFree=1791392/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1800
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 179988 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135095457 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 55456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/74 23830
/proc/meminfo: memFree=1791392/2055924 swapFree=4176956/4192956
[pid=23731] ppid=23729 vsize=55456 CPUtime=1800
/proc/23731/stat : 23731 (xsolve) R 23729 23731 22850 0 -1 4194304 13393 0 0 0 179988 12 0 0 25 0 1 0 667171270 56786944 12863 996147200 134512640 135239859 4294956144 18446744073709551615 135095457 0 0 4096 0 0 0 0 17 1 0 0
/proc/23731/statm: 13864 12863 437 177 0 12767 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 55456
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.72
CPU time (s): 1800.02
CPU user time (s): 1799.88
CPU system time (s): 0.136979
CPU usage (%): 99.4643
Max. virtual memory (cumulated for all children) (KiB): 55456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13393
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= 28362
runsolver used 1.85872 second user time and 4.74928 second system time
The end
Begin job on node83 at 2008-07-03 21:46:57
IDJOB=1058340
IDBENCH=54122
IDSOLVER=342
FILE ID=node83/1058340-1215114417
PBS_JOBID= 7877042
Free space on /tmp= 65488 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-12.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-1058340-1215114417/watcher-1058340-1215114417 -o /tmp/evaluation-result-1058340-1215114417/solver-1058340-1215114417 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1058340-1215114417.xml -v 1 -rs 1415587012 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d1654ea43962c938fe22704df22159b5
RANDOM SEED=1415587012
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: 1916584 kB
Buffers: 6580 kB
Cached: 69880 kB
SwapCached: 9560 kB
Active: 75312 kB
Inactive: 31480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1916584 kB
SwapTotal: 4192956 kB
SwapFree: 4176956 kB
Dirty: 5168 kB
Writeback: 0 kB
Mapped: 35712 kB
Slab: 17948 kB
Committed_AS: 1105392 kB
PageTables: 1780 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= 65484 MiB
End job on node83 at 2008-07-03 22:17:09