PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUM	95af9ee9e7f41d7e844f72bb8840ff83
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	14500
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	14500
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	14500
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12398
Number of variables	14500
Total number of constraints	461872
Number of constraints which are clauses	461872
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	29
Trace number 42020

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-15 21:26:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25231 boxname=wulflinc5 idbench=133 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  95af9ee9e7f41d7e844f72bb8840ff83  /oldhome/oroussel/tmp/wulflinc5/normalized-g250.29.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-g250.29.opb
IDLAUNCH: 25231
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        817576 kB
Buffers:         33836 kB
Cached:         160080 kB
SwapCached:        700 kB
Active:          83632 kB
Inactive:       112408 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817324 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15328 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:46:34 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 25231 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 14/14514	Time: 83.8602/86400
c Decision: 14/14514	Time: 95.2775/86400
c Decision: 14/14514	Time: 104.001/86400
c Decision: 14/14514	Time: 113.64/86400
c Decision: 14/14514	Time: 125.904/86400
c Decision: 14/14514	Time: 134.503/86400
c Decision: 14/14514	Time: 144.85/86400
c Decision: 14/14514	Time: 154.8/86400
c Decision: 14/14514	Time: 164.249/86400
c Decision: 14/14514	Time: 174.946/86400
c Decision: 14/14514	Time: 187.177/86400
c Decision: 14/14514	Time: 195.356/86400
c Decision: 14/14514	Time: 204.653/86400
c Decision: 14/14514	Time: 215.327/86400
c Decision: 14/14514	Time: 224.257/86400
c Decision: 14/14514	Time: 233.711/86400
c Decision: 14/14514	Time: 245.242/86400
c Decision: 14/14514	Time: 252.986/86400
c Decision: 14/14514	Time: 262.002/86400
c Decision: 14/14514	Time: 273.112/86400
c Decision: 14/14514	Time: 284.263/86400
c Decision: 14/14514	Time: 292.46/86400
c Decision: 14/14514	Time: 302.108/86400
c Decision: 14/14514	Time: 312.352/86400
c Decision: 14/14514	Time: 320.718/86400
c Decision: 14/14514	Time: 330.398/86400
c Decision: 14/14514	Time: 338.998/86400
c Decision: 14/14514	Time: 348.924/86400
c Decision: 14/14514	Time: 358.266/86400
c Decision: 14/14514	Time: 368.686/86400
c Decision: 14/14514	Time: 378.471/86400
c Decision: 14/14514	Time: 390.075/86400
c Decision: 14/14514	Time: 399.275/86400
c Decision: 14/14514	Time: 409.25/86400
c Decision: 14/14514	Time: 418.443/86400
c Decision: 14/14514	Time: 428.346/86400
c Decision: 14/14514	Time: 438.459/86400
c Decision: 14/14514	Time: 450.173/86400
c Decision: 14/14514	Time: 462.15/86400
c Decision: 14/14514	Time: 475.748/86400
c Decision: 14/14514	Time: 484.698/86400
c Decision: 14/14514	Time: 493.916/86400
c Decision: 14/14514	Time: 503.609/86400
c Decision: 14/14514	Time: 514.801/86400
c Decision: 14/14514	Time: 526.129/86400
c Decision: 14/14514	Time: 538.862/86400
c Decision: 14/14514	Time: 549.26/86400
c Decision: 14/14514	Time: 561.202/86400
c Decision: 14/14514	Time: 573.719/86400
c Decision: 14/14514	Time: 584.853/86400
c Decision: 14/14514	Time: 594.581/86400
c Decision: 14/14514	Time: 604.772/86400
c Decision: 14/14514	Time: 614.544/86400
c Decision: 14/14514	Time: 624.884/86400
c Decision: 14/14514	Time: 635.999/86400
c Decision: 14/14514	Time: 644.865/86400
c Decision: 14/14514	Time: 655.455/86400
c Decision: 14/14514	Time: 667.32/86400
c Decision: 14/14514	Time: 676.398/86400
c Decision: 14/14514	Time: 686.446/86400
c Decision: 14/14514	Time: 695.604/86400
c Decision: 14/14514	Time: 706.028/86400
c Decision: 14/14514	Time: 717.271/86400
c Decision: 14/14514	Time: 728.615/86400
c Decision: 14/14514	Time: 738.201/86400
c Decision: 14/14514	Time: 749.193/86400
c Decision: 14/14514	Time: 758.134/86400
c Decision: 14/14514	Time: 771.569/86400
c Decision: 14/14514	Time: 783.446/86400
c Decision: 14/14514	Time: 793.938/86400
c Decision: 14/14514	Time: 807.043/86400
c Decision: 14/14514	Time: 818.471/86400
c Decision: 14/14514	Time: 828.552/86400
c Decision: 14/14514	Time: 840.046/86400
c Decision: 14/14514	Time: 852.171/86400
c Decision: 14/14514	Time: 864.011/86400
c Decision: 14/14514	Time: 876.326/86400
c Decision: 14/14514	Time: 886.287/86400
c Decision: 14/14514	Time: 896.795/86400
c Decision: 14/14514	Time: 907.581/86400
c Decision: 14/14514	Time: 917.975/86400
c Decision: 14/14514	Time: 930.224/86400
c Decision: 14/14514	Time: 941.814/86400
c Decision: 14/14514	Time: 955.363/86400
c Decision: 14/14514	Time: 965.258/86400
c Decision: 14/14514	Time: 975.839/86400
c Decision: 14/14514	Time: 986.551/86400
c Decision: 14/14514	Time: 998.778/86400
c Decision: 14/14514	Time: 1010.95/86400
c Decision: 14/14514	Time: 1022.82/86400
c Decision: 14/14514	Time: 1035.23/86400
c Decision: 14/14514	Time: 1044.6/86400
c Decision: 14/14514	Time: 1055.58/86400
c Decision: 14/14514	Time: 1067.37/86400
c Decision: 14/14514	Time: 1079.47/86400
c Decision: 14/14514	Time: 1090.42/86400
c Decision: 14/14514	Time: 1102.07/86400
c Decision: 14/14514	Time: 1111.72/86400
c Decision: 14/14514	Time: 1123.51/86400
c Decision: 14/14514	Time: 1133.57/86400
c Decision: 14/14514	Time: 1145/86400
c Decision: 14/14514	Time: 1156.96/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 4046
Raw data (stat): 4046 (runsolver) R 4045 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965352527 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 3162 0 0 0 991 7 0 0 25 0 1 0 965352527 11767808 2112 4294967295 134512640 135730672 3221224592 3221221408 134783994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2873 2112 301 301 0 2572 0
vsize: 11492
[startup+20.0022 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 5544 0 0 0 1982 16 0 0 25 0 1 0 965352527 18632704 3725 4294967295 134512640 135730672 3221224592 3221221176 134787557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4549 3725 301 301 0 4248 0
vsize: 18196
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 8673 0 0 0 2973 24 0 0 25 0 1 0 965352527 30740480 5317 4294967295 134512640 135730672 3221224592 3221221568 134539980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7505 5317 301 301 0 7204 0
vsize: 30020
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 10290 0 0 0 3954 43 0 0 25 0 1 0 965352527 33681408 6934 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8223 6934 301 301 0 7922 0
vsize: 32892
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 10799 0 0 0 4941 57 0 0 25 0 1 0 965352527 35311616 7443 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8621 7443 301 301 0 8320 0
vsize: 34484
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 10996 0 0 0 5932 66 0 0 25 0 1 0 965352527 35852288 7640 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8753 7640 301 301 0 8452 0
vsize: 35012
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 11189 0 0 0 6922 76 0 0 25 0 1 0 965352527 36261888 7833 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8853 7833 301 301 0 8552 0
vsize: 35412
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 11371 0 0 0 7915 83 0 0 25 0 1 0 965352527 36659200 8015 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8950 8015 301 301 0 8649 0
vsize: 35800
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 11542 0 0 0 8906 93 0 0 25 0 1 0 965352527 37052416 8186 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9046 8186 301 301 0 8745 0
vsize: 36184
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 11703 0 0 0 9897 101 0 0 25 0 1 0 965352527 37445632 8347 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9142 8347 301 301 0 8841 0
vsize: 36568
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 11856 0 0 0 10888 110 0 0 25 0 1 0 965352527 37711872 8500 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9207 8500 301 301 0 8906 0
vsize: 36828
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 11984 0 0 0 11880 119 0 0 25 0 1 0 965352527 37978112 8628 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9272 8628 301 301 0 8971 0
vsize: 37088
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 12325 0 0 0 12867 132 0 0 25 0 1 0 965352527 39333888 8969 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9603 8969 301 301 0 9302 0
vsize: 38412
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 12691 0 0 0 13845 153 0 0 25 0 1 0 965352527 40493056 9335 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9886 9335 301 301 0 9585 0
vsize: 39544
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 12954 0 0 0 14827 172 0 0 25 0 1 0 965352527 41598976 9598 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10156 9598 301 301 0 9855 0
vsize: 40624
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 13148 0 0 0 15805 193 0 0 25 0 1 0 965352527 42364928 9792 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10343 9792 301 301 0 10042 0
vsize: 41372
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 13328 0 0 0 16783 216 0 0 25 0 1 0 965352527 43180032 9972 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10542 9972 301 301 0 10241 0
vsize: 42168
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 13417 0 0 0 17765 234 0 0 25 0 1 0 965352527 43466752 10061 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10612 10061 301 301 0 10311 0
vsize: 42448
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 13492 0 0 0 18739 260 0 0 25 0 1 0 965352527 43737088 10136 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10678 10136 301 301 0 10377 0
vsize: 42712
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 13675 0 0 0 19716 283 0 0 25 0 1 0 965352527 44560384 10319 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10879 10319 301 301 0 10578 0
vsize: 43516
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 13833 0 0 0 20696 303 0 0 25 0 1 0 965352527 45232128 10477 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11043 10477 301 301 0 10742 0
vsize: 44172
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 13974 0 0 0 21678 321 0 0 25 0 1 0 965352527 45912064 10618 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11209 10618 301 301 0 10908 0
vsize: 44836
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14028 0 0 0 22658 341 0 0 25 0 1 0 965352527 46059520 10672 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11245 10672 301 301 0 10944 0
vsize: 44980
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14104 0 0 0 23635 364 0 0 25 0 1 0 965352527 46469120 10748 4294967295 134512640 135730672 3221224592 3221222816 134813858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11345 10748 301 301 0 11044 0
vsize: 45380
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14212 0 0 0 24620 379 0 0 25 0 1 0 965352527 46829568 10856 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11433 10856 301 301 0 11132 0
vsize: 45732
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14262 0 0 0 25599 400 0 0 25 0 1 0 965352527 47001600 10906 4294967295 134512640 135730672 3221224592 3221223248 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11475 10906 301 301 0 11174 0
vsize: 45900
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14306 0 0 0 26580 419 0 0 25 0 1 0 965352527 47165440 10950 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11515 10950 301 301 0 11214 0
vsize: 46060
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14364 0 0 0 27559 441 0 0 25 0 1 0 965352527 47419392 11008 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11577 11008 301 301 0 11276 0
vsize: 46308
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14403 0 0 0 28541 459 0 0 25 0 1 0 965352527 47525888 11047 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11603 11047 301 301 0 11302 0
vsize: 46412
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14438 0 0 0 29520 480 0 0 25 0 1 0 965352527 47648768 11082 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11633 11082 301 301 0 11332 0
vsize: 46532
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14507 0 0 0 30500 500 0 0 25 0 1 0 965352527 47935488 11151 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11703 11151 301 301 0 11402 0
vsize: 46812
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14548 0 0 0 31480 521 0 0 25 0 1 0 965352527 48099328 11192 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11743 11192 301 301 0 11442 0
vsize: 46972
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14567 0 0 0 32458 543 0 0 25 0 1 0 965352527 48156672 11211 4294967295 134512640 135730672 3221224592 3221223104 134745785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11757 11211 301 301 0 11456 0
vsize: 47028
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14623 0 0 0 33436 565 0 0 25 0 1 0 965352527 48369664 11267 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11809 11267 301 301 0 11508 0
vsize: 47236
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14683 0 0 0 34417 584 0 0 25 0 1 0 965352527 48599040 11327 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11865 11327 301 301 0 11564 0
vsize: 47460
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14825 0 0 0 35395 607 0 0 25 0 1 0 965352527 49225728 11469 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 11469 301 301 0 11717 0
vsize: 48072
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14849 0 0 0 36375 627 0 0 25 0 1 0 965352527 49307648 11493 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12038 11493 301 301 0 11737 0
vsize: 48152
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14862 0 0 0 37356 646 0 0 25 0 1 0 965352527 49340416 11506 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12046 11506 301 301 0 11745 0
vsize: 48184
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14870 0 0 0 38339 663 0 0 25 0 1 0 965352527 49340416 11514 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12046 11514 301 301 0 11745 0
vsize: 48184
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14878 0 0 0 39316 686 0 0 25 0 1 0 965352527 49373184 11522 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12054 11522 301 301 0 11753 0
vsize: 48216
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14917 0 0 0 40294 709 0 0 25 0 1 0 965352527 49520640 11561 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12090 11561 301 301 0 11789 0
vsize: 48360
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14934 0 0 0 41275 728 0 0 25 0 1 0 965352527 49569792 11578 4294967295 134512640 135730672 3221224592 3221223088 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12102 11578 301 301 0 11801 0
vsize: 48408
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 14980 0 0 0 42255 747 0 0 25 0 1 0 965352527 49750016 11624 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12146 11624 301 301 0 11845 0
vsize: 48584
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15002 0 0 0 43233 770 0 0 25 0 1 0 965352527 49823744 11646 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12164 11646 301 301 0 11863 0
vsize: 48656
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15032 0 0 0 44211 792 0 0 25 0 1 0 965352527 49930240 11676 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12190 11676 301 301 0 11889 0
vsize: 48760
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15058 0 0 0 45188 816 0 0 25 0 1 0 965352527 50020352 11702 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12212 11702 301 301 0 11911 0
vsize: 48848
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15078 0 0 0 46166 837 0 0 25 0 1 0 965352527 50085888 11722 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12228 11722 301 301 0 11927 0
vsize: 48912
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15084 0 0 0 47144 860 0 0 25 0 1 0 965352527 50085888 11728 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12228 11728 301 301 0 11927 0
vsize: 48912
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15098 0 0 0 48126 877 0 0 25 0 1 0 965352527 50135040 11742 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12240 11742 301 301 0 11939 0
vsize: 48960
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15145 0 0 0 49112 892 0 0 25 0 1 0 965352527 50323456 11789 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12286 11789 301 301 0 11985 0
vsize: 49144
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15192 0 0 0 50092 912 0 0 25 0 1 0 965352527 50601984 11836 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12354 11836 301 301 0 12053 0
vsize: 49416
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15231 0 0 0 51071 934 0 0 25 0 1 0 965352527 50683904 11875 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12374 11875 301 301 0 12073 0
vsize: 49496
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15235 0 0 0 52053 952 0 0 25 0 1 0 965352527 50683904 11879 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12374 11879 301 301 0 12073 0
vsize: 49496
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15247 0 0 0 53034 971 0 0 25 0 1 0 965352527 50716672 11891 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12382 11891 301 301 0 12081 0
vsize: 49528
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15277 0 0 0 54013 992 0 0 25 0 1 0 965352527 50946048 11921 4294967295 134512640 135730672 3221224592 3221223136 134740245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12438 11921 301 301 0 12137 0
vsize: 49752
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15338 0 0 0 54995 1010 0 0 25 0 1 0 965352527 51126272 11982 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12482 11982 301 301 0 12181 0
vsize: 49928
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15372 0 0 0 55980 1026 0 0 25 0 1 0 965352527 51224576 12016 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12506 12016 301 301 0 12205 0
vsize: 50024
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15376 0 0 0 56963 1043 0 0 25 0 1 0 965352527 51224576 12020 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12506 12020 301 301 0 12205 0
vsize: 50024
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15411 0 0 0 57945 1061 0 0 25 0 1 0 965352527 51363840 12055 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12540 12055 301 301 0 12239 0
vsize: 50160
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15470 0 0 0 58929 1077 0 0 25 0 1 0 965352527 51625984 12114 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12604 12114 301 301 0 12303 0
vsize: 50416
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15476 0 0 0 59914 1092 0 0 25 0 1 0 965352527 51625984 12120 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12604 12120 301 301 0 12303 0
vsize: 50416
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15512 0 0 0 60894 1112 0 0 25 0 1 0 965352527 51757056 12156 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12636 12156 301 301 0 12335 0
vsize: 50544
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15550 0 0 0 61870 1136 0 0 25 0 1 0 965352527 51904512 12194 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12672 12194 301 301 0 12371 0
vsize: 50688
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15562 0 0 0 62850 1157 0 0 25 0 1 0 965352527 51953664 12206 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12684 12206 301 301 0 12383 0
vsize: 50736
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15586 0 0 0 63830 1177 0 0 25 0 1 0 965352527 52035584 12230 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12704 12230 301 301 0 12403 0
vsize: 50816
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15685 0 0 0 64813 1194 0 0 25 0 1 0 965352527 52510720 12329 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 12329 301 301 0 12519 0
vsize: 51280
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15716 0 0 0 65794 1213 0 0 25 0 1 0 965352527 52625408 12360 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 12360 301 301 0 12547 0
vsize: 51392
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15730 0 0 0 66776 1231 0 0 25 0 1 0 965352527 52658176 12374 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12856 12374 301 301 0 12555 0
vsize: 51424
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15737 0 0 0 67756 1252 0 0 25 0 1 0 965352527 52658176 12381 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12856 12381 301 301 0 12555 0
vsize: 51424
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15782 0 0 0 68739 1269 0 0 25 0 1 0 965352527 52887552 12426 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12912 12426 301 301 0 12611 0
vsize: 51648
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15815 0 0 0 69717 1291 0 0 25 0 1 0 965352527 52969472 12459 4294967295 134512640 135730672 3221224592 3221222912 134732486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12932 12459 301 301 0 12631 0
vsize: 51728
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15819 0 0 0 70698 1310 0 0 25 0 1 0 965352527 52969472 12463 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12932 12463 301 301 0 12631 0
vsize: 51728
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15831 0 0 0 71681 1327 0 0 25 0 1 0 965352527 53002240 12475 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12940 12475 301 301 0 12639 0
vsize: 51760
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15847 0 0 0 72658 1350 0 0 25 0 1 0 965352527 53051392 12491 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12952 12491 301 301 0 12651 0
vsize: 51808
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15871 0 0 0 73638 1370 0 0 25 0 1 0 965352527 53133312 12515 4294967295 134512640 135730672 3221224592 3221223088 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12972 12515 301 301 0 12671 0
vsize: 51888
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15891 0 0 0 74620 1389 0 0 25 0 1 0 965352527 53198848 12535 4294967295 134512640 135730672 3221224592 3221223200 134744788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12988 12535 301 301 0 12687 0
vsize: 51952
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15923 0 0 0 75601 1409 0 0 25 0 1 0 965352527 53329920 12567 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13020 12567 301 301 0 12719 0
vsize: 52080
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15927 0 0 0 76584 1425 0 0 25 0 1 0 965352527 53329920 12571 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13020 12571 301 301 0 12719 0
vsize: 52080
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15964 0 0 0 77566 1443 0 0 25 0 1 0 965352527 53460992 12608 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13052 12608 301 301 0 12751 0
vsize: 52208
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 15975 0 0 0 78550 1460 0 0 25 0 1 0 965352527 53493760 12619 4294967295 134512640 135730672 3221224592 3221223200 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13060 12619 301 301 0 12759 0
vsize: 52240
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16034 0 0 0 79537 1473 0 0 25 0 1 0 965352527 53723136 12678 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13116 12678 301 301 0 12815 0
vsize: 52464
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16065 0 0 0 80517 1493 0 0 25 0 1 0 965352527 53870592 12709 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13152 12709 301 301 0 12851 0
vsize: 52608
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16106 0 0 0 81492 1519 0 0 25 0 1 0 965352527 53968896 12750 4294967295 134512640 135730672 3221224592 3221223040 134730515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13176 12750 301 301 0 12875 0
vsize: 52704
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16154 0 0 0 82469 1541 0 0 25 0 1 0 965352527 54247424 12798 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13244 12798 301 301 0 12943 0
vsize: 52976
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16192 0 0 0 83448 1562 0 0 25 0 1 0 965352527 54312960 12836 4294967295 134512640 135730672 3221224592 3221223200 134744459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13260 12836 301 301 0 12959 0
vsize: 53040
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16207 0 0 0 84431 1580 0 0 25 0 1 0 965352527 54362112 12851 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13272 12851 301 301 0 12971 0
vsize: 53088
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16211 0 0 0 85414 1597 0 0 25 0 1 0 965352527 54362112 12855 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13272 12855 301 301 0 12971 0
vsize: 53088
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16219 0 0 0 86397 1614 0 0 25 0 1 0 965352527 54378496 12863 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13276 12863 301 301 0 12975 0
vsize: 53104
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16272 0 0 0 87380 1632 0 0 25 0 1 0 965352527 54591488 12916 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13328 12916 301 301 0 13027 0
vsize: 53312
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16277 0 0 0 88363 1649 0 0 25 0 1 0 965352527 54591488 12921 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13328 12921 301 301 0 13027 0
vsize: 53312
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16302 0 0 0 89347 1665 0 0 25 0 1 0 965352527 54673408 12946 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13348 12946 301 301 0 13047 0
vsize: 53392
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16335 0 0 0 90326 1686 0 0 25 0 1 0 965352527 54804480 12979 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13380 12979 301 301 0 13079 0
vsize: 53520
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16347 0 0 0 91306 1706 0 0 25 0 1 0 965352527 54837248 12991 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13388 12991 301 301 0 13087 0
vsize: 53552
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 16351 0 0 0 92288 1724 0 0 25 0 1 0 965352527 54837248 12995 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13388 12995 301 301 0 13087 0
vsize: 53552
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19444 0 0 0 93265 1748 0 0 25 0 1 0 965352527 67485696 13015 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16476 13015 301 301 0 16175 0
vsize: 65904
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19447 0 0 0 94247 1766 0 0 25 0 1 0 965352527 67485696 13018 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16476 13018 301 301 0 16175 0
vsize: 65904
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19459 0 0 0 95232 1781 0 0 25 0 1 0 965352527 67518464 13030 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16484 13030 301 301 0 16183 0
vsize: 65936
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19462 0 0 0 96215 1798 0 0 25 0 1 0 965352527 67518464 13033 4294967295 134512640 135730672 3221224592 3221223216 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16484 13033 301 301 0 16183 0
vsize: 65936
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19466 0 0 0 97198 1816 0 0 25 0 1 0 965352527 67518464 13037 4294967295 134512640 135730672 3221224592 3221223200 134744872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16484 13037 301 301 0 16183 0
vsize: 65936
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19490 0 0 0 98178 1835 0 0 25 0 1 0 965352527 67600384 13061 4294967295 134512640 135730672 3221224592 3221223200 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16504 13061 301 301 0 16203 0
vsize: 66016
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19502 0 0 0 99159 1855 0 0 25 0 1 0 965352527 67633152 13073 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16512 13073 301 301 0 16211 0
vsize: 66048
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19597 0 0 0 100142 1872 0 0 25 0 1 0 965352527 68108288 13168 4294967295 134512640 135730672 3221224592 3221222912 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16628 13168 301 301 0 16327 0
vsize: 66512
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19634 0 0 0 101123 1891 0 0 25 0 1 0 965352527 68173824 13205 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16644 13205 301 301 0 16343 0
vsize: 66576
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19648 0 0 0 102111 1903 0 0 25 0 1 0 965352527 68206592 13219 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16652 13219 301 301 0 16351 0
vsize: 66608
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19671 0 0 0 103097 1917 0 0 25 0 1 0 965352527 68288512 13242 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16672 13242 301 301 0 16371 0
vsize: 66688
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19675 0 0 0 104083 1932 0 0 25 0 1 0 965352527 68288512 13246 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16672 13246 301 301 0 16371 0
vsize: 66688
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19714 0 0 0 105061 1955 0 0 25 0 1 0 965352527 68435968 13285 4294967295 134512640 135730672 3221224592 3221223200 134744785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16708 13285 301 301 0 16407 0
vsize: 66832
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19747 0 0 0 106042 1973 0 0 25 0 1 0 965352527 68550656 13318 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16736 13318 301 301 0 16435 0
vsize: 66944
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19772 0 0 0 107019 1997 0 0 25 0 1 0 965352527 68616192 13343 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16752 13343 301 301 0 16451 0
vsize: 67008
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19805 0 0 0 107998 2017 0 0 25 0 1 0 965352527 68747264 13376 4294967295 134512640 135730672 3221224592 3221223088 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16784 13376 301 301 0 16483 0
vsize: 67136
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19813 0 0 0 108978 2038 0 0 25 0 1 0 965352527 68763648 13384 4294967295 134512640 135730672 3221224592 3221223200 134744450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16788 13384 301 301 0 16487 0
vsize: 67152
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19833 0 0 0 109959 2057 0 0 25 0 1 0 965352527 68829184 13404 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16804 13404 301 301 0 16503 0
vsize: 67216
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19837 0 0 0 110942 2074 0 0 25 0 1 0 965352527 68829184 13408 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16804 13408 301 301 0 16503 0
vsize: 67216
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19841 0 0 0 111924 2092 0 0 25 0 1 0 965352527 68829184 13412 4294967295 134512640 135730672 3221224592 3221223200 134744459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16804 13412 301 301 0 16503 0
vsize: 67216
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19849 0 0 0 112906 2110 0 0 25 0 1 0 965352527 68845568 13420 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16808 13420 301 301 0 16507 0
vsize: 67232
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19853 0 0 0 113887 2130 0 0 25 0 1 0 965352527 68845568 13424 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16808 13424 301 301 0 16507 0
vsize: 67232
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19857 0 0 0 114867 2150 0 0 25 0 1 0 965352527 68845568 13428 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16808 13428 301 301 0 16507 0
vsize: 67232
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19869 0 0 0 115848 2169 0 0 25 0 1 0 965352527 68878336 13440 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16816 13440 301 301 0 16515 0
vsize: 67264
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19892 0 0 0 116832 2185 0 0 25 0 1 0 965352527 68960256 13463 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16836 13463 301 301 0 16535 0
vsize: 67344
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4046
Raw data (stat): 4046 (pb2sat-v2) R 4045 7266 7265 0 -1 0 19919 0 0 0 117815 2203 0 0 25 0 1 0 965352527 69058560 13490 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16860 13490 301 301 0 16559 0
vsize: 67440
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4046
Raw data (stat): 4046 (pb2sat-v2) Z 4045 7266 7265 0 -1 12 19921 0 0 0 117828 2205 0 0 25 0 1 0 965352527 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.19
CPU time (s): 1200.34
CPU user time (s): 1178.28
CPU system time (s): 22.0596
CPU usage (%): 100.012
Max. virtual memory (Kb): 67440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####