0.18/0.22 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.22 c Parsing = 1
2.36/2.45 c Building = 1
2.96/3.09 c [ NumberOfVariables = 20 ]
2.96/3.09 c [ NumberOfConstraints = 18 ]
2.96/3.09 c [ SizeOfSearchSpace(log2) = 46.4386 ]
2.96/3.09 c SymmetrySearch = 1
11.97/12.13 c InitialPropagation = 1
11.97/12.17 c [ SizeOfSearchSpace(log2) = 46.4386 ]
11.97/12.17 c InitialSAC = 1
14.14/14.34 c [ SizeOfSearchSpace(log2) = 46.4386 ]
14.14/14.34 c Search(SampleFF) :
143.53/144.45 c [ Sampling domwdeg ]
143.53/144.45 c [ Sampling impacts ]
143.53/144.45 c [ Sampling la ]
143.53/144.45 c [ SamplingScores: ]
143.53/144.45 c [ domwdeg+min = 9.75489e-07 | domwdeg+rnd = 2.42376e-06 ]
143.53/144.45 c [ impacts+min = 2.59067e-07 | impacts+rnd = 6.86594e-08 ]
143.53/144.45 c [ la+min = 4.79027e-09 | la+rnd = 4.79027e-09 ]
143.53/144.45 c [ domwdeg = 1.69962e-06 | impacts = 1.63863e-07 | la = 4.79027e-09 ]
143.53/144.45 c [ min = 4.13115e-07 | rand = 1.63863e-07 ]
143.53/144.45 c [ restarting at (0.1,1.024e-07) ]
144.53/145.41 c [ restarting at (0.25,1.024e-07) ]
145.44/146.39 c [ restarting at (0.625,1.024e-07) ]
147.22/148.13 c [ restarting at (1.5625,2.048e-06) ]
151.30/152.21 c [ restarting at (3.90625,5.2224e-06) ]
161.06/162.02 c [ restarting at (9.76562,1.024e-05) ]
185.47/186.52 c [ restarting at (24.4141,2.6112e-05) ]
246.62/247.99 c [ restarting at (61.0352,0.0001024) ]
398.70/400.67 c [ restarting at (152.588,0.000348672) ]
778.86/782.36 c [ restarting at (381.47,0.000704) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1054331-1215058712/watcher-1054331-1215058712 -o /tmp/evaluation-result-1054331-1215058712/solver-1054331-1215058712 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1054331-1215058712.xml 1627018065
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 2.06 2.00 4/80 1429
/proc/meminfo: memFree=1698776/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=18572 CPUtime=0
/proc/1429/stat : 1429 (runsolver) R 1427 1429 30913 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1984846239 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 262910045479 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1429/statm: 4643 292 257 25 0 2626 0
[startup+0.0605251 s]
/proc/loadavg: 1.99 2.06 2.00 4/80 1429
/proc/meminfo: memFree=1698776/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=8784 CPUtime=0.04
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 1302 0 0 0 4 0 0 0 18 0 1 0 1984846239 8994816 1262 996147200 134512640 135477443 4294956224 18446744073709551615 134800092 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 2196 1262 364 235 0 897 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8784
[startup+0.10153 s]
/proc/loadavg: 1.99 2.06 2.00 4/80 1429
/proc/meminfo: memFree=1698776/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=8784 CPUtime=0.08
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 1302 0 0 0 8 0 0 0 18 0 1 0 1984846239 8994816 1262 996147200 134512640 135477443 4294956224 18446744073709551615 134799767 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 2196 1262 364 235 0 897 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8784
[startup+0.301567 s]
/proc/loadavg: 1.99 2.06 2.00 4/80 1429
/proc/meminfo: memFree=1698776/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=15472 CPUtime=0.28
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 2985 0 0 0 27 1 0 0 19 0 1 0 1984846239 15843328 2945 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 3868 2945 365 235 0 2569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15472
[startup+0.701612 s]
/proc/loadavg: 1.99 2.06 2.00 4/80 1429
/proc/meminfo: memFree=1698776/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=25636 CPUtime=0.68
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 5504 0 0 0 65 3 0 0 23 0 1 0 1984846239 26251264 5464 996147200 134512640 135477443 4294956224 18446744073709551615 134780695 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 6409 5464 365 235 0 5110 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 25636
[startup+1.5017 s]
/proc/loadavg: 1.99 2.06 2.00 3/81 1430
/proc/meminfo: memFree=1671568/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=42792 CPUtime=1.47
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 9717 0 0 0 141 6 0 0 25 0 1 0 1984846239 43819008 9677 996147200 134512640 135477443 4294956224 18446744073709551615 8413728 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 10698 9677 365 235 0 9399 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42792
[startup+3.10288 s]
/proc/loadavg: 1.99 2.06 2.00 3/81 1430
/proc/meminfo: memFree=1644496/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=235080 CPUtime=3.04
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 32270 0 0 0 287 17 0 0 25 0 1 0 1984846239 240721920 32230 996147200 134512640 135477443 4294956224 18446744073709551615 134630234 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 58770 32230 431 235 0 57471 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 235080
[startup+6.30126 s]
/proc/loadavg: 1.99 2.06 2.00 3/81 1430
/proc/meminfo: memFree=1351760/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=538944 CPUtime=6.21
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 108261 0 0 0 567 54 0 0 25 0 1 0 1984846239 551878656 108221 996147200 134512640 135477443 4294956224 18446744073709551615 8412882 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 134736 108221 432 235 0 133437 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 538944
[startup+12.703 s]
/proc/loadavg: 1.99 2.06 2.00 3/81 1430
/proc/meminfo: memFree=1008272/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=12.56
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173467 0 0 0 1170 86 0 0 25 0 1 0 1984846239 639741952 129745 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129745 456 235 0 154888 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 624748
[startup+25.5015 s]
/proc/loadavg: 1.99 2.05 2.00 3/81 1430
/proc/meminfo: memFree=1180432/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=25.24
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173513 0 0 0 2438 86 0 0 25 0 1 0 1984846239 639741952 129791 996147200 134512640 135477443 4294956224 18446744073709551615 134590172 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129791 477 235 0 154888 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 624748
[startup+51.1015 s]
/proc/loadavg: 1.99 2.05 2.00 3/81 1430
/proc/meminfo: memFree=1179856/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=50.61
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173609 0 0 0 4975 86 0 0 25 0 1 0 1984846239 639741952 129887 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129887 479 235 0 154888 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 624748
[startup+102.307 s]
/proc/loadavg: 2.09 2.06 2.00 3/82 1470
/proc/meminfo: memFree=1131528/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=101.49
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173612 0 0 0 10058 91 0 0 25 0 1 0 1984846239 639741952 129890 996147200 134512640 135477443 4294956224 18446744073709551615 134590162 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129890 479 235 0 154888 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 624748
[startup+162.302 s]
/proc/loadavg: 2.09 2.06 2.00 3/73 1500
/proc/meminfo: memFree=1131792/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=161.36
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 16043 93 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590244 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 161.36
Current children cumulated vsize (KiB) 624748
[startup+222.302 s]
/proc/loadavg: 2.03 2.05 2.00 3/73 1500
/proc/meminfo: memFree=1131408/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=221.12
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 22019 93 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 221.12
Current children cumulated vsize (KiB) 624748
[startup+282.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 1500
/proc/meminfo: memFree=1131344/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=280.88
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 27995 93 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590194 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 280.88
Current children cumulated vsize (KiB) 624748
[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 1500
/proc/meminfo: memFree=1131344/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=340.63
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 33970 93 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 340.63
Current children cumulated vsize (KiB) 624748
[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 1500
/proc/meminfo: memFree=1131280/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=400.39
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 39946 93 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590247 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 400.39
Current children cumulated vsize (KiB) 624748
[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 1500
/proc/meminfo: memFree=1131224/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=460.15
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 45921 94 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134583297 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 460.15
Current children cumulated vsize (KiB) 624748
[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 1500
/proc/meminfo: memFree=1131160/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=519.91
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 51897 94 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 519.91
Current children cumulated vsize (KiB) 624748
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 1500
/proc/meminfo: memFree=1131096/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=579.67
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 57873 94 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134600843 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 579.67
Current children cumulated vsize (KiB) 624748
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 1500
/proc/meminfo: memFree=1131032/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=639.43
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 63849 94 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590283 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 639.43
Current children cumulated vsize (KiB) 624748
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 1500
/proc/meminfo: memFree=1130904/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=818.7
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 81776 94 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 818.7
Current children cumulated vsize (KiB) 624748
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 1500
/proc/meminfo: memFree=1130840/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=878.46
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 87752 94 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 878.46
Current children cumulated vsize (KiB) 624748
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 1500
/proc/meminfo: memFree=1130712/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=938.22
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 93728 94 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 938.22
Current children cumulated vsize (KiB) 624748
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 1500
/proc/meminfo: memFree=1130712/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=997.98
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 99704 94 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 997.98
Current children cumulated vsize (KiB) 624748
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 1500
/proc/meminfo: memFree=1130648/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1057.75
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 105680 95 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 1057.75
Current children cumulated vsize (KiB) 624748
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 1500
/proc/meminfo: memFree=1130584/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1117.5
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 111655 95 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 1117.5
Current children cumulated vsize (KiB) 624748
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/70 1503
/proc/meminfo: memFree=1189096/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1177.31
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 117636 95 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 1177.31
Current children cumulated vsize (KiB) 624748
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 1621
/proc/meminfo: memFree=1240592/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1237.21
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 123624 97 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134600997 0 0 4096 0 0 0 0 17 0 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 1237.21
Current children cumulated vsize (KiB) 624748
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1663
/proc/meminfo: memFree=1057280/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1296.7
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 129572 98 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 1296.7
Current children cumulated vsize (KiB) 624748
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1663
/proc/meminfo: memFree=1057152/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1356.17
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 135519 98 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134600988 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 1356.17
Current children cumulated vsize (KiB) 624748
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1663
/proc/meminfo: memFree=1057088/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1415.65
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 141467 98 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 1415.65
Current children cumulated vsize (KiB) 624748
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1665
/proc/meminfo: memFree=1056960/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1475.13
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173613 0 0 0 147415 98 0 0 25 0 1 0 1984846239 639741952 129891 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129891 480 235 0 154888 0
Current children cumulated CPU time (s) 1475.13
Current children cumulated vsize (KiB) 624748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1665
/proc/meminfo: memFree=1057024/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1534.61
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173614 0 0 0 153362 99 0 0 25 0 1 0 1984846239 639741952 129892 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129892 480 235 0 154888 0
Current children cumulated CPU time (s) 1534.61
Current children cumulated vsize (KiB) 624748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1665
/proc/meminfo: memFree=1056968/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1594.1
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173618 0 0 0 159311 99 0 0 25 0 1 0 1984846239 639741952 129896 996147200 134512640 135477443 4294956224 18446744073709551615 134590185 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129896 480 235 0 154888 0
Current children cumulated CPU time (s) 1594.1
Current children cumulated vsize (KiB) 624748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1665
/proc/meminfo: memFree=1056904/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1653.58
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173618 0 0 0 165259 99 0 0 25 0 1 0 1984846239 639741952 129896 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129896 480 235 0 154888 0
Current children cumulated CPU time (s) 1653.58
Current children cumulated vsize (KiB) 624748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1665
/proc/meminfo: memFree=1056904/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1713.06
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173618 0 0 0 171207 99 0 0 25 0 1 0 1984846239 639741952 129896 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129896 480 235 0 154888 0
Current children cumulated CPU time (s) 1713.06
Current children cumulated vsize (KiB) 624748
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1665
/proc/meminfo: memFree=1056712/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1772.54
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173618 0 0 0 177154 100 0 0 25 0 1 0 1984846239 639741952 129896 996147200 134512640 135477443 4294956224 18446744073709551615 135268208 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129896 480 235 0 154888 0
Current children cumulated CPU time (s) 1772.54
Current children cumulated vsize (KiB) 624748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1665
/proc/meminfo: memFree=1056648/2055920 swapFree=4179968/4192956
[pid=1429] ppid=1427 vsize=624748 CPUtime=1800
/proc/1429/stat : 1429 (casperzao) R 1427 1429 30913 0 -1 4194304 173618 0 0 0 179900 100 0 0 25 0 1 0 1984846239 639741952 129896 996147200 134512640 135477443 4294956224 18446744073709551615 134590283 0 0 4096 0 0 0 0 17 1 0 0
/proc/1429/statm: 156187 129896 480 235 0 154888 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 624748
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.09
CPU time (s): 1800.09
CPU user time (s): 1799
CPU system time (s): 1.08283
CPU usage (%): 99.4475
Max. virtual memory (cumulated for all children) (KiB): 853316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.08283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173618
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= 39737
runsolver used 2.25866 second user time and 5.02024 second system time
The end
Begin job on node11 at 2008-07-03 06:18:34
IDJOB=1054331
IDBENCH=56212
IDSOLVER=361
FILE ID=node11/1054331-1215058712
PBS_JOBID= 7875151
Free space on /tmp= 66516 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-8_ext.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1054331-1215058712/watcher-1054331-1215058712 -o /tmp/evaluation-result-1054331-1215058712/solver-1054331-1215058712 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1054331-1215058712.xml 1627018065
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 15c3c041a0681c25c1693041f0df8ce7
RANDOM SEED=1627018065
node11.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.224
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.224
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: 1699256 kB
Buffers: 22596 kB
Cached: 170904 kB
SwapCached: 7100 kB
Active: 231384 kB
Inactive: 68544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1699256 kB
SwapTotal: 4192956 kB
SwapFree: 4179968 kB
Dirty: 24860 kB
Writeback: 0 kB
Mapped: 119900 kB
Slab: 41668 kB
Committed_AS: 3985116 kB
PageTables: 2048 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= 66520 MiB
End job on node11 at 2008-07-03 06:48:46