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 = 56 ]
0.18/0.21 c [ NumberOfConstraints = 1582 ]
0.18/0.21 c [ SizeOfSearchSpace(log2) = 325.212 ]
0.18/0.21 c SymmetrySearch = 1
0.18/0.21 c InitialPropagation = 1
0.18/0.21 c [ SizeOfSearchSpace(log2) = 268.603 ]
0.18/0.21 c InitialSAC = 1
0.18/0.25 c [ SizeOfSearchSpace(log2) = 268.603 ]
0.18/0.25 c Search(SampleFF) :
77.21/77.90 c [ Sampling domwdeg ]
77.21/77.90 c [ Sampling impacts ]
77.21/77.90 c [ Sampling la ]
77.21/77.90 c [ SamplingScores: ]
77.21/77.90 c [ domwdeg+min = 0.000223697 | domwdeg+rnd = 0.000935198 ]
77.21/77.90 c [ impacts+min = 0.000228788 | impacts+rnd = 0.00150985 ]
77.21/77.90 c [ la+min = 4.32465e-05 | la+rnd = 0.000657456 ]
77.21/77.90 c [ domwdeg = 0.000579447 | impacts = 0.000869321 | la = 0.000350351 ]
77.21/77.90 c [ min = 0.000165244 | rand = 0.000869321 ]
77.21/77.90 c [ restarting at (4.52802,0.00111496) ]
89.20/90.04 c [ restarting at (11.3201,0.00122058) ]
119.24/120.37 c [ restarting at (28.3001,0.00538653) ]
194.49/196.21 c [ restarting at (70.7504,0.0330394) ]
382.46/385.80 c [ restarting at (176.876,0.0646039) ]
693.48/699.50 c [ restarting at (442.19,0.0680913) ]
1798.98/1805.42 c [ restarting at (1105.47,0.480975) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092696-1215276913/watcher-1092696-1215276913 -o /tmp/evaluation-result-1092696-1215276913/solver-1092696-1215276913 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1092696-1215276913.xml 1747720115
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.16 2.03 2.01 4/81 13503
/proc/meminfo: memFree=1515296/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=18572 CPUtime=0
/proc/13503/stat : 13503 (runsolver) R 13501 13503 11108 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2006660984 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 227607637287 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13503/statm: 4643 292 257 25 0 2626 0
[startup+0.045189 s]
/proc/loadavg: 2.16 2.03 2.01 4/81 13503
/proc/meminfo: memFree=1515296/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=5704 CPUtime=0.03
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 554 0 0 0 3 0 0 0 18 0 1 0 2006660984 5840896 514 996147200 134512640 135477443 4294956224 18446744073709551615 134811899 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 1426 514 370 235 0 127 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5704
[startup+0.1012 s]
/proc/loadavg: 2.16 2.03 2.01 4/81 13503
/proc/meminfo: memFree=1515296/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99596 CPUtime=0.09
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 1539 0 0 0 7 2 0 0 18 0 1 0 2006660984 101986304 678 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24899 678 457 235 0 23600 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 99596
[startup+0.301224 s]
/proc/loadavg: 2.16 2.03 2.01 4/81 13503
/proc/meminfo: memFree=1515296/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=0.28
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3641 0 0 0 22 6 0 0 19 0 1 0 2006660984 102248448 1134 996147200 134512640 135477443 4294956224 18446744073709551615 135270856 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1134 504 235 0 23664 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 99852
[startup+0.701269 s]
/proc/loadavg: 2.16 2.03 2.01 4/81 13503
/proc/meminfo: memFree=1515296/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=0.68
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3667 0 0 0 62 6 0 0 23 0 1 0 2006660984 102248448 1160 996147200 134512640 135477443 4294956224 18446744073709551615 135268928 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1160 505 235 0 23664 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 99852
[startup+1.50137 s]
/proc/loadavg: 2.16 2.03 2.01 3/82 13504
/proc/meminfo: memFree=1512536/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1.47
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3669 0 0 0 141 6 0 0 25 0 1 0 2006660984 102248448 1162 996147200 134512640 135477443 4294956224 18446744073709551615 135270902 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1162 505 235 0 23664 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 99852
[startup+3.10156 s]
/proc/loadavg: 2.16 2.03 2.01 3/82 13504
/proc/meminfo: memFree=1512344/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=3.06
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3670 0 0 0 300 6 0 0 25 0 1 0 2006660984 102248448 1163 996147200 134512640 135477443 4294956224 18446744073709551615 134934592 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1163 505 235 0 23664 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 99852
[startup+6.30194 s]
/proc/loadavg: 2.15 2.03 2.01 3/82 13504
/proc/meminfo: memFree=1512280/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=6.23
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3677 0 0 0 617 6 0 0 25 0 1 0 2006660984 102248448 1170 996147200 134512640 135477443 4294956224 18446744073709551615 135270866 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1170 505 235 0 23664 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 99852
[startup+12.7027 s]
/proc/loadavg: 2.13 2.03 2.01 3/82 13504
/proc/meminfo: memFree=1512280/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=12.57
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3695 0 0 0 1251 6 0 0 25 0 1 0 2006660984 102248448 1188 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1188 505 235 0 23664 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 99852
[startup+25.5012 s]
/proc/loadavg: 2.10 2.03 2.01 3/82 13504
/proc/meminfo: memFree=1512280/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=25.25
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3708 0 0 0 2519 6 0 0 25 0 1 0 2006660984 102248448 1201 996147200 134512640 135477443 4294956224 18446744073709551615 134673664 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1201 506 235 0 23664 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 99852
[startup+51.1012 s]
/proc/loadavg: 2.07 2.03 2.01 3/82 13504
/proc/meminfo: memFree=1512152/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=50.63
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3738 0 0 0 5057 6 0 0 25 0 1 0 2006660984 102248448 1231 996147200 134512640 135477443 4294956224 18446744073709551615 134673680 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1231 506 235 0 23664 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 99852
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 13504
/proc/meminfo: memFree=1511832/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=101.4
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 10134 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135270818 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 99852
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 13504
/proc/meminfo: memFree=1511832/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=160.88
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 16082 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134589956 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 99852
[startup+222.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13504
/proc/meminfo: memFree=1511832/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=220.37
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 22031 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 99852
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13504
/proc/meminfo: memFree=1511832/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=279.86
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 27980 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134934655 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 99852
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13504
/proc/meminfo: memFree=1511896/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=339.34
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 33928 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134695407 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 339.34
Current children cumulated vsize (KiB) 99852
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13510
/proc/meminfo: memFree=1511888/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=398.82
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 39876 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134589930 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 398.82
Current children cumulated vsize (KiB) 99852
[startup+462.302 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 13510
/proc/meminfo: memFree=1511888/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=458.3
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 45824 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 458.3
Current children cumulated vsize (KiB) 99852
[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 13510
/proc/meminfo: memFree=1511824/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=517.8
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 51774 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134934590 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 517.8
Current children cumulated vsize (KiB) 99852
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 13510
/proc/meminfo: memFree=1511824/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=577.29
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 57723 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135269579 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 577.29
Current children cumulated vsize (KiB) 99852
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13510
/proc/meminfo: memFree=1511760/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=636.78
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 63672 6 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135269752 0 0 4096 0 0 0 0 17 1 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 636.78
Current children cumulated vsize (KiB) 99852
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715944/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=876.21
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 87613 8 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135268928 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 876.21
Current children cumulated vsize (KiB) 99852
[startup+942.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715944/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=936.2
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 93611 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135270899 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 936.2
Current children cumulated vsize (KiB) 99852
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715944/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=996.17
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 99608 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134934625 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 996.17
Current children cumulated vsize (KiB) 99852
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715944/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1056.15
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 105606 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135268057 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1056.15
Current children cumulated vsize (KiB) 99852
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715880/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1116.13
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 111604 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134673677 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1116.13
Current children cumulated vsize (KiB) 99852
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715880/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1176.11
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 117602 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135268934 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1176.11
Current children cumulated vsize (KiB) 99852
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715688/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1236.08
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 123599 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134934600 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1236.08
Current children cumulated vsize (KiB) 99852
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715624/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1296.06
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 129597 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134934592 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1296.06
Current children cumulated vsize (KiB) 99852
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715624/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1356.04
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 135595 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134583088 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1356.04
Current children cumulated vsize (KiB) 99852
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715560/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1416.02
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 141593 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135268282 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1416.02
Current children cumulated vsize (KiB) 99852
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715560/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1475.99
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 147590 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134934630 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1475.99
Current children cumulated vsize (KiB) 99852
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715560/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1535.97
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 153588 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135268272 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1535.97
Current children cumulated vsize (KiB) 99852
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715496/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1595.94
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 159585 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 134586761 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1595.94
Current children cumulated vsize (KiB) 99852
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715496/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1655.92
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 165583 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135268496 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1655.92
Current children cumulated vsize (KiB) 99852
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715368/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1715.9
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 171581 9 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135272269 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1715.9
Current children cumulated vsize (KiB) 99852
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715240/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1775.89
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 177579 10 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135268272 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1775.89
Current children cumulated vsize (KiB) 99852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715240/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1800.08
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 179998 10 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135268500 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 99852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1806.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 13552
/proc/meminfo: memFree=1715240/2055920 swapFree=4179860/4192956
[pid=13503] ppid=13501 vsize=99852 CPUtime=1800.08
/proc/13503/stat : 13503 (casperzao) R 13501 13503 11108 0 -1 4194304 3760 0 0 0 179998 10 0 0 25 0 1 0 2006660984 102248448 1253 996147200 134512640 135477443 4294956224 18446744073709551615 135268500 0 0 4096 0 0 0 0 17 0 0 0
/proc/13503/statm: 24963 1253 507 235 0 23664 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 99852
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.51
CPU time (s): 1800.09
CPU user time (s): 1799.99
CPU system time (s): 0.101984
CPU usage (%): 99.6446
Max. virtual memory (cumulated for all children) (KiB): 287240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3760
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= 19063
runsolver used 1.80472 second user time and 4.94025 second system time
The end
Begin job on node66 at 2008-07-05 18:55:13
IDJOB=1092696
IDBENCH=58649
IDSOLVER=361
FILE ID=node66/1092696-1215276913
PBS_JOBID= 7882156
Free space on /tmp= 66420 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/langford4/normalized-langford-4-14.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092696-1215276913/watcher-1092696-1215276913 -o /tmp/evaluation-result-1092696-1215276913/solver-1092696-1215276913 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1092696-1215276913.xml 1747720115
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6c0880b040fe6260481479fcc94ce736
RANDOM SEED=1747720115
node66.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.213
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.213
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: 1515776 kB
Buffers: 43104 kB
Cached: 193260 kB
SwapCached: 7144 kB
Active: 368916 kB
Inactive: 116260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1515776 kB
SwapTotal: 4192956 kB
SwapFree: 4179860 kB
Dirty: 3036 kB
Writeback: 0 kB
Mapped: 264876 kB
Slab: 39440 kB
Committed_AS: 4518952 kB
PageTables: 2448 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= 66416 MiB
End job on node66 at 2008-07-05 19:25:21