0.00/0.03 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.03 c Parsing = 1
0.28/0.36 c Building = 1
0.38/0.44 c [ NumberOfVariables = 24 ]
0.38/0.44 c [ NumberOfConstraints = 76 ]
0.38/0.44 c [ SizeOfSearchSpace(log2) = 110.039 ]
0.38/0.44 c SymmetrySearch = 1
1.77/1.80 c InitialPropagation = 1
1.77/1.82 c [ SizeOfSearchSpace(log2) = 110.039 ]
1.77/1.82 c InitialSAC = 1
1.97/2.03 c [ SizeOfSearchSpace(log2) = 110.039 ]
1.97/2.03 c Search(SampleFF) :
81.33/82.03 c [ Sampling domwdeg ]
81.33/82.03 c [ Sampling impacts ]
81.33/82.03 c [ SamplingScores: ]
81.33/82.03 c [ domwdeg+min = 1.008e-06 | domwdeg+rnd = 1.67927e-06 ]
81.33/82.03 c [ impacts+min = 1.15988e-06 | impacts+rnd = 1.39421e-05 ]
81.33/82.03 c [ la+min = 0 | la+rnd = 0 ]
81.33/82.03 c [ domwdeg = 1.34364e-06 | impacts = 7.55098e-06 | la = 0 ]
81.33/82.03 c [ min = 7.22625e-07 | rand = 7.55098e-06 ]
81.33/82.03 c [ restarting at (3.96356,6.64563e-07) ]
91.85/92.66 c [ restarting at (9.9089,3.02306e-06) ]
118.24/119.21 c [ restarting at (24.7722,4.36959e-06) ]
184.14/185.60 c [ restarting at (61.9306,2.17627e-05) ]
348.75/351.54 c [ restarting at (154.827,2.25481e-05) ]
760.49/766.41 c [ restarting at (387.066,0.000122703) ]
1257.55/1267.30 c [ restarting at (967.666,9.8146e-05) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057039-1215108058/watcher-1057039-1215108058 -o /tmp/evaluation-result-1057039-1215108058/solver-1057039-1215108058 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1057039-1215108058.xml 2013654280
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.91 1.95 1.79 4/72 18331
/proc/meminfo: memFree=1172976/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=1052 CPUtime=0
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 40 0 0 0 0 0 0 0 21 0 1 0 1989778300 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 1979172 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 263 26 20 234 0 3 0
[startup+0.210439 s]
/proc/loadavg: 1.91 1.95 1.79 4/72 18331
/proc/meminfo: memFree=1172976/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=9676 CPUtime=0.19
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 1531 0 0 0 19 0 0 0 19 0 1 0 1989778300 9908224 1491 996147200 134512640 135472138 4294956224 18446744073709551615 134794168 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 2419 1491 365 234 0 1121 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9676
[startup+0.302449 s]
/proc/loadavg: 1.91 1.95 1.79 4/72 18331
/proc/meminfo: memFree=1172976/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=11664 CPUtime=0.28
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 2028 0 0 0 28 0 0 0 19 0 1 0 1989778300 11943936 1988 996147200 134512640 135472138 4294956224 18446744073709551615 134707687 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 2916 1988 365 234 0 1618 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11664
[startup+0.402458 s]
/proc/loadavg: 1.91 1.95 1.79 4/72 18331
/proc/meminfo: memFree=1172976/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=116764 CPUtime=0.38
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 4795 0 0 0 37 1 0 0 20 0 1 0 1989778300 119566336 4755 996147200 134512640 135472138 4294956224 18446744073709551615 134546936 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 29191 4755 394 234 0 27893 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 116764
[startup+0.702491 s]
/proc/loadavg: 1.91 1.95 1.79 4/72 18331
/proc/meminfo: memFree=1172976/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=146172 CPUtime=0.68
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 11225 0 0 0 65 3 0 0 23 0 1 0 1989778300 149680128 11185 996147200 134512640 135472138 4294956224 18446744073709551615 134629026 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 36543 11185 432 234 0 35245 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 146172
[startup+1.50257 s]
/proc/loadavg: 1.91 1.95 1.79 3/73 18332
/proc/meminfo: memFree=1081704/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=216396 CPUtime=1.47
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 24562 0 0 0 138 9 0 0 25 0 1 0 1989778300 221589504 24371 996147200 134512640 135472138 4294956224 18446744073709551615 134535448 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 54099 24371 439 234 0 52801 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 216396
[startup+3.1017 s]
/proc/loadavg: 1.92 1.95 1.79 3/73 18332
/proc/meminfo: memFree=1151976/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=3.06
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 25524 0 0 0 295 11 0 0 25 0 1 0 1989778300 124674048 5674 996147200 134512640 135472138 4294956224 18446744073709551615 134585026 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 5674 476 234 0 29140 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 121752
[startup+6.30199 s]
/proc/loadavg: 1.92 1.95 1.79 3/73 18338
/proc/meminfo: memFree=1151400/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=6.23
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 25596 0 0 0 612 11 0 0 25 0 1 0 1989778300 124674048 5746 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 5746 476 234 0 29140 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 121752
[startup+12.7016 s]
/proc/loadavg: 1.93 1.96 1.79 3/73 18338
/proc/meminfo: memFree=1151272/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=12.57
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 25602 0 0 0 1246 11 0 0 25 0 1 0 1989778300 124674048 5752 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 5752 476 234 0 29140 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 121752
[startup+25.5067 s]
/proc/loadavg: 1.94 1.96 1.80 3/73 18338
/proc/meminfo: memFree=1151144/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=25.27
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 25662 0 0 0 2516 11 0 0 25 0 1 0 1989778300 124674048 5812 996147200 134512640 135472138 4294956224 18446744073709551615 134585028 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 5812 476 234 0 29140 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 121752
[startup+51.102 s]
/proc/loadavg: 1.96 1.96 1.80 3/73 18338
/proc/meminfo: memFree=1150760/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=50.67
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 25759 0 0 0 5056 11 0 0 25 0 1 0 1989778300 124674048 5909 996147200 134512640 135472138 4294956224 18446744073709551615 134616942 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 5909 478 234 0 29140 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 121752
[startup+102.302 s]
/proc/loadavg: 1.98 1.96 1.81 3/73 18338
/proc/meminfo: memFree=1150504/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=101.47
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 25784 0 0 0 10136 11 0 0 25 0 1 0 1989778300 124674048 5934 996147200 134512640 135472138 4294956224 18446744073709551615 134605024 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 5934 479 234 0 29140 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 121752
[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.82 3/73 18338
/proc/meminfo: memFree=1149736/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=161.01
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 25941 0 0 0 16090 11 0 0 25 0 1 0 1989778300 124674048 6091 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6091 479 234 0 29140 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 121752
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.83 3/73 18338
/proc/meminfo: memFree=1149736/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=220.55
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 25941 0 0 0 22044 11 0 0 25 0 1 0 1989778300 124674048 6091 996147200 134512640 135472138 4294956224 18446744073709551615 134577873 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6091 479 234 0 29140 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 121752
[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.83 3/73 18338
/proc/meminfo: memFree=1149544/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=280.09
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26062 0 0 0 27998 11 0 0 25 0 1 0 1989778300 124674048 6212 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6212 479 234 0 29140 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (KiB) 121752
[startup+342.306 s]
/proc/loadavg: 1.99 1.97 1.84 3/73 18338
/proc/meminfo: memFree=1149416/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=339.62
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26062 0 0 0 33951 11 0 0 25 0 1 0 1989778300 124674048 6212 996147200 134512640 135472138 4294956224 18446744073709551615 134585089 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6212 479 234 0 29140 0
Current children cumulated CPU time (s) 339.62
Current children cumulated vsize (KiB) 121752
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.84 3/73 18338
/proc/meminfo: memFree=1149480/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=399.16
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26062 0 0 0 39905 11 0 0 25 0 1 0 1989778300 124674048 6212 996147200 134512640 135472138 4294956224 18446744073709551615 134605019 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6212 479 234 0 29140 0
Current children cumulated CPU time (s) 399.16
Current children cumulated vsize (KiB) 121752
[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.85 3/73 18338
/proc/meminfo: memFree=1149416/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=458.7
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26062 0 0 0 45859 11 0 0 25 0 1 0 1989778300 124674048 6212 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6212 479 234 0 29140 0
Current children cumulated CPU time (s) 458.7
Current children cumulated vsize (KiB) 121752
[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.86 3/73 18338
/proc/meminfo: memFree=1149032/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=518.25
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26192 0 0 0 51814 11 0 0 25 0 1 0 1989778300 124674048 6342 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6342 479 234 0 29140 0
Current children cumulated CPU time (s) 518.25
Current children cumulated vsize (KiB) 121752
[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.86 3/73 18338
/proc/meminfo: memFree=1148904/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=577.8
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26205 0 0 0 57768 12 0 0 25 0 1 0 1989778300 124674048 6355 996147200 134512640 135472138 4294956224 18446744073709551615 134585175 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6355 479 234 0 29140 0
Current children cumulated CPU time (s) 577.8
Current children cumulated vsize (KiB) 121752
[startup+642.303 s]
/proc/loadavg: 1.99 1.97 1.87 3/73 18338
/proc/meminfo: memFree=1148712/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=637.34
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26254 0 0 0 63722 12 0 0 25 0 1 0 1989778300 124674048 6404 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6404 479 234 0 29140 0
Current children cumulated CPU time (s) 637.34
Current children cumulated vsize (KiB) 121752
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.99 1.97 1.88 3/73 18338
/proc/meminfo: memFree=1148520/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=815.95
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26254 0 0 0 81583 12 0 0 25 0 1 0 1989778300 124674048 6404 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6404 479 234 0 29140 0
Current children cumulated CPU time (s) 815.95
Current children cumulated vsize (KiB) 121752
[startup+882.303 s]
/proc/loadavg: 1.99 1.97 1.89 3/73 18338
/proc/meminfo: memFree=1148520/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=875.49
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26254 0 0 0 87537 12 0 0 25 0 1 0 1989778300 124674048 6404 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6404 479 234 0 29140 0
Current children cumulated CPU time (s) 875.49
Current children cumulated vsize (KiB) 121752
[startup+942.303 s]
/proc/loadavg: 1.99 1.97 1.90 3/73 18338
/proc/meminfo: memFree=1148072/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=935.03
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26254 0 0 0 93491 12 0 0 25 0 1 0 1989778300 124674048 6404 996147200 134512640 135472138 4294956224 18446744073709551615 134585148 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6404 479 234 0 29140 0
Current children cumulated CPU time (s) 935.03
Current children cumulated vsize (KiB) 121752
[startup+1002.31 s]
/proc/loadavg: 1.99 1.97 1.90 3/73 18338
/proc/meminfo: memFree=1148072/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=994.58
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26254 0 0 0 99446 12 0 0 25 0 1 0 1989778300 124674048 6404 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6404 479 234 0 29140 0
Current children cumulated CPU time (s) 994.58
Current children cumulated vsize (KiB) 121752
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18338
/proc/meminfo: memFree=1148072/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1054.12
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26254 0 0 0 105400 12 0 0 25 0 1 0 1989778300 124674048 6404 996147200 134512640 135472138 4294956224 18446744073709551615 134605029 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6404 479 234 0 29140 0
Current children cumulated CPU time (s) 1054.12
Current children cumulated vsize (KiB) 121752
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18338
/proc/meminfo: memFree=1148072/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1113.66
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26254 0 0 0 111354 12 0 0 25 0 1 0 1989778300 124674048 6404 996147200 134512640 135472138 4294956224 18446744073709551615 134585097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6404 479 234 0 29140 0
Current children cumulated CPU time (s) 1113.66
Current children cumulated vsize (KiB) 121752
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18338
/proc/meminfo: memFree=1147688/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1173.21
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 117309 12 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134605045 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1173.21
Current children cumulated vsize (KiB) 121752
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18338
/proc/meminfo: memFree=1147496/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1232.74
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 123262 12 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1232.74
Current children cumulated vsize (KiB) 121752
[startup+1302.3 s]
/proc/loadavg: 1.95 1.96 1.91 3/73 18366
/proc/meminfo: memFree=1149928/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1292.54
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 129241 13 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1292.54
Current children cumulated vsize (KiB) 121752
[startup+1362.3 s]
/proc/loadavg: 1.98 1.96 1.91 3/73 18366
/proc/meminfo: memFree=1149480/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1352.51
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 135238 13 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1352.51
Current children cumulated vsize (KiB) 121752
[startup+1422.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18366
/proc/meminfo: memFree=1149480/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1412.49
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 141236 13 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134585026 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1412.49
Current children cumulated vsize (KiB) 121752
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18366
/proc/meminfo: memFree=1149416/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1472.46
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 147233 13 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1472.46
Current children cumulated vsize (KiB) 121752
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18366
/proc/meminfo: memFree=1149288/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1532.45
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 153232 13 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1532.45
Current children cumulated vsize (KiB) 121752
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18366
/proc/meminfo: memFree=1149288/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1592.42
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 159229 13 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1592.42
Current children cumulated vsize (KiB) 121752
[startup+1662.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18366
/proc/meminfo: memFree=1149352/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1652.41
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 165227 14 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 135264853 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1652.41
Current children cumulated vsize (KiB) 121752
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18366
/proc/meminfo: memFree=1149288/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1712.38
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 171224 14 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1712.38
Current children cumulated vsize (KiB) 121752
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18366
/proc/meminfo: memFree=1149096/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1772.36
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 177222 14 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134604935 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1772.36
Current children cumulated vsize (KiB) 121752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 18366
/proc/meminfo: memFree=1149160/2055920 swapFree=4179484/4192956
[pid=18331] ppid=18329 vsize=121752 CPUtime=1800.05
/proc/18331/stat : 18331 (casperzito) R 18329 18331 18139 0 -1 4194304 26332 0 0 0 179991 14 0 0 25 0 1 0 1989778300 124674048 6482 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/18331/statm: 30438 6482 479 234 0 29140 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 121752
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): 1810.01
CPU time (s): 1800.07
CPU user time (s): 1799.92
CPU system time (s): 0.146977
CPU usage (%): 99.4505
Max. virtual memory (cumulated for all children) (KiB): 216396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26332
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= 29340
runsolver used 1.67874 second user time and 5.08623 second system time
The end
Begin job on node43 at 2008-07-03 20:00:58
IDJOB=1057039
IDBENCH=53989
IDSOLVER=362
FILE ID=node43/1057039-1215108058
PBS_JOBID= 7877120
Free space on /tmp= 66520 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-8_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057039-1215108058/watcher-1057039-1215108058 -o /tmp/evaluation-result-1057039-1215108058/solver-1057039-1215108058 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1057039-1215108058.xml 2013654280
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= de49a00f23b93e8bd56c6ed3141e31bd
RANDOM SEED=2013654280
node43.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.230
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.230
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: 1173456 kB
Buffers: 81112 kB
Cached: 688660 kB
SwapCached: 7332 kB
Active: 292708 kB
Inactive: 511372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1173456 kB
SwapTotal: 4192956 kB
SwapFree: 4179484 kB
Dirty: 5812 kB
Writeback: 0 kB
Mapped: 41676 kB
Slab: 63452 kB
Committed_AS: 3750308 kB
PageTables: 2060 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 node43 at 2008-07-03 20:31:10