0.20/0.23 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.20/0.23 c Parsing = 1
2.36/2.47 c Building = 1
3.05/3.11 c [ NumberOfVariables = 20 ]
3.05/3.11 c [ NumberOfConstraints = 18 ]
3.05/3.11 c [ SizeOfSearchSpace(log2) = 46.4386 ]
3.05/3.11 c SymmetrySearch = 1
12.34/12.58 c InitialPropagation = 1
12.44/12.62 c [ SizeOfSearchSpace(log2) = 46.4386 ]
12.44/12.62 c InitialSAC = 1
14.13/14.38 c [ SizeOfSearchSpace(log2) = 46.4386 ]
14.13/14.38 c Search(SampleFF) :
160.86/162.31 c [ Sampling domwdeg ]
160.86/162.31 c [ Sampling impacts ]
160.86/162.31 c [ Sampling la ]
160.86/162.31 c [ SamplingScores: ]
160.86/162.31 c [ domwdeg+min = 3.45479e-06 | domwdeg+rnd = 4.99506e-06 ]
160.86/162.31 c [ impacts+min = 1.64705e-07 | impacts+rnd = 2.84017e-07 ]
160.86/162.31 c [ la+min = 1.91611e-10 | la+rnd = 4.79027e-09 ]
160.86/162.31 c [ domwdeg = 4.22492e-06 | impacts = 2.24361e-07 | la = 2.49094e-09 ]
160.86/162.31 c [ min = 1.20656e-06 | rand = 2.24361e-07 ]
160.86/162.31 c [ restarting at (0.1,5.12e-07) ]
161.85/163.33 c [ restarting at (0.25,5.12e-07) ]
162.84/164.35 c [ restarting at (0.625,5.12e-07) ]
164.72/166.21 c [ restarting at (1.5625,5.632e-06) ]
168.88/170.41 c [ restarting at (3.90625,2.6624e-06) ]
179.29/180.90 c [ restarting at (9.76562,6.8096e-05) ]
205.17/207.09 c [ restarting at (24.4141,0.000128) ]
270.30/272.76 c [ restarting at (61.0352,0.000149606) ]
432.48/436.36 c [ restarting at (152.588,0.000477389) ]
838.04/845.43 c [ restarting at (381.47,0.00116992) ]
1775.35/1791.00 c [ restarting at (953.674,0.00271872) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084842-1215232184/watcher-1084842-1215232184 -o /tmp/evaluation-result-1084842-1215232184/solver-1084842-1215232184 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1084842-1215232184.xml 934593449
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.97 1.99 1.99 4/80 22514
/proc/meminfo: memFree=1512904/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=1056 CPUtime=0
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2002188134 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 6890276 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 264 26 20 235 0 3 0
[startup+0.219629 s]
/proc/loadavg: 1.97 1.99 1.99 4/80 22514
/proc/meminfo: memFree=1512904/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=12124 CPUtime=0.2
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 2137 0 0 0 19 1 0 0 19 0 1 0 2002188134 12414976 2097 996147200 134512640 135477443 4294956224 18446744073709551615 134713489 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 3031 2097 365 235 0 1732 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 12124
[startup+0.302651 s]
/proc/loadavg: 1.97 1.99 1.99 4/80 22514
/proc/meminfo: memFree=1512904/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=15468 CPUtime=0.28
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 2978 0 0 0 27 1 0 0 19 0 1 0 2002188134 15839232 2938 996147200 134512640 135477443 4294956224 18446744073709551615 134780928 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 3867 2938 365 235 0 2568 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15468
[startup+0.402662 s]
/proc/loadavg: 1.97 1.99 1.99 4/80 22514
/proc/meminfo: memFree=1512904/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=15468 CPUtime=0.37
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 2978 0 0 0 36 1 0 0 20 0 1 0 2002188134 15839232 2938 996147200 134512640 135477443 4294956224 18446744073709551615 134780695 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 3867 2938 365 235 0 2568 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 15468
[startup+0.701723 s]
/proc/loadavg: 1.97 1.99 1.99 4/80 22514
/proc/meminfo: memFree=1512904/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=23784 CPUtime=0.68
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 5011 0 0 0 65 3 0 0 23 0 1 0 2002188134 24354816 4971 996147200 134512640 135477443 4294956224 18446744073709551615 7325307 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 5946 4971 365 235 0 4647 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 23784
[startup+1.50286 s]
/proc/loadavg: 1.97 1.99 1.99 4/81 22515
/proc/meminfo: memFree=1481600/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=42348 CPUtime=1.47
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 9700 0 0 0 142 5 0 0 25 0 1 0 2002188134 43364352 9660 996147200 134512640 135477443 4294956224 18446744073709551615 134780695 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 10587 9660 365 235 0 9288 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42348
[startup+3.10115 s]
/proc/loadavg: 1.97 1.99 1.99 3/81 22515
/proc/meminfo: memFree=1454528/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=234548 CPUtime=3.05
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 32112 0 0 0 290 15 0 0 25 0 1 0 2002188134 240177152 32072 996147200 134512640 135477443 4294956224 18446744073709551615 134616606 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 58637 32072 400 235 0 57338 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 234548
[startup+6.30274 s]
/proc/loadavg: 1.97 1.99 1.99 3/81 22515
/proc/meminfo: memFree=1149248/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=535508 CPUtime=6.21
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 107382 0 0 0 571 50 0 0 25 0 1 0 2002188134 548360192 107342 996147200 134512640 135477443 4294956224 18446744073709551615 134630441 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 133877 107342 432 235 0 132578 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 535508
[startup+12.7019 s]
/proc/loadavg: 1.98 1.99 1.99 3/81 22515
/proc/meminfo: memFree=988544/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=12.54
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173316 0 0 0 1167 87 0 0 25 0 1 0 2002188134 234582016 30812 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30812 456 235 0 55972 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 229084
[startup+25.5062 s]
/proc/loadavg: 1.98 1.99 1.99 3/81 22515
/proc/meminfo: memFree=1347968/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=25.24
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173381 0 0 0 2437 87 0 0 25 0 1 0 2002188134 234582016 30877 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30877 477 235 0 55972 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 229084
[startup+51.1019 s]
/proc/loadavg: 1.98 1.99 1.99 3/81 22515
/proc/meminfo: memFree=1347456/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=50.62
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173480 0 0 0 4974 88 0 0 25 0 1 0 2002188134 234582016 30976 996147200 134512640 135477443 4294956224 18446744073709551615 134600879 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30976 479 235 0 55972 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 229084
[startup+102.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 22515
/proc/meminfo: memFree=1347200/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=101.37
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173480 0 0 0 10049 88 0 0 25 0 1 0 2002188134 234582016 30976 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30976 479 235 0 55972 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 229084
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 22515
/proc/meminfo: memFree=1347072/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=160.86
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 15998 88 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 229084
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 22515
/proc/meminfo: memFree=1347072/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=220.34
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 21946 88 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590440 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 229084
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 22515
/proc/meminfo: memFree=1341120/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=279.81
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 27893 88 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (KiB) 229084
[startup+342.305 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 22515
/proc/meminfo: memFree=1341056/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=339.29
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 33841 88 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134600974 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 339.29
Current children cumulated vsize (KiB) 229084
[startup+402.302 s]
/proc/loadavg: 2.03 2.00 2.00 3/81 22515
/proc/meminfo: memFree=1341056/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=398.78
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 39790 88 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590128 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 398.78
Current children cumulated vsize (KiB) 229084
[startup+462.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 22515
/proc/meminfo: memFree=1340992/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=458.25
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 45737 88 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 458.25
Current children cumulated vsize (KiB) 229084
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22515
/proc/meminfo: memFree=1340992/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=517.73
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 51685 88 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590327 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 517.73
Current children cumulated vsize (KiB) 229084
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22516
/proc/meminfo: memFree=1340800/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=577.22
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 57634 88 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590252 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 577.22
Current children cumulated vsize (KiB) 229084
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340672/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=636.7
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 63582 88 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 636.7
Current children cumulated vsize (KiB) 229084
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340544/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=815.14
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 81425 89 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134600804 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 815.14
Current children cumulated vsize (KiB) 229084
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340544/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=874.62
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 87373 89 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134600955 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 874.62
Current children cumulated vsize (KiB) 229084
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340480/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=934.1
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 93321 89 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 934.1
Current children cumulated vsize (KiB) 229084
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340480/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=993.58
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 99269 89 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590274 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 993.58
Current children cumulated vsize (KiB) 229084
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340416/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1053.06
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 105217 89 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1053.06
Current children cumulated vsize (KiB) 229084
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340416/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1112.54
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 111165 89 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1112.54
Current children cumulated vsize (KiB) 229084
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340352/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1172.01
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 117112 89 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1172.01
Current children cumulated vsize (KiB) 229084
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340032/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1231.5
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 123060 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1231.5
Current children cumulated vsize (KiB) 229084
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1340032/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1290.98
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 129008 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1290.98
Current children cumulated vsize (KiB) 229084
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1339968/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1350.46
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 134956 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590324 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1350.46
Current children cumulated vsize (KiB) 229084
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1339968/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1409.95
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 140905 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1409.95
Current children cumulated vsize (KiB) 229084
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1339904/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1469.43
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 146853 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134600825 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1469.43
Current children cumulated vsize (KiB) 229084
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1339904/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1528.91
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 152801 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1528.91
Current children cumulated vsize (KiB) 229084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1339904/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1588.38
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 158748 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134600843 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1588.38
Current children cumulated vsize (KiB) 229084
[startup+1662.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/81 22517
/proc/meminfo: memFree=1339840/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1647.87
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 164697 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1647.87
Current children cumulated vsize (KiB) 229084
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 22517
/proc/meminfo: memFree=1339840/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1707.35
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 170645 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1707.35
Current children cumulated vsize (KiB) 229084
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 22517
/proc/meminfo: memFree=1339584/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1766.83
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 176593 90 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1766.83
Current children cumulated vsize (KiB) 229084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.6 s]
/proc/loadavg: 1.95 1.98 1.99 3/85 22598
/proc/meminfo: memFree=1626400/2055920 swapFree=4181480/4192956
[pid=22514] ppid=22512 vsize=229084 CPUtime=1800.04
/proc/22514/stat : 22514 (casperzao) R 22512 22514 22140 0 -1 4194304 173481 0 0 0 179910 94 0 0 25 0 1 0 2002188134 234582016 30977 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 0 0 0
/proc/22514/statm: 57271 30977 480 235 0 55972 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 229084
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): 1815.63
CPU time (s): 1800.07
CPU user time (s): 1799.11
CPU system time (s): 0.962853
CPU usage (%): 99.1431
Max. virtual memory (cumulated for all children) (KiB): 852904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 0.962853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173481
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= 18
involuntary context switches= 72222
runsolver used 1.56376 second user time and 5.21221 second system time
The end
Begin job on node67 at 2008-07-05 06:29:46
IDJOB=1084842
IDBENCH=57585
IDSOLVER=361
FILE ID=node67/1084842-1215232184
PBS_JOBID= 7881901
Free space on /tmp= 66384 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-4_ext.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084842-1215232184/watcher-1084842-1215232184 -o /tmp/evaluation-result-1084842-1215232184/solver-1084842-1215232184 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1084842-1215232184.xml 934593449
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d3f44c49896eef0a554a753221d829d8
RANDOM SEED=934593449
node67.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.281
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.281
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: 1513384 kB
Buffers: 20440 kB
Cached: 181516 kB
SwapCached: 5376 kB
Active: 368228 kB
Inactive: 111076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1513384 kB
SwapTotal: 4192956 kB
SwapFree: 4181480 kB
Dirty: 53048 kB
Writeback: 0 kB
Mapped: 290740 kB
Slab: 47764 kB
Committed_AS: 4943008 kB
PageTables: 2344 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= 66384 MiB
End job on node67 at 2008-07-05 07:00:04