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:1-11,19,21.opb
MD5SUM	552cc7fcebca47ae66a3cb1c13679513
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	103
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4602
Total number of constraints	34781
Number of constraints which are clauses	29160
Number of constraints which are cardinality constraints (but not clauses)	5543
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 35050

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-28 11:48:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24285 boxname=wulflinc31 idbench=359 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 24285
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        872692 kB
Buffers:         34668 kB
Cached:         104632 kB
SwapCached:       1052 kB
Active:          80832 kB
Inactive:        60592 kB
HighTotal:      131008 kB
HighFree:        26432 kB
LowTotal:       903652 kB
LowFree:        846260 kB
SwapTotal:     2097892 kB
SwapFree:      2095928 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            14984 kB
Committed_AS:    63776 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:08:31 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 24285 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 7711/28160	Time: 25.0682/86400
Decision: 7711/28160	Time: 28.9656/86400
Decision: 7711/28160	Time: 32.764/86400
Decision: 7711/28160	Time: 37.1983/86400
Decision: 7711/28160	Time: 41.3787/86400
Decision: 7711/28160	Time: 45.1551/86400
Decision: 7711/28160	Time: 49.2855/86400
Decision: 7711/28160	Time: 53.6658/86400
Decision: 7711/28160	Time: 58.4641/86400
Decision: 7711/28160	Time: 61.6666/86400
Decision: 7711/28160	Time: 65.2131/86400
Decision: 7711/28160	Time: 68.2936/86400
Decision: 7711/28160	Time: 71.8901/86400
Decision: 7711/28160	Time: 75.1756/86400
Decision: 7711/28160	Time: 78.5121/86400
Decision: 7711/28160	Time: 83.1454/86400
Decision: 7711/28160	Time: 87.0208/86400
Decision: 7711/28160	Time: 90.8942/86400
Decision: 7711/28160	Time: 94.2447/86400
Decision: 7711/28160	Time: 98.1151/86400
Decision: 7711/28160	Time: 102.06/86400
Decision: 7711/28160	Time: 106.686/86400
Decision: 7711/28160	Time: 111.182/86400
Decision: 7711/28160	Time: 116.335/86400
Decision: 7711/28160	Time: 121.182/86400
Decision: 7711/28160	Time: 125.888/86400
Decision: 7711/28160	Time: 130.612/86400
Decision: 7711/28160	Time: 135.266/86400
Decision: 7711/28160	Time: 139.845/86400
Decision: 7711/28160	Time: 144.677/86400
Decision: 7711/28160	Time: 149.508/86400
Decision: 7711/28160	Time: 154.456/86400
Decision: 7711/28160	Time: 159.837/86400
Decision: 7711/28160	Time: 164.817/86400
Decision: 7711/28160	Time: 170.501/86400
Decision: 7711/28160	Time: 175.374/86400
Decision: 7711/28160	Time: 180.736/86400
Decision: 7711/28160	Time: 186.474/86400
Decision: 7711/28160	Time: 191.925/86400
Decision: 7711/28160	Time: 197.56/86400
Decision: 7711/28160	Time: 203.471/86400
Decision: 7711/28160	Time: 209.036/86400
Decision: 7711/28160	Time: 214.3/86400
Decision: 7711/28160	Time: 220.831/86400
Decision: 7711/28160	Time: 227.214/86400
Decision: 7711/28160	Time: 232.981/86400
Decision: 7711/28160	Time: 239.91/86400
Decision: 7711/28160	Time: 245.736/86400
Decision: 7711/28160	Time: 251.862/86400
Decision: 7711/28160	Time: 257.436/86400
Decision: 7711/28160	Time: 264.094/86400
Decision: 7711/28160	Time: 270.407/86400
Decision: 7711/28160	Time: 276.73/86400
Decision: 7711/28160	Time: 282.011/86400
Decision: 7711/28160	Time: 286.422/86400
Decision: 7711/28160	Time: 290.897/86400
Decision: 7711/28160	Time: 294.901/86400
Decision: 7711/28160	Time: 297.994/86400
Decision: 7711/28160	Time: 302.327/86400
Decision: 7711/28160	Time: 306.815/86400
Decision: 7711/28160	Time: 311.699/86400
Decision: 7711/28160	Time: 316.091/86400
Decision: 7711/28160	Time: 320.637/86400
Decision: 7711/28160	Time: 324.888/86400
Decision: 7711/28160	Time: 330.314/86400
Decision: 7711/28160	Time: 334.851/86400
Decision: 7711/28160	Time: 339.78/86400
Decision: 7711/28160	Time: 344.687/86400
Decision: 7711/28160	Time: 349.839/86400
Decision: 7711/28160	Time: 354.538/86400
Decision: 7711/28160	Time: 360.8/86400
Decision: 7711/28160	Time: 366.723/86400
Decision: 7711/28160	Time: 372.795/86400
Decision: 7711/28160	Time: 377.737/86400
Decision: 7711/28160	Time: 383.415/86400
Decision: 7711/28160	Time: 389.725/86400
Decision: 7711/28160	Time: 395.282/86400
Decision: 7711/28160	Time: 400.424/86400
Decision: 7711/28160	Time: 406.36/86400
Decision: 7711/28160	Time: 412.465/86400
Decision: 7711/28160	Time: 419.691/86400
Decision: 7711/28160	Time: 425.925/86400
Decision: 7711/28160	Time: 433.069/86400
Decision: 7711/28160	Time: 440.414/86400
Decision: 7711/28160	Time: 446.1/86400
Decision: 7711/28160	Time: 452.109/86400
Decision: 7711/28160	Time: 459.111/86400
Decision: 7711/28160	Time: 465.129/86400
Decision: 7711/28160	Time: 471.678/86400
Decision: 7711/28160	Time: 478.695/86400
Decision: 7711/28160	Time: 485.776/86400
Decision: 7711/28160	Time: 493.458/86400
Decision: 7711/28160	Time: 500.739/86400
Decision: 7711/28160	Time: 506.919/86400
Decision: 7711/28160	Time: 513.062/86400
Decision: 7711/28160	Time: 520.304/86400
Decision: 7711/28160	Time: 527.254/86400
Decision: 7711/28160	Time: 534.763/86400
Decision: 7711/28160	Time: 541.504/86400
Decision: 7711/28160	Time: 548.639/86400
Decision: 7711/28160	Time: 556.577/86400
Decision: 7711/28160	Time: 564.245/86400
Decision: 7711/28160	Time: 571.358/86400
Decision: 7711/28160	Time: 579.673/86400
Decision: 7711/28160	Time: 587.697/86400
Decision: 7711/28160	Time: 594.763/86400
Decision: 7711/28160	Time: 601.781/86400
Decision: 7711/28160	Time: 610.648/86400
Decision: 7711/28160	Time: 618.792/86400
Decision: 7711/28160	Time: 628.167/86400
Decision: 7711/28160	Time: 636.44/86400
Decision: 7711/28160	Time: 644.585/86400
Decision: 7711/28160	Time: 653.493/86400
Decision: 7711/28160	Time: 661.912/86400
Decision: 7711/28160	Time: 669.318/86400
Decision: 7711/28160	Time: 676.391/86400
Decision: 7711/28160	Time: 684.756/86400
Decision: 7711/28160	Time: 694.829/86400
Decision: 7711/28160	Time: 704.82/86400
Decision: 7711/28160	Time: 715.352/86400
Decision: 7711/28160	Time: 725.083/86400
Decision: 7711/28160	Time: 735.23/86400
Decision: 7711/28160	Time: 744.426/86400
Decision: 7711/28160	Time: 753.105/86400
Decision: 7711/28160	Time: 761.689/86400
Decision: 7711/28160	Time: 770.984/86400
Decision: 7711/28160	Time: 781.424/86400
Decision: 7711/28160	Time: 790.785/86400
Decision: 7711/28160	Time: 801.203/86400
Decision: 7711/28160	Time: 809.779/86400
Decision: 7711/28160	Time: 819.417/86400
Decision: 7711/28160	Time: 828.115/86400
Decision: 7711/28160	Time: 837.301/86400
Decision: 7711/28160	Time: 848.595/86400
Decision: 7711/28160	Time: 858.223/86400
Decision: 7711/28160	Time: 867.338/86400
Decision: 7711/28160	Time: 878.144/86400
Decision: 7711/28160	Time: 888.814/86400
Decision: 7711/28160	Time: 898.441/86400
Decision: 7711/28160	Time: 909.207/86400
Decision: 7711/28160	Time: 919.469/86400
Decision: 7711/28160	Time: 927.559/86400
Decision: 7711/28160	Time: 936.618/86400
Decision: 7711/28160	Time: 948.641/86400
Decision: 7711/28160	Time: 958.532/86400
Decision: 7711/28160	Time: 968.599/86400
Decision: 7711/28160	Time: 978.835/86400
Decision: 7711/28160	Time: 989.308/86400
Decision: 7711/28160	Time: 997.164/86400
Decision: 7711/28160	Time: 1005.11/86400
Decision: 7711/28160	Time: 1013.13/86400
Decision: 7711/28160	Time: 1020.48/86400
Decision: 7711/28160	Time: 1027.14/86400
Decision: 7711/28160	Time: 1032.27/86400
Decision: 7711/28160	Time: 1037.74/86400
Decision: 7711/28160	Time: 1044.34/86400
Decision: 7711/28160	Time: 1051.12/86400
Decision: 7711/28160	Time: 1057.43/86400
Decision: 7711/28160	Time: 1064.35/86400
Decision: 7711/28160	Time: 1071.26/86400
Decision: 7711/28160	Time: 1078.37/86400
Decision: 7711/28160	Time: 1085.56/86400
Decision: 7711/28160	Time: 1092.53/86400
Decision: 7711/28160	Time: 1099.68/86400
Decision: 7711/28160	Time: 1106.71/86400
Decision: 7711/28160	Time: 1112.23/86400
Decision: 7711/28160	Time: 1116.86/86400
Decision: 7711/28160	Time: 1121.03/86400
Decision: 7711/28160	Time: 1124.5/86400
Decision: 7711/28160	Time: 1128.13/86400
Decision: 7711/28160	Time: 1132.27/86400
Decision: 7711/28160	Time: 1136.24/86400
Decision: 7711/28160	Time: 1140.62/86400
Decision: 7711/28160	Time: 1144.66/86400
Decision: 7711/28160	Time: 1149/86400
Decision: 7711/28160	Time: 1154.11/86400
Decision: 7711/28160	Time: 1158.29/86400
Decision: 7711/28160	Time: 1161.94/86400
Decision: 7711/28160	Time: 1165.65/86400
Decision: 7711/28160	Time: 1170.44/86400
Decision: 7711/28160	Time: 1175.76/86400
Decision: 7711/28160	Time: 1180.4/86400
Decision: 7711/28160	Time: 1185/86400
Decision: 7711/28160	Time: 1189.89/86400
Decision: 7711/28160	Time: 1194.78/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.86 0.94 0.91 2/55 19198
Raw data (stat): 19198 (runsolver) R 19197 29618 29617 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864544062 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.001 s]
Raw data (loadavg): 0.88 0.94 0.91 2/55 19200
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 4219 0 0 0 982 16 0 0 25 0 1 0 864544062 15294464 2839 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3734 2839 300 300 0 3434 0
vsize: 14936
[startup+20.0018 s]
Raw data (loadavg): 0.90 0.94 0.91 2/55 19200
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 4415 0 0 0 1975 22 0 0 25 0 1 0 864544062 15564800 3035 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3800 3035 300 300 0 3500 0
vsize: 15200
[startup+30.003 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 19200
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 4605 0 0 0 2970 28 0 0 25 0 1 0 864544062 15835136 3169 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3866 3169 300 300 0 3566 0
vsize: 15464
[startup+40.0027 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 19200
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 4798 0 0 0 3963 34 0 0 25 0 1 0 864544062 16105472 3306 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3932 3306 300 300 0 3632 0
vsize: 15728
[startup+50.0028 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 19200
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 5064 0 0 0 4958 39 0 0 25 0 1 0 864544062 16240640 3404 4294967295 134512640 135726644 3221224592 3221223216 134744523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3965 3404 300 300 0 3665 0
vsize: 15860
[startup+60.0036 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 19200
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 5211 0 0 0 5951 46 0 0 25 0 1 0 864544062 16240640 3439 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3965 3439 300 300 0 3665 0
vsize: 15860
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 19202
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 5442 0 0 0 6944 53 0 0 25 0 1 0 864544062 16506880 3502 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4030 3502 300 300 0 3730 0
vsize: 16120
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 19202
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 5685 0 0 0 7939 59 0 0 25 0 1 0 864544062 16777216 3577 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4096 3577 300 300 0 3796 0
vsize: 16384
[startup+90.0044 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 19202
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 5836 0 0 0 8933 65 0 0 25 0 1 0 864544062 16912384 3616 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4129 3616 300 300 0 3829 0
vsize: 16516
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 19202
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 6818 0 0 0 9925 72 0 0 25 0 1 0 864544062 20189184 3661 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4929 3661 300 300 0 4629 0
vsize: 19716
[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19202
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 6993 0 0 0 10921 77 0 0 25 0 1 0 864544062 20324352 3724 4294967295 134512640 135726644 3221224592 3221223136 134736686 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4962 3724 300 300 0 4662 0
vsize: 19848
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19202
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 7163 0 0 0 11914 83 0 0 25 0 1 0 864544062 20594688 3782 4294967295 134512640 135726644 3221224592 3221223104 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5028 3782 300 300 0 4728 0
vsize: 20112
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19204
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 7414 0 0 0 12909 89 0 0 25 0 1 0 864544062 20594688 3865 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5028 3865 300 300 0 4728 0
vsize: 20112
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19204
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 7563 0 0 0 13903 95 0 0 25 0 1 0 864544062 20729856 3902 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5061 3902 300 300 0 4761 0
vsize: 20244
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19204
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 7770 0 0 0 14899 99 0 0 25 0 1 0 864544062 20869120 3997 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5095 3997 300 300 0 4795 0
vsize: 20380
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19204
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 7930 0 0 0 15893 105 0 0 25 0 1 0 864544062 21008384 4045 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5129 4045 300 300 0 4829 0
vsize: 20516
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19204
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 8081 0 0 0 16889 109 0 0 25 0 1 0 864544062 21147648 4084 4294967295 134512640 135726644 3221224592 3221223088 134744268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5163 4084 300 300 0 4863 0
vsize: 20652
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19204
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 8273 0 0 0 17885 114 0 0 25 0 1 0 864544062 21282816 4164 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5196 4164 300 300 0 4896 0
vsize: 20784
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19206
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 8372 0 0 0 18881 118 0 0 25 0 1 0 864544062 21422080 4207 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5230 4207 300 300 0 4930 0
vsize: 20920
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19206
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 8541 0 0 0 19876 123 0 0 25 0 1 0 864544062 21561344 4264 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5264 4264 300 300 0 4964 0
vsize: 21056
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19206
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 8718 0 0 0 20872 127 0 0 25 0 1 0 864544062 21561344 4329 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5264 4329 300 300 0 4964 0
vsize: 21056
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19206
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 8867 0 0 0 21868 131 0 0 25 0 1 0 864544062 21700608 4366 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5298 4366 300 300 0 4998 0
vsize: 21192
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19206
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 8974 0 0 0 22865 134 0 0 25 0 1 0 864544062 26030080 4417 4294967295 134512640 135726644 3221224592 3221223088 134744195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6355 4417 300 300 0 6055 0
vsize: 25420
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19206
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 9162 0 0 0 23862 138 0 0 25 0 1 0 864544062 26165248 4493 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6388 4493 300 300 0 6088 0
vsize: 25552
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19208
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 9311 0 0 0 24858 142 0 0 25 0 1 0 864544062 26300416 4530 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6421 4530 300 300 0 6121 0
vsize: 25684
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19208
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 9447 0 0 0 25854 146 0 0 25 0 1 0 864544062 26300416 4610 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6421 4610 300 300 0 6121 0
vsize: 25684
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19208
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 9620 0 0 0 26850 150 0 0 25 0 1 0 864544062 26435584 4671 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6454 4671 300 300 0 6154 0
vsize: 25816
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19208
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 9689 0 0 0 27846 154 0 0 25 0 1 0 864544062 26435584 4684 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6454 4684 300 300 0 6154 0
vsize: 25816
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19208
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 9816 0 0 0 28842 159 0 0 25 0 1 0 864544062 26435584 4699 4294967295 134512640 135726644 3221224592 3221223024 134779286 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6454 4699 300 300 0 6154 0
vsize: 25816
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19208
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 10005 0 0 0 29837 163 0 0 25 0 1 0 864544062 26435584 4720 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6454 4720 300 300 0 6154 0
vsize: 25816
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19210
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 10142 0 0 0 30833 168 0 0 25 0 1 0 864544062 26570752 4745 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6487 4745 300 300 0 6187 0
vsize: 25948
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19210
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 10338 0 0 0 31828 173 0 0 25 0 1 0 864544062 26570752 4773 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6487 4773 300 300 0 6187 0
vsize: 25948
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19210
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 10493 0 0 0 32824 177 0 0 25 0 1 0 864544062 26705920 4816 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6520 4816 300 300 0 6220 0
vsize: 26080
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19210
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 10661 0 0 0 33820 182 0 0 25 0 1 0 864544062 26841088 4872 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6553 4872 300 300 0 6253 0
vsize: 26212
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19210
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 10805 0 0 0 34816 186 0 0 25 0 1 0 864544062 26976256 4904 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6586 4904 300 300 0 6286 0
vsize: 26344
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19210
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 10959 0 0 0 35812 190 0 0 25 0 1 0 864544062 27111424 4946 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6619 4946 300 300 0 6319 0
vsize: 26476
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19212
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 11071 0 0 0 36807 195 0 0 25 0 1 0 864544062 27246592 5002 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6652 5002 300 300 0 6352 0
vsize: 26608
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19212
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 11215 0 0 0 37802 200 0 0 25 0 1 0 864544062 27246592 5034 4294967295 134512640 135726644 3221224592 3221223088 134744263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6652 5034 300 300 0 6352 0
vsize: 26608
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19212
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 11395 0 0 0 38798 204 0 0 25 0 1 0 864544062 27385856 5102 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6686 5102 300 300 0 6386 0
vsize: 26744
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19212
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 11552 0 0 0 39794 209 0 0 25 0 1 0 864544062 27521024 5147 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6719 5147 300 300 0 6419 0
vsize: 26876
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19212
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 11653 0 0 0 40789 213 0 0 25 0 1 0 864544062 27656192 5192 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6752 5192 300 300 0 6452 0
vsize: 27008
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19212
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 11857 0 0 0 41786 217 0 0 25 0 1 0 864544062 27791360 5284 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6785 5284 300 300 0 6485 0
vsize: 27140
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19214
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 12020 0 0 0 42781 222 0 0 25 0 1 0 864544062 27930624 5335 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6819 5335 300 300 0 6519 0
vsize: 27276
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19214
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 12105 0 0 0 43777 226 0 0 25 0 1 0 864544062 28069888 5364 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6853 5364 300 300 0 6553 0
vsize: 27412
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19214
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 12250 0 0 0 44774 229 0 0 25 0 1 0 864544062 28069888 5397 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6853 5397 300 300 0 6553 0
vsize: 27412
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19214
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 12374 0 0 0 45772 232 0 0 25 0 1 0 864544062 28209152 5465 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6887 5465 300 300 0 6587 0
vsize: 27548
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19214
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 12513 0 0 0 46767 237 0 0 25 0 1 0 864544062 28344320 5492 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6920 5492 300 300 0 6620 0
vsize: 27680
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19214
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 12637 0 0 0 47763 241 0 0 25 0 1 0 864544062 28479488 5560 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6953 5560 300 300 0 6653 0
vsize: 27812
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19216
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 12822 0 0 0 48759 245 0 0 25 0 1 0 864544062 28479488 5633 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6953 5633 300 300 0 6653 0
vsize: 27812
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19216
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 12901 0 0 0 49756 248 0 0 25 0 1 0 864544062 28618752 5656 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6987 5656 300 300 0 6687 0
vsize: 27948
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19216
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 12978 0 0 0 50753 251 0 0 25 0 1 0 864544062 28618752 5677 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6987 5677 300 300 0 6687 0
vsize: 27948
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19216
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 13132 0 0 0 51750 255 0 0 25 0 1 0 864544062 28758016 5719 4294967295 134512640 135726644 3221224592 3221223200 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7021 5719 300 300 0 6721 0
vsize: 28084
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19216
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 13230 0 0 0 52746 259 0 0 25 0 1 0 864544062 28758016 5761 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7021 5761 300 300 0 6721 0
vsize: 28084
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19216
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 13355 0 0 0 53742 263 0 0 25 0 1 0 864544062 28893184 5774 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7054 5774 300 300 0 6754 0
vsize: 28216
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19218
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 13433 0 0 0 54739 266 0 0 25 0 1 0 864544062 28893184 5796 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7054 5796 300 300 0 6754 0
vsize: 28216
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19218
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 13506 0 0 0 55737 268 0 0 25 0 1 0 864544062 29032448 5813 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7088 5813 300 300 0 6788 0
vsize: 28352
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19218
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 13636 0 0 0 56734 272 0 0 25 0 1 0 864544062 29032448 5831 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7088 5831 300 300 0 6788 0
vsize: 28352
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19218
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 13709 0 0 0 57730 276 0 0 25 0 1 0 864544062 29032448 5848 4294967295 134512640 135726644 3221224592 3221223184 134760012 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7088 5848 300 300 0 6788 0
vsize: 28352
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19218
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 13805 0 0 0 58727 279 0 0 25 0 1 0 864544062 29175808 5888 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7123 5888 300 300 0 6823 0
vsize: 28492
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19218
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 13982 0 0 0 59724 282 0 0 25 0 1 0 864544062 29175808 5953 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7123 5953 300 300 0 6823 0
vsize: 28492
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19220
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14058 0 0 0 60722 285 0 0 25 0 1 0 864544062 29323264 5973 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7159 5973 300 300 0 6859 0
vsize: 28636
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19220
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14133 0 0 0 61719 288 0 0 25 0 1 0 864544062 29323264 5992 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7159 5992 300 300 0 6859 0
vsize: 28636
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19220
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14208 0 0 0 62716 291 0 0 25 0 1 0 864544062 29323264 6011 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7159 6011 300 300 0 6859 0
vsize: 28636
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19220
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14352 0 0 0 63714 293 0 0 25 0 1 0 864544062 29462528 6043 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6043 300 300 0 6893 0
vsize: 28772
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19220
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14420 0 0 0 64711 296 0 0 25 0 1 0 864544062 29462528 6055 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6055 300 300 0 6893 0
vsize: 28772
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19220
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14496 0 0 0 65709 299 0 0 25 0 1 0 864544062 29609984 6075 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7229 6075 300 300 0 6929 0
vsize: 28916
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19222
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14572 0 0 0 66705 302 0 0 25 0 1 0 864544062 29609984 6095 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7229 6095 300 300 0 6929 0
vsize: 28916
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19222
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14738 0 0 0 67703 305 0 0 25 0 1 0 864544062 29757440 6149 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7265 6149 300 300 0 6965 0
vsize: 29060
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19222
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14824 0 0 0 68700 308 0 0 25 0 1 0 864544062 29757440 6179 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7265 6179 300 300 0 6965 0
vsize: 29060
[startup+700.038 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 19263
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14901 0 0 0 69699 310 0 0 25 0 1 0 864544062 29904896 6200 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7301 6200 300 300 0 7001 0
vsize: 29204
[startup+710.039 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 19275
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 14988 0 0 0 70696 314 0 0 25 0 1 0 864544062 30040064 6231 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7334 6231 300 300 0 7034 0
vsize: 29336
[startup+720.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 19275
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15103 0 0 0 71693 317 0 0 25 0 1 0 864544062 30040064 6290 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7334 6290 300 300 0 7034 0
vsize: 29336
[startup+730.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 19277
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15210 0 0 0 72691 319 0 0 25 0 1 0 864544062 30187520 6341 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7370 6341 300 300 0 7070 0
vsize: 29480
[startup+740.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 19277
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15294 0 0 0 73688 322 0 0 25 0 1 0 864544062 30187520 6369 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7370 6369 300 300 0 7070 0
vsize: 29480
[startup+750.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 19277
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15375 0 0 0 74686 324 0 0 25 0 1 0 864544062 30326784 6394 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7404 6394 300 300 0 7104 0
vsize: 29616
[startup+760.041 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 19277
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15475 0 0 0 75683 327 0 0 25 0 1 0 864544062 30474240 6438 4294967295 134512640 135726644 3221224592 3221223200 134741201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7440 6438 300 300 0 7140 0
vsize: 29760
[startup+770.041 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 19277
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15586 0 0 0 76679 331 0 0 25 0 1 0 864544062 30474240 6493 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7440 6493 300 300 0 7140 0
vsize: 29760
[startup+780.042 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 19279
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15667 0 0 0 77677 333 0 0 25 0 1 0 864544062 30474240 6518 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7440 6518 300 300 0 7140 0
vsize: 29760
[startup+790.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19281
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15740 0 0 0 78675 336 0 0 25 0 1 0 864544062 30613504 6535 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7474 6535 300 300 0 7174 0
vsize: 29896
[startup+800.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19281
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15810 0 0 0 79671 340 0 0 25 0 1 0 864544062 30613504 6549 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7474 6549 300 300 0 7174 0
vsize: 29896
[startup+810.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19281
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15880 0 0 0 80668 343 0 0 25 0 1 0 864544062 30613504 6563 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7474 6563 300 300 0 7174 0
vsize: 29896
[startup+820.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19281
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 15952 0 0 0 81666 345 0 0 25 0 1 0 864544062 30752768 6579 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7508 6579 300 300 0 7208 0
vsize: 30032
[startup+830.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19281
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16044 0 0 0 82665 347 0 0 25 0 1 0 864544062 30752768 6615 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7508 6615 300 300 0 7208 0
vsize: 30032
[startup+840.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19281
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16127 0 0 0 83662 350 0 0 25 0 1 0 864544062 30908416 6642 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7546 6642 300 300 0 7246 0
vsize: 30184
[startup+850.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19283
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16194 0 0 0 84659 352 0 0 25 0 1 0 864544062 30908416 6653 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7546 6653 300 300 0 7246 0
vsize: 30184
[startup+860.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19283
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16261 0 0 0 85657 354 0 0 25 0 1 0 864544062 31055872 6664 4294967295 134512640 135726644 3221224592 3221223088 134744274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7582 6664 300 300 0 7282 0
vsize: 30328
[startup+870.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19283
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16335 0 0 0 86655 357 0 0 25 0 1 0 864544062 31055872 6682 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7582 6682 300 300 0 7282 0
vsize: 30328
[startup+880.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19283
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16411 0 0 0 87653 360 0 0 25 0 1 0 864544062 31055872 6702 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7582 6702 300 300 0 7282 0
vsize: 30328
[startup+890.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19283
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16485 0 0 0 88650 362 0 0 25 0 1 0 864544062 31203328 6720 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7618 6720 300 300 0 7318 0
vsize: 30472
[startup+900.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19283
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16561 0 0 0 89647 365 0 0 25 0 1 0 864544062 31203328 6740 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7618 6740 300 300 0 7318 0
vsize: 30472
[startup+910.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19285
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16667 0 0 0 90643 370 0 0 25 0 1 0 864544062 31346688 6790 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7653 6790 300 300 0 7353 0
vsize: 30612
[startup+920.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19285
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16764 0 0 0 91638 374 0 0 25 0 1 0 864544062 31346688 6831 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7653 6831 300 300 0 7353 0
vsize: 30612
[startup+930.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19285
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16846 0 0 0 92635 377 0 0 25 0 1 0 864544062 31346688 6857 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7653 6857 300 300 0 7353 0
vsize: 30612
[startup+940.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19285
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16918 0 0 0 93633 380 0 0 25 0 1 0 864544062 31346688 6873 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7653 6873 300 300 0 7353 0
vsize: 30612
[startup+950.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19285
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 16978 0 0 0 94629 384 0 0 25 0 1 0 864544062 31346688 6877 4294967295 134512640 135726644 3221224592 3221223088 134744145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7653 6877 300 300 0 7353 0
vsize: 30612
[startup+960.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19285
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17047 0 0 0 95627 386 0 0 25 0 1 0 864544062 31485952 6890 4294967295 134512640 135726644 3221224592 3221223184 134760006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 6890 300 300 0 7387 0
vsize: 30748
[startup+970.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19287
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17117 0 0 0 96625 389 0 0 25 0 1 0 864544062 31485952 6904 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 6904 300 300 0 7387 0
vsize: 30748
[startup+980.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19287
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17187 0 0 0 97622 392 0 0 25 0 1 0 864544062 31485952 6918 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 6918 300 300 0 7387 0
vsize: 30748
[startup+990.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19287
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17250 0 0 0 98620 395 0 0 25 0 1 0 864544062 31485952 6925 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 6925 300 300 0 7387 0
vsize: 30748
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19287
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17340 0 0 0 99618 396 0 0 25 0 1 0 864544062 31629312 6959 4294967295 134512640 135726644 3221224592 3221223200 134741266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7722 6959 300 300 0 7422 0
vsize: 30888
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19287
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17514 0 0 0 100615 400 0 0 25 0 1 0 864544062 31629312 7021 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7722 7021 300 300 0 7422 0
vsize: 30888
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19287
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17608 0 0 0 101611 403 0 0 25 0 1 0 864544062 31629312 7059 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7722 7059 300 300 0 7422 0
vsize: 30888
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19289
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17675 0 0 0 102608 406 0 0 25 0 1 0 864544062 31629312 7070 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7722 7070 300 300 0 7422 0
vsize: 30888
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19289
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17798 0 0 0 103604 411 0 0 25 0 1 0 864544062 31768576 7081 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7756 7081 300 300 0 7456 0
vsize: 31024
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19289
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17926 0 0 0 104600 415 0 0 25 0 1 0 864544062 31768576 7097 4294967295 134512640 135726644 3221224592 3221223248 134731190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7756 7097 300 300 0 7456 0
vsize: 31024
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19289
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 17992 0 0 0 105597 418 0 0 25 0 1 0 864544062 31768576 7107 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7756 7107 300 300 0 7456 0
vsize: 31024
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19291
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 18120 0 0 0 106593 422 0 0 25 0 1 0 864544062 31768576 7123 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7756 7123 300 300 0 7456 0
vsize: 31024
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19291
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 18189 0 0 0 107591 425 0 0 25 0 1 0 864544062 31768576 7136 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7756 7136 300 300 0 7456 0
vsize: 31024
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19293
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 18316 0 0 0 108586 429 0 0 25 0 1 0 864544062 31903744 7151 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7789 7151 300 300 0 7489 0
vsize: 31156
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19293
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 18384 0 0 0 109581 435 0 0 25 0 1 0 864544062 31903744 7163 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7789 7163 300 300 0 7489 0
vsize: 31156
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19293
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 18456 0 0 0 110576 440 0 0 25 0 1 0 864544062 31903744 7179 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7789 7179 300 300 0 7489 0
vsize: 31156
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19293
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 18631 0 0 0 111572 445 0 0 25 0 1 0 864544062 32034816 7242 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7821 7242 300 300 0 7521 0
vsize: 31284
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19293
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 18856 0 0 0 112566 450 0 0 25 0 1 0 864544062 32169984 7299 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7854 7299 300 300 0 7554 0
vsize: 31416
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19293
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 19077 0 0 0 113561 456 0 0 25 0 1 0 864544062 32440320 7352 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7920 7352 300 300 0 7620 0
vsize: 31680
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19295
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 19238 0 0 0 114556 461 0 0 25 0 1 0 864544062 32575488 7401 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7953 7401 300 300 0 7653 0
vsize: 31812
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19295
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 19443 0 0 0 115552 465 0 0 25 0 1 0 864544062 32710656 7494 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7986 7494 300 300 0 7686 0
vsize: 31944
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19295
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 19699 0 0 0 116548 469 0 0 25 0 1 0 864544062 32980992 7582 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8052 7582 300 300 0 7752 0
vsize: 32208
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19295
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 19912 0 0 0 117544 474 0 0 25 0 1 0 864544062 41504768 7683 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10133 7683 300 300 0 9833 0
vsize: 40532
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19295
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 20081 0 0 0 118541 477 0 0 25 0 1 0 864544062 41639936 7740 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10166 7740 300 300 0 9866 0
vsize: 40664
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19295
Raw data (stat): 19198 (pb2sat) R 19197 29618 29617 0 -1 0 20290 0 0 0 119537 480 0 0 25 0 1 0 864544062 41775104 7837 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10199 7837 300 300 0 9899 0
vsize: 40796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 19295
Raw data (stat): 19198 (pb2sat) Z 19197 29618 29617 0 -1 12 20291 0 0 0 119552 482 0 0 25 0 1 0 864544062 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.22
CPU time (s): 1200.34
CPU user time (s): 1195.52
CPU system time (s): 4.82227
CPU usage (%): 100.01
Max. virtual memory (Kb): 40796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####