0.00/0.00 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
3.06/3.12 c Building = 1
3.85/3.93 c [ NumberOfVariables = 25 ]
3.85/3.93 c [ NumberOfConstraints = 56 ]
3.85/3.93 c [ SizeOfSearchSpace(log2) = 58.0482 ]
3.85/3.93 c SymmetrySearch = (OutOfMemory)
9.99/10.16 c [ Proceeding without symmetry breaking ]
11.38/11.56 c InitialPropagation = 1
11.48/11.61 c [ SizeOfSearchSpace(log2) = 58.0482 ]
11.48/11.61 c InitialSAC = 1
13.26/13.42 c [ SizeOfSearchSpace(log2) = 58.0482 ]
13.26/13.42 c Search(SampleFF) :
174.34/175.91 c [ Sampling domwdeg ]
174.34/175.91 c [ Sampling impacts ]
174.34/175.91 c [ Sampling la ]
174.34/175.91 c [ SamplingScores: ]
174.34/175.91 c [ domwdeg+min = 3.26552e-06 | domwdeg+rnd = 1.10979e-06 ]
174.34/175.91 c [ impacts+min = 1.2095e-07 | impacts+rnd = 7.10318e-08 ]
174.34/175.91 c [ la+min = 1.91611e-10 | la+rnd = 2.39513e-08 ]
174.34/175.91 c [ domwdeg = 2.18765e-06 | impacts = 9.59911e-08 | la = 1.20715e-08 ]
174.34/175.91 c [ min = 1.12889e-06 | rand = 9.59911e-08 ]
174.34/175.91 c [ restarting at (0.1,8.192e-10) ]
175.33/176.94 c [ restarting at (0.25,2.048e-08) ]
176.42/178.09 c [ restarting at (0.625,4.096e-09) ]
178.10/179.72 c [ restarting at (1.5625,1.28082e-05) ]
181.97/183.67 c [ restarting at (3.90625,3.072e-07) ]
191.69/193.50 c [ restarting at (9.76562,3.1744e-06) ]
216.06/218.07 c [ restarting at (24.4141,1.56672e-05) ]
276.84/279.39 c [ restarting at (61.0352,1.59744e-05) ]
428.76/432.06 c [ restarting at (152.588,9.8304e-06) ]
809.03/813.86 c [ restarting at (381.47,0.000105005) ]
1759.22/1767.81 c [ restarting at (953.674,0.00170355) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093130-1215248523/watcher-1093130-1215248523 -o /tmp/evaluation-result-1093130-1215248523/solver-1093130-1215248523 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1093130-1215248523.xml 996296747
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.91 1.98 1.99 4/85 26363
/proc/meminfo: memFree=1601528/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=5352 CPUtime=0
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 214 0 0 0 0 0 0 0 19 0 1 0 265795290 5480448 189 996147200 134512640 135477443 4294956224 18446744073709551615 2571128 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 1338 189 155 235 0 27 0
[startup+0.0634579 s]
/proc/loadavg: 1.91 1.98 1.99 4/85 26363
/proc/meminfo: memFree=1601528/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=6924 CPUtime=0.05
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 828 0 0 0 5 0 0 0 19 0 1 0 265795290 7090176 788 996147200 134512640 135477443 4294956224 18446744073709551615 134800208 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 1731 788 364 235 0 432 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6924
[startup+0.101469 s]
/proc/loadavg: 1.91 1.98 1.99 4/85 26363
/proc/meminfo: memFree=1601528/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=8268 CPUtime=0.08
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 1177 0 0 0 8 0 0 0 19 0 1 0 265795290 8466432 1137 996147200 134512640 135477443 4294956224 18446744073709551615 134713518 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 2067 1137 365 235 0 768 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8268
[startup+1.24654 s]
/proc/loadavg: 1.91 1.98 1.99 4/85 26363
/proc/meminfo: memFree=1601528/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=36504 CPUtime=1.22
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 8188 0 0 0 118 4 0 0 25 0 1 0 265795290 37380096 8148 996147200 134512640 135477443 4294956224 18446744073709551615 3036795 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 9126 8148 365 235 0 7827 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 36504
[startup+1.30155 s]
/proc/loadavg: 1.91 1.98 1.99 4/85 26363
/proc/meminfo: memFree=1601528/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=37560 CPUtime=1.27
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 8494 0 0 0 123 4 0 0 25 0 1 0 265795290 38461440 8454 996147200 134512640 135477443 4294956224 18446744073709551615 134780698 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 9390 8454 365 235 0 8091 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 37560
[startup+1.50159 s]
/proc/loadavg: 1.91 1.98 1.99 4/85 26363
/proc/meminfo: memFree=1601528/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=43068 CPUtime=1.47
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 9887 0 0 0 141 6 0 0 25 0 1 0 265795290 44101632 9847 996147200 134512640 135477443 4294956224 18446744073709551615 134799952 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 10767 9847 365 235 0 9468 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 43068
[startup+3.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 26364
/proc/meminfo: memFree=1523056/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=82620 CPUtime=3.06
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 19774 0 0 0 294 12 0 0 25 0 1 0 265795290 84602880 19734 996147200 134512640 135477443 4294956224 18446744073709551615 134780672 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 20655 19734 365 235 0 19356 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 82620
[startup+6.30152 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 26364
/proc/meminfo: memFree=1288880/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=531736 CPUtime=6.23
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 103961 0 0 0 568 55 0 0 25 0 1 0 265795290 544497664 103921 996147200 134512640 135477443 4294956224 18446744073709551615 134635026 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 132934 103921 432 235 0 131635 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 531736
[startup+12.7018 s]
/proc/loadavg: 2.07 2.02 2.00 3/86 26364
/proc/meminfo: memFree=1436592/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=12.57
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 180759 0 0 0 1156 101 0 0 25 0 1 0 265795290 288915456 41437 996147200 134512640 135477443 4294956224 18446744073709551615 134600933 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 70536 41437 463 235 0 69237 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 282144
[startup+25.5012 s]
/proc/loadavg: 2.06 2.02 2.00 3/86 26364
/proc/meminfo: memFree=1436080/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=25.25
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 180902 0 0 0 2424 101 0 0 25 0 1 0 265795290 288915456 41580 996147200 134512640 135477443 4294956224 18446744073709551615 134590247 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 70536 41580 483 235 0 69237 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 282144
[startup+51.1012 s]
/proc/loadavg: 2.04 2.01 2.00 3/86 26364
/proc/meminfo: memFree=1435376/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=50.63
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181103 0 0 0 4961 102 0 0 25 0 1 0 265795290 288915456 41781 996147200 134512640 135477443 4294956224 18446744073709551615 134583302 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 70536 41781 485 235 0 69237 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 282144
[startup+102.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/86 26364
/proc/meminfo: memFree=1435056/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=101.37
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181118 0 0 0 10035 102 0 0 25 0 1 0 265795290 288915456 41796 996147200 134512640 135477443 4294956224 18446744073709551615 134600955 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 70536 41796 485 235 0 69237 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 282144
[startup+162.302 s]
/proc/loadavg: 2.07 2.02 2.00 4/86 26364
/proc/meminfo: memFree=1435056/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=160.85
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181118 0 0 0 15983 102 0 0 25 0 1 0 265795290 288915456 41796 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 70536 41796 485 235 0 69237 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 282144
[startup+222.302 s]
/proc/loadavg: 2.02 2.01 2.00 3/86 26364
/proc/meminfo: memFree=1434992/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=220.33
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181145 0 0 0 21931 102 0 0 25 0 1 0 265795290 288915456 41823 996147200 134512640 135477443 4294956224 18446744073709551615 134590244 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 70536 41823 486 235 0 69237 0
Current children cumulated CPU time (s) 220.33
Current children cumulated vsize (KiB) 282144
[startup+282.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/86 26364
/proc/meminfo: memFree=1434872/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=279.81
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181152 0 0 0 27879 102 0 0 25 0 1 0 265795290 288915456 41830 996147200 134512640 135477443 4294956224 18446744073709551615 134600985 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 70536 41830 486 235 0 69237 0
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (KiB) 282144
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26394
/proc/meminfo: memFree=1622488/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=339.42
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181152 0 0 0 33839 103 0 0 25 0 1 0 265795290 288915456 41830 996147200 134512640 135477443 4294956224 18446744073709551615 134590247 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41830 486 235 0 69237 0
Current children cumulated CPU time (s) 339.42
Current children cumulated vsize (KiB) 282144
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26394
/proc/meminfo: memFree=1622296/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=399.18
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181152 0 0 0 39815 103 0 0 25 0 1 0 265795290 288915456 41830 996147200 134512640 135477443 4294956224 18446744073709551615 134600885 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41830 486 235 0 69237 0
Current children cumulated CPU time (s) 399.18
Current children cumulated vsize (KiB) 282144
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26394
/proc/meminfo: memFree=1622296/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=458.94
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 45791 103 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 458.94
Current children cumulated vsize (KiB) 282144
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26394
/proc/meminfo: memFree=1622232/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=518.7
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 51767 103 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590454 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 518.7
Current children cumulated vsize (KiB) 282144
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26394
/proc/meminfo: memFree=1622232/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=578.45
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 57742 103 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590162 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 578.45
Current children cumulated vsize (KiB) 282144
[startup+642.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26394
/proc/meminfo: memFree=1622232/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=638.22
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 63719 103 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590319 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 638.22
Current children cumulated vsize (KiB) 282144
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26394
/proc/meminfo: memFree=1622168/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=817.49
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 81646 103 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 817.49
Current children cumulated vsize (KiB) 282144
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26394
/proc/meminfo: memFree=1622104/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=877.25
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 87622 103 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134600974 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 877.25
Current children cumulated vsize (KiB) 282144
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26394
/proc/meminfo: memFree=1622104/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=937.01
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 93598 103 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590440 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 937.01
Current children cumulated vsize (KiB) 282144
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/71 26397
/proc/meminfo: memFree=1523824/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=996.83
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 99580 103 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134600944 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 996.83
Current children cumulated vsize (KiB) 282144
[startup+1062.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/83 26442
/proc/meminfo: memFree=1213776/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1056.56
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 105549 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590185 0 0 4096 0 0 0 0 17 0 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1056.56
Current children cumulated vsize (KiB) 282144
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/75 26443
/proc/meminfo: memFree=1546256/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1116.31
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 111524 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590247 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1116.31
Current children cumulated vsize (KiB) 282144
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/75 26443
/proc/meminfo: memFree=1545424/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1176.08
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 117501 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134600843 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1176.08
Current children cumulated vsize (KiB) 282144
[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/75 26443
/proc/meminfo: memFree=1544592/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1235.83
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 123476 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1235.83
Current children cumulated vsize (KiB) 282144
[startup+1302.31 s]
/proc/loadavg: 2.06 2.05 2.01 3/75 26443
/proc/meminfo: memFree=1543888/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1295.6
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 129453 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1295.6
Current children cumulated vsize (KiB) 282144
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/75 26443
/proc/meminfo: memFree=1543248/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1355.35
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 135428 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590437 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1355.35
Current children cumulated vsize (KiB) 282144
[startup+1422.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/75 26443
/proc/meminfo: memFree=1542672/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1415.11
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 141404 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134600992 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1415.11
Current children cumulated vsize (KiB) 282144
[startup+1482.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/75 26443
/proc/meminfo: memFree=1542160/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1474.87
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 147380 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134600820 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1474.87
Current children cumulated vsize (KiB) 282144
[startup+1542.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/75 26443
/proc/meminfo: memFree=1541584/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1534.63
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 153356 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134601026 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1534.63
Current children cumulated vsize (KiB) 282144
[startup+1602.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/75 26443
/proc/meminfo: memFree=1541072/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1594.38
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 159331 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590182 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1594.38
Current children cumulated vsize (KiB) 282144
[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/75 26443
/proc/meminfo: memFree=1540368/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1654.15
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 165308 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1654.15
Current children cumulated vsize (KiB) 282144
[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/75 26443
/proc/meminfo: memFree=1539536/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1713.9
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 171283 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1713.9
Current children cumulated vsize (KiB) 282144
[startup+1782.3 s]
/proc/loadavg: 2.30 2.12 2.02 3/75 26443
/proc/meminfo: memFree=1538640/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1773.67
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 177260 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590247 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1773.67
Current children cumulated vsize (KiB) 282144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.8 s]
/proc/loadavg: 2.54 2.19 2.05 3/75 26443
/proc/meminfo: memFree=1538512/2055920 swapFree=4181032/4192956
[pid=26363] ppid=26361 vsize=282144 CPUtime=1800.06
/proc/26363/stat : 26363 (casperzao) R 26361 26363 24607 0 -1 4194304 181172 0 0 0 179899 107 0 0 25 0 1 0 265795290 288915456 41850 996147200 134512640 135477443 4294956224 18446744073709551615 134590154 0 0 4096 0 0 0 0 17 1 0 0
/proc/26363/statm: 70536 41850 486 235 0 69237 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 282144
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): 1808.83
CPU time (s): 1800.1
CPU user time (s): 1799
CPU system time (s): 1.10283
CPU usage (%): 99.5172
Max. virtual memory (cumulated for all children) (KiB): 847972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.10283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181172
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= 16
involuntary context switches= 32021
runsolver used 1.76873 second user time and 4.82427 second system time
The end
Begin job on node85 at 2008-07-05 11:02:06
IDJOB=1093130
IDBENCH=58687
IDSOLVER=361
FILE ID=node85/1093130-1215248523
PBS_JOBID= 7881963
Free space on /tmp= 126820 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-13.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093130-1215248523/watcher-1093130-1215248523 -o /tmp/evaluation-result-1093130-1215248523/solver-1093130-1215248523 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1093130-1215248523.xml 996296747
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= adcd630dea9ab37334affed6d76d8253
RANDOM SEED=996296747
node85.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.272
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.272
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: 1602008 kB
Buffers: 7112 kB
Cached: 168128 kB
SwapCached: 5844 kB
Active: 311016 kB
Inactive: 97764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1602008 kB
SwapTotal: 4192956 kB
SwapFree: 4181032 kB
Dirty: 32896 kB
Writeback: 0 kB
Mapped: 245776 kB
Slab: 30300 kB
Committed_AS: 1412220 kB
PageTables: 1980 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= 126768 MiB
End job on node85 at 2008-07-05 11:32:16