0.00/0.00 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
2.19/2.24 c Building = 1
2.79/2.83 c [ NumberOfVariables = 20 ]
2.79/2.83 c [ NumberOfConstraints = 18 ]
2.79/2.83 c [ SizeOfSearchSpace(log2) = 46.4386 ]
2.79/2.83 c SymmetrySearch = 1
11.08/11.11 c InitialPropagation = 1
11.08/11.15 c [ SizeOfSearchSpace(log2) = 46.4386 ]
11.08/11.15 c InitialSAC = 1
13.38/13.45 c [ SizeOfSearchSpace(log2) = 46.4386 ]
13.38/13.45 c Search(SampleFF) :
113.62/113.77 c [ Sampling domwdeg ]
113.62/113.77 c [ Sampling impacts ]
113.62/113.77 c [ SamplingScores: ]
113.62/113.77 c [ domwdeg+min = 3.55713e-06 | domwdeg+rnd = 2.15795e-06 ]
113.62/113.77 c [ impacts+min = 3.65001e-07 | impacts+rnd = 2.92526e-07 ]
113.62/113.77 c [ la+min = 0 | la+rnd = 0 ]
113.62/113.77 c [ domwdeg = 2.85754e-06 | impacts = 3.28764e-07 | la = 0 ]
113.62/113.77 c [ min = 1.30738e-06 | rand = 3.28764e-07 ]
113.62/113.77 c [ restarting at (3.19213,5.12e-06) ]
121.72/121.85 c [ restarting at (7.98032,2.9696e-05) ]
141.71/141.81 c [ restarting at (19.9508,8.0896e-05) ]
191.58/191.75 c [ restarting at (49.877,9.472e-05) ]
316.30/316.53 c [ restarting at (124.693,0.00041472) ]
627.93/628.35 c [ restarting at (311.731,0.000707584) ]
1405.24/1407.98 c [ restarting at (779.328,0.00247347) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085004-1215232518/watcher-1085004-1215232518 -o /tmp/evaluation-result-1085004-1215232518/solver-1085004-1215232518 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1085004-1215232518.xml 556315019
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.92 1.98 1.99 4/81 14308
/proc/meminfo: memFree=1350368/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=5348 CPUtime=0
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 214 0 0 0 0 0 0 0 18 0 1 0 688377411 5476352 190 996147200 134512640 135472138 4294956224 18446744073709551615 5684088 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 1337 190 156 234 0 27 0
[startup+0.0496109 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14308
/proc/meminfo: memFree=1350368/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=8780 CPUtime=0.04
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 1301 0 0 0 4 0 0 0 18 0 1 0 688377411 8990720 1261 996147200 134512640 135472138 4294956224 18446744073709551615 134707731 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 2195 1261 364 234 0 897 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8780
[startup+0.101619 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14308
/proc/meminfo: memFree=1350368/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=8780 CPUtime=0.09
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 1301 0 0 0 9 0 0 0 18 0 1 0 688377411 8990720 1261 996147200 134512640 135472138 4294956224 18446744073709551615 134774682 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 2195 1261 364 234 0 897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8780
[startup+0.301642 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14308
/proc/meminfo: memFree=1350368/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=15468 CPUtime=0.29
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 2980 0 0 0 27 2 0 0 19 0 1 0 688377411 15839232 2940 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 3867 2940 365 234 0 2569 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15468
[startup+0.70169 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14308
/proc/meminfo: memFree=1350368/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=25496 CPUtime=0.69
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 5496 0 0 0 66 3 0 0 22 0 1 0 688377411 26107904 5456 996147200 134512640 135472138 4294956224 18446744073709551615 4159773995 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 6374 5456 365 234 0 5076 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25496
[startup+1.50179 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 14309
/proc/meminfo: memFree=1320940/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=48904 CPUtime=1.49
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 11330 0 0 0 143 6 0 0 25 0 1 0 688377411 50077696 11290 996147200 134512640 135472138 4294956224 18446744073709551615 6149755 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 12226 11295 365 234 0 10928 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48904
[startup+3.10199 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 14309
/proc/meminfo: memFree=1291736/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=264776 CPUtime=3.09
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 39730 0 0 0 292 17 0 0 25 0 1 0 688377411 271130624 39690 996147200 134512640 135472138 4294956224 18446744073709551615 6149755 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 66194 39692 432 234 0 64896 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 264776
[startup+6.30139 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14309
/proc/meminfo: memFree=945560/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=605336 CPUtime=6.29
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 124860 0 0 0 567 62 0 0 25 0 1 0 688377411 619864064 124820 996147200 134512640 135472138 4294956224 18446744073709551615 6149755 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 151334 124822 432 234 0 150036 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 605336
[startup+12.7012 s]
/proc/loadavg: 2.01 2.00 2.00 4/82 14309
/proc/meminfo: memFree=831832/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=12.68
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173412 0 0 0 1184 84 0 0 25 0 1 0 688377411 639873024 129789 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129789 457 234 0 154921 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 624876
[startup+25.5018 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831840/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=25.47
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173462 0 0 0 2463 84 0 0 25 0 1 0 688377411 639873024 129839 996147200 134512640 135472138 4294956224 18446744073709551615 134585013 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129839 476 234 0 154921 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 624876
[startup+51.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831584/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=51.06
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173546 0 0 0 5021 85 0 0 25 0 1 0 688377411 639873024 129923 996147200 134512640 135472138 4294956224 18446744073709551615 134605022 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129923 476 234 0 154921 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 624876
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831264/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=102.24
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173548 0 0 0 10139 85 0 0 25 0 1 0 688377411 639873024 129925 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129925 478 234 0 154921 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 624876
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831264/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=162.19
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173572 0 0 0 16134 85 0 0 25 0 1 0 688377411 639873024 129949 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129949 479 234 0 154921 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 624876
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831264/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=222.16
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173572 0 0 0 22131 85 0 0 25 0 1 0 688377411 639873024 129949 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129949 479 234 0 154921 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 624876
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831264/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=282.13
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173572 0 0 0 28128 85 0 0 25 0 1 0 688377411 639873024 129949 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129949 479 234 0 154921 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 624876
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831200/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=342.09
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173576 0 0 0 34124 85 0 0 25 0 1 0 688377411 639873024 129953 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129953 479 234 0 154921 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 624876
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831072/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=402.06
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173578 0 0 0 40121 85 0 0 25 0 1 0 688377411 639873024 129955 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129955 479 234 0 154921 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 624876
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831008/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=462.02
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 46117 85 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 624876
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 14309
/proc/meminfo: memFree=831008/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=521.98
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 52113 85 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 134585008 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 624876
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=831008/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=581.96
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 58110 86 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 624876
[startup+642.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 14309
/proc/meminfo: memFree=831008/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=641.93
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 64107 86 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 624876
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14309
/proc/meminfo: memFree=830816/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=881.78
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 88092 86 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 624876
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1155072/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=941.46
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 94059 87 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 135262890 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 941.46
Current children cumulated vsize (KiB) 624876
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1155072/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1001.22
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 100035 87 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 134604891 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 1001.22
Current children cumulated vsize (KiB) 624876
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1154880/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1060.99
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 106012 87 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 134604906 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 1060.99
Current children cumulated vsize (KiB) 624876
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1154816/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1120.75
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 111988 87 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 134604933 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 1120.75
Current children cumulated vsize (KiB) 624876
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1154752/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1180.52
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173583 0 0 0 117965 87 0 0 25 0 1 0 688377411 639873024 129960 996147200 134512640 135472138 4294956224 18446744073709551615 134605024 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129960 479 234 0 154921 0
Current children cumulated CPU time (s) 1180.52
Current children cumulated vsize (KiB) 624876
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1154624/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1240.29
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 123942 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1240.29
Current children cumulated vsize (KiB) 624876
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1154624/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1300.05
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 129918 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134605062 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1300.05
Current children cumulated vsize (KiB) 624876
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1154560/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1359.82
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 135895 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1359.82
Current children cumulated vsize (KiB) 624876
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1154560/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1419.58
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 141871 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1419.58
Current children cumulated vsize (KiB) 624876
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14391
/proc/meminfo: memFree=1154560/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1479.35
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 147848 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1479.35
Current children cumulated vsize (KiB) 624876
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14397
/proc/meminfo: memFree=1154488/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1539.11
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 153824 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1539.11
Current children cumulated vsize (KiB) 624876
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14397
/proc/meminfo: memFree=1154496/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1598.87
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 159800 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1598.87
Current children cumulated vsize (KiB) 624876
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14397
/proc/meminfo: memFree=1154432/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1658.63
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 165776 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134605029 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1658.63
Current children cumulated vsize (KiB) 624876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14397
/proc/meminfo: memFree=1154368/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1718.4
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 171753 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134604906 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1718.4
Current children cumulated vsize (KiB) 624876
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14397
/proc/meminfo: memFree=1154240/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1778.16
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 177729 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134585013 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1778.16
Current children cumulated vsize (KiB) 624876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14397
/proc/meminfo: memFree=1154304/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1800.08
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 179921 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 624876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14397
/proc/meminfo: memFree=1154304/2055920 swapFree=4147000/4192956
[pid=14308] ppid=14306 vsize=624876 CPUtime=1800.08
/proc/14308/stat : 14308 (casperzito) R 14306 14308 14271 0 -1 4194304 173587 0 0 0 179921 87 0 0 25 0 1 0 688377411 639873024 129964 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 1 0 0
/proc/14308/statm: 156219 129964 479 234 0 154921 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 624876
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.38
CPU time (s): 1800.16
CPU user time (s): 1799.21
CPU system time (s): 0.949855
CPU usage (%): 99.7662
Max. virtual memory (cumulated for all children) (KiB): 853484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.949855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173587
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= 14466
runsolver used 1.73673 second user time and 4.83926 second system time
The end
Begin job on node80 at 2008-07-05 06:35:20
IDJOB=1085004
IDBENCH=57592
IDSOLVER=362
FILE ID=node80/1085004-1215232518
PBS_JOBID= 7881939
Free space on /tmp= 66512 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-0_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085004-1215232518/watcher-1085004-1215232518 -o /tmp/evaluation-result-1085004-1215232518/solver-1085004-1215232518 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1085004-1215232518.xml 556315019
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a42b1fcf5ad10b80deb15852b7f7abc6
RANDOM SEED=556315019
node80.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1350784 kB
Buffers: 53880 kB
Cached: 224652 kB
SwapCached: 39844 kB
Active: 572280 kB
Inactive: 78664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1350784 kB
SwapTotal: 4192956 kB
SwapFree: 4147000 kB
Dirty: 25148 kB
Writeback: 0 kB
Mapped: 385380 kB
Slab: 38800 kB
Committed_AS: 1900200 kB
PageTables: 2484 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= 66532 MiB
End job on node80 at 2008-07-05 07:05:26