0.18/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
0.18/0.21 c Building = 1
0.18/0.21 c [ NumberOfVariables = 20 ]
0.18/0.21 c [ NumberOfConstraints = 55 ]
0.18/0.21 c [ SizeOfSearchSpace(log2) = 86.4386 ]
0.18/0.21 c SymmetrySearch = 1
0.57/0.67 c InitialPropagation = 1
0.57/0.68 c [ SizeOfSearchSpace(log2) = 86.4386 ]
0.57/0.68 c InitialSAC = 1
0.68/0.78 c [ SizeOfSearchSpace(log2) = 86.4386 ]
0.68/0.78 c Search(SampleFF) :
83.56/84.36 c [ Sampling domwdeg ]
83.56/84.36 c [ Sampling impacts ]
83.56/84.36 c [ Sampling la ]
83.56/84.36 c [ SamplingScores: ]
83.56/84.36 c [ domwdeg+min = 0.00285668 | domwdeg+rnd = 0.00216295 ]
83.56/84.36 c [ impacts+min = 0.00178235 | impacts+rnd = 0.00118138 ]
83.56/84.36 c [ la+min = 2.09403e-05 | la+rnd = 1.45001e-06 ]
83.56/84.36 c [ domwdeg = 0.00250981 | impacts = 0.00148186 | la = 1.11951e-05 ]
83.56/84.36 c [ min = 0.00155332 | rand = 0.00148186 ]
83.56/84.36 c [ restarting at (1.60065,0.000769062) ]
87.83/88.66 c [ restarting at (4.00163,0.00301313) ]
98.43/99.39 c [ restarting at (10.0041,0.0125194) ]
125.11/126.22 c [ restarting at (25.0102,0.0627503) ]
191.54/193.23 c [ restarting at (62.5255,0.063) ]
357.62/360.77 c [ restarting at (156.314,0.252501) ]
772.98/779.62 c [ stopped restarting at (390.784,0.672375) ]
999.25/1007.87 c Search(SampleFF) = 0
999.25/1007.87 s UNSATISFIABLE
999.25/1007.87 d CHECKS 8728914
999.25/1007.87 c [ TotalFails = 64539 ]
999.25/1007.87 c [ NumberOfRestarts = 66 ]
999.25/1007.87 c [ TotalTime = 940.384 secs ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080262-1215212508/watcher-1080262-1215212508 -o /tmp/evaluation-result-1080262-1215212508/solver-1080262-1215212508 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1080262-1215212508.xml 1525801358
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.00 2.00 2.00 4/81 2901
/proc/meminfo: memFree=1719016/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=1056 CPUtime=0
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2000224900 1081344 26 996147200 134512640 135477443 4294956192 18446744073709551615 10027812 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 264 26 20 235 0 3 0
[startup+0.050988 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 2901
/proc/meminfo: memFree=1719016/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=6240 CPUtime=0.03
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 677 0 0 0 3 0 0 0 18 0 1 0 2000224900 6389760 637 996147200 134512640 135477443 4294956192 18446744073709551615 134784336 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 1560 637 365 235 0 261 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6240
[startup+0.101991 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 2901
/proc/meminfo: memFree=1719016/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=7444 CPUtime=0.08
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 952 0 0 0 8 0 0 0 18 0 1 0 2000224900 7622656 912 996147200 134512640 135477443 4294956192 18446744073709551615 134799316 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 1861 912 365 235 0 562 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7444
[startup+0.302014 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 2901
/proc/meminfo: memFree=1719016/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=117880 CPUtime=0.28
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 5182 0 0 0 26 2 0 0 19 0 1 0 2000224900 120709120 5142 996147200 134512640 135477443 4294956192 18446744073709551615 10461699 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 29470 5142 432 235 0 28171 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 117880
[startup+0.701052 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 2901
/proc/meminfo: memFree=1719016/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=0.68
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10365 0 0 0 64 4 0 0 23 0 1 0 2000224900 109215744 2515 996147200 134512640 135477443 4294956192 18446744073709551615 134590294 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2515 456 235 0 25365 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 106656
[startup+1.50112 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1709920/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=1.47
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10574 0 0 0 143 4 0 0 25 0 1 0 2000224900 109215744 2724 996147200 134512640 135477443 4294956192 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2724 477 235 0 25365 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 106656
[startup+3.10126 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1709600/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=3.06
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10599 0 0 0 302 4 0 0 25 0 1 0 2000224900 109215744 2749 996147200 134512640 135477443 4294956192 18446744073709551615 134600988 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2749 477 235 0 25365 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 106656
[startup+6.30256 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1709344/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=6.23
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10640 0 0 0 619 4 0 0 25 0 1 0 2000224900 109215744 2790 996147200 134512640 135477443 4294956192 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2790 477 235 0 25365 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 106656
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1709344/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=12.57
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10641 0 0 0 1253 4 0 0 25 0 1 0 2000224900 109215744 2791 996147200 134512640 135477443 4294956192 18446744073709551615 134590294 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2791 477 235 0 25365 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 106656
[startup+25.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1709344/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=25.27
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10656 0 0 0 2522 5 0 0 25 0 1 0 2000224900 109215744 2806 996147200 134512640 135477443 4294956192 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2806 479 235 0 25365 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 106656
[startup+51.1016 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1709088/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=50.64
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10732 0 0 0 5059 5 0 0 25 0 1 0 2000224900 109215744 2882 996147200 134512640 135477443 4294956192 18446744073709551615 135268320 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2882 479 235 0 25365 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 106656
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1708896/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=101.41
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10733 0 0 0 10136 5 0 0 25 0 1 0 2000224900 109215744 2883 996147200 134512640 135477443 4294956192 18446744073709551615 134590291 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2883 480 235 0 25365 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 106656
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1708832/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=160.9
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10733 0 0 0 16085 5 0 0 25 0 1 0 2000224900 109215744 2883 996147200 134512640 135477443 4294956192 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2883 480 235 0 25365 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 106656
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1708704/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=220.39
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 22034 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 106656
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1708704/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=279.88
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 27983 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 279.88
Current children cumulated vsize (KiB) 106656
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1708704/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=339.37
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 33932 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134590128 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (KiB) 106656
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1708704/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=398.87
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 39882 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 398.87
Current children cumulated vsize (KiB) 106656
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1708768/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=458.36
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 45831 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134590274 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 458.36
Current children cumulated vsize (KiB) 106656
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1708704/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=517.86
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 51781 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134590244 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 517.86
Current children cumulated vsize (KiB) 106656
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 2902
/proc/meminfo: memFree=1708704/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=577.35
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 57730 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 577.35
Current children cumulated vsize (KiB) 106656
[startup+642.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 2902
/proc/meminfo: memFree=1708704/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=636.84
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 63679 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134609565 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 636.84
Current children cumulated vsize (KiB) 106656
[startup+702.301 s]
/proc/loadavg: 2.27 2.07 2.02 3/82 2902
/proc/meminfo: memFree=1708512/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=696.33
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 69628 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134609685 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 696.33
Current children cumulated vsize (KiB) 106656
[startup+762.307 s]
/proc/loadavg: 2.19 2.10 2.03 3/82 2902
/proc/meminfo: memFree=1708512/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=755.83
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10745 0 0 0 75578 5 0 0 25 0 1 0 2000224900 109215744 2895 996147200 134512640 135477443 4294956192 18446744073709551615 134609553 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2895 480 235 0 25365 0
Current children cumulated CPU time (s) 755.83
Current children cumulated vsize (KiB) 106656
[startup+822.301 s]
/proc/loadavg: 2.07 2.08 2.02 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=815.32
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 81527 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134590244 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 815.32
Current children cumulated vsize (KiB) 106656
[startup+882.302 s]
/proc/loadavg: 2.02 2.06 2.01 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=874.81
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 87476 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134590294 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 874.81
Current children cumulated vsize (KiB) 106656
[startup+942.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=934.3
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 93425 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 934.3
Current children cumulated vsize (KiB) 106656
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=993.79
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 99374 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134590294 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 993.79
Current children cumulated vsize (KiB) 106656
Solver just ended. Dumping a history of the last processes samples
[startup+1004.7 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=996.17
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 99612 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134609827 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 996.17
Current children cumulated vsize (KiB) 106656
[startup+1006.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=997.76
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 99771 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 997.76
Current children cumulated vsize (KiB) 106656
[startup+1007.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=998.55
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 99850 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 998.55
Current children cumulated vsize (KiB) 106656
[startup+1007.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=998.95
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 99890 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 998.95
Current children cumulated vsize (KiB) 106656
[startup+1007.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=999.15
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 99910 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134590143 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 999.15
Current children cumulated vsize (KiB) 106656
[startup+1007.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 2902
/proc/meminfo: memFree=1708384/2055920 swapFree=4180844/4192956
[pid=2901] ppid=2899 vsize=106656 CPUtime=999.25
/proc/2901/stat : 2901 (casperzao) R 2899 2901 1283 0 -1 4194304 10778 0 0 0 99920 5 0 0 25 0 1 0 2000224900 109215744 2928 996147200 134512640 135477443 4294956192 18446744073709551615 134590310 0 0 4096 0 0 0 0 17 1 0 0
/proc/2901/statm: 26664 2928 480 235 0 25365 0
Current children cumulated CPU time (s) 999.25
Current children cumulated vsize (KiB) 106656
Child status: 0
Real time (s): 1007.89
CPU time (s): 999.336
CPU user time (s): 999.279
CPU system time (s): 0.056991
CPU usage (%): 99.1516
Max. virtual memory (cumulated for all children) (KiB): 143948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 999.279
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10780
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= 40315
runsolver used 1.02884 second user time and 2.68059 second system time
The end
Begin job on node25 at 2008-07-05 01:01:49
IDJOB=1080262
IDBENCH=56947
IDSOLVER=361
FILE ID=node25/1080262-1215212508
PBS_JOBID= 7881644
Free space on /tmp= 66524 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-18_ext.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080262-1215212508/watcher-1080262-1215212508 -o /tmp/evaluation-result-1080262-1215212508/solver-1080262-1215212508 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1080262-1215212508.xml 1525801358
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d0723849d67084a75f9aabd36744eddc
RANDOM SEED=1525801358
node25.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.234
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.234
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: 1719496 kB
Buffers: 56200 kB
Cached: 197636 kB
SwapCached: 6196 kB
Active: 200800 kB
Inactive: 80116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1719496 kB
SwapTotal: 4192956 kB
SwapFree: 4180844 kB
Dirty: 3996 kB
Writeback: 0 kB
Mapped: 42904 kB
Slab: 40504 kB
Committed_AS: 3560028 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= 66524 MiB
End job on node25 at 2008-07-05 01:18:37