0.18/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
0.48/0.59 c Building = 1
0.59/0.69 c [ NumberOfVariables = 990 ]
0.59/0.69 c [ NumberOfConstraints = 14190 ]
0.59/0.69 c [ SizeOfSearchSpace(log2) = 1980 ]
0.59/0.69 c SymmetrySearch = 1
2.97/3.00 c [ Found 1.19622e+56 symmetries ]
2.97/3.09 c InitialPropagation = 1
3.07/3.11 c [ SizeOfSearchSpace(log2) = 1980 ]
3.07/3.11 c InitialSAC = 1
3.17/3.22 c [ SizeOfSearchSpace(log2) = 1980 ]
3.17/3.22 c Search(SampleFF) :
78.64/79.48 c [ Sampling domwdeg ]
78.64/79.48 c [ Sampling impacts ]
78.64/79.48 c [ SamplingScores: ]
78.64/79.48 c [ domwdeg+min = 8.07794e-28 | domwdeg+rnd = 0.056741 ]
78.64/79.48 c [ impacts+min = 0.112379 | impacts+rnd = 0.00374031 ]
78.64/79.48 c [ la+min = 0 | la+rnd = 0 ]
78.64/79.48 c [ domwdeg = 0.0283705 | impacts = 0.0580598 | la = 0 ]
78.64/79.48 c [ min = 0.0374598 | rand = 0.0580598 ]
78.64/79.48 c [ restarting at (3.96356,1.52588e-05) ]
89.25/90.11 c [ restarting at (9.9089,1.75532e-10) ]
115.61/116.71 c [ restarting at (24.7722,1.49015e-08) ]
181.39/183.18 c [ restarting at (61.9306,1.62418e-08) ]
294.55/297.32 c [ restarting at (154.827,1.1724e-13) ]
682.14/685.13 c [ restarting at (387.066,5.68436e-14) ]
1649.65/1654.39 c [ restarting at (967.666,9.35188e-10) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051888-1215054987/watcher-1051888-1215054987 -o /tmp/evaluation-result-1051888-1215054987/solver-1051888-1215054987 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1051888-1215054987.xml 971782908
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.11 2.36 2.24 4/74 11568
/proc/meminfo: memFree=1737736/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=1052 CPUtime=0
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 411116057 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 3810084 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 263 26 20 234 0 3 0
[startup+0.110238 s]
/proc/loadavg: 2.11 2.36 2.24 4/74 11568
/proc/meminfo: memFree=1737736/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=6800 CPUtime=0.09
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 797 0 0 0 9 0 0 0 18 0 1 0 411116057 6963200 757 996147200 134512640 135472138 4294956224 18446744073709551615 4158884508 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 1700 757 368 234 0 402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6800
[startup+0.20125 s]
/proc/loadavg: 2.11 2.36 2.24 4/74 11568
/proc/meminfo: memFree=1737736/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=7856 CPUtime=0.18
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 1080 0 0 0 18 0 0 0 18 0 1 0 411116057 8044544 1040 996147200 134512640 135472138 4294956224 18446744073709551615 134805811 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 1964 1040 368 234 0 666 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7856
[startup+0.301264 s]
/proc/loadavg: 2.11 2.36 2.24 4/74 11568
/proc/meminfo: memFree=1737736/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=9044 CPUtime=0.28
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 1385 0 0 0 28 0 0 0 19 0 1 0 411116057 9261056 1345 996147200 134512640 135472138 4294956224 18446744073709551615 4243877 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 2261 1345 368 234 0 963 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9044
[startup+0.701323 s]
/proc/loadavg: 2.11 2.36 2.24 4/74 11568
/proc/meminfo: memFree=1737736/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=109536 CPUtime=0.69
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 6979 0 0 0 66 3 0 0 23 0 1 0 411116057 112164864 6939 996147200 134512640 135472138 4294956224 18446744073709551615 134664209 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 27384 6939 444 234 0 26086 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109536
[startup+1.50144 s]
/proc/loadavg: 2.11 2.36 2.24 3/75 11569
/proc/meminfo: memFree=1699392/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=124636 CPUtime=1.48
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 10295 0 0 0 143 5 0 0 25 0 1 0 411116057 127627264 10255 996147200 134512640 135472138 4294956224 18446744073709551615 134535390 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 31159 10255 452 234 0 29861 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124636
[startup+3.10267 s]
/proc/loadavg: 2.11 2.36 2.24 3/75 11569
/proc/meminfo: memFree=1690752/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119764 CPUtime=3.07
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11635 0 0 0 301 6 0 0 25 0 1 0 411116057 122638336 9611 996147200 134512640 135472138 4294956224 18446744073709551615 134917103 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 29941 9611 467 234 0 28643 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 119764
[startup+6.30112 s]
/proc/loadavg: 2.18 2.37 2.24 3/75 11569
/proc/meminfo: memFree=1694336/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119764 CPUtime=6.23
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11706 0 0 0 617 6 0 0 25 0 1 0 411116057 122638336 9682 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 29941 9682 493 234 0 28643 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 119764
[startup+12.702 s]
/proc/loadavg: 2.16 2.37 2.24 3/75 11569
/proc/meminfo: memFree=1688384/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119768 CPUtime=12.57
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11734 0 0 0 1251 6 0 0 25 0 1 0 411116057 122642432 9710 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 29942 9710 493 234 0 28644 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 119768
[startup+25.5018 s]
/proc/loadavg: 2.13 2.35 2.24 3/75 11569
/proc/meminfo: memFree=1667776/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119768 CPUtime=25.25
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11737 0 0 0 2519 6 0 0 25 0 1 0 411116057 122642432 9713 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 29942 9713 493 234 0 28644 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 119768
[startup+51.1015 s]
/proc/loadavg: 2.08 2.32 2.23 3/75 11569
/proc/meminfo: memFree=1630848/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119768 CPUtime=50.61
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11807 0 0 0 5055 6 0 0 25 0 1 0 411116057 122642432 9783 996147200 134512640 135472138 4294956224 18446744073709551615 134672496 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 29942 9783 494 234 0 28644 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 119768
[startup+102.302 s]
/proc/loadavg: 2.24 2.33 2.24 3/75 11569
/proc/meminfo: memFree=1573056/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=101.33
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11811 0 0 0 10127 6 0 0 25 0 1 0 411116057 122646528 9787 996147200 134512640 135472138 4294956224 18446744073709551615 134689806 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 29943 9787 495 234 0 28645 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 119772
[startup+162.301 s]
/proc/loadavg: 2.14 2.28 2.22 3/75 11569
/proc/meminfo: memFree=1550720/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=160.78
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11811 0 0 0 16072 6 0 0 25 0 1 0 411116057 122646528 9787 996147200 134512640 135472138 4294956224 18446744073709551615 134984283 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 29943 9787 495 234 0 28645 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 119772
[startup+222.307 s]
/proc/loadavg: 2.10 2.24 2.21 3/75 11569
/proc/meminfo: memFree=1550720/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=220.24
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11811 0 0 0 22018 6 0 0 25 0 1 0 411116057 122646528 9787 996147200 134512640 135472138 4294956224 18446744073709551615 5111547 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 29943 9787 495 234 0 28645 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 119772
[startup+282.301 s]
/proc/loadavg: 2.14 2.23 2.20 3/75 11569
/proc/meminfo: memFree=1550592/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=279.69
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 27963 6 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135234795 0 0 4096 0 0 0 0 17 1 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (KiB) 119772
[startup+342.302 s]
/proc/loadavg: 2.05 2.18 2.19 3/82 11762
/proc/meminfo: memFree=1757768/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=339.49
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 33939 10 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135234795 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 339.49
Current children cumulated vsize (KiB) 119772
[startup+402.301 s]
/proc/loadavg: 2.02 2.15 2.17 3/82 11765
/proc/meminfo: memFree=1731328/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=399.47
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 39937 10 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135234795 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 399.47
Current children cumulated vsize (KiB) 119772
[startup+462.302 s]
/proc/loadavg: 2.06 2.13 2.17 3/82 11814
/proc/meminfo: memFree=1598344/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=459.44
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 45933 11 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135263616 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 459.44
Current children cumulated vsize (KiB) 119772
[startup+522.301 s]
/proc/loadavg: 2.02 2.11 2.16 3/82 11814
/proc/meminfo: memFree=1564616/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=519.41
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 51929 12 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 5120186 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 519.41
Current children cumulated vsize (KiB) 119772
[startup+582.302 s]
/proc/loadavg: 2.01 2.08 2.14 4/82 11814
/proc/meminfo: memFree=1527944/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=579.38
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 57925 13 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 134984224 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 579.38
Current children cumulated vsize (KiB) 119772
[startup+642.301 s]
/proc/loadavg: 2.00 2.07 2.13 3/82 11814
/proc/meminfo: memFree=1491016/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=639.36
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 63922 14 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135234779 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 639.36
Current children cumulated vsize (KiB) 119772
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.13 2.07 2.10 3/82 11816
/proc/meminfo: memFree=1338952/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=879.25
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 87907 18 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135234795 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 879.25
Current children cumulated vsize (KiB) 119772
[startup+942.302 s]
/proc/loadavg: 2.13 2.08 2.10 3/82 11816
/proc/meminfo: memFree=1300936/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=939.21
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 93902 19 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 134905660 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 939.21
Current children cumulated vsize (KiB) 119772
[startup+1002.3 s]
/proc/loadavg: 2.09 2.08 2.09 3/74 11817
/proc/meminfo: memFree=1164488/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=999.18
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 99899 19 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 134689806 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 999.18
Current children cumulated vsize (KiB) 119772
[startup+1062.3 s]
/proc/loadavg: 2.44 2.16 2.12 3/83 11893
/proc/meminfo: memFree=1116216/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1059.04
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 105883 21 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 5120186 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1059.04
Current children cumulated vsize (KiB) 119772
[startup+1122.3 s]
/proc/loadavg: 2.16 2.13 2.10 3/83 11893
/proc/meminfo: memFree=1026488/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1118.74
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 111853 21 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135235265 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1118.74
Current children cumulated vsize (KiB) 119772
[startup+1182.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/83 11893
/proc/meminfo: memFree=1016248/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1178.45
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 117823 22 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 134689806 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1178.45
Current children cumulated vsize (KiB) 119772
[startup+1242.3 s]
/proc/loadavg: 2.02 2.08 2.09 3/83 11893
/proc/meminfo: memFree=1015992/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1238.15
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 123793 22 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135234805 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1238.15
Current children cumulated vsize (KiB) 119772
[startup+1302.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/73 11920
/proc/meminfo: memFree=1749960/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1297.89
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 129767 22 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135234795 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1297.89
Current children cumulated vsize (KiB) 119772
[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/73 11920
/proc/meminfo: memFree=1516424/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1357.87
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 135764 23 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135234805 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1357.87
Current children cumulated vsize (KiB) 119772
[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/73 11920
/proc/meminfo: memFree=1270984/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1417.85
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 141762 23 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 135234795 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1417.85
Current children cumulated vsize (KiB) 119772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/82 11996
/proc/meminfo: memFree=1614528/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1477.71
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 147747 24 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 134905662 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1477.71
Current children cumulated vsize (KiB) 119772
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.06 3/82 11996
/proc/meminfo: memFree=1579264/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1537.7
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 153745 25 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 5111547 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1537.7
Current children cumulated vsize (KiB) 119772
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/82 11996
/proc/meminfo: memFree=1544448/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1597.67
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11829 0 0 0 159741 26 0 0 25 0 1 0 411116057 122646528 9805 996147200 134512640 135472138 4294956224 18446744073709551615 5120219 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9805 495 234 0 28645 0
Current children cumulated CPU time (s) 1597.67
Current children cumulated vsize (KiB) 119772
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 11996
/proc/meminfo: memFree=1506176/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1657.64
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11837 0 0 0 165737 27 0 0 25 0 1 0 411116057 122646528 9813 996147200 134512640 135472138 4294956224 18446744073709551615 134984321 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9813 495 234 0 28645 0
Current children cumulated CPU time (s) 1657.64
Current children cumulated vsize (KiB) 119772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/82 11996
/proc/meminfo: memFree=1468480/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1717.61
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11837 0 0 0 171733 28 0 0 25 0 1 0 411116057 122646528 9813 996147200 134512640 135472138 4294956224 18446744073709551615 134984313 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9813 495 234 0 28645 0
Current children cumulated CPU time (s) 1717.61
Current children cumulated vsize (KiB) 119772
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 11996
/proc/meminfo: memFree=1429896/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1777.57
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11837 0 0 0 177729 28 0 0 25 0 1 0 411116057 122646528 9813 996147200 134512640 135472138 4294956224 18446744073709551615 135234844 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9813 495 234 0 28645 0
Current children cumulated CPU time (s) 1777.57
Current children cumulated vsize (KiB) 119772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.8 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 11996
/proc/meminfo: memFree=1415368/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1800.07
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11837 0 0 0 179978 29 0 0 25 0 1 0 411116057 122646528 9813 996147200 134512640 135472138 4294956224 18446744073709551615 135265376 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9813 495 234 0 28645 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 119772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.8 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 11996
/proc/meminfo: memFree=1415368/2055920 swapFree=4180288/4192956
[pid=11568] ppid=11566 vsize=119772 CPUtime=1800.07
/proc/11568/stat : 11568 (casperzito) R 11566 11568 9024 0 -1 4194304 11837 0 0 0 179978 29 0 0 25 0 1 0 411116057 122646528 9813 996147200 134512640 135472138 4294956224 18446744073709551615 135265376 0 0 4096 0 0 0 0 17 0 0 0
/proc/11568/statm: 29943 9813 495 234 0 28645 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 119772
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.81
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.299954
CPU usage (%): 99.738
Max. virtual memory (cumulated for all children) (KiB): 129264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.299954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11837
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= 13398
runsolver used 2.30765 second user time and 5.56815 second system time
The end
Begin job on node49 at 2008-07-03 05:16:27
IDJOB=1051888
IDBENCH=55955
IDSOLVER=362
FILE ID=node49/1051888-1215054987
PBS_JOBID= 7875077
Free space on /tmp= 66532 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/ramsey4/normalized-ramsey-45-4.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051888-1215054987/watcher-1051888-1215054987 -o /tmp/evaluation-result-1051888-1215054987/solver-1051888-1215054987 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1051888-1215054987.xml 971782908
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3e8236e6ba39e4fd04a7c847b9b657af
RANDOM SEED=971782908
node49.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.249
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.249
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: 1738344 kB
Buffers: 34452 kB
Cached: 148740 kB
SwapCached: 6120 kB
Active: 175748 kB
Inactive: 79532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1738344 kB
SwapTotal: 4192956 kB
SwapFree: 4180288 kB
Dirty: 4988 kB
Writeback: 0 kB
Mapped: 78732 kB
Slab: 47448 kB
Committed_AS: 774132 kB
PageTables: 1924 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66328 MiB
End job on node49 at 2008-07-03 05:46:34