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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM	85cf0fb6ed84e77eea7ef88259fe2fe8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	16.5575
Number of variables	4644
Total number of constraints	35898
Number of constraints which are clauses	30228
Number of constraints which are cardinality constraints (but not clauses)	5592
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 35058

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-28 11:49:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24287 boxname=wulflinc22 idbench=361 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  85cf0fb6ed84e77eea7ef88259fe2fe8  /oldhome/oroussel/tmp/wulflinc22/normalized-ppp:3-13,25,26.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-ppp:3-13,25,26.opb
IDLAUNCH: 24287
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        912236 kB
Buffers:         32956 kB
Cached:          58596 kB
SwapCached:        384 kB
Active:          52064 kB
Inactive:        49404 kB
HighTotal:      131008 kB
HighFree:        72912 kB
LowTotal:       903652 kB
LowFree:        839324 kB
SwapTotal:     2097892 kB
SwapFree:      2096800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            15420 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:09:32 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 24287 7 1200.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 7830/28776	Time: 28.5077/86400
Decision: 7830/28776	Time: 32.84/86400
Decision: 7830/28776	Time: 37.4283/86400
Decision: 7830/28776	Time: 41.9886/86400
Decision: 7830/28776	Time: 46.9809/86400
Decision: 7830/28776	Time: 52.0951/86400
Decision: 7830/28776	Time: 57.9062/86400
Decision: 7830/28776	Time: 63.5693/86400
Decision: 7830/28776	Time: 68.6036/86400
Decision: 7830/28776	Time: 73.2589/86400
Decision: 7830/28776	Time: 78.779/86400
Decision: 7830/28776	Time: 84.0072/86400
Decision: 7830/28776	Time: 89.3144/86400
Decision: 7830/28776	Time: 94.4096/86400
Decision: 7830/28776	Time: 99.9548/86400
Decision: 7830/28776	Time: 105.322/86400
Decision: 7830/28776	Time: 110.975/86400
Decision: 7830/28776	Time: 116.317/86400
Decision: 7830/28776	Time: 121.26/86400
Decision: 7830/28776	Time: 126.884/86400
Decision: 7830/28776	Time: 132.221/86400
Decision: 7830/28776	Time: 137.196/86400
Decision: 7830/28776	Time: 142.758/86400
Decision: 7830/28776	Time: 149.874/86400
Decision: 7830/28776	Time: 156.101/86400
Decision: 7830/28776	Time: 162.454/86400
Decision: 7830/28776	Time: 168.533/86400
Decision: 7830/28776	Time: 174.895/86400
Decision: 7830/28776	Time: 180.986/86400
Decision: 7830/28776	Time: 186.92/86400
Decision: 7830/28776	Time: 194.429/86400
Decision: 7830/28776	Time: 200.789/86400
Decision: 7830/28776	Time: 207.315/86400
Decision: 7830/28776	Time: 215.052/86400
Decision: 7830/28776	Time: 222.212/86400
Decision: 7830/28776	Time: 229.187/86400
Decision: 7830/28776	Time: 235.627/86400
Decision: 7830/28776	Time: 241.434/86400
Decision: 7830/28776	Time: 247.874/86400
Decision: 7830/28776	Time: 253.471/86400
Decision: 7830/28776	Time: 259.664/86400
Decision: 7830/28776	Time: 264.64/86400
Decision: 7830/28776	Time: 271.009/86400
Decision: 7830/28776	Time: 276.444/86400
Decision: 7830/28776	Time: 283.493/86400
Decision: 7830/28776	Time: 290.228/86400
Decision: 7830/28776	Time: 296.547/86400
Decision: 7830/28776	Time: 302.962/86400
Decision: 7830/28776	Time: 309.309/86400
Decision: 7830/28776	Time: 315.798/86400
Decision: 7830/28776	Time: 322.366/86400
Decision: 7830/28776	Time: 329.636/86400
Decision: 7830/28776	Time: 336.975/86400
Decision: 7830/28776	Time: 343.155/86400
Decision: 7830/28776	Time: 349.924/86400
Decision: 7830/28776	Time: 357.918/86400
Decision: 7830/28776	Time: 365.324/86400
Decision: 7830/28776	Time: 372.703/86400
Decision: 7830/28776	Time: 379.986/86400
Decision: 7830/28776	Time: 387.812/86400
Decision: 7830/28776	Time: 396.036/86400
Decision: 7830/28776	Time: 403.301/86400
Decision: 7830/28776	Time: 410.63/86400
Decision: 7830/28776	Time: 418.979/86400
Decision: 7830/28776	Time: 426.683/86400
Decision: 7830/28776	Time: 434.475/86400
Decision: 7830/28776	Time: 442.399/86400
Decision: 7830/28776	Time: 449.931/86400
Decision: 7830/28776	Time: 457.454/86400
Decision: 7830/28776	Time: 465.254/86400
Decision: 7830/28776	Time: 471.774/86400
Decision: 7830/28776	Time: 479.857/86400
Decision: 7830/28776	Time: 488.507/86400
Decision: 7830/28776	Time: 497.181/86400
Decision: 7830/28776	Time: 505.889/86400
Decision: 7830/28776	Time: 514.346/86400
Decision: 7830/28776	Time: 522.043/86400
Decision: 7830/28776	Time: 530.292/86400
Decision: 7830/28776	Time: 537.812/86400
Decision: 7830/28776	Time: 546.238/86400
Decision: 7830/28776	Time: 554.244/86400
Decision: 7830/28776	Time: 562.76/86400
Decision: 7830/28776	Time: 571.531/86400
Decision: 7830/28776	Time: 579.9/86400
Decision: 7830/28776	Time: 588.209/86400
Decision: 7830/28776	Time: 596.572/86400
Decision: 7830/28776	Time: 606.378/86400
Decision: 7830/28776	Time: 615.432/86400
Decision: 7830/28776	Time: 622.4/86400
Decision: 7830/28776	Time: 630.444/86400
Decision: 7830/28776	Time: 637.715/86400
Decision: 7830/28776	Time: 644.934/86400
Decision: 7830/28776	Time: 651.954/86400
Decision: 7830/28776	Time: 660.652/86400
Decision: 7830/28776	Time: 668.78/86400
Decision: 7830/28776	Time: 676.307/86400
Decision: 7830/28776	Time: 683.104/86400
Decision: 7830/28776	Time: 691/86400
Decision: 7830/28776	Time: 698.65/86400
Decision: 7830/28776	Time: 706.41/86400
Decision: 7830/28776	Time: 715.237/86400
Decision: 7830/28776	Time: 723.217/86400
Decision: 7830/28776	Time: 731.053/86400
Decision: 7830/28776	Time: 739.187/86400
Decision: 7830/28776	Time: 748.494/86400
Decision: 7830/28776	Time: 757.387/86400
Decision: 7830/28776	Time: 767.366/86400
Decision: 7830/28776	Time: 774.027/86400
Decision: 7830/28776	Time: 781.238/86400
Decision: 7830/28776	Time: 789.546/86400
Decision: 7830/28776	Time: 798.014/86400
Decision: 7830/28776	Time: 805.856/86400
Decision: 7830/28776	Time: 815.124/86400
Decision: 7830/28776	Time: 825.478/86400
Decision: 7830/28776	Time: 833.646/86400
Decision: 7830/28776	Time: 842.566/86400
Decision: 7830/28776	Time: 852.586/86400
Decision: 7830/28776	Time: 863.546/86400
Decision: 7830/28776	Time: 872.779/86400
Decision: 7830/28776	Time: 882.642/86400
Decision: 7830/28776	Time: 893.647/86400
Decision: 7830/28776	Time: 903.3/86400
Decision: 7830/28776	Time: 912.722/86400
Decision: 7830/28776	Time: 921.738/86400
Decision: 7830/28776	Time: 931.627/86400
Decision: 7830/28776	Time: 944.756/86400
Decision: 7830/28776	Time: 955.66/86400
Decision: 7830/28776	Time: 966.613/86400
Decision: 7830/28776	Time: 976.645/86400
Decision: 7830/28776	Time: 985.812/86400
Decision: 7830/28776	Time: 996.142/86400
Decision: 7830/28776	Time: 1006.31/86400
Decision: 7830/28776	Time: 1015.61/86400
Decision: 7830/28776	Time: 1026.98/86400
Decision: 7830/28776	Time: 1037.5/86400
Decision: 7830/28776	Time: 1047.12/86400
Decision: 7830/28776	Time: 1057.65/86400
Decision: 7830/28776	Time: 1068.98/86400
Decision: 7830/28776	Time: 1080.51/86400
Decision: 7830/28776	Time: 1090.85/86400
Decision: 7830/28776	Time: 1102.29/86400
Decision: 7830/28776	Time: 1110.81/86400
Decision: 7830/28776	Time: 1122.29/86400
Decision: 7830/28776	Time: 1134.25/86400
Decision: 7830/28776	Time: 1144.76/86400
Decision: 7830/28776	Time: 1154.96/86400
Decision: 7830/28776	Time: 1166.1/86400
Decision: 7830/28776	Time: 1178.37/86400
Decision: 7830/28776	Time: 1187.18/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.90 0.95 0.90 2/54 32373
Raw data (stat): 32373 (runsolver) R 32372 23310 23309 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864569441 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 4233 0 0 0 984 14 0 0 25 0 1 0 864569441 13062144 2850 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3189 2850 300 300 0 2889 0
vsize: 12756
[startup+20.0006 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 4405 0 0 0 1979 19 0 0 25 0 1 0 864569441 15564800 3022 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3800 3022 300 300 0 3500 0
vsize: 15200
[startup+30.001 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 4539 0 0 0 2973 26 0 0 25 0 1 0 864569441 15835136 3156 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3866 3156 300 300 0 3566 0
vsize: 15464
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 4726 0 0 0 3966 33 0 0 25 0 1 0 864569441 15970304 3229 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3899 3229 300 300 0 3599 0
vsize: 15596
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 4819 0 0 0 4960 39 0 0 25 0 1 0 864569441 16101376 3265 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3931 3265 300 300 0 3631 0
vsize: 15724
[startup+60.0022 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 5004 0 0 0 5953 45 0 0 25 0 1 0 864569441 16236544 3336 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3964 3336 300 300 0 3664 0
vsize: 15856
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 5160 0 0 0 6948 51 0 0 25 0 1 0 864569441 16371712 3378 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3997 3378 300 300 0 3697 0
vsize: 15988
[startup+80.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 5325 0 0 0 7942 57 0 0 25 0 1 0 864569441 16371712 3429 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3997 3429 300 300 0 3697 0
vsize: 15988
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 5482 0 0 0 8936 64 0 0 25 0 1 0 864569441 16506880 3472 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4030 3472 300 300 0 3730 0
vsize: 16120
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 5624 0 0 0 9929 70 0 0 25 0 1 0 864569441 16637952 3500 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4062 3500 300 300 0 3762 0
vsize: 16248
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 6566 0 0 0 10922 77 0 0 25 0 1 0 864569441 19918848 3559 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4863 3559 300 300 0 4563 0
vsize: 19452
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 6659 0 0 0 11916 84 0 0 25 0 1 0 864569441 19918848 3595 4294967295 134512640 135726644 3221224592 3221223104 134742913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4863 3595 300 300 0 4563 0
vsize: 19452
[startup+130.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 6860 0 0 0 12909 91 0 0 25 0 1 0 864569441 20054016 3682 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4896 3682 300 300 0 4596 0
vsize: 19584
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 6979 0 0 0 13903 97 0 0 25 0 1 0 864569441 20189184 3744 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4929 3744 300 300 0 4629 0
vsize: 19716
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 7137 0 0 0 14897 103 0 0 25 0 1 0 864569441 20324352 3788 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4962 3788 300 300 0 4662 0
vsize: 19848
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 7303 0 0 0 15891 110 0 0 25 0 1 0 864569441 20459520 3840 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4995 3840 300 300 0 4695 0
vsize: 19980
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 7418 0 0 0 16885 115 0 0 25 0 1 0 864569441 20459520 3898 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4995 3898 300 300 0 4695 0
vsize: 19980
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 7555 0 0 0 17880 121 0 0 25 0 1 0 864569441 20590592 3921 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5027 3921 300 300 0 4727 0
vsize: 20108
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 7663 0 0 0 18874 127 0 0 25 0 1 0 864569441 20725760 3972 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5060 3972 300 300 0 4760 0
vsize: 20240
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 7835 0 0 0 19870 132 0 0 25 0 1 0 864569441 20725760 4030 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5060 4030 300 300 0 4760 0
vsize: 20240
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 7913 0 0 0 20865 136 0 0 25 0 1 0 864569441 20860928 4051 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5093 4051 300 300 0 4793 0
vsize: 20372
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 8051 0 0 0 21860 142 0 0 25 0 1 0 864569441 20860928 4075 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5093 4075 300 300 0 4793 0
vsize: 20372
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 8144 0 0 0 22853 148 0 0 25 0 1 0 864569441 20996096 4111 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5126 4111 300 300 0 4826 0
vsize: 20504
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 8293 0 0 0 23849 152 0 0 25 0 1 0 864569441 20996096 4146 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5126 4146 300 300 0 4826 0
vsize: 20504
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 8384 0 0 0 24844 157 0 0 25 0 1 0 864569441 21131264 4180 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5159 4180 300 300 0 4859 0
vsize: 20636
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 8571 0 0 0 25839 163 0 0 25 0 1 0 864569441 21266432 4253 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5192 4253 300 300 0 4892 0
vsize: 20768
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 8736 0 0 0 26835 168 0 0 25 0 1 0 864569441 21405696 4304 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5226 4304 300 300 0 4926 0
vsize: 20904
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 8826 0 0 0 27829 173 0 0 25 0 1 0 864569441 21405696 4337 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5226 4337 300 300 0 4926 0
vsize: 20904
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 8973 0 0 0 28824 178 0 0 25 0 1 0 864569441 25735168 4370 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6283 4370 300 300 0 5983 0
vsize: 25132
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 9072 0 0 0 29819 183 0 0 25 0 1 0 864569441 25735168 4412 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6283 4412 300 300 0 5983 0
vsize: 25132
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 9211 0 0 0 30814 189 0 0 25 0 1 0 864569441 25870336 4437 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6316 4437 300 300 0 6016 0
vsize: 25264
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 9376 0 0 0 31809 194 0 0 25 0 1 0 864569441 26005504 4488 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6349 4488 300 300 0 6049 0
vsize: 25396
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 9486 0 0 0 32804 199 0 0 25 0 1 0 864569441 26005504 4541 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6349 4541 300 300 0 6049 0
vsize: 25396
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 9569 0 0 0 33800 203 0 0 25 0 1 0 864569441 26140672 4567 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6382 4567 300 300 0 6082 0
vsize: 25528
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 9743 0 0 0 34795 209 0 0 25 0 1 0 864569441 26140672 4627 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6382 4627 300 300 0 6082 0
vsize: 25528
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 9870 0 0 0 35792 212 0 0 25 0 1 0 864569441 26275840 4697 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6415 4697 300 300 0 6115 0
vsize: 25660
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10012 0 0 0 36788 216 0 0 25 0 1 0 864569441 26411008 4725 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6448 4725 300 300 0 6148 0
vsize: 25792
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10090 0 0 0 37784 221 0 0 25 0 1 0 864569441 26411008 4746 4294967295 134512640 135726644 3221224592 3221223248 134731253 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6448 4746 300 300 0 6148 0
vsize: 25792
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10198 0 0 0 38780 225 0 0 25 0 1 0 864569441 26411008 4797 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6448 4797 300 300 0 6148 0
vsize: 25792
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10371 0 0 0 39775 229 0 0 25 0 1 0 864569441 26546176 4856 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6481 4856 300 300 0 6181 0
vsize: 25924
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10451 0 0 0 40771 233 0 0 25 0 1 0 864569441 26681344 4879 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6514 4879 300 300 0 6214 0
vsize: 26056
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10527 0 0 0 41767 238 0 0 25 0 1 0 864569441 26681344 4898 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6514 4898 300 300 0 6214 0
vsize: 26056
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10606 0 0 0 42763 242 0 0 25 0 1 0 864569441 26681344 4920 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6514 4920 300 300 0 6214 0
vsize: 26056
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10763 0 0 0 43757 248 0 0 25 0 1 0 864569441 26816512 4963 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6547 4963 300 300 0 6247 0
vsize: 26188
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10838 0 0 0 44753 253 0 0 25 0 1 0 864569441 26816512 4981 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6547 4981 300 300 0 6247 0
vsize: 26188
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 10916 0 0 0 45749 257 0 0 25 0 1 0 864569441 26951680 5002 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6580 5002 300 300 0 6280 0
vsize: 26320
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11049 0 0 0 46744 262 0 0 25 0 1 0 864569441 26951680 5021 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6580 5021 300 300 0 6280 0
vsize: 26320
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11147 0 0 0 47740 266 0 0 25 0 1 0 864569441 26951680 5062 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6580 5062 300 300 0 6280 0
vsize: 26320
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11223 0 0 0 48736 270 0 0 25 0 1 0 864569441 27086848 5081 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6613 5081 300 300 0 6313 0
vsize: 26452
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11304 0 0 0 49731 275 0 0 25 0 1 0 864569441 27086848 5105 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6613 5105 300 300 0 6313 0
vsize: 26452
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11441 0 0 0 50727 280 0 0 25 0 1 0 864569441 27222016 5128 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6646 5128 300 300 0 6346 0
vsize: 26584
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11543 0 0 0 51722 284 0 0 25 0 1 0 864569441 27222016 5173 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6646 5173 300 300 0 6346 0
vsize: 26584
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11615 0 0 0 52718 289 0 0 25 0 1 0 864569441 27222016 5188 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6646 5188 300 300 0 6346 0
vsize: 26584
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11691 0 0 0 53715 292 0 0 25 0 1 0 864569441 27357184 5207 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6679 5207 300 300 0 6379 0
vsize: 26716
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11861 0 0 0 54711 296 0 0 25 0 1 0 864569441 27357184 5263 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6679 5263 300 300 0 6379 0
vsize: 26716
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 11965 0 0 0 55707 301 0 0 25 0 1 0 864569441 27492352 5310 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6712 5310 300 300 0 6412 0
vsize: 26848
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12041 0 0 0 56702 306 0 0 25 0 1 0 864569441 27492352 5329 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6712 5329 300 300 0 6412 0
vsize: 26848
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12115 0 0 0 57699 309 0 0 25 0 1 0 864569441 27492352 5346 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6712 5346 300 300 0 6412 0
vsize: 26848
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12207 0 0 0 58696 312 0 0 25 0 1 0 864569441 27623424 5381 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6744 5381 300 300 0 6444 0
vsize: 26976
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12325 0 0 0 59692 316 0 0 25 0 1 0 864569441 27623424 5442 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6744 5442 300 300 0 6444 0
vsize: 26976
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12392 0 0 0 60688 321 0 0 25 0 1 0 864569441 27758592 5452 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6777 5452 300 300 0 6477 0
vsize: 27108
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12522 0 0 0 61683 325 0 0 25 0 1 0 864569441 27758592 5468 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6777 5468 300 300 0 6477 0
vsize: 27108
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32373
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12597 0 0 0 62680 329 0 0 25 0 1 0 864569441 27758592 5486 4294967295 134512640 135726644 3221224592 3221223200 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6777 5486 300 300 0 6477 0
vsize: 27108
[startup+640.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/58 32416
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12679 0 0 0 63658 350 0 0 25 0 1 0 864569441 27889664 5511 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6809 5511 300 300 0 6509 0
vsize: 27236
[startup+650.011 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 32426
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12813 0 0 0 64647 361 0 0 25 0 1 0 864569441 27889664 5531 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6809 5531 300 300 0 6509 0
vsize: 27236
[startup+660.012 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 32426
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 12892 0 0 0 65644 365 0 0 25 0 1 0 864569441 28024832 5553 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6842 5553 300 300 0 6542 0
vsize: 27368
[startup+670.012 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 32426
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13005 0 0 0 66640 368 0 0 25 0 1 0 864569441 28024832 5609 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6842 5609 300 300 0 6542 0
vsize: 27368
[startup+680.012 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 32426
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13188 0 0 0 67636 372 0 0 25 0 1 0 864569441 28160000 5678 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6875 5678 300 300 0 6575 0
vsize: 27500
[startup+690.012 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 32426
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13274 0 0 0 68632 377 0 0 25 0 1 0 864569441 28291072 5707 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6907 5707 300 300 0 6607 0
vsize: 27628
[startup+700.011 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 32426
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13363 0 0 0 69628 381 0 0 25 0 1 0 864569441 28291072 5739 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6907 5739 300 300 0 6607 0
vsize: 27628
[startup+710.012 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13485 0 0 0 70624 385 0 0 25 0 1 0 864569441 28430336 5804 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6941 5804 300 300 0 6641 0
vsize: 27764
[startup+720.011 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13651 0 0 0 71620 389 0 0 25 0 1 0 864569441 28430336 5856 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6941 5856 300 300 0 6641 0
vsize: 27764
[startup+730.012 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13726 0 0 0 72616 394 0 0 25 0 1 0 864569441 28569600 5874 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6975 5874 300 300 0 6675 0
vsize: 27900
[startup+740.012 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13809 0 0 0 73612 398 0 0 25 0 1 0 864569441 28569600 5900 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6975 5900 300 300 0 6675 0
vsize: 27900
[startup+750.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13886 0 0 0 74609 401 0 0 25 0 1 0 864569441 28704768 5920 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7008 5920 300 300 0 6708 0
vsize: 28032
[startup+760.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 13964 0 0 0 75605 406 0 0 25 0 1 0 864569441 28704768 5941 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7008 5941 300 300 0 6708 0
vsize: 28032
[startup+770.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 14037 0 0 0 76601 410 0 0 25 0 1 0 864569441 28704768 5957 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7008 5957 300 300 0 6708 0
vsize: 28032
[startup+780.012 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 14167 0 0 0 77596 414 0 0 25 0 1 0 864569441 28839936 5973 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7041 5973 300 300 0 6741 0
vsize: 28164
[startup+790.012 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 14250 0 0 0 78593 417 0 0 25 0 1 0 864569441 28839936 5999 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7041 5999 300 300 0 6741 0
vsize: 28164
[startup+800.012 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 14363 0 0 0 79589 421 0 0 25 0 1 0 864569441 28975104 6055 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7074 6055 300 300 0 6774 0
vsize: 28296
[startup+810.013 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 14503 0 0 0 80587 424 0 0 25 0 1 0 864569441 28975104 6081 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7074 6081 300 300 0 6774 0
vsize: 28296
[startup+820.012 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 14587 0 0 0 81584 428 0 0 25 0 1 0 864569441 29114368 6108 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7108 6108 300 300 0 6808 0
vsize: 28432
[startup+830.012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 14703 0 0 0 82580 431 0 0 25 0 1 0 864569441 29253632 6167 4294967295 134512640 135726644 3221224592 3221223088 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7142 6167 300 300 0 6842 0
vsize: 28568
[startup+840.013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 14819 0 0 0 83577 435 0 0 25 0 1 0 864569441 29253632 6226 4294967295 134512640 135726644 3221224592 3221223088 134744362 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7142 6226 300 300 0 6842 0
vsize: 28568
[startup+850.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 14921 0 0 0 84574 438 0 0 25 0 1 0 864569441 29253632 6271 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7142 6271 300 300 0 6842 0
vsize: 28568
[startup+860.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15003 0 0 0 85570 442 0 0 25 0 1 0 864569441 29392896 6296 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7176 6296 300 300 0 6876 0
vsize: 28704
[startup+870.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15080 0 0 0 86567 445 0 0 25 0 1 0 864569441 29392896 6316 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7176 6316 300 300 0 6876 0
vsize: 28704
[startup+880.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15160 0 0 0 87564 448 0 0 25 0 1 0 864569441 29528064 6339 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7209 6339 300 300 0 6909 0
vsize: 28836
[startup+890.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15272 0 0 0 88561 452 0 0 25 0 1 0 864569441 29528064 6394 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7209 6394 300 300 0 6909 0
vsize: 28836
[startup+900.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15365 0 0 0 89557 456 0 0 25 0 1 0 864569441 29667328 6430 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7243 6430 300 300 0 6943 0
vsize: 28972
[startup+910.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15382 0 0 0 90553 459 0 0 25 0 1 0 864569441 29667328 6447 4294967295 134512640 135726644 3221224592 3221223088 134744339 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7243 6447 300 300 0 6943 0
vsize: 28972
[startup+920.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15451 0 0 0 91550 462 0 0 25 0 1 0 864569441 29667328 6459 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7243 6459 300 300 0 6943 0
vsize: 28972
[startup+930.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15528 0 0 0 92546 467 0 0 25 0 1 0 864569441 29802496 6479 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7276 6479 300 300 0 6976 0
vsize: 29104
[startup+940.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15600 0 0 0 93544 469 0 0 25 0 1 0 864569441 29802496 6494 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7276 6494 300 300 0 6976 0
vsize: 29104
[startup+950.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15672 0 0 0 94539 474 0 0 25 0 1 0 864569441 29937664 6509 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7309 6509 300 300 0 7009 0
vsize: 29236
[startup+960.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15743 0 0 0 95536 478 0 0 25 0 1 0 864569441 29937664 6523 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7309 6523 300 300 0 7009 0
vsize: 29236
[startup+970.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15756 0 0 0 96532 482 0 0 25 0 1 0 864569441 29937664 6536 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7309 6536 300 300 0 7009 0
vsize: 29236
[startup+980.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15824 0 0 0 97528 486 0 0 25 0 1 0 864569441 29937664 6547 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7309 6547 300 300 0 7009 0
vsize: 29236
[startup+990.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 15951 0 0 0 98525 489 0 0 25 0 1 0 864569441 30072832 6560 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7342 6560 300 300 0 7042 0
vsize: 29368
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32428
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16048 0 0 0 99522 492 0 0 25 0 1 0 864569441 30072832 6600 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7342 6600 300 300 0 7042 0
vsize: 29368
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16118 0 0 0 100519 495 0 0 25 0 1 0 864569441 30072832 6613 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7342 6613 300 300 0 7042 0
vsize: 29368
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16195 0 0 0 101515 499 0 0 25 0 1 0 864569441 30208000 6633 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7375 6633 300 300 0 7075 0
vsize: 29500
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16204 0 0 0 102512 502 0 0 25 0 1 0 864569441 30208000 6642 4294967295 134512640 135726644 3221224592 3221223200 134740863 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7375 6642 300 300 0 7075 0
vsize: 29500
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16315 0 0 0 103507 507 0 0 25 0 1 0 864569441 30355456 6696 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7411 6696 300 300 0 7111 0
vsize: 29644
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16431 0 0 0 104504 512 0 0 25 0 1 0 864569441 30355456 6755 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7411 6755 300 300 0 7111 0
vsize: 29644
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16501 0 0 0 105501 515 0 0 25 0 1 0 864569441 30355456 6768 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7411 6768 300 300 0 7111 0
vsize: 29644
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16567 0 0 0 106498 518 0 0 25 0 1 0 864569441 30355456 6777 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7411 6777 300 300 0 7111 0
vsize: 29644
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16635 0 0 0 107494 522 0 0 25 0 1 0 864569441 30494720 6788 4294967295 134512640 135726644 3221224592 3221223088 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7445 6788 300 300 0 7145 0
vsize: 29780
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16702 0 0 0 108490 527 0 0 25 0 1 0 864569441 30494720 6798 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7445 6798 300 300 0 7145 0
vsize: 29780
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16769 0 0 0 109486 530 0 0 25 0 1 0 864569441 30494720 6808 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7445 6808 300 300 0 7145 0
vsize: 29780
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16844 0 0 0 110483 533 0 0 25 0 1 0 864569441 30494720 6826 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7445 6826 300 300 0 7145 0
vsize: 29780
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16864 0 0 0 111480 536 0 0 25 0 1 0 864569441 30642176 6846 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7481 6846 300 300 0 7181 0
vsize: 29924
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 16936 0 0 0 112477 540 0 0 25 0 1 0 864569441 30642176 6861 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7481 6861 300 300 0 7181 0
vsize: 29924
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 17011 0 0 0 113473 544 0 0 25 0 1 0 864569441 30642176 6879 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7481 6879 300 300 0 7181 0
vsize: 29924
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 17111 0 0 0 114469 548 0 0 25 0 1 0 864569441 30781440 6922 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7515 6922 300 300 0 7215 0
vsize: 30060
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 17212 0 0 0 115466 552 0 0 25 0 1 0 864569441 30781440 6966 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7515 6966 300 300 0 7215 0
vsize: 30060
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 17279 0 0 0 116463 555 0 0 25 0 1 0 864569441 30781440 6976 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7515 6976 300 300 0 7215 0
vsize: 30060
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 17288 0 0 0 117459 558 0 0 25 0 1 0 864569441 30781440 6985 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7515 6985 300 300 0 7215 0
vsize: 30060
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 17359 0 0 0 118456 562 0 0 25 0 1 0 864569441 30916608 6999 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7548 6999 300 300 0 7248 0
vsize: 30192
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32430
Raw data (stat): 32373 (pb2sat) R 32372 23310 23309 0 -1 0 17434 0 0 0 119453 565 0 0 25 0 1 0 864569441 30916608 7017 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7548 7017 300 300 0 7248 0
vsize: 30192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 32430
Raw data (stat): 32373 (pb2sat) Z 32372 23310 23309 0 -1 12 17435 0 0 0 119465 567 0 0 25 0 1 0 864569441 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.17
CPU time (s): 1200.33
CPU user time (s): 1194.66
CPU system time (s): 5.67114
CPU usage (%): 100.014
Max. virtual memory (Kb): 30192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####