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 (1 domains)
0.00/0.02 c variables............. 0 (1000 variables)
0.00/0.02 c predicates............ 0 (1 predicates)
0.00/0.02 c constraints........... 22.29 (499500 constraints)
22.27/22.50 c Parsing time: 22.29
22.27/22.50 c
22.27/22.50 c Building model
46.57/47.06 c 1 AllDifferent constraints infered
47.86/48.31 c 0 constants
47.86/48.31 c 0 Boolean variables (+0)
47.86/48.31 c 0 range variables (+0)
47.86/48.31 c 0 domain (b) variables (+0)
47.86/48.31 c 1000 domain (l) variables (+0)
47.86/48.31 c 499500 constraints (+1)
47.86/48.31 c 0 values
47.86/48.31 c Building time: 25.59
47.86/48.31 c
47.86/48.31 c Solving instance
47.86/48.31 c heuristic = dom/wdeg
47.86/48.31 c Randomized probing iteration = 100
47.86/48.31 c probing limit = 30
47.86/48.31 c level based weights = no
47.86/48.31 c impact probing = no
47.86/48.31 c restart policy = No restart
47.86/48.31 c probing
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056129-1215061714/watcher-1056129-1215061714 -o /tmp/evaluation-result-1056129-1215061714/solver-1056129-1215061714 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056129-1215061714.xml -v 1 -rs 1902577972 -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.06 2.03 2.00 4/72 32096
/proc/meminfo: memFree=988544/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=18572 CPUtime=0
/proc/32096/stat : 32096 (runsolver) R 32094 32096 27576 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 1985141326 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 271638392103 0 0 4096 24578 0 0 0 17 1 0 0
/proc/32096/statm: 4643 292 257 25 0 2626 0
[startup+0.0348831 s]
/proc/loadavg: 2.06 2.03 2.00 4/72 32096
/proc/meminfo: memFree=988544/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=4992 CPUtime=0.02
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 592 0 0 0 2 0 0 0 21 0 1 0 1985141326 5111808 558 996147200 134512640 135239859 4294956144 18446744073709551615 7351491 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 1248 558 393 177 0 151 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4992
[startup+0.102901 s]
/proc/loadavg: 2.06 2.03 2.00 4/72 32096
/proc/meminfo: memFree=988544/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=5908 CPUtime=0.08
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 796 0 0 0 8 0 0 0 21 0 1 0 1985141326 6049792 762 996147200 134512640 135239859 4294956144 18446744073709551615 4159712385 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 1477 762 393 177 0 380 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5908
[startup+0.30202 s]
/proc/loadavg: 2.06 2.03 2.00 4/72 32096
/proc/meminfo: memFree=988544/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=8156 CPUtime=0.29
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 1371 0 0 0 28 1 0 0 23 0 1 0 1985141326 8351744 1337 996147200 134512640 135239859 4294956144 18446744073709551615 7323735 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 2039 1337 393 177 0 942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8156
[startup+0.702012 s]
/proc/loadavg: 2.06 2.03 2.00 4/72 32096
/proc/meminfo: memFree=988544/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=12828 CPUtime=0.68
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 2532 0 0 0 65 3 0 0 25 0 1 0 1985141326 13135872 2432 996147200 134512640 135239859 4294956144 18446744073709551615 134703704 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 3207 2432 393 177 0 2110 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12828
[startup+1.50116 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 32097
/proc/meminfo: memFree=977656/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=21724 CPUtime=1.46
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 4846 0 0 0 142 4 0 0 25 0 1 0 1985141326 22245376 4583 996147200 134512640 135239859 4294956144 18446744073709551615 4159010491 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 5431 4583 393 177 0 4334 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 21724
[startup+3.10145 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 32097
/proc/meminfo: memFree=966840/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=39496 CPUtime=3.06
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 9455 0 0 0 297 9 0 0 25 0 1 0 1985141326 40443904 8869 996147200 134512640 135239859 4294956144 18446744073709551615 134618096 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 9874 8869 393 177 0 8777 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 39496
[startup+6.30103 s]
/proc/loadavg: 2.05 2.03 2.00 3/73 32097
/proc/meminfo: memFree=932600/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=73552 CPUtime=6.22
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 18329 0 0 0 606 16 0 0 25 0 1 0 1985141326 75317248 17100 996147200 134512640 135239859 4294956144 18446744073709551615 134654431 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 18388 17100 393 177 0 17291 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 73552
[startup+12.7012 s]
/proc/loadavg: 2.05 2.03 2.00 3/73 32097
/proc/meminfo: memFree=865976/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=142708 CPUtime=12.55
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 36304 0 0 0 1226 29 0 0 25 0 1 0 1985141326 146132992 33792 996147200 134512640 135239859 4294956144 18446744073709551615 4159712599 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 35677 33792 393 177 0 34580 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 142708
[startup+25.5025 s]
/proc/loadavg: 2.04 2.03 2.00 4/73 32097
/proc/meminfo: memFree=755896/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=243132 CPUtime=25.25
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 61471 0 0 0 2477 48 0 0 25 0 1 0 1985141326 248967168 58959 996147200 134512640 135239859 4294956144 18446744073709551615 134543813 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 60783 58959 400 177 0 59686 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 243132
[startup+51.1022 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 32097
/proc/meminfo: memFree=536504/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464364 CPUtime=50.64
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120279 0 0 0 4988 76 0 0 25 0 1 0 1985141326 475508736 113753 996147200 134512640 135239859 4294956144 18446744073709551615 135103002 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 116091 113753 428 177 0 114994 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 464364
[startup+102.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 32097
/proc/meminfo: memFree=535992/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464364 CPUtime=101.4
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120279 0 0 0 10064 76 0 0 25 0 1 0 1985141326 475508736 113753 996147200 134512640 135239859 4294956144 18446744073709551615 134538897 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 116091 113753 428 177 0 114994 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 464364
[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 32097
/proc/meminfo: memFree=535992/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464364 CPUtime=160.94
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120279 0 0 0 16018 76 0 0 25 0 1 0 1985141326 475508736 113753 996147200 134512640 135239859 4294956144 18446744073709551615 134532188 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 116091 113753 428 177 0 114994 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 464364
[startup+222.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 32097
/proc/meminfo: memFree=535736/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464364 CPUtime=220.48
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120279 0 0 0 21972 76 0 0 25 0 1 0 1985141326 475508736 113753 996147200 134512640 135239859 4294956144 18446744073709551615 134538896 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 116091 113753 428 177 0 114994 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 464364
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 32097
/proc/meminfo: memFree=535608/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464364 CPUtime=280.03
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120279 0 0 0 27927 76 0 0 25 0 1 0 1985141326 475508736 113753 996147200 134512640 135239859 4294956144 18446744073709551615 134535371 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 116091 113753 428 177 0 114994 0
Current children cumulated CPU time (s) 280.03
Current children cumulated vsize (KiB) 464364
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 32097
/proc/meminfo: memFree=535096/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=339.57
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120293 0 0 0 33881 76 0 0 25 0 1 0 1985141326 475648000 113767 996147200 134512640 135239859 4294956144 18446744073709551615 134540906 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 116125 113767 430 177 0 115028 0
Current children cumulated CPU time (s) 339.57
Current children cumulated vsize (KiB) 464500
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 32097
/proc/meminfo: memFree=535096/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=399.11
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120293 0 0 0 39835 76 0 0 25 0 1 0 1985141326 475648000 113767 996147200 134512640 135239859 4294956144 18446744073709551615 134820096 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 116125 113767 430 177 0 115028 0
Current children cumulated CPU time (s) 399.11
Current children cumulated vsize (KiB) 464500
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 32097
/proc/meminfo: memFree=534712/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=458.66
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120293 0 0 0 45790 76 0 0 25 0 1 0 1985141326 475648000 113767 996147200 134512640 135239859 4294956144 18446744073709551615 135016149 0 0 4096 0 0 0 0 17 1 0 0
/proc/32096/statm: 116125 113767 430 177 0 115028 0
Current children cumulated CPU time (s) 458.66
Current children cumulated vsize (KiB) 464500
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 32127
/proc/meminfo: memFree=1080560/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=518.3
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120293 0 0 0 51750 80 0 0 25 0 1 0 1985141326 475648000 113767 996147200 134512640 135239859 4294956144 18446744073709551615 134538924 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113767 430 177 0 115028 0
Current children cumulated CPU time (s) 518.3
Current children cumulated vsize (KiB) 464500
[startup+582.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/85 32142
/proc/meminfo: memFree=1052504/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=578.26
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120300 0 0 0 57746 80 0 0 25 0 1 0 1985141326 475648000 113774 996147200 134512640 135239859 4294956144 18446744073709551615 134538968 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113774 430 177 0 115028 0
Current children cumulated CPU time (s) 578.26
Current children cumulated vsize (KiB) 464500
[startup+642.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/85 32142
/proc/meminfo: memFree=1052376/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=638.24
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120300 0 0 0 63744 80 0 0 25 0 1 0 1985141326 475648000 113774 996147200 134512640 135239859 4294956144 18446744073709551615 134543147 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113774 430 177 0 115028 0
Current children cumulated CPU time (s) 638.24
Current children cumulated vsize (KiB) 464500
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1052056/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=818.16
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120311 0 0 0 81735 81 0 0 25 0 1 0 1985141326 475648000 113785 996147200 134512640 135239859 4294956144 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113785 430 177 0 115028 0
Current children cumulated CPU time (s) 818.16
Current children cumulated vsize (KiB) 464500
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1051992/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=878.13
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120311 0 0 0 87732 81 0 0 25 0 1 0 1985141326 475648000 113785 996147200 134512640 135239859 4294956144 18446744073709551615 134540925 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113785 430 177 0 115028 0
Current children cumulated CPU time (s) 878.13
Current children cumulated vsize (KiB) 464500
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1051928/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=938.1
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120311 0 0 0 93729 81 0 0 25 0 1 0 1985141326 475648000 113785 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113785 430 177 0 115028 0
Current children cumulated CPU time (s) 938.1
Current children cumulated vsize (KiB) 464500
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1051800/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=998.07
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120311 0 0 0 99726 81 0 0 25 0 1 0 1985141326 475648000 113785 996147200 134512640 135239859 4294956144 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113785 430 177 0 115028 0
Current children cumulated CPU time (s) 998.07
Current children cumulated vsize (KiB) 464500
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1051736/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=1058.05
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120314 0 0 0 105724 81 0 0 25 0 1 0 1985141326 475648000 113788 996147200 134512640 135239859 4294956144 18446744073709551615 135016004 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113788 430 177 0 115028 0
Current children cumulated CPU time (s) 1058.05
Current children cumulated vsize (KiB) 464500
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1051672/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=1118.02
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120314 0 0 0 111721 81 0 0 25 0 1 0 1985141326 475648000 113788 996147200 134512640 135239859 4294956144 18446744073709551615 134540880 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113788 430 177 0 115028 0
Current children cumulated CPU time (s) 1118.02
Current children cumulated vsize (KiB) 464500
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1051416/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=1177.99
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120314 0 0 0 117718 81 0 0 25 0 1 0 1985141326 475648000 113788 996147200 134512640 135239859 4294956144 18446744073709551615 134538980 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113788 430 177 0 115028 0
Current children cumulated CPU time (s) 1177.99
Current children cumulated vsize (KiB) 464500
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1051224/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=1237.96
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120314 0 0 0 123715 81 0 0 25 0 1 0 1985141326 475648000 113788 996147200 134512640 135239859 4294956144 18446744073709551615 134535329 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113788 430 177 0 115028 0
Current children cumulated CPU time (s) 1237.96
Current children cumulated vsize (KiB) 464500
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1051288/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=1297.93
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120317 0 0 0 129712 81 0 0 25 0 1 0 1985141326 475648000 113791 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113791 430 177 0 115028 0
Current children cumulated CPU time (s) 1297.93
Current children cumulated vsize (KiB) 464500
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1050904/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=1357.9
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120317 0 0 0 135709 81 0 0 25 0 1 0 1985141326 475648000 113791 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113791 430 177 0 115028 0
Current children cumulated CPU time (s) 1357.9
Current children cumulated vsize (KiB) 464500
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1050968/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464500 CPUtime=1417.88
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120317 0 0 0 141707 81 0 0 25 0 1 0 1985141326 475648000 113791 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116125 113791 430 177 0 115028 0
Current children cumulated CPU time (s) 1417.88
Current children cumulated vsize (KiB) 464500
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1050968/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464616 CPUtime=1477.85
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120335 0 0 0 147704 81 0 0 25 0 1 0 1985141326 475766784 113809 996147200 134512640 135239859 4294956144 18446744073709551615 134532192 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116154 113809 430 177 0 115057 0
Current children cumulated CPU time (s) 1477.85
Current children cumulated vsize (KiB) 464616
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1050968/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464616 CPUtime=1537.82
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120335 0 0 0 153701 81 0 0 25 0 1 0 1985141326 475766784 113809 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116154 113809 430 177 0 115057 0
Current children cumulated CPU time (s) 1537.82
Current children cumulated vsize (KiB) 464616
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1050904/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464616 CPUtime=1597.8
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120335 0 0 0 159698 82 0 0 25 0 1 0 1985141326 475766784 113809 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116154 113809 430 177 0 115057 0
Current children cumulated CPU time (s) 1597.8
Current children cumulated vsize (KiB) 464616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1050776/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464616 CPUtime=1657.77
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120335 0 0 0 165695 82 0 0 25 0 1 0 1985141326 475766784 113809 996147200 134512640 135239859 4294956144 18446744073709551615 134540910 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116154 113809 430 177 0 115057 0
Current children cumulated CPU time (s) 1657.77
Current children cumulated vsize (KiB) 464616
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1050200/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464616 CPUtime=1717.75
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120338 0 0 0 171693 82 0 0 25 0 1 0 1985141326 475766784 113812 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116154 113812 430 177 0 115057 0
Current children cumulated CPU time (s) 1717.75
Current children cumulated vsize (KiB) 464616
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32142
/proc/meminfo: memFree=1050008/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464616 CPUtime=1777.72
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120338 0 0 0 177690 82 0 0 25 0 1 0 1985141326 475766784 113812 996147200 134512640 135239859 4294956144 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116154 113812 430 177 0 115057 0
Current children cumulated CPU time (s) 1777.72
Current children cumulated vsize (KiB) 464616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 32143
/proc/meminfo: memFree=1049944/2055920 swapFree=4181476/4192956
[pid=32096] ppid=32094 vsize=464616 CPUtime=1800.01
/proc/32096/stat : 32096 (xsolve) R 32094 32096 27576 0 -1 4194304 120338 0 0 0 179919 82 0 0 25 0 1 0 1985141326 475766784 113812 996147200 134512640 135239859 4294956144 18446744073709551615 134543045 0 0 4096 0 0 0 0 17 0 0 0
/proc/32096/statm: 116154 113812 430 177 0 115057 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 464616
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): 1804.67
CPU time (s): 1800.09
CPU user time (s): 1799.2
CPU system time (s): 0.887865
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 464616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 0.887865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120338
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= 15481
runsolver used 2.10868 second user time and 5.06823 second system time
The end
Begin job on node67 at 2008-07-03 07:08:38
IDJOB=1056129
IDBENCH=57400
IDSOLVER=342
FILE ID=node67/1056129-1215061714
PBS_JOBID= 7875042
Free space on /tmp= 66428 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/largeQueens/normalized-queens-1000.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-1056129-1215061714/watcher-1056129-1215061714 -o /tmp/evaluation-result-1056129-1215061714/solver-1056129-1215061714 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056129-1215061714.xml -v 1 -rs 1902577972 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 78313dcdeb39aaad2168896beb466d7e
RANDOM SEED=1902577972
node67.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.281
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.281
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: 989024 kB
Buffers: 51508 kB
Cached: 328444 kB
SwapCached: 5336 kB
Active: 874252 kB
Inactive: 123064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 989024 kB
SwapTotal: 4192956 kB
SwapFree: 4181476 kB
Dirty: 67776 kB
Writeback: 0 kB
Mapped: 625184 kB
Slab: 53604 kB
Committed_AS: 4795552 kB
PageTables: 3220 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= 66440 MiB
End job on node67 at 2008-07-03 07:38:44