0.00/0.00 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
3.06/3.17 c Building = 1
3.85/3.99 c [ NumberOfVariables = 25 ]
3.85/3.99 c [ NumberOfConstraints = 56 ]
3.85/3.99 c [ SizeOfSearchSpace(log2) = 58.0482 ]
3.85/3.99 c SymmetrySearch = (OutOfMemory)
10.22/10.31 c [ Proceeding without symmetry breaking ]
11.62/11.73 c InitialPropagation = 1
11.62/11.77 c [ SizeOfSearchSpace(log2) = 58.0482 ]
11.62/11.77 c InitialSAC = 1
12.91/13.05 c [ SizeOfSearchSpace(log2) = 58.0482 ]
12.91/13.05 c Search(SampleFF) :
182.85/183.85 c [ Sampling domwdeg ]
182.85/183.85 c [ Sampling impacts ]
182.85/183.85 c [ Sampling la ]
182.85/183.85 c [ SamplingScores: ]
182.85/183.85 c [ domwdeg+min = 2.75964e-07 | domwdeg+rnd = 2.88974e-07 ]
182.85/183.85 c [ impacts+min = 9.29614e-08 | impacts+rnd = 5.28885e-08 ]
182.85/183.85 c [ la+min = 9.58054e-10 | la+rnd = 3.83222e-11 ]
182.85/183.85 c [ domwdeg = 2.82469e-07 | impacts = 7.29249e-08 | la = 4.98188e-10 ]
182.85/183.85 c [ min = 1.23295e-07 | rand = 7.29249e-08 ]
182.85/183.85 c [ restarting at (0.1,1.024e-07) ]
184.04/185.08 c [ restarting at (0.25,4.096e-09) ]
185.33/186.31 c [ restarting at (0.625,2.048e-08) ]
186.93/187.97 c [ restarting at (1.5625,4.9152e-09) ]
191.01/192.03 c [ restarting at (3.90625,6.5536e-08) ]
200.86/201.90 c [ restarting at (9.76562,6.5536e-07) ]
225.14/226.38 c [ restarting at (24.4141,1.024e-06) ]
285.93/287.49 c [ restarting at (61.0352,3.33824e-06) ]
437.98/440.23 c [ restarting at (152.588,6.91405e-05) ]
817.70/821.89 c [ restarting at (381.47,0.000133149) ]
1767.22/1776.11 c [ restarting at (953.674,0.000129028) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093291-1215249455/watcher-1093291-1215249455 -o /tmp/evaluation-result-1093291-1215249455/solver-1093291-1215249455 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1093291-1215249455.xml 1817725511
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.33 2.08 2.03 3/87 16721
/proc/meminfo: memFree=1463176/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=5352 CPUtime=0
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 136626319 5480448 190 996147200 134512640 135477443 4294956224 18446744073709551615 11737976 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 1338 190 156 235 0 27 0
[startup+0.0873891 s]
/proc/loadavg: 2.33 2.08 2.03 3/87 16721
/proc/meminfo: memFree=1463176/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=8124 CPUtime=0.07
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 1147 0 0 0 7 0 0 0 18 0 1 0 136626319 8318976 1107 996147200 134512640 135477443 4294956224 18446744073709551615 134523556 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 2031 1107 365 235 0 732 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8124
[startup+0.101392 s]
/proc/loadavg: 2.33 2.08 2.03 3/87 16721
/proc/meminfo: memFree=1463176/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=8124 CPUtime=0.09
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 1147 0 0 0 9 0 0 0 18 0 1 0 136626319 8318976 1107 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 2031 1107 365 235 0 732 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8124
[startup+0.301414 s]
/proc/loadavg: 2.33 2.08 2.03 3/87 16721
/proc/meminfo: memFree=1463176/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=13480 CPUtime=0.29
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 2489 0 0 0 28 1 0 0 19 0 1 0 136626319 13803520 2449 996147200 134512640 135477443 4294956224 18446744073709551615 134783648 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 3370 2449 365 235 0 2071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13480
[startup+0.70146 s]
/proc/loadavg: 2.33 2.08 2.03 3/87 16721
/proc/meminfo: memFree=1463176/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=23872 CPUtime=0.68
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 5061 0 0 0 66 2 0 0 24 0 1 0 136626319 24444928 5021 996147200 134512640 135477443 4294956224 18446744073709551615 134800108 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 5968 5021 365 235 0 4669 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 23872
[startup+1.50155 s]
/proc/loadavg: 2.33 2.08 2.03 3/88 16722
/proc/meminfo: memFree=1437056/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=43792 CPUtime=1.48
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 10050 0 0 0 142 6 0 0 25 0 1 0 136626319 44843008 10010 996147200 134512640 135477443 4294956224 18446744073709551615 134780936 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 10948 10010 365 235 0 9649 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43792
[startup+3.10173 s]
/proc/loadavg: 2.33 2.08 2.03 3/88 16722
/proc/meminfo: memFree=1409024/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=82908 CPUtime=3.06
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 19822 0 0 0 294 12 0 0 25 0 1 0 136626319 84897792 19782 996147200 134512640 135477443 4294956224 18446744073709551615 134780695 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 20727 19782 365 235 0 19428 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 82908
[startup+6.30209 s]
/proc/loadavg: 2.39 2.09 2.03 3/88 16722
/proc/meminfo: memFree=1143360/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=523600 CPUtime=6.25
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 102391 0 0 0 578 47 0 0 25 0 1 0 136626319 536166400 102351 996147200 134512640 135477443 4294956224 18446744073709551615 12203643 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 130900 102353 432 235 0 129601 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 523600
[startup+12.7018 s]
/proc/loadavg: 2.43 2.11 2.04 3/88 16722
/proc/meminfo: memFree=1293760/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=12.61
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184391 0 0 0 1169 92 0 0 25 0 1 0 136626319 290455552 42287 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42287 463 235 0 69613 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 283648
[startup+25.5013 s]
/proc/loadavg: 2.34 2.10 2.03 3/88 16722
/proc/meminfo: memFree=1294208/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=25.34
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184545 0 0 0 2442 92 0 0 25 0 1 0 136626319 290455552 42441 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42441 483 235 0 69613 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 283648
[startup+51.1011 s]
/proc/loadavg: 2.22 2.09 2.03 3/88 16722
/proc/meminfo: memFree=1293632/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=50.82
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184711 0 0 0 4989 93 0 0 25 0 1 0 136626319 290455552 42607 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42607 485 235 0 69613 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 283648
[startup+102.307 s]
/proc/loadavg: 2.09 2.08 2.03 3/88 16722
/proc/meminfo: memFree=1293440/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=101.76
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184729 0 0 0 10083 93 0 0 25 0 1 0 136626319 290455552 42625 996147200 134512640 135477443 4294956224 18446744073709551615 134600941 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42625 485 235 0 69613 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 283648
[startup+162.302 s]
/proc/loadavg: 2.03 2.06 2.02 3/88 16722
/proc/meminfo: memFree=1293376/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=161.45
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184729 0 0 0 16052 93 0 0 25 0 1 0 136626319 290455552 42625 996147200 134512640 135477443 4294956224 18446744073709551615 134600969 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42625 485 235 0 69613 0
Current children cumulated CPU time (s) 161.45
Current children cumulated vsize (KiB) 283648
[startup+222.301 s]
/proc/loadavg: 2.11 2.08 2.03 3/88 16722
/proc/meminfo: memFree=1293312/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=221.16
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184760 0 0 0 22023 93 0 0 25 0 1 0 136626319 290455552 42656 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42656 486 235 0 69613 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 283648
[startup+282.301 s]
/proc/loadavg: 2.04 2.06 2.02 3/88 16722
/proc/meminfo: memFree=1293120/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=280.86
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 27993 93 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590252 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 280.86
Current children cumulated vsize (KiB) 283648
[startup+342.302 s]
/proc/loadavg: 2.01 2.05 2.01 3/88 16722
/proc/meminfo: memFree=1293056/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=340.56
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 33963 93 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 340.56
Current children cumulated vsize (KiB) 283648
[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/88 16722
/proc/meminfo: memFree=1293056/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=400.27
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 39934 93 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134583302 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 400.27
Current children cumulated vsize (KiB) 283648
[startup+462.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/88 16722
/proc/meminfo: memFree=1292992/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=459.97
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 45904 93 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134600965 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 459.97
Current children cumulated vsize (KiB) 283648
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/88 16722
/proc/meminfo: memFree=1292928/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=519.67
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 51874 93 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590157 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 519.67
Current children cumulated vsize (KiB) 283648
[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/88 16722
/proc/meminfo: memFree=1292928/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=579.37
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 57844 93 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 579.37
Current children cumulated vsize (KiB) 283648
[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/88 16722
/proc/meminfo: memFree=1292800/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=639.08
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 63815 93 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 639.08
Current children cumulated vsize (KiB) 283648
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 16722
/proc/meminfo: memFree=1292480/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=877.89
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 87695 94 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 877.89
Current children cumulated vsize (KiB) 283648
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 16722
/proc/meminfo: memFree=1292480/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=937.59
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 93665 94 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590244 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 937.59
Current children cumulated vsize (KiB) 283648
[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/88 16722
/proc/meminfo: memFree=1292416/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=997.3
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 99636 94 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134600985 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 997.3
Current children cumulated vsize (KiB) 283648
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/88 16722
/proc/meminfo: memFree=1292416/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1056.99
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 105605 94 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1056.99
Current children cumulated vsize (KiB) 283648
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 16722
/proc/meminfo: memFree=1292352/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1116.7
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 111576 94 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590291 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1116.7
Current children cumulated vsize (KiB) 283648
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 16722
/proc/meminfo: memFree=1292352/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1176.4
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 117546 94 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590160 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1176.4
Current children cumulated vsize (KiB) 283648
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 16722
/proc/meminfo: memFree=1292032/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1236.11
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 123516 95 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590244 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1236.11
Current children cumulated vsize (KiB) 283648
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1495944/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1295.77
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 129482 95 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134583302 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1295.77
Current children cumulated vsize (KiB) 283648
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1495176/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1355.47
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 135452 95 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134600971 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1355.47
Current children cumulated vsize (KiB) 283648
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1495048/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1415.17
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 141422 95 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1415.17
Current children cumulated vsize (KiB) 283648
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1494984/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1474.87
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 147392 95 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590162 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1474.87
Current children cumulated vsize (KiB) 283648
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1494984/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1534.57
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 153362 95 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1534.57
Current children cumulated vsize (KiB) 283648
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1494984/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1594.27
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 159332 95 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590229 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1594.27
Current children cumulated vsize (KiB) 283648
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1494984/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1653.98
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184801 0 0 0 165303 95 0 0 25 0 1 0 136626319 290455552 42697 996147200 134512640 135477443 4294956224 18446744073709551615 134590162 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42697 486 235 0 69613 0
Current children cumulated CPU time (s) 1653.98
Current children cumulated vsize (KiB) 283648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1494984/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1713.68
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184802 0 0 0 171273 95 0 0 25 0 1 0 136626319 290455552 42698 996147200 134512640 135477443 4294956224 18446744073709551615 134590291 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42698 486 235 0 69613 0
Current children cumulated CPU time (s) 1713.68
Current children cumulated vsize (KiB) 283648
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1494728/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1773.39
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184840 0 0 0 177243 96 0 0 25 0 1 0 136626319 290455552 42736 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42736 486 235 0 69613 0
Current children cumulated CPU time (s) 1773.39
Current children cumulated vsize (KiB) 283648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1494728/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1800.06
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184840 0 0 0 179910 96 0 0 25 0 1 0 136626319 290455552 42736 996147200 134512640 135477443 4294956224 18446744073709551615 134590327 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42736 486 235 0 69613 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 283648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 16751
/proc/meminfo: memFree=1494728/2055920 swapFree=4179164/4192956
[pid=16721] ppid=16719 vsize=283648 CPUtime=1800.06
/proc/16721/stat : 16721 (casperzao) R 16719 16721 15622 0 -1 4194304 184840 0 0 0 179910 96 0 0 25 0 1 0 136626319 290455552 42736 996147200 134512640 135477443 4294956224 18446744073709551615 134590327 0 0 4096 0 0 0 0 17 0 0 0
/proc/16721/statm: 70912 42736 486 235 0 69613 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 283648
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.13
CPU time (s): 1800.1
CPU user time (s): 1799.11
CPU system time (s): 0.989849
CPU usage (%): 99.5006
Max. virtual memory (cumulated for all children) (KiB): 860732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 0.989849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184840
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= 50661
runsolver used 2.17267 second user time and 6.06008 second system time
The end
Begin job on node76 at 2008-07-05 11:17:37
IDJOB=1093291
IDBENCH=58695
IDSOLVER=361
FILE ID=node76/1093291-1215249455
PBS_JOBID= 7881993
Free space on /tmp= 66428 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-3.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093291-1215249455/watcher-1093291-1215249455 -o /tmp/evaluation-result-1093291-1215249455/solver-1093291-1215249455 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1093291-1215249455.xml 1817725511
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a120acb0d25d871e6ddc3f8ad8bfd6be
RANDOM SEED=1817725511
node76.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.222
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.222
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: 1463656 kB
Buffers: 38180 kB
Cached: 245796 kB
SwapCached: 7608 kB
Active: 433660 kB
Inactive: 92916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1463656 kB
SwapTotal: 4192956 kB
SwapFree: 4179164 kB
Dirty: 33684 kB
Writeback: 0 kB
Mapped: 261632 kB
Slab: 50084 kB
Committed_AS: 1231324 kB
PageTables: 2512 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= 66448 MiB
End job on node76 at 2008-07-05 11:47:48