0.00/0.00 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.00/0.07 c Building = 1
0.09/0.14 c [ NumberOfVariables = 56 ]
0.09/0.14 c [ NumberOfConstraints = 511 ]
0.09/0.14 c [ SizeOfSearchSpace(log2) = 260.056 ]
0.09/0.14 c SymmetrySearch = 1
0.39/0.43 c InitialPropagation = 1
0.39/0.44 c [ SizeOfSearchSpace(log2) = 260.056 ]
0.39/0.44 c InitialSAC = 1
0.59/0.67 c [ SizeOfSearchSpace(log2) = 260.056 ]
0.59/0.67 c Search(SampleFF) :
82.52/82.67 c [ Sampling domwdeg ]
82.52/82.67 c [ Sampling impacts ]
82.52/82.67 c [ Sampling la ]
82.52/82.67 c [ SamplingScores: ]
82.52/82.67 c [ domwdeg+min = 6.51918e-09 | domwdeg+rnd = 1.8756e-09 ]
82.52/82.67 c [ impacts+min = 3.10785e-07 | impacts+rnd = 7.24268e-08 ]
82.52/82.67 c [ la+min = 1.20813e-08 | la+rnd = 3.03203e-10 ]
82.52/82.67 c [ domwdeg = 4.19739e-09 | impacts = 1.91606e-07 | la = 6.19225e-09 ]
82.52/82.67 c [ min = 1.09795e-07 | rand = 1.91606e-07 ]
82.52/82.67 c [ restarting at (0.400082,1.02728e-07) ]
83.52/83.67 c [ restarting at (1.0002,2.36008e-09) ]
86.01/86.18 c [ restarting at (2.50051,1.47784e-07) ]
92.32/92.44 c [ restarting at (6.25128,1.02876e-06) ]
107.91/108.08 c [ restarting at (15.6282,1.63907e-06) ]
147.00/147.18 c [ restarting at (39.0705,1.4839e-06) ]
244.76/244.91 c [ restarting at (97.6762,9.34298e-06) ]
488.96/489.21 c [ restarting at (244.19,0.000105407) ]
1099.45/1099.98 c [ restarting at (610.476,0.000271512) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1042905-1215019151/watcher-1042905-1215019151 -o /tmp/evaluation-result-1042905-1215019151/solver-1042905-1215019151 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1042905-1215019151.xml 466032655
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.34 0.35 0.18 4/73 25683
/proc/meminfo: memFree=1433056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=5352 CPUtime=0
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 657642750 5480448 190 996147200 134512640 135477443 4294956224 18446744073709551615 11889528 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 1338 190 156 235 0 27 0
[startup+0.0966301 s]
/proc/loadavg: 1.34 0.35 0.18 4/73 25683
/proc/meminfo: memFree=1433056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104032 CPUtime=0.08
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 1720 0 0 0 8 0 0 0 18 0 1 0 657642750 106528768 1680 996147200 134512640 135477443 4294956224 18446744073709551615 134593774 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26008 1681 403 235 0 24709 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 104032
[startup+0.101631 s]
/proc/loadavg: 1.34 0.35 0.18 4/73 25683
/proc/meminfo: memFree=1433056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104032 CPUtime=0.09
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 1797 0 0 0 9 0 0 0 18 0 1 0 657642750 106528768 1757 996147200 134512640 135477443 4294956224 18446744073709551615 134612949 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26008 1758 403 235 0 24709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 104032
[startup+0.301651 s]
/proc/loadavg: 1.34 0.35 0.18 4/73 25683
/proc/meminfo: memFree=1433056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=123304 CPUtime=0.29
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 6048 0 0 0 26 3 0 0 19 0 1 0 657642750 126263296 6003 996147200 134512640 135477443 4294956224 18446744073709551615 134536191 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 30826 6003 440 235 0 29527 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 123304
[startup+0.701691 s]
/proc/loadavg: 1.34 0.35 0.18 4/73 25683
/proc/meminfo: memFree=1433056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=0.69
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7016 0 0 0 66 3 0 0 23 0 1 0 657642750 106659840 3163 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3164 470 235 0 24741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104160
[startup+1.50176 s]
/proc/loadavg: 1.34 0.35 0.18 3/74 25684
/proc/meminfo: memFree=1421912/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1.48
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7099 0 0 0 145 3 0 0 25 0 1 0 657642750 106659840 3246 996147200 134512640 135477443 4294956224 18446744073709551615 134584288 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3246 479 235 0 24741 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 104160
[startup+3.10193 s]
/proc/loadavg: 1.40 0.38 0.19 3/74 25684
/proc/meminfo: memFree=1421656/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=3.08
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7103 0 0 0 305 3 0 0 25 0 1 0 657642750 106659840 3250 996147200 134512640 135477443 4294956224 18446744073709551615 134606692 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3250 479 235 0 24741 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 104160
[startup+6.30124 s]
/proc/loadavg: 1.40 0.38 0.19 3/74 25684
/proc/meminfo: memFree=1421664/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=6.28
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7105 0 0 0 625 3 0 0 25 0 1 0 657642750 106659840 3252 996147200 134512640 135477443 4294956224 18446744073709551615 134584183 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3252 479 235 0 24741 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 104160
[startup+12.7029 s]
/proc/loadavg: 1.49 0.43 0.21 3/74 25684
/proc/meminfo: memFree=1421536/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=12.68
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7107 0 0 0 1265 3 0 0 25 0 1 0 657642750 106659840 3254 996147200 134512640 135477443 4294956224 18446744073709551615 134584381 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3254 479 235 0 24741 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 104160
[startup+25.5011 s]
/proc/loadavg: 1.57 0.49 0.23 3/74 25684
/proc/meminfo: memFree=1421600/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=25.47
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7112 0 0 0 2544 3 0 0 25 0 1 0 657642750 106659840 3259 996147200 134512640 135477443 4294956224 18446744073709551615 134584082 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3259 481 235 0 24741 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 104160
[startup+51.1017 s]
/proc/loadavg: 1.71 0.61 0.28 3/82 25723
/proc/meminfo: memFree=1381592/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=51.03
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7118 0 0 0 5099 4 0 0 25 0 1 0 657642750 106659840 3265 996147200 134512640 135477443 4294956224 18446744073709551615 135268218 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3265 481 235 0 24741 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 104160
[startup+102.306 s]
/proc/loadavg: 1.88 0.84 0.37 3/82 25723
/proc/meminfo: memFree=1381272/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=102.21
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7134 0 0 0 10217 4 0 0 25 0 1 0 657642750 106659840 3281 996147200 134512640 135477443 4294956224 18446744073709551615 134584082 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3281 482 235 0 24741 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 104160
[startup+162.302 s]
/proc/loadavg: 1.95 1.05 0.47 3/82 25723
/proc/meminfo: memFree=1381144/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=162.19
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7134 0 0 0 16214 5 0 0 25 0 1 0 657642750 106659840 3281 996147200 134512640 135477443 4294956224 18446744073709551615 134586843 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3281 482 235 0 24741 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 104160
[startup+222.302 s]
/proc/loadavg: 1.98 1.22 0.56 3/82 25723
/proc/meminfo: memFree=1381016/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=222.17
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7136 0 0 0 22212 5 0 0 25 0 1 0 657642750 106659840 3283 996147200 134512640 135477443 4294956224 18446744073709551615 134584082 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3283 482 235 0 24741 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 104160
[startup+282.301 s]
/proc/loadavg: 1.99 1.36 0.65 3/82 25723
/proc/meminfo: memFree=1381016/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=282.14
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7136 0 0 0 28209 5 0 0 25 0 1 0 657642750 106659840 3283 996147200 134512640 135477443 4294956224 18446744073709551615 134606701 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3283 482 235 0 24741 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 104160
[startup+342.301 s]
/proc/loadavg: 1.99 1.47 0.73 3/82 25723
/proc/meminfo: memFree=1381016/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=342.12
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7136 0 0 0 34207 5 0 0 25 0 1 0 657642750 106659840 3283 996147200 134512640 135477443 4294956224 18446744073709551615 134607848 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3283 482 235 0 24741 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 104160
[startup+402.301 s]
/proc/loadavg: 1.99 1.56 0.81 3/82 25723
/proc/meminfo: memFree=1380952/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=402.1
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7136 0 0 0 40205 5 0 0 25 0 1 0 657642750 106659840 3283 996147200 134512640 135477443 4294956224 18446744073709551615 134584090 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3283 482 235 0 24741 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 104160
[startup+462.301 s]
/proc/loadavg: 1.99 1.64 0.88 3/82 25723
/proc/meminfo: memFree=1380888/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=462.07
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7136 0 0 0 46202 5 0 0 25 0 1 0 657642750 106659840 3283 996147200 134512640 135477443 4294956224 18446744073709551615 134584315 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3283 482 235 0 24741 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 104160
[startup+522.301 s]
/proc/loadavg: 1.99 1.70 0.95 3/82 25723
/proc/meminfo: memFree=1380888/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=522.05
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7136 0 0 0 52200 5 0 0 25 0 1 0 657642750 106659840 3283 996147200 134512640 135477443 4294956224 18446744073709551615 134590340 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3283 482 235 0 24741 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 104160
[startup+582.301 s]
/proc/loadavg: 1.99 1.75 1.01 3/82 25723
/proc/meminfo: memFree=1380824/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=582.04
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7137 0 0 0 58198 6 0 0 25 0 1 0 657642750 106659840 3284 996147200 134512640 135477443 4294956224 18446744073709551615 134606755 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3284 482 235 0 24741 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 104160
[startup+642.302 s]
/proc/loadavg: 1.99 1.80 1.07 3/82 25723
/proc/meminfo: memFree=1380824/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=642.01
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7140 0 0 0 64195 6 0 0 25 0 1 0 657642750 106659840 3287 996147200 134512640 135477443 4294956224 18446744073709551615 134584045 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3287 482 235 0 24741 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 104160
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.99 1.90 1.27 3/82 25723
/proc/meminfo: memFree=1380568/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=881.92
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 88186 6 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134607848 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 104160
[startup+942.302 s]
/proc/loadavg: 1.99 1.92 1.31 3/82 25723
/proc/meminfo: memFree=1380568/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=941.9
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 94184 6 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134606908 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 104160
[startup+1002.3 s]
/proc/loadavg: 1.99 1.93 1.35 3/82 25723
/proc/meminfo: memFree=1380504/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1001.88
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 100181 7 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134584151 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 104160
[startup+1062.3 s]
/proc/loadavg: 1.99 1.94 1.39 3/82 25723
/proc/meminfo: memFree=1380504/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1061.86
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 106179 7 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134584080 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 104160
[startup+1122.3 s]
/proc/loadavg: 1.99 1.95 1.43 3/82 25723
/proc/meminfo: memFree=1380440/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1121.84
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 112177 7 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134606908 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 104160
[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.46 3/82 25723
/proc/meminfo: memFree=1380376/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1181.81
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 118174 7 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134606752 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 104160
[startup+1242.3 s]
/proc/loadavg: 1.99 1.96 1.49 3/82 25723
/proc/meminfo: memFree=1380248/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1241.79
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 124172 7 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134584329 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 104160
[startup+1302.3 s]
/proc/loadavg: 1.99 1.96 1.52 3/82 25723
/proc/meminfo: memFree=1380120/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1301.78
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 130171 7 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134584090 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 104160
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.55 3/82 25723
/proc/meminfo: memFree=1380056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1361.74
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 136167 7 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134584082 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 104160
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.57 3/82 25723
/proc/meminfo: memFree=1380056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1421.73
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7142 0 0 0 142166 7 0 0 25 0 1 0 657642750 106659840 3289 996147200 134512640 135477443 4294956224 18446744073709551615 134606941 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3289 482 235 0 24741 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 104160
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.59 3/82 25723
/proc/meminfo: memFree=1380056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1481.7
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7144 0 0 0 148163 7 0 0 25 0 1 0 657642750 106659840 3291 996147200 134512640 135477443 4294956224 18446744073709551615 134606737 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3291 482 235 0 24741 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 104160
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.62 3/82 25723
/proc/meminfo: memFree=1380056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1541.67
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7144 0 0 0 154160 7 0 0 25 0 1 0 657642750 106659840 3291 996147200 134512640 135477443 4294956224 18446744073709551615 134589045 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3291 482 235 0 24741 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 104160
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.64 3/82 25723
/proc/meminfo: memFree=1380056/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1601.65
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7144 0 0 0 160158 7 0 0 25 0 1 0 657642750 106659840 3291 996147200 134512640 135477443 4294956224 18446744073709551615 134584082 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3291 482 235 0 24741 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 104160
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.66 3/82 25723
/proc/meminfo: memFree=1379992/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1661.64
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7146 0 0 0 166156 8 0 0 25 0 1 0 657642750 106659840 3293 996147200 134512640 135477443 4294956224 18446744073709551615 134607461 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3293 482 235 0 24741 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 104160
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.68 3/82 25723
/proc/meminfo: memFree=1379992/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1721.62
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7146 0 0 0 172154 8 0 0 25 0 1 0 657642750 106659840 3293 996147200 134512640 135477443 4294956224 18446744073709551615 134584101 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3293 482 235 0 24741 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 104160
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.69 3/82 25723
/proc/meminfo: memFree=1379800/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1781.6
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7146 0 0 0 178152 8 0 0 25 0 1 0 657642750 106659840 3293 996147200 134512640 135477443 4294956224 18446744073709551615 134584082 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3293 482 235 0 24741 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 104160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.99 1.97 1.70 3/82 25724
/proc/meminfo: memFree=1379800/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1800
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7146 0 0 0 179992 8 0 0 25 0 1 0 657642750 106659840 3293 996147200 134512640 135477443 4294956224 18446744073709551615 134607054 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3293 482 235 0 24741 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 104160
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.99 1.97 1.70 3/82 25724
/proc/meminfo: memFree=1379800/2055920 swapFree=4179796/4192956
[pid=25683] ppid=25681 vsize=104160 CPUtime=1800
/proc/25683/stat : 25683 (casperzao) R 25681 25683 25487 0 -1 4194304 7146 0 0 0 179992 8 0 0 25 0 1 0 657642750 106659840 3293 996147200 134512640 135477443 4294956224 18446744073709551615 134607054 0 0 4096 0 0 0 0 17 0 0 0
/proc/25683/statm: 26040 3293 482 235 0 24741 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 104160
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.01
CPU user time (s): 1799.92
CPU system time (s): 0.085986
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 123304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7146
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= 13
involuntary context switches= 39384
runsolver used 1.74773 second user time and 4.81527 second system time
The end
Begin job on node89 at 2008-07-02 19:19:11
IDJOB=1042905
IDBENCH=53431
IDSOLVER=361
FILE ID=node89/1042905-1215019151
PBS_JOBID= 7874293
Free space on /tmp= 66532 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/frb56-25/normalized-frb56-25-2-mgd_ext.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1042905-1215019151/watcher-1042905-1215019151 -o /tmp/evaluation-result-1042905-1215019151/solver-1042905-1215019151 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1042905-1215019151.xml 466032655
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6cffd350d706cc281e92ff54d514b179
RANDOM SEED=466032655
node89.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1433536 kB
Buffers: 13492 kB
Cached: 539996 kB
SwapCached: 7240 kB
Active: 123520 kB
Inactive: 443276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1433536 kB
SwapTotal: 4192956 kB
SwapFree: 4179796 kB
Dirty: 3404 kB
Writeback: 0 kB
Mapped: 21024 kB
Slab: 41008 kB
Committed_AS: 1806540 kB
PageTables: 1720 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= 66532 MiB
End job on node89 at 2008-07-02 19:49:14