0.18/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
2.37/2.42 c Building = 1
2.97/3.04 c [ NumberOfVariables = 20 ]
2.97/3.04 c [ NumberOfConstraints = 18 ]
2.97/3.04 c [ SizeOfSearchSpace(log2) = 46.4386 ]
2.97/3.04 c SymmetrySearch = 1
12.21/12.34 c InitialPropagation = 1
12.21/12.38 c [ SizeOfSearchSpace(log2) = 46.4386 ]
12.21/12.38 c InitialSAC = 1
15.30/15.46 c [ SizeOfSearchSpace(log2) = 46.4386 ]
15.30/15.46 c Search(SampleFF) :
119.69/120.35 c [ Sampling domwdeg ]
119.69/120.35 c [ Sampling impacts ]
119.69/120.35 c [ SamplingScores: ]
119.69/120.35 c [ domwdeg+min = 1.26325e-06 | domwdeg+rnd = 3.38542e-06 ]
119.69/120.35 c [ impacts+min = 1.95719e-07 | impacts+rnd = 7.87783e-08 ]
119.69/120.35 c [ la+min = 0 | la+rnd = 0 ]
119.69/120.35 c [ domwdeg = 2.32433e-06 | impacts = 1.37249e-07 | la = 0 ]
119.69/120.35 c [ min = 4.86325e-07 | rand = 1.37249e-07 ]
119.69/120.35 c [ restarting at (3.19213,4.608e-06) ]
128.45/129.11 c [ restarting at (7.98032,6.5024e-05) ]
149.75/150.53 c [ restarting at (19.9508,4.096e-05) ]
203.09/204.18 c [ restarting at (49.877,0.000351232) ]
336.15/337.89 c [ restarting at (124.693,0.000960512) ]
668.76/672.08 c [ restarting at (311.731,0.0023424) ]
1272.62/1278.84 c [ restarting at (779.328,0.00425984) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084889-1215232270/watcher-1084889-1215232270 -o /tmp/evaluation-result-1084889-1215232270/solver-1084889-1215232270 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1084889-1215232270.xml 1249217809
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.02 4/80 18033
/proc/meminfo: memFree=1432440/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=1052 CPUtime=0
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2002202567 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 10924836 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 263 26 20 234 0 3 0
[startup+0.0704911 s]
/proc/loadavg: 2.33 2.08 2.02 4/80 18033
/proc/meminfo: memFree=1432440/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=8780 CPUtime=0.05
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 1301 0 0 0 5 0 0 0 18 0 1 0 2002202567 8990720 1261 996147200 134512640 135472138 4294956224 18446744073709551615 134777641 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 2195 1261 364 234 0 897 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8780
[startup+0.10149 s]
/proc/loadavg: 2.33 2.08 2.02 4/80 18033
/proc/meminfo: memFree=1432440/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=8780 CPUtime=0.08
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 1301 0 0 0 8 0 0 0 18 0 1 0 2002202567 8990720 1261 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 2195 1261 364 234 0 897 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8780
[startup+0.301508 s]
/proc/loadavg: 2.33 2.08 2.02 4/80 18033
/proc/meminfo: memFree=1432440/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=15464 CPUtime=0.28
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 2974 0 0 0 27 1 0 0 19 0 1 0 2002202567 15835136 2934 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 3866 2934 365 234 0 2568 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15464
[startup+0.701542 s]
/proc/loadavg: 2.33 2.08 2.02 4/80 18033
/proc/meminfo: memFree=1432440/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=25492 CPUtime=0.68
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 5487 0 0 0 66 2 0 0 23 0 1 0 2002202567 26103808 5447 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 6373 5447 365 234 0 5075 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 25492
[startup+1.50161 s]
/proc/loadavg: 2.33 2.08 2.02 3/81 18034
/proc/meminfo: memFree=1405360/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=45688 CPUtime=1.47
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 10534 0 0 0 141 6 0 0 25 0 1 0 2002202567 46784512 10494 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 11422 10494 365 234 0 10124 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 45688
[startup+3.10174 s]
/proc/loadavg: 2.33 2.08 2.02 3/81 18034
/proc/meminfo: memFree=1378416/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=240484 CPUtime=3.07
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 33629 0 0 0 289 18 0 0 25 0 1 0 2002202567 246255616 33589 996147200 134512640 135472138 4294956224 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 60121 33590 431 234 0 58823 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 240484
[startup+6.302 s]
/proc/loadavg: 2.30 2.08 2.02 3/81 18034
/proc/meminfo: memFree=1070832/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=557284 CPUtime=6.25
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 112821 0 0 0 564 61 0 0 25 0 1 0 2002202567 570658816 112781 996147200 134512640 135472138 4294956224 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 139321 112783 432 234 0 138023 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 557284
[startup+12.7025 s]
/proc/loadavg: 2.28 2.08 2.02 3/81 18034
/proc/meminfo: memFree=908912/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=12.61
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173259 0 0 0 1167 94 0 0 25 0 1 0 2002202567 234573824 30820 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30820 457 234 0 55971 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 229076
[startup+25.5016 s]
/proc/loadavg: 2.22 2.07 2.02 3/81 18034
/proc/meminfo: memFree=1309680/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=25.35
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173302 0 0 0 2440 95 0 0 25 0 1 0 2002202567 234573824 30863 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30863 468 234 0 55971 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 229076
[startup+51.1017 s]
/proc/loadavg: 2.14 2.06 2.02 3/81 18034
/proc/meminfo: memFree=1309232/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=50.83
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173401 0 0 0 4988 95 0 0 25 0 1 0 2002202567 234573824 30962 996147200 134512640 135472138 4294956224 18446744073709551615 134605022 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30962 476 234 0 55971 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 229076
[startup+102.307 s]
/proc/loadavg: 2.06 2.05 2.01 3/81 18034
/proc/meminfo: memFree=1309296/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=101.79
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173403 0 0 0 10084 95 0 0 25 0 1 0 2002202567 234573824 30964 996147200 134512640 135472138 4294956224 18446744073709551615 134584977 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30964 478 234 0 55971 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 229076
[startup+162.302 s]
/proc/loadavg: 2.02 2.04 2.01 3/81 18034
/proc/meminfo: memFree=1309104/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=161.49
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 16054 95 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 229076
[startup+222.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/81 18034
/proc/meminfo: memFree=1308976/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=221.2
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 22025 95 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134604944 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (KiB) 229076
[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 18034
/proc/meminfo: memFree=1308976/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=280.91
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 27996 95 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 280.91
Current children cumulated vsize (KiB) 229076
[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 18034
/proc/meminfo: memFree=1308912/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=340.62
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 33967 95 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 340.62
Current children cumulated vsize (KiB) 229076
[startup+402.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/81 18034
/proc/meminfo: memFree=1308912/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=400.34
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 39939 95 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134604841 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 400.34
Current children cumulated vsize (KiB) 229076
[startup+462.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/81 18034
/proc/meminfo: memFree=1308912/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=460.05
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 45910 95 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 460.05
Current children cumulated vsize (KiB) 229076
[startup+522.301 s]
/proc/loadavg: 2.13 2.07 2.01 3/81 18034
/proc/meminfo: memFree=1308912/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=519.76
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 51881 95 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 519.76
Current children cumulated vsize (KiB) 229076
[startup+582.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/81 18034
/proc/meminfo: memFree=1308912/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=579.47
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 57852 95 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134604882 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 579.47
Current children cumulated vsize (KiB) 229076
[startup+642.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/81 18034
/proc/meminfo: memFree=1308784/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=639.19
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 63824 95 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 639.19
Current children cumulated vsize (KiB) 229076
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 18034
/proc/meminfo: memFree=1308464/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=878.03
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 87707 96 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134604989 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 878.03
Current children cumulated vsize (KiB) 229076
[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 18034
/proc/meminfo: memFree=1308464/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=937.74
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 93678 96 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134604967 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 937.74
Current children cumulated vsize (KiB) 229076
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18034
/proc/meminfo: memFree=1308464/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=997.45
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 99649 96 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134577882 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 997.45
Current children cumulated vsize (KiB) 229076
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18034
/proc/meminfo: memFree=1308400/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1057.17
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 105620 97 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1057.17
Current children cumulated vsize (KiB) 229076
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18034
/proc/meminfo: memFree=1308400/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1116.88
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 111591 97 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585013 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1116.88
Current children cumulated vsize (KiB) 229076
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18034
/proc/meminfo: memFree=1308272/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1176.6
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 117563 97 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134604951 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1176.6
Current children cumulated vsize (KiB) 229076
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 18034
/proc/meminfo: memFree=1308016/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1236.3
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 123533 97 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134604978 0 0 4096 0 0 0 0 17 1 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1236.3
Current children cumulated vsize (KiB) 229076
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18064
/proc/meminfo: memFree=1647216/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1296.03
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 129506 97 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1296.03
Current children cumulated vsize (KiB) 229076
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18064
/proc/meminfo: memFree=1647088/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1355.79
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 135481 98 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1355.79
Current children cumulated vsize (KiB) 229076
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18064
/proc/meminfo: memFree=1647088/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1415.55
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 141457 98 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1415.55
Current children cumulated vsize (KiB) 229076
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18064
/proc/meminfo: memFree=1647024/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1475.31
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 147433 98 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134605019 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1475.31
Current children cumulated vsize (KiB) 229076
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18064
/proc/meminfo: memFree=1647024/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1535.07
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 153409 98 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1535.07
Current children cumulated vsize (KiB) 229076
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18064
/proc/meminfo: memFree=1647024/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1594.83
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 159385 98 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1594.83
Current children cumulated vsize (KiB) 229076
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18064
/proc/meminfo: memFree=1647024/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1654.59
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 165361 98 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1654.59
Current children cumulated vsize (KiB) 229076
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18064
/proc/meminfo: memFree=1646960/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1714.36
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 171337 99 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1714.36
Current children cumulated vsize (KiB) 229076
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18064
/proc/meminfo: memFree=1646896/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1774.11
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 177312 99 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585148 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1774.11
Current children cumulated vsize (KiB) 229076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18070
/proc/meminfo: memFree=1646824/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1800.01
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 179902 99 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 229076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18070
/proc/meminfo: memFree=1646824/2055920 swapFree=4180472/4192956
[pid=18033] ppid=18031 vsize=229076 CPUtime=1800.01
/proc/18033/stat : 18033 (casperzito) R 18031 18033 17513 0 -1 4194304 173419 0 0 0 179902 99 0 0 25 0 1 0 2002202567 234573824 30980 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18033/statm: 57269 30980 479 234 0 55971 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 229076
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.33
CPU time (s): 1800.03
CPU user time (s): 1799.02
CPU system time (s): 1.00985
CPU usage (%): 99.5411
Max. virtual memory (cumulated for all children) (KiB): 852896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.00985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173419
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= 46318
runsolver used 1.64375 second user time and 4.94825 second system time
The end
Begin job on node3 at 2008-07-05 06:31:11
IDJOB=1084889
IDBENCH=57587
IDSOLVER=362
FILE ID=node3/1084889-1215232270
PBS_JOBID= 7881858
Free space on /tmp= 66492 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-6_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084889-1215232270/watcher-1084889-1215232270 -o /tmp/evaluation-result-1084889-1215232270/solver-1084889-1215232270 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1084889-1215232270.xml 1249217809
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3888b994eade183d2e4ca8097fc27fc8
RANDOM SEED=1249217809
node3.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.232
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.232
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: 1432920 kB
Buffers: 29416 kB
Cached: 211060 kB
SwapCached: 6568 kB
Active: 492280 kB
Inactive: 73356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1432920 kB
SwapTotal: 4192956 kB
SwapFree: 4180472 kB
Dirty: 25232 kB
Writeback: 0 kB
Mapped: 338652 kB
Slab: 41864 kB
Committed_AS: 4243772 kB
PageTables: 2436 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= 66516 MiB
End job on node3 at 2008-07-05 07:01:22