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 42244

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 04:06:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25459 boxname=wulflinc6 idbench=361 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  85cf0fb6ed84e77eea7ef88259fe2fe8  /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:3-13,25,26.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:3-13,25,26.opb
IDLAUNCH: 25459
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        714740 kB
Buffers:         34176 kB
Cached:         262908 kB
SwapCached:       1028 kB
Active:          65712 kB
Inactive:       233528 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        714488 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            15004 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:27:03 (client local time) WITH STATUS 0 IN 1201.33 SECONDS
stats: 25459 7 1201.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 7830/28776	Time: 27.8938/86400
c Decision: 7830/28776	Time: 32.1301/86400
c Decision: 7830/28776	Time: 36.6064/86400
c Decision: 7830/28776	Time: 41.0558/86400
c Decision: 7830/28776	Time: 45.927/86400
c Decision: 7830/28776	Time: 50.9133/86400
c Decision: 7830/28776	Time: 56.5804/86400
c Decision: 7830/28776	Time: 62.1056/86400
c Decision: 7830/28776	Time: 67.0218/86400
c Decision: 7830/28776	Time: 71.5631/86400
c Decision: 7830/28776	Time: 76.9343/86400
c Decision: 7830/28776	Time: 82.0295/86400
c Decision: 7830/28776	Time: 87.2077/86400
c Decision: 7830/28776	Time: 92.179/86400
c Decision: 7830/28776	Time: 97.5962/86400
c Decision: 7830/28776	Time: 102.863/86400
c Decision: 7830/28776	Time: 108.311/86400
c Decision: 7830/28776	Time: 113.454/86400
c Decision: 7830/28776	Time: 118.213/86400
c Decision: 7830/28776	Time: 123.624/86400
c Decision: 7830/28776	Time: 128.756/86400
c Decision: 7830/28776	Time: 133.545/86400
c Decision: 7830/28776	Time: 138.896/86400
c Decision: 7830/28776	Time: 145.741/86400
c Decision: 7830/28776	Time: 151.733/86400
c Decision: 7830/28776	Time: 157.839/86400
c Decision: 7830/28776	Time: 163.684/86400
c Decision: 7830/28776	Time: 169.806/86400
c Decision: 7830/28776	Time: 175.67/86400
c Decision: 7830/28776	Time: 181.378/86400
c Decision: 7830/28776	Time: 188.594/86400
c Decision: 7830/28776	Time: 194.71/86400
c Decision: 7830/28776	Time: 200.98/86400
c Decision: 7830/28776	Time: 208.42/86400
c Decision: 7830/28776	Time: 215.317/86400
c Decision: 7830/28776	Time: 222.019/86400
c Decision: 7830/28776	Time: 228.211/86400
c Decision: 7830/28776	Time: 233.798/86400
c Decision: 7830/28776	Time: 239.994/86400
c Decision: 7830/28776	Time: 245.38/86400
c Decision: 7830/28776	Time: 251.326/86400
c Decision: 7830/28776	Time: 256.113/86400
c Decision: 7830/28776	Time: 262.23/86400
c Decision: 7830/28776	Time: 267.454/86400
c Decision: 7830/28776	Time: 274.231/86400
c Decision: 7830/28776	Time: 280.704/86400
c Decision: 7830/28776	Time: 286.784/86400
c Decision: 7830/28776	Time: 292.956/86400
c Decision: 7830/28776	Time: 299.061/86400
c Decision: 7830/28776	Time: 305.303/86400
c Decision: 7830/28776	Time: 311.612/86400
c Decision: 7830/28776	Time: 318.603/86400
c Decision: 7830/28776	Time: 325.662/86400
c Decision: 7830/28776	Time: 331.612/86400
c Decision: 7830/28776	Time: 338.124/86400
c Decision: 7830/28776	Time: 345.805/86400
c Decision: 7830/28776	Time: 352.93/86400
c Decision: 7830/28776	Time: 360.028/86400
c Decision: 7830/28776	Time: 367.032/86400
c Decision: 7830/28776	Time: 374.56/86400
c Decision: 7830/28776	Time: 382.468/86400
c Decision: 7830/28776	Time: 389.454/86400
c Decision: 7830/28776	Time: 396.502/86400
c Decision: 7830/28776	Time: 404.529/86400
c Decision: 7830/28776	Time: 411.934/86400
c Decision: 7830/28776	Time: 419.42/86400
c Decision: 7830/28776	Time: 427.039/86400
c Decision: 7830/28776	Time: 434.285/86400
c Decision: 7830/28776	Time: 441.523/86400
c Decision: 7830/28776	Time: 449.024/86400
c Decision: 7830/28776	Time: 455.287/86400
c Decision: 7830/28776	Time: 463.056/86400
c Decision: 7830/28776	Time: 471.361/86400
c Decision: 7830/28776	Time: 479.693/86400
c Decision: 7830/28776	Time: 488.065/86400
c Decision: 7830/28776	Time: 496.191/86400
c Decision: 7830/28776	Time: 503.591/86400
c Decision: 7830/28776	Time: 511.524/86400
c Decision: 7830/28776	Time: 518.754/86400
c Decision: 7830/28776	Time: 526.857/86400
c Decision: 7830/28776	Time: 534.553/86400
c Decision: 7830/28776	Time: 542.74/86400
c Decision: 7830/28776	Time: 551.172/86400
c Decision: 7830/28776	Time: 559.222/86400
c Decision: 7830/28776	Time: 567.217/86400
c Decision: 7830/28776	Time: 575.246/86400
c Decision: 7830/28776	Time: 584.674/86400
c Decision: 7830/28776	Time: 593.386/86400
c Decision: 7830/28776	Time: 600.1/86400
c Decision: 7830/28776	Time: 607.84/86400
c Decision: 7830/28776	Time: 614.55/86400
c Decision: 7830/28776	Time: 621.493/86400
c Decision: 7830/28776	Time: 628.247/86400
c Decision: 7830/28776	Time: 636.608/86400
c Decision: 7830/28776	Time: 644.428/86400
c Decision: 7830/28776	Time: 651.657/86400
c Decision: 7830/28776	Time: 658.194/86400
c Decision: 7830/28776	Time: 665.788/86400
c Decision: 7830/28776	Time: 673.15/86400
c Decision: 7830/28776	Time: 680.607/86400
c Decision: 7830/28776	Time: 689.087/86400
c Decision: 7830/28776	Time: 696.762/86400
c Decision: 7830/28776	Time: 704.3/86400
c Decision: 7830/28776	Time: 712.127/86400
c Decision: 7830/28776	Time: 721.078/86400
c Decision: 7830/28776	Time: 729.616/86400
c Decision: 7830/28776	Time: 739.215/86400
c Decision: 7830/28776	Time: 745.628/86400
c Decision: 7830/28776	Time: 752.565/86400
c Decision: 7830/28776	Time: 760.551/86400
c Decision: 7830/28776	Time: 768.685/86400
c Decision: 7830/28776	Time: 776.22/86400
c Decision: 7830/28776	Time: 785.125/86400
c Decision: 7830/28776	Time: 795.077/86400
c Decision: 7830/28776	Time: 802.94/86400
c Decision: 7830/28776	Time: 811.501/86400
c Decision: 7830/28776	Time: 821.133/86400
c Decision: 7830/28776	Time: 831.675/86400
c Decision: 7830/28776	Time: 840.545/86400
c Decision: 7830/28776	Time: 850.022/86400
c Decision: 7830/28776	Time: 860.586/86400
c Decision: 7830/28776	Time: 869.866/86400
c Decision: 7830/28776	Time: 878.924/86400
c Decision: 7830/28776	Time: 887.593/86400
c Decision: 7830/28776	Time: 897.104/86400
c Decision: 7830/28776	Time: 909.71/86400
c Decision: 7830/28776	Time: 920.192/86400
c Decision: 7830/28776	Time: 930.719/86400
c Decision: 7830/28776	Time: 940.372/86400
c Decision: 7830/28776	Time: 949.185/86400
c Decision: 7830/28776	Time: 959.1/86400
c Decision: 7830/28776	Time: 968.864/86400
c Decision: 7830/28776	Time: 977.802/86400
c Decision: 7830/28776	Time: 988.735/86400
c Decision: 7830/28776	Time: 998.847/86400
c Decision: 7830/28776	Time: 1008.08/86400
c Decision: 7830/28776	Time: 1018.21/86400
c Decision: 7830/28776	Time: 1029.1/86400
c Decision: 7830/28776	Time: 1040.18/86400
c Decision: 7830/28776	Time: 1050.11/86400
c Decision: 7830/28776	Time: 1061.09/86400
c Decision: 7830/28776	Time: 1069.27/86400
c Decision: 7830/28776	Time: 1080.3/86400
c Decision: 7830/28776	Time: 1091.8/86400
c Decision: 7830/28776	Time: 1101.9/86400
c Decision: 7830/28776	Time: 1111.68/86400
c Decision: 7830/28776	Time: 1122.38/86400
c Decision: 7830/28776	Time: 1134.17/86400
c Decision: 7830/28776	Time: 1142.64/86400
c Decision: 7830/28776	Time: 1153.05/86400
c Decision: 7830/28776	Time: 1164.42/86400
c Decision: 7830/28776	Time: 1175.48/86400
c Decision: 7830/28776	Time: 1187.06/86400
c Decision: 7830/28776	Time: 1196.74/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.87 0.95 0.90 1/54 13999
Raw data (stat): 13999 (runsolver) R 13998 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967754616 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.0002 s]
Raw data (loadavg): 0.89 0.95 0.90 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4216 0 0 0 985 14 0 0 25 0 1 0 967754616 13070336 2831 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3191 2831 301 301 0 2890 0
vsize: 12764
[startup+20.0009 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4406 0 0 0 1977 22 0 0 25 0 1 0 967754616 15572992 3021 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3802 3021 301 301 0 3501 0
vsize: 15208
[startup+30.0005 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4541 0 0 0 2970 30 0 0 25 0 1 0 967754616 15843328 3156 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3868 3156 301 301 0 3567 0
vsize: 15472
[startup+39.9997 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4728 0 0 0 3963 36 0 0 25 0 1 0 967754616 15978496 3229 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3901 3229 301 301 0 3600 0
vsize: 15604
[startup+50.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 4825 0 0 0 4956 43 0 0 25 0 1 0 967754616 16109568 3269 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3933 3269 301 301 0 3632 0
vsize: 15732
[startup+59.9999 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5007 0 0 0 5948 51 0 0 25 0 1 0 967754616 16244736 3337 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3966 3337 301 301 0 3665 0
vsize: 15864
[startup+70 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5165 0 0 0 6941 59 0 0 25 0 1 0 967754616 16379904 3381 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3999 3381 301 301 0 3698 0
vsize: 15996
[startup+80.0007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5335 0 0 0 7934 66 0 0 25 0 1 0 967754616 16379904 3437 4294967295 134512640 135730672 3221224576 3221223180 134747440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3999 3437 301 301 0 3698 0
vsize: 15996
[startup+90.0003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5488 0 0 0 8926 74 0 0 25 0 1 0 967754616 16515072 3476 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4032 3476 301 301 0 3731 0
vsize: 16128
[startup+99.9995 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13999
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 5630 0 0 0 9919 82 0 0 25 0 1 0 967754616 16650240 3504 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4065 3504 301 301 0 3764 0
vsize: 16260
[startup+110 s]
Raw data (loadavg): 1.06 0.98 0.91 2/58 14042
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 6574 0 0 0 10898 94 0 0 25 0 1 0 967754616 19931136 3565 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4866 3565 301 301 0 4565 0
vsize: 19464
[startup+120.316 s]
Raw data (loadavg): 1.05 0.98 0.91 2/58 14042
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 6745 0 0 0 11923 100 0 0 25 0 1 0 967754616 19931136 3622 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4866 3622 301 301 0 4565 0
vsize: 19464
[startup+130.431 s]
Raw data (loadavg): 1.19 1.01 0.93 2/56 14047
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 6945 0 0 0 12929 107 0 0 25 0 1 0 967754616 20066304 3708 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4899 3708 301 301 0 4598 0
vsize: 19596
[startup+140.572 s]
Raw data (loadavg): 1.31 1.05 0.94 2/54 14052
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7047 0 0 0 13937 113 0 0 25 0 1 0 967754616 20201472 3753 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4932 3753 301 301 0 4631 0
vsize: 19728
[startup+150.937 s]
Raw data (loadavg): 1.26 1.04 0.94 2/54 14052
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7212 0 0 0 14966 119 0 0 25 0 1 0 967754616 20336640 3804 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4965 3804 301 301 0 4664 0
vsize: 19860
[startup+160.938 s]
Raw data (loadavg): 1.22 1.04 0.94 2/54 14052
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7340 0 0 0 15960 126 0 0 25 0 1 0 967754616 20471808 3875 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4998 3875 301 301 0 4697 0
vsize: 19992
[startup+170.939 s]
Raw data (loadavg): 1.19 1.04 0.94 2/54 14052
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7490 0 0 0 16952 134 0 0 25 0 1 0 967754616 20606976 3911 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5031 3911 301 301 0 4730 0
vsize: 20124
[startup+180.939 s]
Raw data (loadavg): 1.16 1.04 0.94 2/54 14052
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7633 0 0 0 17947 139 0 0 25 0 1 0 967754616 20606976 3940 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5031 3940 301 301 0 4730 0
vsize: 20124
[startup+190.94 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 14052
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7764 0 0 0 18941 146 0 0 25 0 1 0 967754616 20742144 4014 4294967295 134512640 135730672 3221224576 3221223072 134747845 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5064 4014 301 301 0 4763 0
vsize: 20256
[startup+200.941 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7907 0 0 0 19937 150 0 0 25 0 1 0 967754616 20742144 4043 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5064 4043 301 301 0 4763 0
vsize: 20256
[startup+210.942 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 7990 0 0 0 20932 156 0 0 25 0 1 0 967754616 20877312 4069 4294967295 134512640 135730672 3221224576 3221223232 134734766 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5097 4069 301 301 0 4796 0
vsize: 20388
[startup+220.943 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8132 0 0 0 21926 162 0 0 25 0 1 0 967754616 21012480 4097 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5130 4097 301 301 0 4829 0
vsize: 20520
[startup+230.944 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8232 0 0 0 22921 168 0 0 25 0 1 0 967754616 21012480 4140 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5130 4140 301 301 0 4829 0
vsize: 20520
[startup+240.944 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8376 0 0 0 23915 174 0 0 25 0 1 0 967754616 21147648 4170 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5163 4170 301 301 0 4862 0
vsize: 20652
[startup+250.944 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8562 0 0 0 24908 181 0 0 25 0 1 0 967754616 21282816 4242 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5196 4242 301 301 0 4895 0
vsize: 20784
[startup+260.945 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8735 0 0 0 25901 189 0 0 25 0 1 0 967754616 21422080 4301 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5230 4301 301 301 0 4929 0
vsize: 20920
[startup+270.945 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8827 0 0 0 26894 196 0 0 25 0 1 0 967754616 21422080 4336 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5230 4336 301 301 0 4929 0
vsize: 20920
[startup+280.945 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 8973 0 0 0 27889 201 0 0 25 0 1 0 967754616 25751552 4368 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6287 4368 301 301 0 5986 0
vsize: 25148
[startup+290.947 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9074 0 0 0 28885 206 0 0 25 0 1 0 967754616 25751552 4412 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6287 4412 301 301 0 5986 0
vsize: 25148
[startup+300.948 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9216 0 0 0 29880 211 0 0 25 0 1 0 967754616 25886720 4440 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6320 4440 301 301 0 6019 0
vsize: 25280
[startup+310.948 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9387 0 0 0 30875 217 0 0 25 0 1 0 967754616 26021888 4497 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6353 4497 301 301 0 6052 0
vsize: 25412
[startup+320.948 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9495 0 0 0 31869 223 0 0 25 0 1 0 967754616 26021888 4548 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6353 4548 301 301 0 6052 0
vsize: 25412
[startup+330.949 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9633 0 0 0 32864 228 0 0 25 0 1 0 967754616 26152960 4572 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6385 4572 301 301 0 6084 0
vsize: 25540
[startup+340.949 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9760 0 0 0 33859 234 0 0 25 0 1 0 967754616 26152960 4642 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6385 4642 301 301 0 6084 0
vsize: 25540
[startup+350.95 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 9939 0 0 0 34854 239 0 0 25 0 1 0 967754616 26288128 4707 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6418 4707 301 301 0 6117 0
vsize: 25672
[startup+360.951 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10023 0 0 0 35848 245 0 0 25 0 1 0 967754616 26423296 4734 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6451 4734 301 301 0 6150 0
vsize: 25804
[startup+370.951 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10100 0 0 0 36844 250 0 0 25 0 1 0 967754616 26423296 4754 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6451 4754 301 301 0 6150 0
vsize: 25804
[startup+380.95 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10278 0 0 0 37838 256 0 0 25 0 1 0 967754616 26558464 4818 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6484 4818 301 301 0 6183 0
vsize: 25936
[startup+390.95 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10382 0 0 0 38834 260 0 0 25 0 1 0 967754616 26558464 4865 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6484 4865 301 301 0 6183 0
vsize: 25936
[startup+400.95 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10522 0 0 0 39830 264 0 0 25 0 1 0 967754616 26693632 4891 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6517 4891 301 301 0 6216 0
vsize: 26068
[startup+410.95 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10596 0 0 0 40826 269 0 0 25 0 1 0 967754616 26693632 4908 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6517 4908 301 301 0 6216 0
vsize: 26068
[startup+420.949 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10689 0 0 0 41821 274 0 0 25 0 1 0 967754616 26828800 4944 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6550 4944 301 301 0 6249 0
vsize: 26200
[startup+430.95 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10775 0 0 0 42818 278 0 0 25 0 1 0 967754616 26828800 4973 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6550 4973 301 301 0 6249 0
vsize: 26200
[startup+440.949 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10910 0 0 0 43813 283 0 0 25 0 1 0 967754616 26828800 4994 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6550 4994 301 301 0 6249 0
vsize: 26200
[startup+450.949 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 10985 0 0 0 44809 287 0 0 25 0 1 0 967754616 26963968 5012 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6583 5012 301 301 0 6282 0
vsize: 26332
[startup+460.948 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11144 0 0 0 45805 291 0 0 25 0 1 0 967754616 26963968 5057 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6583 5057 301 301 0 6282 0
vsize: 26332
[startup+470.949 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11218 0 0 0 46799 298 0 0 25 0 1 0 967754616 27099136 5074 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6616 5074 301 301 0 6315 0
vsize: 26464
[startup+480.948 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11300 0 0 0 47794 303 0 0 25 0 1 0 967754616 27099136 5099 4294967295 134512640 135730672 3221224576 3221223140 134740160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6616 5099 301 301 0 6315 0
vsize: 26464
[startup+490.948 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14054
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11379 0 0 0 48790 308 0 0 25 0 1 0 967754616 27234304 5121 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6649 5121 301 301 0 6348 0
vsize: 26596
[startup+500.948 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11543 0 0 0 49786 311 0 0 25 0 1 0 967754616 27234304 5171 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6649 5171 301 301 0 6348 0
vsize: 26596
[startup+510.947 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11615 0 0 0 50782 316 0 0 25 0 1 0 967754616 27234304 5186 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6649 5186 301 301 0 6348 0
vsize: 26596
[startup+520.946 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11693 0 0 0 51778 321 0 0 25 0 1 0 967754616 27369472 5207 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6682 5207 301 301 0 6381 0
vsize: 26728
[startup+530.946 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11806 0 0 0 52773 325 0 0 25 0 1 0 967754616 27369472 5263 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6682 5263 301 301 0 6381 0
vsize: 26728
[startup+540.945 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 11967 0 0 0 53770 328 0 0 25 0 1 0 967754616 27508736 5310 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6716 5310 301 301 0 6415 0
vsize: 26864
[startup+550.944 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12043 0 0 0 54767 332 0 0 25 0 1 0 967754616 27508736 5329 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6716 5329 301 301 0 6415 0
vsize: 26864
[startup+560.944 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12118 0 0 0 55762 337 0 0 25 0 1 0 967754616 27508736 5347 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6716 5347 301 301 0 6415 0
vsize: 26864
[startup+570.944 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12216 0 0 0 56758 341 0 0 25 0 1 0 967754616 27648000 5388 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6750 5388 301 301 0 6449 0
vsize: 27000
[startup+580.943 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12385 0 0 0 57754 346 0 0 25 0 1 0 967754616 27648000 5443 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6750 5443 301 301 0 6449 0
vsize: 27000
[startup+590.943 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12453 0 0 0 58749 351 0 0 25 0 1 0 967754616 27783168 5454 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6783 5454 301 301 0 6482 0
vsize: 27132
[startup+600.942 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12530 0 0 0 59746 354 0 0 25 0 1 0 967754616 27783168 5474 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6783 5474 301 301 0 6482 0
vsize: 27132
[startup+610.942 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12603 0 0 0 60743 358 0 0 25 0 1 0 967754616 27783168 5490 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6783 5490 301 301 0 6482 0
vsize: 27132
[startup+620.942 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12747 0 0 0 61739 362 0 0 25 0 1 0 967754616 27922432 5520 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6817 5520 301 301 0 6516 0
vsize: 27268
[startup+630.942 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12830 0 0 0 62734 367 0 0 25 0 1 0 967754616 27922432 5546 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6817 5546 301 301 0 6516 0
vsize: 27268
[startup+640.942 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 12968 0 0 0 63731 370 0 0 25 0 1 0 967754616 28057600 5570 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6850 5570 301 301 0 6549 0
vsize: 27400
[startup+650.941 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13096 0 0 0 64727 375 0 0 25 0 1 0 967754616 28057600 5641 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6850 5641 301 301 0 6549 0
vsize: 27400
[startup+660.941 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13201 0 0 0 65723 379 0 0 25 0 1 0 967754616 28192768 5689 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6883 5689 301 301 0 6582 0
vsize: 27532
[startup+670.94 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13344 0 0 0 66718 384 0 0 25 0 1 0 967754616 28332032 5718 4294967295 134512640 135730672 3221224576 3221223120 134740321 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6917 5718 301 301 0 6616 0
vsize: 27668
[startup+680.941 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13464 0 0 0 67715 388 0 0 25 0 1 0 967754616 28471296 5781 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6951 5781 301 301 0 6650 0
vsize: 27804
[startup+690.94 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13579 0 0 0 68710 393 0 0 25 0 1 0 967754616 28471296 5839 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6951 5839 301 301 0 6650 0
vsize: 27804
[startup+700.939 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13722 0 0 0 69706 397 0 0 25 0 1 0 967754616 28471296 5868 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6951 5868 301 301 0 6650 0
vsize: 27804
[startup+710.94 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13797 0 0 0 70703 401 0 0 25 0 1 0 967754616 28606464 5886 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6984 5886 301 301 0 6683 0
vsize: 27936
[startup+720.94 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13882 0 0 0 71699 405 0 0 25 0 1 0 967754616 28606464 5914 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6984 5914 301 301 0 6683 0
vsize: 27936
[startup+730.939 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 13954 0 0 0 72694 410 0 0 25 0 1 0 967754616 28741632 5929 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7017 5929 301 301 0 6716 0
vsize: 28068
[startup+740.938 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14039 0 0 0 73691 414 0 0 25 0 1 0 967754616 28741632 5957 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7017 5957 301 301 0 6716 0
vsize: 28068
[startup+750.938 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14167 0 0 0 74687 417 0 0 25 0 1 0 967754616 28876800 5971 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7050 5971 301 301 0 6749 0
vsize: 28200
[startup+760.937 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14247 0 0 0 75683 422 0 0 25 0 1 0 967754616 28876800 5994 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7050 5994 301 301 0 6749 0
vsize: 28200
[startup+770.937 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14363 0 0 0 76680 426 0 0 25 0 1 0 967754616 28876800 6053 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7050 6053 301 301 0 6749 0
vsize: 28200
[startup+780.938 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14505 0 0 0 77676 429 0 0 25 0 1 0 967754616 29011968 6081 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7083 6081 301 301 0 6782 0
vsize: 28332
[startup+790.937 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14593 0 0 0 78672 434 0 0 25 0 1 0 967754616 29147136 6112 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7116 6112 301 301 0 6815 0
vsize: 28464
[startup+800.936 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14709 0 0 0 79669 437 0 0 25 0 1 0 967754616 29147136 6171 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7116 6171 301 301 0 6815 0
vsize: 28464
[startup+810.936 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14828 0 0 0 80666 440 0 0 25 0 1 0 967754616 29282304 6233 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7149 6233 301 301 0 6848 0
vsize: 28596
[startup+820.936 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 14933 0 0 0 81663 444 0 0 25 0 1 0 967754616 29417472 6281 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7182 6281 301 301 0 6881 0
vsize: 28728
[startup+830.936 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15010 0 0 0 82660 447 0 0 25 0 1 0 967754616 29417472 6301 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7182 6301 301 301 0 6881 0
vsize: 28728
[startup+840.935 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15088 0 0 0 83657 450 0 0 25 0 1 0 967754616 29552640 6322 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7215 6322 301 301 0 6914 0
vsize: 28860
[startup+850.936 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15179 0 0 0 84653 455 0 0 25 0 1 0 967754616 29552640 6356 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7215 6356 301 301 0 6914 0
vsize: 28860
[startup+860.935 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15293 0 0 0 85650 458 0 0 25 0 1 0 967754616 29687808 6413 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7248 6413 301 301 0 6947 0
vsize: 28992
[startup+870.935 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15378 0 0 0 86647 462 0 0 25 0 1 0 967754616 29687808 6441 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7248 6441 301 301 0 6947 0
vsize: 28992
[startup+880.934 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15390 0 0 0 87644 465 0 0 25 0 1 0 967754616 29687808 6453 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7248 6453 301 301 0 6947 0
vsize: 28992
[startup+890.935 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15461 0 0 0 88642 467 0 0 25 0 1 0 967754616 29687808 6467 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7248 6467 301 301 0 6947 0
vsize: 28992
[startup+900.934 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15540 0 0 0 89637 472 0 0 25 0 1 0 967754616 29827072 6489 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7282 6489 301 301 0 6981 0
vsize: 29128
[startup+910.933 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15610 0 0 0 90634 476 0 0 25 0 1 0 967754616 29827072 6502 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7282 6502 301 301 0 6981 0
vsize: 29128
[startup+920.934 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15681 0 0 0 91630 480 0 0 25 0 1 0 967754616 29962240 6516 4294967295 134512640 135730672 3221224576 3221223072 134747777 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7315 6516 301 301 0 7014 0
vsize: 29260
[startup+930.934 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15754 0 0 0 92627 483 0 0 25 0 1 0 967754616 29962240 6532 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7315 6532 301 301 0 7014 0
vsize: 29260
[startup+940.933 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15826 0 0 0 93623 487 0 0 25 0 1 0 967754616 29962240 6547 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7315 6547 301 301 0 7014 0
vsize: 29260
[startup+950.933 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15894 0 0 0 94621 490 0 0 25 0 1 0 967754616 30101504 6558 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7349 6558 301 301 0 7048 0
vsize: 29396
[startup+960.932 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 15983 0 0 0 95617 494 0 0 25 0 1 0 967754616 30101504 6590 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7349 6590 301 301 0 7048 0
vsize: 29396
[startup+970.931 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16062 0 0 0 96614 497 0 0 25 0 1 0 967754616 30101504 6612 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7349 6612 301 301 0 7048 0
vsize: 29396
[startup+980.931 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16135 0 0 0 97610 501 0 0 25 0 1 0 967754616 30101504 6628 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7349 6628 301 301 0 7048 0
vsize: 29396
[startup+990.931 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16206 0 0 0 98608 504 0 0 25 0 1 0 967754616 30236672 6642 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7382 6642 301 301 0 7081 0
vsize: 29528
[startup+1000.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16307 0 0 0 99603 509 0 0 25 0 1 0 967754616 30236672 6686 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7382 6686 301 301 0 7081 0
vsize: 29528
[startup+1010.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16430 0 0 0 100600 512 0 0 25 0 1 0 967754616 30375936 6752 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7416 6752 301 301 0 7115 0
vsize: 29664
[startup+1020.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16503 0 0 0 101597 516 0 0 25 0 1 0 967754616 30375936 6768 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7416 6768 301 301 0 7115 0
vsize: 29664
[startup+1030.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16569 0 0 0 102595 518 0 0 25 0 1 0 967754616 30375936 6777 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7416 6777 301 301 0 7115 0
vsize: 29664
[startup+1040.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16637 0 0 0 103593 521 0 0 25 0 1 0 967754616 30511104 6788 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7449 6788 301 301 0 7148 0
vsize: 29796
[startup+1050.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16705 0 0 0 104588 526 0 0 25 0 1 0 967754616 30511104 6799 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7449 6799 301 301 0 7148 0
vsize: 29796
[startup+1060.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16774 0 0 0 105586 528 0 0 25 0 1 0 967754616 30511104 6811 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7449 6811 301 301 0 7148 0
vsize: 29796
[startup+1070.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16851 0 0 0 106582 533 0 0 25 0 1 0 967754616 30511104 6831 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7449 6831 301 301 0 7148 0
vsize: 29796
[startup+1080.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16869 0 0 0 107579 535 0 0 25 0 1 0 967754616 30650368 6849 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7483 6849 301 301 0 7182 0
vsize: 29932
[startup+1090.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 16942 0 0 0 108576 539 0 0 25 0 1 0 967754616 30650368 6865 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7483 6865 301 301 0 7182 0
vsize: 29932
[startup+1100.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17026 0 0 0 109572 543 0 0 25 0 1 0 967754616 30650368 6892 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7483 6892 301 301 0 7182 0
vsize: 29932
[startup+1110.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17129 0 0 0 110569 547 0 0 25 0 1 0 967754616 30789632 6938 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7517 6938 301 301 0 7216 0
vsize: 30068
[startup+1120.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17215 0 0 0 111566 550 0 0 25 0 1 0 967754616 30789632 6967 4294967295 134512640 135730672 3221224576 3221223280 134764636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7517 6967 301 301 0 7216 0
vsize: 30068
[startup+1130.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17286 0 0 0 112562 554 0 0 25 0 1 0 967754616 30789632 6981 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7517 6981 301 301 0 7216 0
vsize: 30068
[startup+1140.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17354 0 0 0 113559 558 0 0 25 0 1 0 967754616 30789632 6992 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7517 6992 301 301 0 7216 0
vsize: 30068
[startup+1150.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17421 0 0 0 114556 561 0 0 25 0 1 0 967754616 30924800 7002 4294967295 134512640 135730672 3221224576 3221223072 134747862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7550 7002 301 301 0 7249 0
vsize: 30200
[startup+1160.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17522 0 0 0 115554 564 0 0 25 0 1 0 967754616 30924800 7046 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7550 7046 301 301 0 7249 0
vsize: 30200
[startup+1170.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17609 0 0 0 116551 567 0 0 25 0 1 0 967754616 30924800 7076 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7550 7076 301 301 0 7249 0
vsize: 30200
[startup+1180.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17676 0 0 0 117547 571 0 0 25 0 1 0 967754616 31059968 7086 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7583 7086 301 301 0 7282 0
vsize: 30332
[startup+1190.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17682 0 0 0 118546 573 0 0 25 0 1 0 967754616 31059968 7092 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7583 7092 301 301 0 7282 0
vsize: 30332
[startup+1200.93 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14056
Raw data (stat): 13999 (pb2sat-v2) R 13998 25568 25567 0 -1 0 17812 0 0 0 119543 576 0 0 25 0 1 0 967754616 31059968 7108 4294967295 134512640 135730672 3221224576 3221223072 134747865 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7583 7108 301 301 0 7282 0
vsize: 30332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 14056
Raw data (stat): 13999 (pb2sat-v2) Z 13998 25568 25567 0 -1 12 17814 0 0 0 119555 578 0 0 25 0 1 0 967754616 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): 1201.07
CPU time (s): 1201.33
CPU user time (s): 1195.55
CPU system time (s): 5.78112
CPU usage (%): 100.022
Max. virtual memory (Kb): 30332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####