0.00/0.00 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.01/0.07 c Building = 1
0.01/0.09 c [ NumberOfVariables = 208 ]
0.01/0.09 c [ NumberOfConstraints = 4217 ]
0.01/0.09 c [ SizeOfSearchSpace(log2) = 1018.29 ]
0.01/0.09 c SymmetrySearch = 1
4.17/4.27 c [ Found 3.55687e+14 symmetries ]
4.37/4.41 c InitialPropagation = 1
4.46/4.51 c [ SizeOfSearchSpace(log2) = 969.463 ]
4.46/4.51 c InitialSAC = 1
4.76/4.87 c [ SizeOfSearchSpace(log2) = 969.463 ]
4.76/4.87 c Search(SampleFF) :
84.78/85.22 c [ Sampling domwdeg ]
84.78/85.22 c [ Sampling impacts ]
84.78/85.22 c [ SamplingScores: ]
84.78/85.22 c [ domwdeg+min = 0.0321741 | domwdeg+rnd = 5.2792e-19 ]
84.78/85.22 c [ impacts+min = 7.80718e-27 | impacts+rnd = 1.5241e-12 ]
84.78/85.22 c [ la+min = 0 | la+rnd = 0 ]
84.78/85.22 c [ domwdeg = 0.0160871 | impacts = 7.62049e-13 | la = 0 ]
84.78/85.22 c [ min = 0.0107247 | rand = 7.62049e-13 ]
84.78/85.22 c [ restarting at (3.96356,7.9142e-40) ]
94.63/95.14 c [ restarting at (9.9089,8.70612e-34) ]
119.30/119.94 c [ restarting at (24.7722,7.68653e-35) ]
181.00/181.93 c [ restarting at (61.9306,2.34068e-50) ]
335.23/336.91 c [ restarting at (154.827,8.02884e-37) ]
720.74/724.35 c [ restarting at (387.066,9.12559e-16) ]
1685.15/1693.04 c [ restarting at (967.666,1.6354e-33) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043690-1215023607/watcher-1043690-1215023607 -o /tmp/evaluation-result-1043690-1215023607/solver-1043690-1215023607 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1043690-1215023607.xml 734062928
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.22 2.16 2.00 4/81 26845
/proc/meminfo: memFree=1316688/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=5348 CPUtime=0
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 658088342 5476352 190 996147200 134512640 135472138 4294956224 18446744073709551615 11883650 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 1337 191 157 234 0 27 0
[startup+0.0172659 s]
/proc/loadavg: 2.22 2.16 2.00 4/81 26845
/proc/meminfo: memFree=1316688/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=5700 CPUtime=0.01
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 520 0 0 0 1 0 0 0 18 0 1 0 658088342 5836800 480 996147200 134512640 135472138 4294956224 18446744073709551615 12355195 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 1425 480 367 234 0 127 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5700
[startup+0.101274 s]
/proc/loadavg: 2.22 2.16 2.00 4/81 26845
/proc/meminfo: memFree=1316688/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=108964 CPUtime=0.09
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 3490 0 0 0 8 1 0 0 18 0 1 0 658088342 111579136 3450 996147200 134512640 135472138 4294956224 18446744073709551615 12355195 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 27241 3452 433 234 0 25943 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 108964
[startup+0.301292 s]
/proc/loadavg: 2.22 2.16 2.00 4/81 26845
/proc/meminfo: memFree=1316688/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=125332 CPUtime=0.29
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 7583 0 0 0 27 2 0 0 19 0 1 0 658088342 128339968 7543 996147200 134512640 135472138 4294956224 18446744073709551615 12355195 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 31333 7544 433 234 0 30035 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 125332
[startup+0.701333 s]
/proc/loadavg: 2.22 2.16 2.00 4/81 26845
/proc/meminfo: memFree=1316688/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=188972 CPUtime=0.69
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 18367 0 0 0 63 6 0 0 23 0 1 0 658088342 193507328 17935 996147200 134512640 135472138 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 47243 17935 440 234 0 45945 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 188972
[startup+1.50141 s]
/proc/loadavg: 2.20 2.16 2.00 3/82 26846
/proc/meminfo: memFree=1244808/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=188972 CPUtime=1.49
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 19755 0 0 0 142 7 0 0 25 0 1 0 658088342 193507328 19228 996147200 134512640 135472138 4294956224 18446744073709551615 134534246 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 47243 19228 440 234 0 45945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 188972
[startup+3.10157 s]
/proc/loadavg: 2.20 2.16 2.00 3/82 26846
/proc/meminfo: memFree=1235656/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=200592 CPUtime=3.08
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 24803 0 0 0 299 9 0 0 25 0 1 0 658088342 205406208 22873 996147200 134512640 135472138 4294956224 18446744073709551615 134529755 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 50148 22873 441 234 0 48850 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 200592
[startup+6.30189 s]
/proc/loadavg: 2.19 2.16 2.00 3/82 26846
/proc/meminfo: memFree=1259016/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=6.25
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 26910 0 0 0 616 9 0 0 25 0 1 0 658088342 155713536 14785 996147200 134512640 135472138 4294956224 18446744073709551615 134595501 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14785 483 234 0 36718 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 152064
[startup+12.7015 s]
/proc/loadavg: 2.17 2.15 2.00 3/82 26846
/proc/meminfo: memFree=1258984/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=12.63
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 26922 0 0 0 1253 10 0 0 25 0 1 0 658088342 155713536 14797 996147200 134512640 135472138 4294956224 18446744073709551615 134595977 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14797 484 234 0 36718 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 152064
[startup+25.5018 s]
/proc/loadavg: 2.13 2.14 2.00 3/82 26846
/proc/meminfo: memFree=1259064/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=25.36
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 26922 0 0 0 2526 10 0 0 25 0 1 0 658088342 155713536 14797 996147200 134512640 135472138 4294956224 18446744073709551615 134595453 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14797 484 234 0 36718 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 152064
[startup+51.1013 s]
/proc/loadavg: 2.09 2.13 2.00 3/82 26846
/proc/meminfo: memFree=1258936/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=50.85
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27032 0 0 0 5074 11 0 0 25 0 1 0 658088342 155713536 14907 996147200 134512640 135472138 4294956224 18446744073709551615 134604871 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14907 485 234 0 36718 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 152064
[startup+102.305 s]
/proc/loadavg: 2.04 2.11 2.00 3/82 26846
/proc/meminfo: memFree=1258872/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=101.79
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 10168 11 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 152064
[startup+162.301 s]
/proc/loadavg: 2.01 2.09 2.00 3/82 26846
/proc/meminfo: memFree=1258808/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=161.49
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 16138 11 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134581691 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 152064
[startup+222.301 s]
/proc/loadavg: 2.00 2.07 2.00 3/82 26846
/proc/meminfo: memFree=1258808/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=221.19
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 22108 11 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 221.19
Current children cumulated vsize (KiB) 152064
[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.00 3/82 26846
/proc/meminfo: memFree=1258744/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=280.9
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 28079 11 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134578975 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 152064
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 26846
/proc/meminfo: memFree=1258688/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=340.6
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 34049 11 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 340.6
Current children cumulated vsize (KiB) 152064
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 26846
/proc/meminfo: memFree=1258688/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=400.31
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 40020 11 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 400.31
Current children cumulated vsize (KiB) 152064
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 26846
/proc/meminfo: memFree=1258560/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=460.02
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 45990 12 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 460.02
Current children cumulated vsize (KiB) 152064
[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 26846
/proc/meminfo: memFree=1258496/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=519.73
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 51961 12 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135263224 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 519.73
Current children cumulated vsize (KiB) 152064
[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 26846
/proc/meminfo: memFree=1258496/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=579.44
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 57932 12 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 579.44
Current children cumulated vsize (KiB) 152064
[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 26846
/proc/meminfo: memFree=1258432/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=639.14
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 63902 12 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 639.14
Current children cumulated vsize (KiB) 152064
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 26846
/proc/meminfo: memFree=1258240/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=877.96
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 87784 12 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595464 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 877.96
Current children cumulated vsize (KiB) 152064
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 26847
/proc/meminfo: memFree=1258048/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=937.67
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 93755 12 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595453 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 937.67
Current children cumulated vsize (KiB) 152064
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 26847
/proc/meminfo: memFree=1258048/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=997.37
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 99725 12 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 0 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 997.37
Current children cumulated vsize (KiB) 152064
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 27038
/proc/meminfo: memFree=1330176/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1056.92
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 105678 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595378 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1056.92
Current children cumulated vsize (KiB) 152064
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/74 27038
/proc/meminfo: memFree=1330176/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1116.68
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 111654 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1116.68
Current children cumulated vsize (KiB) 152064
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27038
/proc/meminfo: memFree=1330176/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1176.45
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 117631 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595569 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1176.45
Current children cumulated vsize (KiB) 152064
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27038
/proc/meminfo: memFree=1330048/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1236.21
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 123607 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1236.21
Current children cumulated vsize (KiB) 152064
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27038
/proc/meminfo: memFree=1329984/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1295.98
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 129584 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1295.98
Current children cumulated vsize (KiB) 152064
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27038
/proc/meminfo: memFree=1329984/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1355.74
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 135560 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595484 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1355.74
Current children cumulated vsize (KiB) 152064
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27038
/proc/meminfo: memFree=1329984/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1415.51
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 141537 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595464 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1415.51
Current children cumulated vsize (KiB) 152064
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27038
/proc/meminfo: memFree=1329984/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1475.27
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 147513 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1475.27
Current children cumulated vsize (KiB) 152064
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27038
/proc/meminfo: memFree=1329984/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1535.04
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 153490 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1535.04
Current children cumulated vsize (KiB) 152064
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27038
/proc/meminfo: memFree=1329984/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1594.8
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 159466 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1594.8
Current children cumulated vsize (KiB) 152064
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 27044
/proc/meminfo: memFree=1329792/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1654.56
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 165442 14 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595453 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1654.56
Current children cumulated vsize (KiB) 152064
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 27044
/proc/meminfo: memFree=1329728/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1714.34
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 171419 15 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595464 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1714.34
Current children cumulated vsize (KiB) 152064
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/74 27044
/proc/meminfo: memFree=1329600/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1774.1
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 177395 15 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595501 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1774.1
Current children cumulated vsize (KiB) 152064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/74 27044
/proc/meminfo: memFree=1329600/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1800
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 179985 15 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595455 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 152064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/74 27044
/proc/meminfo: memFree=1329600/2055920 swapFree=4179796/4192956
[pid=26845] ppid=26843 vsize=152064 CPUtime=1800
/proc/26845/stat : 26845 (casperzito) R 26843 26845 25487 0 -1 4194304 27033 0 0 0 179985 15 0 0 25 0 1 0 658088342 155713536 14908 996147200 134512640 135472138 4294956224 18446744073709551615 134595455 0 0 4096 0 0 0 0 17 1 0 0
/proc/26845/statm: 38016 14908 486 234 0 36718 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 152064
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.32
CPU time (s): 1800.02
CPU user time (s): 1799.86
CPU system time (s): 0.159975
CPU usage (%): 99.5408
Max. virtual memory (cumulated for all children) (KiB): 204396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27033
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= 13
involuntary context switches= 41884
runsolver used 1.9747 second user time and 4.6163 second system time
The end
Begin job on node89 at 2008-07-02 20:33:27
IDJOB=1043690
IDBENCH=53587
IDSOLVER=362
FILE ID=node89/1043690-1215023607
PBS_JOBID= 7874293
Free space on /tmp= 66536 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/BH-4-13/normalized-BlackHole-4-13-e-0_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043690-1215023607/watcher-1043690-1215023607 -o /tmp/evaluation-result-1043690-1215023607/solver-1043690-1215023607 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1043690-1215023607.xml 734062928
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 308da8d6f22ce7d5aad3f96e3b4e6901
RANDOM SEED=734062928
node89.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1317168 kB
Buffers: 23100 kB
Cached: 573228 kB
SwapCached: 7240 kB
Active: 226744 kB
Inactive: 454556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1317168 kB
SwapTotal: 4192956 kB
SwapFree: 4179796 kB
Dirty: 4216 kB
Writeback: 0 kB
Mapped: 101228 kB
Slab: 42624 kB
Committed_AS: 2522620 kB
PageTables: 1916 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 node89 at 2008-07-02 21:03:38