0.00/0.07 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.07 c Parsing = 1
1.77/1.89 c Building = 1
4.94/5.02 c [ NumberOfVariables = 1557 ]
4.94/5.02 c [ NumberOfConstraints = 65390 ]
4.94/5.02 c [ SizeOfSearchSpace(log2) = 4935.57 ]
4.94/5.02 c SymmetrySearch = (Timeout)
14.96/15.18 c [ Proceeding without symmetry breaking ]
15.06/15.23 c InitialPropagation = 1
15.06/15.29 c [ SizeOfSearchSpace(log2) = 4935.57 ]
15.06/15.29 c InitialSAC = 1
16.06/16.29 c [ SizeOfSearchSpace(log2) = 4935.57 ]
16.06/16.29 c Search(SampleFF) :
265.69/267.67 c [ Sampling domwdeg ]
265.69/267.67 c [ Sampling impacts ]
265.69/267.67 c [ Sampling la ]
265.69/267.67 c [ SamplingScores: ]
265.69/267.67 c [ domwdeg+min = 1.6465e-91 | domwdeg+rnd = 0.000288245 ]
265.69/267.67 c [ impacts+min = 2.90548e-49 | impacts+rnd = 4.5993e-05 ]
265.69/267.67 c [ la+min = 9.64761e-45 | la+rnd = 6.2334e-20 ]
265.69/267.67 c [ domwdeg = 0.000144123 | impacts = 2.29965e-05 | la = 3.1167e-20 ]
265.69/267.67 c [ min = 3.21597e-45 | rand = 2.29965e-05 ]
265.69/267.67 c [ restarting at (0.1,2.22311e-91) ]
267.49/269.49 c [ restarting at (0.25,2.22311e-91) ]
269.39/271.37 c [ restarting at (0.625,2.22311e-91) ]
271.29/273.24 c [ restarting at (1.5625,2.22311e-91) ]
275.28/277.22 c [ restarting at (3.90625,2.47013e-91) ]
284.97/286.99 c [ restarting at (9.76562,2.47013e-91) ]
309.47/311.42 c [ restarting at (24.4141,2.47013e-91) ]
370.44/372.48 c [ restarting at (61.0352,2.47013e-91) ]
523.07/525.11 c [ restarting at (152.588,2.47013e-91) ]
904.48/906.70 c [ restarting at (381.47,2.47013e-91) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090358-1215271285/watcher-1090358-1215271285 -o /tmp/evaluation-result-1090358-1215271285/solver-1090358-1215271285 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1090358-1215271285.xml 1854647102
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.99 1.97 1.98 4/72 24308
/proc/meminfo: memFree=1684868/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=1056 CPUtime=0
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2006100967 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 4727588 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 264 26 20 235 0 3 0
[startup+0.21401 s]
/proc/loadavg: 1.99 1.97 1.98 4/72 24308
/proc/meminfo: memFree=1684868/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=7808 CPUtime=0.19
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 1048 0 0 0 19 0 0 0 19 0 1 0 2006100967 7995392 1008 996147200 134512640 135477443 4294956224 18446744073709551615 4159729119 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 1952 1008 369 235 0 653 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7808
[startup+0.302025 s]
/proc/loadavg: 1.99 1.97 1.98 4/72 24308
/proc/meminfo: memFree=1684868/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=8600 CPUtime=0.28
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 1266 0 0 0 28 0 0 0 19 0 1 0 2006100967 8806400 1226 996147200 134512640 135477443 4294956224 18446744073709551615 134791224 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 2150 1226 369 235 0 851 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8600
[startup+0.401044 s]
/proc/loadavg: 1.99 1.97 1.98 4/72 24308
/proc/meminfo: memFree=1684868/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=9656 CPUtime=0.38
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 1509 0 0 0 38 0 0 0 20 0 1 0 2006100967 9887744 1469 996147200 134512640 135477443 4294956224 18446744073709551615 134791232 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 2414 1469 369 235 0 1115 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 9656
[startup+0.701098 s]
/proc/loadavg: 1.99 1.97 1.98 4/72 24308
/proc/meminfo: memFree=1684868/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=12560 CPUtime=0.68
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 2240 0 0 0 67 1 0 0 23 0 1 0 2006100967 12861440 2200 996147200 134512640 135477443 4294956224 18446744073709551615 5194718 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 3140 2200 369 235 0 1841 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12560
[startup+1.50124 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 24309
/proc/meminfo: memFree=1672828/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=19952 CPUtime=1.47
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 4095 0 0 0 145 2 0 0 25 0 1 0 2006100967 20430848 4055 996147200 134512640 135477443 4294956224 18446744073709551615 4160503936 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 4988 4055 369 235 0 3689 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19952
[startup+3.10154 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 24309
/proc/meminfo: memFree=1663292/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=116884 CPUtime=3.06
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 31981 0 0 0 224 82 0 0 25 0 1 0 2006100967 119689216 6908 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 29221 6908 419 235 0 27922 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 116884
[startup+6.30112 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 24309
/proc/meminfo: memFree=1631676/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=133856 CPUtime=6.23
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 79259 0 0 0 414 209 0 0 25 0 1 0 2006100967 137068544 13829 996147200 134512640 135477443 4294956224 18446744073709551615 134539889 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 33464 13829 455 235 0 32165 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 133856
[startup+12.7013 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 24309
/proc/meminfo: memFree=1630908/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=133988 CPUtime=12.58
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 79291 0 0 0 1049 209 0 0 25 0 1 0 2006100967 137203712 13861 996147200 134512640 135477443 4294956224 18446744073709551615 134529787 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 33497 13861 455 235 0 32198 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 133988
[startup+25.5056 s]
/proc/loadavg: 1.99 1.97 1.98 3/73 24309
/proc/meminfo: memFree=1628540/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126600 CPUtime=25.28
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 81469 0 0 0 2318 210 0 0 25 0 1 0 2006100967 129638400 14524 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 31650 14524 497 235 0 30351 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 126600
[startup+51.1013 s]
/proc/loadavg: 2.07 1.99 1.99 3/73 24309
/proc/meminfo: memFree=1628412/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126604 CPUtime=50.68
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 81539 0 0 0 4858 210 0 0 25 0 1 0 2006100967 129642496 14594 996147200 134512640 135477443 4294956224 18446744073709551615 135270826 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 31651 14594 505 235 0 30352 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 126604
[startup+102.302 s]
/proc/loadavg: 2.10 2.00 1.99 3/73 24309
/proc/meminfo: memFree=1627388/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=101.5
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 81756 0 0 0 9939 211 0 0 25 0 1 0 2006100967 129646592 14811 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 31652 14811 505 235 0 30353 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 126608
[startup+162.303 s]
/proc/loadavg: 2.10 2.02 2.00 3/73 24309
/proc/meminfo: memFree=1625724/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=161.04
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82172 0 0 0 15892 212 0 0 25 0 1 0 2006100967 129646592 15227 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 31652 15227 505 235 0 30353 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 126608
[startup+222.301 s]
/proc/loadavg: 2.10 2.03 2.00 3/73 24309
/proc/meminfo: memFree=1624188/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=220.58
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82524 0 0 0 21846 212 0 0 25 0 1 0 2006100967 129646592 15579 996147200 134512640 135477443 4294956224 18446744073709551615 135235205 0 0 4096 0 0 0 0 17 1 0 0
/proc/24308/statm: 31652 15579 505 235 0 30353 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 126608
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1607220/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=280.38
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 27825 213 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 280.38
Current children cumulated vsize (KiB) 126608
[startup+342.306 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1600116/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=340.35
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 33822 213 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 340.35
Current children cumulated vsize (KiB) 126608
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1594036/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=400.32
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 39818 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 400.32
Current children cumulated vsize (KiB) 126608
[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1589620/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=460.3
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 45816 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 460.3
Current children cumulated vsize (KiB) 126608
[startup+522.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1585140/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=520.27
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 51813 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 520.27
Current children cumulated vsize (KiB) 126608
[startup+582.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1582452/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=580.24
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 57810 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 580.24
Current children cumulated vsize (KiB) 126608
[startup+642.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1580532/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=640.21
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 63807 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 640.21
Current children cumulated vsize (KiB) 126608
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1572596/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=880.1
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 87796 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 880.1
Current children cumulated vsize (KiB) 126608
[startup+942.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1572404/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=940.06
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 93792 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 940.06
Current children cumulated vsize (KiB) 126608
[startup+1002.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24359
/proc/meminfo: memFree=1572404/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1000.04
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 99790 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1000.04
Current children cumulated vsize (KiB) 126608
[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1572212/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1060
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 105786 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1060
Current children cumulated vsize (KiB) 126608
[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1572276/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1119.97
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 111783 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1119.97
Current children cumulated vsize (KiB) 126608
[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1572148/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1179.94
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 117780 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1179.94
Current children cumulated vsize (KiB) 126608
[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1569908/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1239.91
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 123777 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208691 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1239.91
Current children cumulated vsize (KiB) 126608
[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1568756/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1299.88
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 129774 214 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1299.88
Current children cumulated vsize (KiB) 126608
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1566964/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1359.86
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 135771 215 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1359.86
Current children cumulated vsize (KiB) 126608
[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1564020/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1419.83
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 141768 215 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208699 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1419.83
Current children cumulated vsize (KiB) 126608
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1560948/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1479.8
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 147765 215 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1479.8
Current children cumulated vsize (KiB) 126608
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1559988/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1539.78
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 153763 215 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1539.78
Current children cumulated vsize (KiB) 126608
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1559988/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1599.74
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 159759 215 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135270302 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1599.74
Current children cumulated vsize (KiB) 126608
[startup+1662.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1559924/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1659.72
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 165757 215 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1659.72
Current children cumulated vsize (KiB) 126608
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1559924/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1719.68
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 171753 215 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1719.68
Current children cumulated vsize (KiB) 126608
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1559796/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1779.66
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 177750 216 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1779.66
Current children cumulated vsize (KiB) 126608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.7 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1559732/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1800.06
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 179790 216 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 126608
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.7 s]
/proc/loadavg: 1.99 2.00 2.00 3/74 24361
/proc/meminfo: memFree=1559732/2055920 swapFree=4179816/4192956
[pid=24308] ppid=24306 vsize=126608 CPUtime=1800.06
/proc/24308/stat : 24308 (casperzao) R 24306 24308 22363 0 -1 4194304 82525 0 0 0 179790 216 0 0 25 0 1 0 2006100967 129646592 15580 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24308/statm: 31652 15580 506 235 0 30353 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 126608
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.72
CPU time (s): 1800.08
CPU user time (s): 1797.91
CPU system time (s): 2.17167
CPU usage (%): 99.8535
Max. virtual memory (cumulated for all children) (KiB): 134128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 2.17167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82525
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= 10958
runsolver used 2.08368 second user time and 5.86811 second system time
The end
Begin job on node45 at 2008-07-05 17:21:26
IDJOB=1090358
IDBENCH=58439
IDSOLVER=361
FILE ID=node45/1090358-1215271285
PBS_JOBID= 7882118
Free space on /tmp= 66480 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/graphColoring/hos/normalized-abb313GPIA-9.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090358-1215271285/watcher-1090358-1215271285 -o /tmp/evaluation-result-1090358-1215271285/solver-1090358-1215271285 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1090358-1215271285.xml 1854647102
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a8b8f3df512533f785ada5db6742b7bf
RANDOM SEED=1854647102
node45.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.268
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.268
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: 1685348 kB
Buffers: 56552 kB
Cached: 238108 kB
SwapCached: 6920 kB
Active: 184076 kB
Inactive: 124100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1685348 kB
SwapTotal: 4192956 kB
SwapFree: 4179816 kB
Dirty: 10876 kB
Writeback: 0 kB
Mapped: 21232 kB
Slab: 47924 kB
Committed_AS: 3945492 kB
PageTables: 1700 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= 66476 MiB
End job on node45 at 2008-07-05 17:51:31