0.00/0.20 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.20 c Parsing = 1
0.19/0.23 c Building = 1
0.58/0.63 c [ NumberOfVariables = 450 ]
0.58/0.63 c [ NumberOfConstraints = 8263 ]
0.58/0.63 c [ SizeOfSearchSpace(log2) = 2063.23 ]
0.58/0.63 c SymmetrySearch = 1
0.58/0.65 c InitialPropagation = 1
0.58/0.66 c [ SizeOfSearchSpace(log2) = 2063.23 ]
0.58/0.66 c InitialSAC = 1
0.58/0.69 c [ SizeOfSearchSpace(log2) = 2063.23 ]
0.58/0.69 c Search(SampleFF) :
82.23/83.06 c [ Sampling domwdeg ]
82.23/83.06 c [ Sampling impacts ]
82.23/83.06 c [ Sampling la ]
82.23/83.06 c [ SamplingScores: ]
82.23/83.06 c [ domwdeg+min = 2.77333e-42 | domwdeg+rnd = 1.20528e-08 ]
82.23/83.06 c [ impacts+min = 6.26297e-204 | impacts+rnd = 2.32316e-07 ]
82.23/83.06 c [ la+min = 4.042e-33 | la+rnd = 8.69568e-18 ]
82.23/83.06 c [ domwdeg = 6.02641e-09 | impacts = 1.16158e-07 | la = 4.34784e-18 ]
82.23/83.06 c [ min = 1.34733e-33 | rand = 1.16158e-07 ]
82.23/83.06 c [ restarting at (0.400082,0) ]
83.32/84.13 c [ restarting at (1.0002,0) ]
86.00/86.81 c [ restarting at (2.50051,0) ]
92.64/93.52 c [ restarting at (6.25128,0) ]
109.20/110.29 c [ restarting at (15.6282,0) ]
150.83/152.21 c [ restarting at (39.0705,0) ]
254.64/256.98 c [ restarting at (97.6762,0) ]
514.37/518.93 c [ restarting at (244.19,0) ]
1163.63/1173.84 c [ restarting at (610.476,1.55036e-290) ]
1402.96/1415.29 c [ restarting at (1526.19,4.08846e-307) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1089329-1215267700/watcher-1089329-1215267700 -o /tmp/evaluation-result-1089329-1215267700/solver-1089329-1215267700 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1089329-1215267700.xml 1190823545
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.02 2.04 2.00 4/81 19672
/proc/meminfo: memFree=1722104/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=1056 CPUtime=0
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2005743486 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 7721764 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 264 26 20 235 0 3 0
[startup+0.207792 s]
/proc/loadavg: 2.02 2.04 2.00 4/81 19672
/proc/meminfo: memFree=1722104/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=7420 CPUtime=0.19
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 969 0 0 0 19 0 0 0 19 0 1 0 2005743486 7598080 929 996147200 134512640 135477443 4294956224 18446744073709551615 4158530527 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 1855 929 369 235 0 556 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7420
[startup+0.302679 s]
/proc/loadavg: 2.02 2.04 2.00 4/81 19672
/proc/meminfo: memFree=1722104/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101444 CPUtime=0.28
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 2647 0 0 0 24 4 0 0 19 0 1 0 2005743486 103878656 1184 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25361 1184 420 235 0 24062 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 101444
[startup+0.401697 s]
/proc/loadavg: 2.02 2.04 2.00 4/81 19672
/proc/meminfo: memFree=1722104/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101448 CPUtime=0.38
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 4766 0 0 0 27 11 0 0 20 0 1 0 2005743486 103882752 1331 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25362 1331 420 235 0 24063 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 101448
[startup+0.701744 s]
/proc/loadavg: 2.02 2.04 2.00 4/81 19672
/proc/meminfo: memFree=1722104/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101824 CPUtime=0.68
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 10819 0 0 0 42 26 0 0 23 0 1 0 2005743486 104267776 2150 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25456 2150 483 235 0 24157 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 101824
[startup+1.50289 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 19673
/proc/meminfo: memFree=1715312/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101824 CPUtime=1.47
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 10839 0 0 0 121 26 0 0 25 0 1 0 2005743486 104267776 2170 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25456 2170 492 235 0 24157 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 101824
[startup+3.10112 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 19673
/proc/meminfo: memFree=1715120/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101824 CPUtime=3.06
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 10840 0 0 0 280 26 0 0 25 0 1 0 2005743486 104267776 2171 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25456 2171 492 235 0 24157 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 101824
[startup+6.30261 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 19673
/proc/meminfo: memFree=1715120/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101824 CPUtime=6.23
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 10840 0 0 0 597 26 0 0 25 0 1 0 2005743486 104267776 2171 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25456 2171 492 235 0 24157 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 101824
[startup+12.7016 s]
/proc/loadavg: 2.01 2.04 2.00 4/82 19673
/proc/meminfo: memFree=1714992/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101824 CPUtime=12.57
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 10848 0 0 0 1231 26 0 0 25 0 1 0 2005743486 104267776 2179 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25456 2179 492 235 0 24157 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 101824
[startup+25.5066 s]
/proc/loadavg: 2.01 2.04 2.00 3/82 19673
/proc/meminfo: memFree=1714736/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101828 CPUtime=25.25
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 10948 0 0 0 2499 26 0 0 25 0 1 0 2005743486 104271872 2279 996147200 134512640 135477443 4294956224 18446744073709551615 134934613 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25457 2279 494 235 0 24158 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 101828
[startup+51.1016 s]
/proc/loadavg: 2.01 2.03 2.00 3/82 19673
/proc/meminfo: memFree=1714288/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101964 CPUtime=50.63
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11083 0 0 0 5036 27 0 0 25 0 1 0 2005743486 104411136 2414 996147200 134512640 135477443 4294956224 18446744073709551615 135270828 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25491 2414 494 235 0 24192 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 101964
[startup+102.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 19673
/proc/meminfo: memFree=1713200/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=101.37
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 10110 27 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 101968
[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 19673
/proc/meminfo: memFree=1713072/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=160.85
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 16058 27 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 101968
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 19673
/proc/meminfo: memFree=1713008/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=220.34
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 22007 27 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 9023227 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 101968
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 19673
/proc/meminfo: memFree=1712944/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=279.82
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 27954 28 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 9023220 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 101968
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19673
/proc/meminfo: memFree=1712880/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=339.32
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 33904 28 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135238529 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 339.32
Current children cumulated vsize (KiB) 101968
[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19673
/proc/meminfo: memFree=1712880/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=398.79
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 39851 28 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135270322 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 398.79
Current children cumulated vsize (KiB) 101968
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19673
/proc/meminfo: memFree=1712880/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=458.27
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 45799 28 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 134934592 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 458.27
Current children cumulated vsize (KiB) 101968
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19674
/proc/meminfo: memFree=1712816/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=517.74
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 51746 28 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 517.74
Current children cumulated vsize (KiB) 101968
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712624/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=577.21
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 57693 28 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 9031888 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 577.21
Current children cumulated vsize (KiB) 101968
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712624/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=636.69
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 63641 28 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 134583088 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 636.69
Current children cumulated vsize (KiB) 101968
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712560/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=874.6
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 87432 28 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135239014 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 874.6
Current children cumulated vsize (KiB) 101968
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712496/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=934.08
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 93380 28 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 134934592 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 934.08
Current children cumulated vsize (KiB) 101968
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712496/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=993.59
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 99330 29 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135238577 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 993.59
Current children cumulated vsize (KiB) 101968
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712432/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1053.07
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 105278 29 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 9023222 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1053.07
Current children cumulated vsize (KiB) 101968
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712432/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1112.56
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 111227 29 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 134673674 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1112.56
Current children cumulated vsize (KiB) 101968
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712432/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1172.05
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 117176 29 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135270902 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1172.05
Current children cumulated vsize (KiB) 101968
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712304/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1231.53
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 123124 29 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135270828 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1231.53
Current children cumulated vsize (KiB) 101968
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712240/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1291.03
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 129074 29 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 9023227 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1291.03
Current children cumulated vsize (KiB) 101968
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19675
/proc/meminfo: memFree=1712240/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1350.51
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 135022 29 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135239019 0 0 4096 0 0 0 0 17 1 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1350.51
Current children cumulated vsize (KiB) 101968
[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 19713
/proc/meminfo: memFree=1664896/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1410
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 140970 30 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135238577 0 0 4096 0 0 0 0 17 0 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1410
Current children cumulated vsize (KiB) 101968
[startup+1482.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/82 20019
/proc/meminfo: memFree=1719104/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1469.96
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 146962 34 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135269774 0 0 4096 0 0 0 0 17 0 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1469.96
Current children cumulated vsize (KiB) 101968
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/83 20020
/proc/meminfo: memFree=1701176/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1529.94
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 152960 34 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1529.94
Current children cumulated vsize (KiB) 101968
[startup+1602.3 s]
/proc/loadavg: 2.28 2.12 2.04 3/82 20021
/proc/meminfo: memFree=1685048/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1589.91
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 158956 35 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135268218 0 0 4096 0 0 0 0 17 0 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1589.91
Current children cumulated vsize (KiB) 101968
[startup+1662.31 s]
/proc/loadavg: 2.10 2.10 2.03 3/82 20021
/proc/meminfo: memFree=1683768/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1649.9
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 164955 35 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 134934655 0 0 4096 0 0 0 0 17 0 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1649.9
Current children cumulated vsize (KiB) 101968
[startup+1722.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/82 20021
/proc/meminfo: memFree=1682872/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1709.86
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 170951 35 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 134934627 0 0 4096 0 0 0 0 17 0 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1709.86
Current children cumulated vsize (KiB) 101968
[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/82 20021
/proc/meminfo: memFree=1682744/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1769.83
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 176948 35 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135268286 0 0 4096 0 0 0 0 17 0 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1769.83
Current children cumulated vsize (KiB) 101968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.5 s]
/proc/loadavg: 2.01 2.05 2.02 3/82 20021
/proc/meminfo: memFree=1681848/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1800.02
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 179967 35 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 101968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1812.5 s]
/proc/loadavg: 2.01 2.05 2.02 3/82 20021
/proc/meminfo: memFree=1681848/2055920 swapFree=4179828/4192956
[pid=19672] ppid=19670 vsize=101968 CPUtime=1800.02
/proc/19672/stat : 19672 (casperzao) R 19670 19672 19008 0 -1 4194304 11335 0 0 0 179967 35 0 0 25 0 1 0 2005743486 104415232 2666 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/19672/statm: 25492 2666 495 235 0 24193 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 101968
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.51
CPU time (s): 1800.03
CPU user time (s): 1799.68
CPU system time (s): 0.354946
CPU usage (%): 99.3117
Max. virtual memory (cumulated for all children) (KiB): 101968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.354946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11335
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= 58780
runsolver used 1.81272 second user time and 5.01724 second system time
The end
Begin job on node34 at 2008-07-05 16:21:40
IDJOB=1089329
IDBENCH=58253
IDSOLVER=361
FILE ID=node34/1089329-1215267700
PBS_JOBID= 7882190
Free space on /tmp= 66504 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/graphColoring/leighton/leighton-25/normalized-lei450-25b-24.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1089329-1215267700/watcher-1089329-1215267700 -o /tmp/evaluation-result-1089329-1215267700/solver-1089329-1215267700 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1089329-1215267700.xml 1190823545
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1a83ac4e698f7d5e998b86838d2a31c5
RANDOM SEED=1190823545
node34.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.259
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.259
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: 1722584 kB
Buffers: 36488 kB
Cached: 201176 kB
SwapCached: 7272 kB
Active: 181036 kB
Inactive: 100820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722584 kB
SwapTotal: 4192956 kB
SwapFree: 4179828 kB
Dirty: 3852 kB
Writeback: 0 kB
Mapped: 60060 kB
Slab: 36480 kB
Committed_AS: 3623440 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= 66500 MiB
End job on node34 at 2008-07-05 16:51:55