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/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb
MD5SUM	27cc6bcebfcedf07c5cf3ac138a419c6
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	913429
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1421968313
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1421968313
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.03
Number of variables	5292
Total number of constraints	536
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	252
Number of constraints which are nor clauses,nor cardinality constraints	284
Minimum length of a constraint	1
Maximum length of a constraint	360
Trace number 43024

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 21:05:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26224 boxname=wulflinc4 idbench=1524 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  27cc6bcebfcedf07c5cf3ac138a419c6  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran14x18_1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran14x18_1.opb
IDLAUNCH: 26224
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        690624 kB
Buffers:         22316 kB
Cached:         299780 kB
SwapCached:        904 kB
Active:          27732 kB
Inactive:       296444 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        690372 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14080 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 21:26:00 (client local time) WITH STATUS 0 IN 1200.67 SECONDS
stats: 26224 7 1200.67 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 15820/189840	Time: 62.2035/86400
c Decision: 15820/189840	Time: 69.4464/86400
c Decision: 15820/189840	Time: 75.3945/86400
c Decision: 15820/189840	Time: 81.8526/86400
c Decision: 15820/189840	Time: 88.9215/86400
c Decision: 15820/189840	Time: 94.7126/86400
c Decision: 15820/189840	Time: 101.978/86400
c Decision: 15820/189840	Time: 109.992/86400
c Decision: 15820/189840	Time: 116.854/86400
c Decision: 15820/189840	Time: 122.421/86400
c Decision: 15820/189840	Time: 129.908/86400
c Decision: 15820/189840	Time: 136.012/86400
c Decision: 15820/189840	Time: 141.765/86400
c Decision: 15820/189840	Time: 148.194/86400
c Decision: 15820/189840	Time: 155.014/86400
c Decision: 15820/189840	Time: 161.286/86400
c Decision: 15820/189840	Time: 167.658/86400
c Decision: 15820/189840	Time: 172.89/86400
c Decision: 15820/189840	Time: 179.441/86400
c Decision: 15820/189840	Time: 185.286/86400
c Decision: 15820/189840	Time: 191.591/86400
c Decision: 15820/189840	Time: 197.8/86400
c Decision: 15820/189840	Time: 203.476/86400
c Decision: 15820/189840	Time: 208.911/86400
c Decision: 15820/189840	Time: 214.404/86400
c Decision: 15820/189840	Time: 220.147/86400
c Decision: 15820/189840	Time: 226.711/86400
c Decision: 15820/189840	Time: 232.909/86400
c Decision: 15820/189840	Time: 238.563/86400
c Decision: 15820/189840	Time: 244.304/86400
c Decision: 15820/189840	Time: 250.465/86400
c Decision: 15820/189840	Time: 256.325/86400
c Decision: 15820/189840	Time: 262.368/86400
c Decision: 15820/189840	Time: 267.916/86400
c Decision: 15820/189840	Time: 272.845/86400
c Decision: 15820/189840	Time: 278.869/86400
c Decision: 15820/189840	Time: 284.052/86400
c Decision: 15820/189840	Time: 290.144/86400
c Decision: 15820/189840	Time: 296.28/86400
c Decision: 15820/189840	Time: 301.603/86400
c Decision: 15820/189840	Time: 308.075/86400
c Decision: 15820/189840	Time: 313.571/86400
c Decision: 15820/189840	Time: 318.873/86400
c Decision: 15820/189840	Time: 324.607/86400
c Decision: 15820/189840	Time: 330.75/86400
c Decision: 15820/189840	Time: 337.318/86400
c Decision: 15820/189840	Time: 343.227/86400
c Decision: 15820/189840	Time: 348.751/86400
c Decision: 15820/189840	Time: 355.094/86400
c Decision: 15820/189840	Time: 361.227/86400
c Decision: 15820/189840	Time: 367.013/86400
c Decision: 15820/189840	Time: 372.846/86400
c Decision: 15820/189840	Time: 378.055/86400
c Decision: 15820/189840	Time: 383.392/86400
c Decision: 15820/189840	Time: 389.451/86400
c Decision: 15820/189840	Time: 396.417/86400
c Decision: 15820/189840	Time: 402.205/86400
c Decision: 15820/189840	Time: 408.162/86400
c Decision: 15820/189840	Time: 413.377/86400
c Decision: 15820/189840	Time: 418.994/86400
c Decision: 15820/189840	Time: 424.832/86400
c Decision: 15820/189840	Time: 430.986/86400
c Decision: 15820/189840	Time: 437.124/86400
c Decision: 15820/189840	Time: 442.879/86400
c Decision: 15820/189840	Time: 448.318/86400
c Decision: 15820/189840	Time: 455.318/86400
c Decision: 15820/189840	Time: 463.405/86400
c Decision: 15820/189840	Time: 469.347/86400
c Decision: 15820/189840	Time: 475.583/86400
c Decision: 15820/189840	Time: 481.229/86400
c Decision: 15820/189840	Time: 487.341/86400
c Decision: 15820/189840	Time: 493.662/86400
c Decision: 15820/189840	Time: 499.661/86400
c Decision: 15820/189840	Time: 505.88/86400
c Decision: 15820/189840	Time: 512.417/86400
c Decision: 15820/189840	Time: 518.673/86400
c Decision: 15820/189840	Time: 523.948/86400
c Decision: 15820/189840	Time: 529.537/86400
c Decision: 15820/189840	Time: 535.299/86400
c Decision: 15820/189840	Time: 541.46/86400
c Decision: 15820/189840	Time: 548.196/86400
c Decision: 15820/189840	Time: 554.543/86400
c Decision: 15820/189840	Time: 561.701/86400
c Decision: 15820/189840	Time: 568.251/86400
c Decision: 15820/189840	Time: 575.079/86400
c Decision: 15820/189840	Time: 582.353/86400
c Decision: 15820/189840	Time: 588.681/86400
c Decision: 15820/189840	Time: 594.942/86400
c Decision: 15820/189840	Time: 601.116/86400
c Decision: 15820/189840	Time: 607.632/86400
c Decision: 15820/189840	Time: 614.817/86400
c Decision: 15820/189840	Time: 621.178/86400
c Decision: 15820/189840	Time: 627.546/86400
c Decision: 15820/189840	Time: 633.432/86400
c Decision: 15820/189840	Time: 639.82/86400
c Decision: 15820/189840	Time: 646.821/86400
c Decision: 15820/189840	Time: 653.608/86400
c Decision: 15820/189840	Time: 660.036/86400
c Decision: 15820/189840	Time: 665.091/86400
c Decision: 15820/189840	Time: 670.908/86400
c Decision: 15820/189840	Time: 678.177/86400
c Decision: 15820/189840	Time: 684.224/86400
c Decision: 15820/189840	Time: 690.914/86400
c Decision: 15820/189840	Time: 696.29/86400
c Decision: 15820/189840	Time: 703.277/86400
c Decision: 15820/189840	Time: 710.467/86400
c Decision: 15820/189840	Time: 717.229/86400
c Decision: 15820/189840	Time: 723.712/86400
c Decision: 15820/189840	Time: 730.034/86400
c Decision: 15820/189840	Time: 735.844/86400
c Decision: 15820/189840	Time: 742.697/86400
c Decision: 15820/189840	Time: 749.623/86400
c Decision: 15820/189840	Time: 756.106/86400
c Decision: 15820/189840	Time: 762.582/86400
c Decision: 15820/189840	Time: 768.869/86400
c Decision: 15820/189840	Time: 776.851/86400
c Decision: 15820/189840	Time: 783.606/86400
c Decision: 15820/189840	Time: 789.723/86400
c Decision: 15820/189840	Time: 796.502/86400
c Decision: 15820/189840	Time: 801.432/86400
c Decision: 15820/189840	Time: 808.291/86400
c Decision: 15820/189840	Time: 814.358/86400
c Decision: 15820/189840	Time: 821.893/86400
c Decision: 15820/189840	Time: 828.512/86400
c Decision: 15820/189840	Time: 835.104/86400
c Decision: 15820/189840	Time: 842.052/86400
c Decision: 15820/189840	Time: 848.973/86400
c Decision: 15820/189840	Time: 856.269/86400
c Decision: 15820/189840	Time: 863.025/86400
c Decision: 15820/189840	Time: 869.741/86400
c Decision: 15820/189840	Time: 876.65/86400
c Decision: 15820/189840	Time: 883.415/86400
c Decision: 15820/189840	Time: 890.415/86400
c Decision: 15820/189840	Time: 897.172/86400
c Decision: 15820/189840	Time: 904.439/86400
c Decision: 15820/189840	Time: 911.819/86400
c Decision: 15820/189840	Time: 919.756/86400
c Decision: 15820/189840	Time: 926.633/86400
c Decision: 15820/189840	Time: 931.79/86400
c Decision: 15820/189840	Time: 938.532/86400
c Decision: 15820/189840	Time: 946.285/86400
c Decision: 15820/189840	Time: 953.146/86400
c Decision: 15820/189840	Time: 959.506/86400
c Decision: 15820/189840	Time: 967.546/86400
c Decision: 15820/189840	Time: 974.584/86400
c Decision: 15820/189840	Time: 982.435/86400
c Decision: 15820/189840	Time: 990.624/86400
c Decision: 15820/189840	Time: 997.386/86400
c Decision: 15820/189840	Time: 1005.28/86400
c Decision: 15820/189840	Time: 1012.4/86400
c Decision: 15820/189840	Time: 1019.93/86400
c Decision: 15820/189840	Time: 1026.73/86400
c Decision: 15820/189840	Time: 1033.21/86400
c Decision: 15820/189840	Time: 1040.65/86400
c Decision: 15820/189840	Time: 1047.65/86400
c Decision: 15820/189840	Time: 1055.56/86400
c Decision: 15820/189840	Time: 1062.39/86400
c Decision: 15820/189840	Time: 1069.9/86400
c Decision: 15820/189840	Time: 1075.89/86400
c Decision: 15820/189840	Time: 1084.96/86400
c Decision: 15820/189840	Time: 1091.63/86400
c Decision: 15820/189840	Time: 1098.98/86400
c Decision: 15820/189840	Time: 1106.88/86400
c Decision: 15820/189840	Time: 1114.22/86400
c Decision: 15820/189840	Time: 1121.08/86400
c Decision: 15820/189840	Time: 1129.5/86400
c Decision: 15820/189840	Time: 1136.71/86400
c Decision: 15820/189840	Time: 1143.79/86400
c Decision: 15820/189840	Time: 1150.86/86400
c Decision: 15820/189840	Time: 1158.18/86400
c Decision: 15820/189840	Time: 1165.88/86400
c Decision: 15820/189840	Time: 1172.09/86400
c Decision: 15820/189840	Time: 1179.48/86400
c Decision: 15820/189840	Time: 1187.91/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.93 0.98 0.91 2/54 558
Raw data (stat): 558 (runsolver) R 557 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973860022 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.0004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 25453 0 0 0 938 60 0 0 25 0 1 0 973860022 79151104 14172 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19324 14172 301 301 0 19023 0
vsize: 77296
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 27020 0 0 0 1933 65 0 0 25 0 1 0 973860022 86147072 15739 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21032 15739 301 301 0 20731 0
vsize: 84128
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 27345 0 0 0 2930 67 0 0 25 0 1 0 973860022 87490560 16064 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21360 16064 301 301 0 21059 0
vsize: 85440
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 27681 0 0 0 3926 71 0 0 25 0 1 0 973860022 89047040 16400 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21740 16400 301 301 0 21439 0
vsize: 86960
[startup+50.0031 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 27854 0 0 0 4924 73 0 0 25 0 1 0 973860022 89669632 16573 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21892 16573 301 301 0 21591 0
vsize: 87568
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 27917 0 0 0 5922 76 0 0 25 0 1 0 973860022 89833472 16636 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21932 16636 301 301 0 21631 0
vsize: 87728
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 27993 0 0 0 6919 78 0 0 25 0 1 0 973860022 90161152 16712 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22012 16712 301 301 0 21711 0
vsize: 88048
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 28836 0 0 0 7915 82 0 0 25 0 1 0 973860022 90488832 16813 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22092 16813 301 301 0 21791 0
vsize: 88368
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 29268 0 0 0 8911 86 0 0 25 0 1 0 973860022 90652672 16874 4294967295 134512640 135730672 3221224576 3221223120 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22132 16874 301 301 0 21831 0
vsize: 88528
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 30035 0 0 0 9907 90 0 0 25 0 1 0 973860022 90652672 16899 4294967295 134512640 135730672 3221224576 3221223164 134747446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22132 16899 301 301 0 21831 0
vsize: 88528
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 30468 0 0 0 10905 93 0 0 25 0 1 0 973860022 90980352 16961 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22212 16961 301 301 0 21911 0
vsize: 88848
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 31223 0 0 0 11900 98 0 0 25 0 1 0 973860022 90980352 16974 4294967295 134512640 135730672 3221224576 3221222912 134739215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22212 16974 301 301 0 21911 0
vsize: 88848
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 31621 0 0 0 12897 101 0 0 25 0 1 0 973860022 91144192 17001 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22252 17001 301 301 0 21951 0
vsize: 89008
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 32377 0 0 0 13891 106 0 0 25 0 1 0 973860022 91144192 17015 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22252 17015 301 301 0 21951 0
vsize: 89008
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 32774 0 0 0 14888 110 0 0 25 0 1 0 973860022 91144192 17041 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22252 17041 301 301 0 21951 0
vsize: 89008
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 33531 0 0 0 15883 115 0 0 25 0 1 0 973860022 91144192 17056 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22252 17056 301 301 0 21951 0
vsize: 89008
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 34301 0 0 0 16879 119 0 0 25 0 1 0 973860022 91308032 17084 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22292 17084 301 301 0 21991 0
vsize: 89168
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 34693 0 0 0 17875 123 0 0 25 0 1 0 973860022 91308032 17105 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22292 17105 301 301 0 21991 0
vsize: 89168
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 35472 0 0 0 18870 128 0 0 25 0 1 0 973860022 91439104 17142 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22324 17142 301 301 0 22023 0
vsize: 89296
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 36248 0 0 0 19866 133 0 0 25 0 1 0 973860022 91574272 17176 4294967295 134512640 135730672 3221224576 3221223136 134787656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22357 17176 301 301 0 22056 0
vsize: 89428
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 36643 0 0 0 20861 138 0 0 25 0 1 0 973860022 91574272 17200 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22357 17200 301 301 0 22056 0
vsize: 89428
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 37414 0 0 0 21857 142 0 0 25 0 1 0 973860022 91574272 17229 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22357 17229 301 301 0 22056 0
vsize: 89428
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 38194 0 0 0 22853 147 0 0 25 0 1 0 973860022 91705344 17267 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22389 17267 301 301 0 22088 0
vsize: 89556
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 38660 0 0 0 23847 152 0 0 25 0 1 0 973860022 92233728 17362 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22518 17362 301 301 0 22217 0
vsize: 90072
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 39444 0 0 0 24842 158 0 0 25 0 1 0 973860022 92233728 17404 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22518 17404 301 301 0 22217 0
vsize: 90072
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 40203 0 0 0 25836 164 0 0 25 0 1 0 973860022 92233728 17421 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22518 17421 301 301 0 22217 0
vsize: 90072
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 40590 0 0 0 26832 168 0 0 25 0 1 0 973860022 92233728 17437 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22518 17437 301 301 0 22217 0
vsize: 90072
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 41363 0 0 0 27826 174 0 0 25 0 1 0 973860022 92381184 17468 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22554 17468 301 301 0 22253 0
vsize: 90216
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 41756 0 0 0 28822 178 0 0 25 0 1 0 973860022 92381184 17490 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22554 17490 301 301 0 22253 0
vsize: 90216
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 42523 0 0 0 29818 182 0 0 25 0 1 0 973860022 92381184 17515 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22554 17515 301 301 0 22253 0
vsize: 90216
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 42924 0 0 0 30815 186 0 0 25 0 1 0 973860022 92512256 17545 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22586 17545 301 301 0 22285 0
vsize: 90344
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 43690 0 0 0 31810 191 0 0 25 0 1 0 973860022 92512256 17569 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22586 17569 301 301 0 22285 0
vsize: 90344
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 44461 0 0 0 32805 196 0 0 25 0 1 0 973860022 92512256 17598 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22586 17598 301 301 0 22285 0
vsize: 90344
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 45229 0 0 0 33801 201 0 0 25 0 1 0 973860022 92512256 17624 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22586 17624 301 301 0 22285 0
vsize: 90344
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 45631 0 0 0 34797 205 0 0 25 0 1 0 973860022 92643328 17655 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22618 17655 301 301 0 22317 0
vsize: 90472
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 46403 0 0 0 35793 209 0 0 25 0 1 0 973860022 92643328 17685 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22618 17685 301 301 0 22317 0
vsize: 90472
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 47171 0 0 0 36787 215 0 0 25 0 1 0 973860022 92774400 17711 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22650 17711 301 301 0 22349 0
vsize: 90600
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 47579 0 0 0 37784 218 0 0 25 0 1 0 973860022 92774400 17748 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22650 17748 301 301 0 22349 0
vsize: 90600
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 48410 0 0 0 38779 223 0 0 25 0 1 0 973860022 93069312 17837 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22722 17837 301 301 0 22421 0
vsize: 90888
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 49191 0 0 0 39773 229 0 0 25 0 1 0 973860022 93233152 17876 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22762 17876 301 301 0 22461 0
vsize: 91048
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 49587 0 0 0 40769 234 0 0 25 0 1 0 973860022 93233152 17901 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22762 17901 301 301 0 22461 0
vsize: 91048
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 50357 0 0 0 41764 239 0 0 25 0 1 0 973860022 93368320 17929 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22795 17929 301 301 0 22494 0
vsize: 91180
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 51135 0 0 0 42758 244 0 0 25 0 1 0 973860022 93368320 17965 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22795 17965 301 301 0 22494 0
vsize: 91180
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 51902 0 0 0 43754 249 0 0 25 0 1 0 973860022 93368320 17990 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22795 17990 301 301 0 22494 0
vsize: 91180
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 52310 0 0 0 44750 253 0 0 25 0 1 0 973860022 93515776 18027 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22831 18027 301 301 0 22530 0
vsize: 91324
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 53084 0 0 0 45744 259 0 0 25 0 1 0 973860022 93515776 18059 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22831 18059 301 301 0 22530 0
vsize: 91324
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 53475 0 0 0 46740 263 0 0 25 0 1 0 973860022 93515776 18079 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22831 18079 301 301 0 22530 0
vsize: 91324
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 54241 0 0 0 47736 267 0 0 25 0 1 0 973860022 93650944 18103 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22864 18103 301 301 0 22563 0
vsize: 91456
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 55013 0 0 0 48731 272 0 0 25 0 1 0 973860022 93650944 18133 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22864 18133 301 301 0 22563 0
vsize: 91456
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 55413 0 0 0 49727 277 0 0 25 0 1 0 973860022 93786112 18162 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22897 18162 301 301 0 22596 0
vsize: 91588
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 56178 0 0 0 50721 282 0 0 25 0 1 0 973860022 93786112 18185 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22897 18185 301 301 0 22596 0
vsize: 91588
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 56579 0 0 0 51718 286 0 0 25 0 1 0 973860022 93786112 18215 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22897 18215 301 301 0 22596 0
vsize: 91588
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 57347 0 0 0 52714 290 0 0 25 0 1 0 973860022 93917184 18241 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22929 18241 301 301 0 22628 0
vsize: 91716
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 57753 0 0 0 53710 294 0 0 25 0 1 0 973860022 93917184 18276 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22929 18276 301 301 0 22628 0
vsize: 91716
[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 58525 0 0 0 54706 299 0 0 25 0 1 0 973860022 95436800 18677 4294967295 134512640 135730672 3221224576 3221222752 134769217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23300 18677 301 301 0 22999 0
vsize: 93200
[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 58920 0 0 0 55700 304 0 0 25 0 1 0 973860022 94052352 18330 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22962 18330 301 301 0 22661 0
vsize: 91848
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 59328 0 0 0 56696 309 0 0 25 0 1 0 973860022 94052352 18367 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22962 18367 301 301 0 22661 0
vsize: 91848
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 60093 0 0 0 57692 313 0 0 25 0 1 0 973860022 94052352 18390 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22962 18390 301 301 0 22661 0
vsize: 91848
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 60489 0 0 0 58688 317 0 0 25 0 1 0 973860022 94183424 18415 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22994 18415 301 301 0 22693 0
vsize: 91976
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 61252 0 0 0 59683 322 0 0 25 0 1 0 973860022 94183424 18436 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22994 18436 301 301 0 22693 0
vsize: 91976
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 62023 0 0 0 60679 326 0 0 25 0 1 0 973860022 94183424 18465 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22994 18465 301 301 0 22693 0
vsize: 91976
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 62424 0 0 0 61675 330 0 0 25 0 1 0 973860022 94314496 18495 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23026 18495 301 301 0 22725 0
vsize: 92104
[startup+630.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 63189 0 0 0 62671 335 0 0 25 0 1 0 973860022 94314496 18518 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23026 18518 301 301 0 22725 0
vsize: 92104
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 63593 0 0 0 63667 339 0 0 25 0 1 0 973860022 94314496 18551 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23026 18551 301 301 0 22725 0
vsize: 92104
[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 64362 0 0 0 64662 344 0 0 25 0 1 0 973860022 94449664 18578 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23059 18578 301 301 0 22758 0
vsize: 92236
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 64755 0 0 0 65658 348 0 0 25 0 1 0 973860022 94449664 18600 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23059 18600 301 301 0 22758 0
vsize: 92236
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 65519 0 0 0 66654 352 0 0 25 0 1 0 973860022 94449664 18622 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23059 18622 301 301 0 22758 0
vsize: 92236
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 66305 0 0 0 67650 357 0 0 25 0 1 0 973860022 94580736 18666 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23091 18666 301 301 0 22790 0
vsize: 92364
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 66700 0 0 0 68647 360 0 0 25 0 1 0 973860022 94580736 18690 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23091 18690 301 301 0 22790 0
vsize: 92364
[startup+700.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 67467 0 0 0 69642 365 0 0 25 0 1 0 973860022 94711808 18715 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23123 18715 301 301 0 22822 0
vsize: 92492
[startup+710.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 67866 0 0 0 70638 369 0 0 25 0 1 0 973860022 94711808 18743 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23123 18743 301 301 0 22822 0
vsize: 92492
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 68634 0 0 0 71635 372 0 0 25 0 1 0 973860022 94711808 18769 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23123 18769 301 301 0 22822 0
vsize: 92492
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 69034 0 0 0 72631 376 0 0 25 0 1 0 973860022 94842880 18798 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23155 18798 301 301 0 22854 0
vsize: 92620
[startup+740.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 69811 0 0 0 73626 381 0 0 25 0 1 0 973860022 94842880 18833 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23155 18833 301 301 0 22854 0
vsize: 92620
[startup+750.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 70222 0 0 0 74622 385 0 0 25 0 1 0 973860022 94973952 18873 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23187 18873 301 301 0 22886 0
vsize: 92748
[startup+760.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 70987 0 0 0 75618 390 0 0 25 0 1 0 973860022 94973952 18896 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23187 18896 301 301 0 22886 0
vsize: 92748
[startup+770.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 71420 0 0 0 76614 394 0 0 25 0 1 0 973860022 95272960 18958 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23260 18958 301 301 0 22959 0
vsize: 93040
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 72181 0 0 0 77608 399 0 0 25 0 1 0 973860022 95272960 18977 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23260 18977 301 301 0 22959 0
vsize: 93040
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 72567 0 0 0 78605 403 0 0 25 0 1 0 973860022 95272960 18992 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23260 18992 301 301 0 22959 0
vsize: 93040
[startup+800.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 73343 0 0 0 79601 407 0 0 25 0 1 0 973860022 95272960 19026 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23260 19026 301 301 0 22959 0
vsize: 93040
[startup+810.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 74117 0 0 0 80597 411 0 0 25 0 1 0 973860022 96792576 19429 4294967295 134512640 135730672 3221224576 3221222712 134765489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23631 19429 301 301 0 23330 0
vsize: 94524
[startup+820.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 74516 0 0 0 81593 415 0 0 25 0 1 0 973860022 95404032 19086 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23292 19086 301 301 0 22991 0
vsize: 93168
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 74911 0 0 0 82589 419 0 0 25 0 1 0 973860022 95404032 19110 4294967295 134512640 135730672 3221224576 3221223088 134746235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23292 19110 301 301 0 22991 0
vsize: 93168
[startup+840.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 75684 0 0 0 83585 423 0 0 25 0 1 0 973860022 95404032 19141 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23292 19141 301 301 0 22991 0
vsize: 93168
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 76452 0 0 0 84582 427 0 0 25 0 1 0 973860022 97054720 19538 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23695 19538 301 301 0 23394 0
vsize: 94780
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 76846 0 0 0 85578 431 0 0 25 0 1 0 973860022 95535104 19190 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23324 19190 301 301 0 23023 0
vsize: 93296
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 77242 0 0 0 86575 434 0 0 25 0 1 0 973860022 95535104 19215 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23324 19215 301 301 0 23023 0
vsize: 93296
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 78017 0 0 0 87571 438 0 0 25 0 1 0 973860022 95666176 19248 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23356 19248 301 301 0 23055 0
vsize: 93424
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 78415 0 0 0 88567 442 0 0 25 0 1 0 973860022 95666176 19275 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23356 19275 301 301 0 23055 0
vsize: 93424
[startup+900.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 79177 0 0 0 89564 446 0 0 25 0 1 0 973860022 95666176 19295 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23356 19295 301 301 0 23055 0
vsize: 93424
[startup+910.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 79577 0 0 0 90560 450 0 0 25 0 1 0 973860022 95797248 19324 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23388 19324 301 301 0 23087 0
vsize: 93552
[startup+920.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 80346 0 0 0 91556 454 0 0 25 0 1 0 973860022 95797248 19351 4294967295 134512640 135730672 3221224576 3221223136 134787662 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23388 19351 301 301 0 23087 0
vsize: 93552
[startup+930.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 80733 0 0 0 92552 458 0 0 25 0 1 0 973860022 95797248 19367 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23388 19367 301 301 0 23087 0
vsize: 93552
[startup+940.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 81141 0 0 0 93549 461 0 0 25 0 1 0 973860022 95928320 19404 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23420 19404 301 301 0 23119 0
vsize: 93680
[startup+950.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 81908 0 0 0 94545 466 0 0 25 0 1 0 973860022 95928320 19429 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23420 19429 301 301 0 23119 0
vsize: 93680
[startup+960.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 82303 0 0 0 95541 470 0 0 25 0 1 0 973860022 95928320 19453 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23420 19453 301 301 0 23119 0
vsize: 93680
[startup+970.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 83071 0 0 0 96537 474 0 0 25 0 1 0 973860022 96059392 19479 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23452 19479 301 301 0 23151 0
vsize: 93808
[startup+980.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 83467 0 0 0 97534 478 0 0 25 0 1 0 973860022 96059392 19504 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23452 19504 301 301 0 23151 0
vsize: 93808
[startup+990.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 83864 0 0 0 98530 481 0 0 25 0 1 0 973860022 96059392 19530 4294967295 134512640 135730672 3221224576 3221223088 134745979 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23452 19530 301 301 0 23151 0
vsize: 93808
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 84622 0 0 0 99526 486 0 0 25 0 1 0 973860022 96059392 19546 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23452 19546 301 301 0 23151 0
vsize: 93808
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 85027 0 0 0 100524 488 0 0 25 0 1 0 973860022 96190464 19580 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23484 19580 301 301 0 23183 0
vsize: 93936
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 85426 0 0 0 101521 491 0 0 25 0 1 0 973860022 96190464 19608 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23484 19608 301 301 0 23183 0
vsize: 93936
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 86191 0 0 0 102517 496 0 0 25 0 1 0 973860022 96190464 19631 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23484 19631 301 301 0 23183 0
vsize: 93936
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 86592 0 0 0 103514 499 0 0 25 0 1 0 973860022 96321536 19661 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23516 19661 301 301 0 23215 0
vsize: 94064
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 87358 0 0 0 104510 503 0 0 25 0 1 0 973860022 96321536 19685 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23516 19685 301 301 0 23215 0
vsize: 94064
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 87765 0 0 0 105507 506 0 0 25 0 1 0 973860022 96501760 19721 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23560 19721 301 301 0 23259 0
vsize: 94240
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 88159 0 0 0 106504 509 0 0 25 0 1 0 973860022 96501760 19744 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23560 19744 301 301 0 23259 0
vsize: 94240
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 88931 0 0 0 107500 513 0 0 25 0 1 0 973860022 96501760 19774 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23560 19774 301 301 0 23259 0
vsize: 94240
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 89329 0 0 0 108496 517 0 0 25 0 1 0 973860022 96636928 19801 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23593 19801 301 301 0 23292 0
vsize: 94372
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 90098 0 0 0 109492 521 0 0 25 0 1 0 973860022 96636928 19828 4294967295 134512640 135730672 3221224576 3221223200 134783330 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23593 19828 301 301 0 23292 0
vsize: 94372
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 90496 0 0 0 110489 524 0 0 25 0 1 0 973860022 96636928 19855 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23593 19855 301 301 0 23292 0
vsize: 94372
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 90897 0 0 0 111486 528 0 0 25 0 1 0 973860022 96772096 19885 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23626 19885 301 301 0 23325 0
vsize: 94504
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 91663 0 0 0 112482 532 0 0 25 0 1 0 973860022 96772096 19909 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23626 19909 301 301 0 23325 0
vsize: 94504
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 92051 0 0 0 113480 535 0 0 25 0 1 0 973860022 96772096 19926 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23626 19926 301 301 0 23325 0
vsize: 94504
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 92456 0 0 0 114476 538 0 0 25 0 1 0 973860022 96903168 19960 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23658 19960 301 301 0 23357 0
vsize: 94632
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 93224 0 0 0 115473 542 0 0 25 0 1 0 973860022 96903168 19986 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23658 19986 301 301 0 23357 0
vsize: 94632
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 93626 0 0 0 116468 547 0 0 25 0 1 0 973860022 97034240 20017 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23690 20017 301 301 0 23389 0
vsize: 94760
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 94028 0 0 0 117465 551 0 0 25 0 1 0 973860022 97034240 20048 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23690 20048 301 301 0 23389 0
vsize: 94760
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 94793 0 0 0 118461 555 0 0 25 0 1 0 973860022 97034240 20071 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23690 20071 301 301 0 23389 0
vsize: 94760
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 558
Raw data (stat): 558 (pb2sat-v2) R 557 21152 21151 0 -1 0 95220 0 0 0 119458 559 0 0 25 0 1 0 973860022 97169408 20127 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23723 20127 301 301 0 23422 0
vsize: 94892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.55 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 558
Raw data (stat): 558 (pb2sat-v2) Z 557 21152 21151 0 -1 12 95222 0 0 0 119503 563 0 0 25 0 1 0 973860022 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.55
CPU time (s): 1200.67
CPU user time (s): 1195.03
CPU system time (s): 5.63314
CPU usage (%): 100.01
Max. virtual memory (Kb): 94892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####