0.00/0.21 c mistral-prime version 1.313
0.00/0.21 c
0.00/0.21 c Parsing xml file
0.00/0.21 c domains............... 0 (5 domains)
0.00/0.21 c variables............. 0 (590 variables)
0.00/0.21 c predicates............ 0 (2 predicates)
0.00/0.21 c constraints........... 1.5 (19502 constraints)
1.47/1.53 c Parsing time: 1.5
1.47/1.53 c
1.47/1.53 c Building model
1.68/1.71 c 0 AllDifferent constraints infered
2.56/2.64 c 0 constants
2.56/2.64 c 196 Boolean variables (+191492)
2.56/2.64 c 392 range variables (+150528)
2.56/2.64 c 0 domain (b) variables (+0)
2.56/2.64 c 0 domain (l) variables (+0)
2.56/2.64 c 19110 constraints (+345156)
2.56/2.64 c 0 values
2.56/2.64 c Building time: 1.11
2.56/2.64 c
2.56/2.64 c Solving instance
2.56/2.64 c heuristic = dom/wdeg
2.56/2.64 c Randomized probing iteration = 100
2.56/2.65 c probing limit = 30
2.56/2.65 c level based weights = no
2.56/2.65 c impact probing = no
2.56/2.65 c restart policy = No restart
2.56/2.65 c probing ..........221.44
223.96/225.86 c Probing Nodes 29368
223.96/225.86 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-1064564-1215142457/watcher-1064564-1215142457 -o /tmp/evaluation-result-1064564-1215142457/solver-1064564-1215142457 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1064564-1215142457.xml -v 1 -rs 1979405327 -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.00 2.00 2.00 4/82 30382
/proc/meminfo: memFree=1330032/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=16860 CPUtime=0.2
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 3626 0 0 0 18 2 0 0 19 0 1 0 1993215393 17264640 3396 996147200 134512640 135239859 4294956144 18446744073709551615 4159741425 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 4215 3396 398 177 0 3118 0
[startup+0.311492 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 30382
/proc/meminfo: memFree=1330032/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=22668 CPUtime=0.29
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 5146 0 0 0 26 3 0 0 20 0 1 0 1993215393 23212032 4916 996147200 134512640 135239859 4294956144 18446744073709551615 10272525 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 5667 4916 398 177 0 4570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22668
[startup+0.40252 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 30382
/proc/meminfo: memFree=1330032/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=28840 CPUtime=0.39
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 6744 0 0 0 34 5 0 0 20 0 1 0 1993215393 29532160 6256 996147200 134512640 135239859 4294956144 18446744073709551615 134683276 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 7210 6256 398 177 0 6113 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 28840
[startup+0.50252 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 30382
/proc/meminfo: memFree=1330032/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=34516 CPUtime=0.48
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 8232 0 0 0 42 6 0 0 21 0 1 0 1993215393 35344384 7744 996147200 134512640 135239859 4294956144 18446744073709551615 134933019 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 8629 7744 398 177 0 7532 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 34516
[startup+0.701541 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 30382
/proc/meminfo: memFree=1330032/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=45868 CPUtime=0.68
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 11224 0 0 0 60 8 0 0 23 0 1 0 1993215393 46968832 10736 996147200 134512640 135239859 4294956144 18446744073709551615 4159010199 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 11467 10736 398 177 0 10370 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 45868
[startup+1.50164 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 30383
/proc/meminfo: memFree=1253352/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=92268 CPUtime=1.47
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 23332 0 0 0 131 16 0 0 25 0 1 0 1993215393 94482432 22330 996147200 134512640 135239859 4294956144 18446744073709551615 134579066 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 23067 22330 398 177 0 21970 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 92268
[startup+3.10183 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 30383
/proc/meminfo: memFree=1072808/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=326208 CPUtime=3.05
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 81630 0 0 0 260 45 0 0 25 0 1 0 1993215393 334036992 79693 996147200 134512640 135239859 4294956144 18446744073709551615 135101100 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 81552 79693 437 177 0 80455 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 326208
[startup+6.30122 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 30383
/proc/meminfo: memFree=1008616/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=331176 CPUtime=6.22
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 83514 0 0 0 576 46 0 0 25 0 1 0 1993215393 339124224 80580 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 82794 80580 438 177 0 81697 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 331176
[startup+12.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 30383
/proc/meminfo: memFree=1007656/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=332100 CPUtime=12.57
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 83735 0 0 0 1211 46 0 0 25 0 1 0 1993215393 340070400 80801 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 83025 80801 438 177 0 81928 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 332100
[startup+25.5025 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 30383
/proc/meminfo: memFree=1006120/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=333552 CPUtime=25.25
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 84130 0 0 0 2478 47 0 0 25 0 1 0 1993215393 341557248 81196 996147200 134512640 135239859 4294956144 18446744073709551615 135030898 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 83388 81196 438 177 0 82291 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 333552
[startup+51.1026 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 30383
/proc/meminfo: memFree=1003560/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=336060 CPUtime=50.61
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 84786 0 0 0 5013 48 0 0 25 0 1 0 1993215393 344125440 81852 996147200 134512640 135239859 4294956144 18446744073709551615 135071185 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 84015 81852 438 177 0 82918 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 336060
[startup+102.303 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 30383
/proc/meminfo: memFree=1002088/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=337116 CPUtime=101.33
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85086 0 0 0 10085 48 0 0 25 0 1 0 1993215393 345206784 82152 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 84279 82152 438 177 0 83182 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 337116
[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 30383
/proc/meminfo: memFree=1001000/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=337908 CPUtime=160.77
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85284 0 0 0 16029 48 0 0 25 0 1 0 1993215393 346017792 82350 996147200 134512640 135239859 4294956144 18446744073709551615 135101118 0 0 4096 0 0 0 0 17 1 0 0
/proc/30382/statm: 84477 82350 438 177 0 83380 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 337908
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30421
/proc/meminfo: memFree=1039224/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338832 CPUtime=220.46
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85500 0 0 0 21998 48 0 0 25 0 1 0 1993215393 346963968 82566 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84708 82566 438 177 0 83611 0
Current children cumulated CPU time (s) 220.46
Current children cumulated vsize (KiB) 338832
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30421
/proc/meminfo: memFree=1038968/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=280.43
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 27995 48 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134802073 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 280.43
Current children cumulated vsize (KiB) 338964
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30421
/proc/meminfo: memFree=1038840/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=340.42
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 33993 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135071157 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 340.42
Current children cumulated vsize (KiB) 338964
[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30421
/proc/meminfo: memFree=1038072/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=400.39
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 39990 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 400.39
Current children cumulated vsize (KiB) 338964
[startup+462.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30421
/proc/meminfo: memFree=1038072/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=460.37
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 45988 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134802073 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 460.37
Current children cumulated vsize (KiB) 338964
[startup+522.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30421
/proc/meminfo: memFree=1038072/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=520.34
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 51985 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134803086 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 520.34
Current children cumulated vsize (KiB) 338964
[startup+582.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30422
/proc/meminfo: memFree=1038072/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=580.31
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 57982 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135096268 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 580.31
Current children cumulated vsize (KiB) 338964
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037880/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=640.28
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 63979 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 640.28
Current children cumulated vsize (KiB) 338964
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037880/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=880.18
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 87969 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 880.18
Current children cumulated vsize (KiB) 338964
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037816/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=940.16
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 93967 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135071427 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 940.16
Current children cumulated vsize (KiB) 338964
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037816/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1000.14
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 99965 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134788054 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1000.14
Current children cumulated vsize (KiB) 338964
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037816/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1060.11
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 105962 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1060.11
Current children cumulated vsize (KiB) 338964
[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037816/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1120.09
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 111960 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134803091 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1120.09
Current children cumulated vsize (KiB) 338964
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037816/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1180.06
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 117957 49 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134802073 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1180.06
Current children cumulated vsize (KiB) 338964
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037752/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1240.04
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 123954 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134803447 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1240.04
Current children cumulated vsize (KiB) 338964
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037752/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1300.02
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 129952 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135031113 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 338964
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037752/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1359.99
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 135949 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1359.99
Current children cumulated vsize (KiB) 338964
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037752/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1419.97
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 141947 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135101100 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1419.97
Current children cumulated vsize (KiB) 338964
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037752/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1479.94
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 147944 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134803091 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1479.94
Current children cumulated vsize (KiB) 338964
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037688/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1539.91
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 153941 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135030898 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1539.91
Current children cumulated vsize (KiB) 338964
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30423
/proc/meminfo: memFree=1037688/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1599.89
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 159939 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135035199 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1599.89
Current children cumulated vsize (KiB) 338964
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30429
/proc/meminfo: memFree=1037624/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1659.86
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 165936 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1659.86
Current children cumulated vsize (KiB) 338964
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30429
/proc/meminfo: memFree=1037624/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1719.83
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 171933 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 135030995 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1719.83
Current children cumulated vsize (KiB) 338964
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30429
/proc/meminfo: memFree=1037496/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1779.81
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 177931 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134803089 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1779.81
Current children cumulated vsize (KiB) 338964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30429
/proc/meminfo: memFree=1037496/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1800.1
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 179960 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134803491 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 338964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 30429
/proc/meminfo: memFree=1037496/2055920 swapFree=4179828/4192956
[pid=30382] ppid=30380 vsize=338964 CPUtime=1800.1
/proc/30382/stat : 30382 (xsolve) R 30380 30382 27768 0 -1 4194304 85523 0 0 0 179960 50 0 0 25 0 1 0 1993215393 347099136 82589 996147200 134512640 135239859 4294956144 18446744073709551615 134803491 0 0 4096 0 0 0 0 17 0 0 0
/proc/30382/statm: 84741 82589 441 177 0 83644 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 338964
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.66
CPU time (s): 1800.16
CPU user time (s): 1799.6
CPU system time (s): 0.557915
CPU usage (%): 99.8617
Max. virtual memory (cumulated for all children) (KiB): 338964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.557915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85523
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= 14236
runsolver used 2.6096 second user time and 5.49616 second system time
The end
Begin job on node66 at 2008-07-04 05:34:17
IDJOB=1064564
IDBENCH=54965
IDSOLVER=342
FILE ID=node66/1064564-1215142457
PBS_JOBID= 7877233
Free space on /tmp= 66544 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/tdsp/normalized-C7-3-240.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-1064564-1215142457/watcher-1064564-1215142457 -o /tmp/evaluation-result-1064564-1215142457/solver-1064564-1215142457 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1064564-1215142457.xml -v 1 -rs 1979405327 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f9fb4b9e93d84a370d6e24bfb8078515
RANDOM SEED=1979405327
node66.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.213
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.213
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: 1330512 kB
Buffers: 59836 kB
Cached: 484620 kB
SwapCached: 6956 kB
Active: 314124 kB
Inactive: 353244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1330512 kB
SwapTotal: 4192956 kB
SwapFree: 4179828 kB
Dirty: 4300 kB
Writeback: 0 kB
Mapped: 139068 kB
Slab: 42784 kB
Committed_AS: 4178668 kB
PageTables: 2132 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= 66544 MiB
End job on node66 at 2008-07-04 06:04:22