PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
MD5SUM	c501a04dd091dbe678ec2743021adc30
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.2037
Number of variables	2970
Total number of constraints	2113
Number of constraints which are clauses	2024
Number of constraints which are cardinality constraints (but not clauses)	89
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 34708

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-28 10:11:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23982 boxname=wulflinc19 idbench=56 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c501a04dd091dbe678ec2743021adc30  /oldhome/oroussel/tmp/wulflinc19/normalized-fpga45_44_sat_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-fpga45_44_sat_pb.cnf.cr.opb
IDLAUNCH: 23982
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        463448 kB
Buffers:         32420 kB
Cached:         509260 kB
SwapCached:        960 kB
Active:          40336 kB
Inactive:       503464 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        463196 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4936 kB
Slab:            21656 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:31:46 (client local time) WITH STATUS 0 IN 1200.76 SECONDS
stats: 23982 7 1200.76 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 2881/8732	Time: 26.405/86400
Decision: 2881/8732	Time: 29.8405/86400
Decision: 2881/8732	Time: 32.685/86400
Decision: 2881/8732	Time: 35.1897/86400
Decision: 2881/8732	Time: 37.7383/86400
Decision: 2881/8732	Time: 41.5607/86400
Decision: 2881/8732	Time: 45.2971/86400
Decision: 2881/8732	Time: 49.2645/86400
Decision: 2881/8732	Time: 53.4819/86400
Decision: 2881/8732	Time: 57.0953/86400
Decision: 2881/8732	Time: 61.2287/86400
Decision: 2881/8732	Time: 63.6033/86400
Decision: 2881/8732	Time: 66.8048/86400
Decision: 2881/8732	Time: 70.4793/86400
Decision: 2881/8732	Time: 74.6856/86400
Decision: 2881/8732	Time: 79.5519/86400
Decision: 2881/8732	Time: 84.0992/86400
Decision: 2881/8732	Time: 87.3827/86400
Decision: 2881/8732	Time: 91.7171/86400
Decision: 2881/8732	Time: 96.3793/86400
Decision: 2881/8732	Time: 99.5849/86400
Decision: 2881/8732	Time: 103.884/86400
Decision: 2881/8732	Time: 108.366/86400
Decision: 2881/8732	Time: 113.116/86400
Decision: 2881/8732	Time: 117.585/86400
Decision: 2881/8732	Time: 121.16/86400
Decision: 2881/8732	Time: 125.8/86400
Decision: 2881/8732	Time: 130.766/86400
Decision: 2881/8732	Time: 134.925/86400
Decision: 2881/8732	Time: 139.723/86400
Decision: 2881/8732	Time: 144.5/86400
Decision: 2881/8732	Time: 149.352/86400
Decision: 2881/8732	Time: 153.828/86400
Decision: 2881/8732	Time: 156.838/86400
Decision: 2881/8732	Time: 161.086/86400
Decision: 2881/8732	Time: 164.862/86400
Decision: 2881/8732	Time: 168.214/86400
Decision: 2881/8732	Time: 172.763/86400
Decision: 2881/8732	Time: 178.711/86400
Decision: 2881/8732	Time: 184.223/86400
Decision: 2881/8732	Time: 189.209/86400
Decision: 2881/8732	Time: 194.497/86400
Decision: 2881/8732	Time: 199.85/86400
Decision: 2881/8732	Time: 205.153/86400
Decision: 2881/8732	Time: 210.747/86400
Decision: 2881/8732	Time: 216.187/86400
Decision: 2881/8732	Time: 220.401/86400
Decision: 2881/8732	Time: 224.835/86400
Decision: 2881/8732	Time: 230.114/86400
Decision: 2881/8732	Time: 235.872/86400
Decision: 2881/8732	Time: 241.545/86400
Decision: 2881/8732	Time: 247.142/86400
Decision: 2881/8732	Time: 252.602/86400
Decision: 2881/8732	Time: 257.921/86400
Decision: 2881/8732	Time: 262.747/86400
Decision: 2881/8732	Time: 267.958/86400
Decision: 2881/8732	Time: 273.297/86400
Decision: 2881/8732	Time: 278.32/86400
Decision: 2881/8732	Time: 283.686/86400
Decision: 2881/8732	Time: 289.341/86400
Decision: 2881/8732	Time: 293.539/86400
Decision: 2881/8732	Time: 297.513/86400
Decision: 2881/8732	Time: 302.192/86400
Decision: 2881/8732	Time: 307.077/86400
Decision: 2881/8732	Time: 312.646/86400
Decision: 2881/8732	Time: 316.296/86400
Decision: 2881/8732	Time: 320.248/86400
Decision: 2881/8732	Time: 325.222/86400
Decision: 2881/8732	Time: 330.911/86400
Decision: 2881/8732	Time: 336.358/86400
Decision: 2881/8732	Time: 340.716/86400
Decision: 2881/8732	Time: 344.395/86400
Decision: 2881/8732	Time: 349.751/86400
Decision: 2881/8732	Time: 353.298/86400
Decision: 2881/8732	Time: 358.015/86400
Decision: 2881/8732	Time: 364.478/86400
Decision: 2881/8732	Time: 370.623/86400
Decision: 2881/8732	Time: 376.02/86400
Decision: 2881/8732	Time: 380.729/86400
Decision: 2881/8732	Time: 384.561/86400
Decision: 2881/8732	Time: 389.748/86400
Decision: 2881/8732	Time: 395.159/86400
Decision: 2881/8732	Time: 398.72/86400
Decision: 2881/8732	Time: 402.415/86400
Decision: 2881/8732	Time: 407.632/86400
Decision: 2881/8732	Time: 411.644/86400
Decision: 2881/8732	Time: 414.957/86400
Decision: 2881/8732	Time: 419.508/86400
Decision: 2881/8732	Time: 423.97/86400
Decision: 2881/8732	Time: 427.617/86400
Decision: 2881/8732	Time: 432.507/86400
Decision: 2881/8732	Time: 438.146/86400
Decision: 2881/8732	Time: 443.875/86400
Decision: 2881/8732	Time: 448.756/86400
Decision: 2881/8732	Time: 453.057/86400
Decision: 2881/8732	Time: 458.787/86400
Decision: 2881/8732	Time: 463.833/86400
Decision: 2881/8732	Time: 469.953/86400
Decision: 2881/8732	Time: 474.069/86400
Decision: 2881/8732	Time: 479.968/86400
Decision: 2881/8732	Time: 486.461/86400
Decision: 2881/8732	Time: 492.874/86400
Decision: 2881/8732	Time: 497.324/86400
Decision: 2881/8732	Time: 503.424/86400
Decision: 2881/8732	Time: 510.182/86400
Decision: 2881/8732	Time: 516.36/86400
Decision: 2881/8732	Time: 522.413/86400
Decision: 2881/8732	Time: 528.913/86400
Decision: 2881/8732	Time: 534.768/86400
Decision: 2881/8732	Time: 541.283/86400
Decision: 2881/8732	Time: 547.233/86400
Decision: 2881/8732	Time: 553.275/86400
Decision: 2881/8732	Time: 558.726/86400
Decision: 2881/8732	Time: 564.719/86400
Decision: 2881/8732	Time: 570.969/86400
Decision: 2881/8732	Time: 577.824/86400
Decision: 2881/8732	Time: 584.854/86400
Decision: 2881/8732	Time: 591.336/86400
Decision: 2881/8732	Time: 598.427/86400
Decision: 2881/8732	Time: 605.788/86400
Decision: 2881/8732	Time: 613.044/86400
Decision: 2881/8732	Time: 620.149/86400
Decision: 2881/8732	Time: 623.367/86400
Decision: 2881/8732	Time: 627.083/86400
Decision: 2881/8732	Time: 632.311/86400
Decision: 2881/8732	Time: 637.405/86400
Decision: 2881/8732	Time: 643.221/86400
Decision: 2881/8732	Time: 648.906/86400
Decision: 2881/8732	Time: 653.366/86400
Decision: 2881/8732	Time: 657.816/86400
Decision: 2881/8732	Time: 663.173/86400
Decision: 2881/8732	Time: 670.163/86400
Decision: 2881/8732	Time: 675.896/86400
Decision: 2881/8732	Time: 681.073/86400
Decision: 2881/8732	Time: 686.643/86400
Decision: 2881/8732	Time: 693.117/86400
Decision: 2881/8732	Time: 699.482/86400
Decision: 2881/8732	Time: 703.86/86400
Decision: 2881/8732	Time: 710.675/86400
Decision: 2881/8732	Time: 717.512/86400
Decision: 2881/8732	Time: 724.622/86400
Decision: 2881/8732	Time: 731.29/86400
Decision: 2881/8732	Time: 735.993/86400
Decision: 2881/8732	Time: 742.449/86400
Decision: 2881/8732	Time: 748.179/86400
Decision: 2881/8732	Time: 753.877/86400
Decision: 2881/8732	Time: 761.276/86400
Decision: 2881/8732	Time: 768.971/86400
Decision: 2881/8732	Time: 776.806/86400
Decision: 2881/8732	Time: 783.776/86400
Decision: 2881/8732	Time: 791.062/86400
Decision: 2881/8732	Time: 798.267/86400
Decision: 2881/8732	Time: 804.214/86400
Decision: 2881/8732	Time: 809.66/86400
Decision: 2881/8732	Time: 815.18/86400
Decision: 2881/8732	Time: 821.866/86400
Decision: 2881/8732	Time: 827.574/86400
Decision: 2881/8732	Time: 833.759/86400
Decision: 2881/8732	Time: 839.848/86400
Decision: 2881/8732	Time: 846.68/86400
Decision: 2881/8732	Time: 850.504/86400
Decision: 2881/8732	Time: 858.123/86400
Decision: 2881/8732	Time: 865.484/86400
Decision: 2881/8732	Time: 871.912/86400
Decision: 2881/8732	Time: 879.093/86400
Decision: 2881/8732	Time: 886.274/86400
Decision: 2881/8732	Time: 892.967/86400
Decision: 2881/8732	Time: 900.778/86400
Decision: 2881/8732	Time: 908.187/86400
Decision: 2881/8732	Time: 913.656/86400
Decision: 2881/8732	Time: 921.516/86400
Decision: 2881/8732	Time: 929.027/86400
Decision: 2881/8732	Time: 936.853/86400
Decision: 2881/8732	Time: 944.363/86400
Decision: 2881/8732	Time: 950.098/86400
Decision: 2881/8732	Time: 954.651/86400
Decision: 2881/8732	Time: 959.807/86400
Decision: 2881/8732	Time: 963.132/86400
Decision: 2881/8732	Time: 966.796/86400
Decision: 2881/8732	Time: 972.356/86400
Decision: 2881/8732	Time: 979.626/86400
Decision: 2881/8732	Time: 986.647/86400
Decision: 2881/8732	Time: 991.167/86400
Decision: 2881/8732	Time: 997.939/86400
Decision: 2881/8732	Time: 1004.62/86400
Decision: 2881/8732	Time: 1011.46/86400
Decision: 2881/8732	Time: 1018.23/86400
Decision: 2881/8732	Time: 1025.63/86400
Decision: 2881/8732	Time: 1032.98/86400
Decision: 2881/8732	Time: 1040.19/86400
Decision: 2881/8732	Time: 1047.11/86400
Decision: 2881/8732	Time: 1052.92/86400
Decision: 2881/8732	Time: 1060.78/86400
Decision: 2881/8732	Time: 1069.31/86400
Decision: 2881/8732	Time: 1076.69/86400
Decision: 2881/8732	Time: 1085.13/86400
Decision: 2881/8732	Time: 1090.06/86400
Decision: 2881/8732	Time: 1096.55/86400
Decision: 2881/8732	Time: 1103.07/86400
Decision: 2881/8732	Time: 1110.46/86400
Decision: 2881/8732	Time: 1116.85/86400
Decision: 2881/8732	Time: 1124.03/86400
Decision: 2881/8732	Time: 1132.86/86400
Decision: 2881/8732	Time: 1141.26/86400
Decision: 2881/8732	Time: 1148.94/86400
Decision: 2881/8732	Time: 1157.17/86400
Decision: 2881/8732	Time: 1164.43/86400
Decision: 2881/8732	Time: 1170.45/86400
Decision: 2881/8732	Time: 1178.51/86400
Decision: 2881/8732	Time: 1183.58/86400
Decision: 2881/8732	Time: 1191.94/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.63 0.21 0.07 2/54 18519
Raw data (stat): 18519 (runsolver) R 18518 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 863976110 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.0003 s]
Raw data (loadavg): 0.68 0.24 0.08 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 1692 0 0 0 982 16 0 0 25 0 1 0 863976110 7614464 1271 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1859 1271 300 300 0 1559 0
vsize: 7436
[startup+20.0006 s]
Raw data (loadavg): 0.73 0.26 0.09 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 1903 0 0 0 1969 29 0 0 25 0 1 0 863976110 7880704 1482 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1924 1482 300 300 0 1624 0
vsize: 7696
[startup+30.0013 s]
Raw data (loadavg): 0.77 0.29 0.10 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2111 0 0 0 2959 40 0 0 25 0 1 0 863976110 10113024 1690 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2469 1690 300 300 0 2169 0
vsize: 9876
[startup+40.0006 s]
Raw data (loadavg): 0.81 0.31 0.11 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2389 0 0 0 3943 54 0 0 25 0 1 0 863976110 10661888 1968 4294967295 134512640 135726644 3221224576 3221223196 135337971 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2603 1968 300 300 0 2303 0
vsize: 10412
[startup+50.0017 s]
Raw data (loadavg): 0.84 0.33 0.12 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2661 0 0 0 4932 66 0 0 25 0 1 0 863976110 11583488 2047 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2828 2047 300 300 0 2528 0
vsize: 11312
[startup+60.0016 s]
Raw data (loadavg): 0.86 0.35 0.13 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2729 0 0 0 5919 79 0 0 25 0 1 0 863976110 11718656 2115 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2861 2115 300 300 0 2561 0
vsize: 11444
[startup+70.0008 s]
Raw data (loadavg): 0.88 0.37 0.14 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2774 0 0 0 6905 92 0 0 25 0 1 0 863976110 11907072 2160 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2907 2160 300 300 0 2607 0
vsize: 11628
[startup+80.0022 s]
Raw data (loadavg): 0.90 0.39 0.15 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2808 0 0 0 7892 105 0 0 25 0 1 0 863976110 11976704 2194 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2924 2194 300 300 0 2624 0
vsize: 11696
[startup+90.0016 s]
Raw data (loadavg): 0.91 0.41 0.15 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2852 0 0 0 8880 118 0 0 25 0 1 0 863976110 12148736 2238 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2966 2238 300 300 0 2666 0
vsize: 11864
[startup+100.002 s]
Raw data (loadavg): 0.93 0.43 0.16 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2889 0 0 0 9866 131 0 0 25 0 1 0 863976110 12259328 2275 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2993 2275 300 300 0 2693 0
vsize: 11972
[startup+110.003 s]
Raw data (loadavg): 0.94 0.45 0.17 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2922 0 0 0 10856 141 0 0 25 0 1 0 863976110 12328960 2308 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3010 2308 300 300 0 2710 0
vsize: 12040
[startup+120.003 s]
Raw data (loadavg): 0.95 0.47 0.18 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2946 0 0 0 11845 153 0 0 25 0 1 0 863976110 12414976 2332 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3031 2332 300 300 0 2731 0
vsize: 12124
[startup+130.003 s]
Raw data (loadavg): 0.95 0.48 0.19 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2975 0 0 0 12834 164 0 0 25 0 1 0 863976110 12496896 2361 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3051 2361 300 300 0 2751 0
vsize: 12204
[startup+140.004 s]
Raw data (loadavg): 0.96 0.50 0.20 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3000 0 0 0 13822 176 0 0 25 0 1 0 863976110 12562432 2386 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3067 2386 300 300 0 2767 0
vsize: 12268
[startup+150.004 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3019 0 0 0 14812 187 0 0 25 0 1 0 863976110 12562432 2405 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3067 2405 300 300 0 2767 0
vsize: 12268
[startup+160.004 s]
Raw data (loadavg): 0.97 0.53 0.21 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3084 0 0 0 15800 199 0 0 25 0 1 0 863976110 12824576 2470 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3131 2470 300 300 0 2831 0
vsize: 12524
[startup+170.004 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3148 0 0 0 16788 210 0 0 25 0 1 0 863976110 12939264 2534 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3159 2534 300 300 0 2859 0
vsize: 12636
[startup+180.004 s]
Raw data (loadavg): 0.98 0.56 0.23 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3168 0 0 0 17779 220 0 0 25 0 1 0 863976110 12939264 2554 4294967295 134512640 135726644 3221224576 3221223088 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3159 2554 300 300 0 2859 0
vsize: 12636
[startup+190.005 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3192 0 0 0 18768 231 0 0 25 0 1 0 863976110 13025280 2578 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3180 2578 300 300 0 2880 0
vsize: 12720
[startup+200.005 s]
Raw data (loadavg): 0.98 0.59 0.24 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3203 0 0 0 19759 240 0 0 25 0 1 0 863976110 13025280 2589 4294967295 134512640 135726644 3221224576 3221222912 134762338 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3180 2589 300 300 0 2880 0
vsize: 12720
[startup+210.006 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3231 0 0 0 20749 251 0 0 25 0 1 0 863976110 13127680 2617 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3205 2617 300 300 0 2905 0
vsize: 12820
[startup+220.005 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3251 0 0 0 21738 261 0 0 25 0 1 0 863976110 13201408 2637 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3223 2637 300 300 0 2923 0
vsize: 12892
[startup+230.005 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3304 0 0 0 22729 271 0 0 25 0 1 0 863976110 13336576 2690 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3256 2690 300 300 0 2956 0
vsize: 13024
[startup+240.005 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3333 0 0 0 23716 284 0 0 25 0 1 0 863976110 13422592 2719 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3277 2719 300 300 0 2977 0
vsize: 13108
[startup+250.005 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3361 0 0 0 24704 296 0 0 25 0 1 0 863976110 13516800 2747 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3300 2747 300 300 0 3000 0
vsize: 13200
[startup+260.006 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3760 0 0 0 25692 309 0 0 25 0 1 0 863976110 15155200 2761 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3700 2761 300 300 0 3400 0
vsize: 14800
[startup+270.005 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3775 0 0 0 26683 317 0 0 25 0 1 0 863976110 15155200 2776 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3700 2776 300 300 0 3400 0
vsize: 14800
[startup+280.005 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3809 0 0 0 27673 328 0 0 25 0 1 0 863976110 15249408 2810 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3723 2810 300 300 0 3423 0
vsize: 14892
[startup+290.006 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3822 0 0 0 28662 339 0 0 25 0 1 0 863976110 15249408 2823 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3723 2823 300 300 0 3423 0
vsize: 14892
[startup+300.006 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3854 0 0 0 29651 350 0 0 25 0 1 0 863976110 15343616 2855 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3746 2855 300 300 0 3446 0
vsize: 14984
[startup+310.006 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3876 0 0 0 30642 359 0 0 25 0 1 0 863976110 15429632 2877 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3767 2877 300 300 0 3467 0
vsize: 15068
[startup+320.006 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3908 0 0 0 31632 369 0 0 25 0 1 0 863976110 15507456 2909 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3786 2909 300 300 0 3486 0
vsize: 15144
[startup+330.006 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3930 0 0 0 32623 378 0 0 25 0 1 0 863976110 15585280 2931 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3805 2931 300 300 0 3505 0
vsize: 15220
[startup+340.006 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3950 0 0 0 33613 389 0 0 25 0 1 0 863976110 15659008 2951 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3823 2951 300 300 0 3523 0
vsize: 15292
[startup+350.007 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4000 0 0 0 34599 402 0 0 25 0 1 0 863976110 15794176 3001 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3856 3001 300 300 0 3556 0
vsize: 15424
[startup+360.008 s]
Raw data (loadavg): 0.99 0.75 0.36 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4021 0 0 0 35590 411 0 0 25 0 1 0 863976110 15872000 3022 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3875 3022 300 300 0 3575 0
vsize: 15500
[startup+370.007 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4033 0 0 0 36581 421 0 0 25 0 1 0 863976110 15872000 3034 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3875 3034 300 300 0 3575 0
vsize: 15500
[startup+380.008 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4053 0 0 0 37571 431 0 0 25 0 1 0 863976110 15945728 3054 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3893 3054 300 300 0 3593 0
vsize: 15572
[startup+390.008 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4072 0 0 0 38562 440 0 0 25 0 1 0 863976110 15945728 3073 4294967295 134512640 135726644 3221224576 3221222800 134810448 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3893 3073 300 300 0 3593 0
vsize: 15572
[startup+400.009 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4097 0 0 0 39552 451 0 0 25 0 1 0 863976110 16023552 3098 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3912 3098 300 300 0 3612 0
vsize: 15648
[startup+410.008 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4115 0 0 0 40546 457 0 0 25 0 1 0 863976110 16089088 3116 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3928 3116 300 300 0 3628 0
vsize: 15712
[startup+420.008 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4164 0 0 0 41535 467 0 0 25 0 1 0 863976110 16224256 3165 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3961 3165 300 300 0 3661 0
vsize: 15844
[startup+430.009 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4184 0 0 0 42525 478 0 0 25 0 1 0 863976110 16224256 3185 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3961 3185 300 300 0 3661 0
vsize: 15844
[startup+440.009 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4202 0 0 0 43517 486 0 0 25 0 1 0 863976110 16322560 3203 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3985 3203 300 300 0 3685 0
vsize: 15940
[startup+450.01 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4217 0 0 0 44505 498 0 0 25 0 1 0 863976110 16322560 3218 4294967295 134512640 135726644 3221224576 3221223088 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3985 3218 300 300 0 3685 0
vsize: 15940
[startup+460.01 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4241 0 0 0 45494 509 0 0 25 0 1 0 863976110 16420864 3242 4294967295 134512640 135726644 3221224576 3221223200 134779430 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4009 3242 300 300 0 3709 0
vsize: 16036
[startup+470.01 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4255 0 0 0 46487 517 0 0 25 0 1 0 863976110 16420864 3256 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4009 3256 300 300 0 3709 0
vsize: 16036
[startup+480.011 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4274 0 0 0 47476 528 0 0 25 0 1 0 863976110 16490496 3275 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4026 3275 300 300 0 3726 0
vsize: 16104
[startup+490.01 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4291 0 0 0 48465 539 0 0 25 0 1 0 863976110 16490496 3292 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4026 3292 300 300 0 3726 0
vsize: 16104
[startup+500.011 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4310 0 0 0 49456 548 0 0 25 0 1 0 863976110 16560128 3311 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4043 3311 300 300 0 3743 0
vsize: 16172
[startup+510.012 s]
Raw data (loadavg): 0.99 0.84 0.45 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4327 0 0 0 50448 556 0 0 25 0 1 0 863976110 16695296 3328 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4076 3328 300 300 0 3776 0
vsize: 16304
[startup+520.012 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4364 0 0 0 51440 564 0 0 25 0 1 0 863976110 16695296 3365 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4076 3365 300 300 0 3776 0
vsize: 16304
[startup+530.012 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4372 0 0 0 52433 571 0 0 25 0 1 0 863976110 16695296 3373 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4076 3373 300 300 0 3776 0
vsize: 16304
[startup+540.012 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4380 0 0 0 53425 579 0 0 25 0 1 0 863976110 16760832 3381 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4092 3381 300 300 0 3792 0
vsize: 16368
[startup+550.013 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4399 0 0 0 54415 590 0 0 25 0 1 0 863976110 16760832 3400 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4092 3400 300 300 0 3792 0
vsize: 16368
[startup+560.013 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4419 0 0 0 55407 598 0 0 25 0 1 0 863976110 16830464 3420 4294967295 134512640 135726644 3221224576 3221222828 135298010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4109 3420 300 300 0 3809 0
vsize: 16436
[startup+570.012 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4427 0 0 0 56400 606 0 0 25 0 1 0 863976110 16830464 3428 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4109 3428 300 300 0 3809 0
vsize: 16436
[startup+580.013 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4440 0 0 0 57390 615 0 0 25 0 1 0 863976110 16900096 3441 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4126 3441 300 300 0 3826 0
vsize: 16504
[startup+590.013 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4451 0 0 0 58381 624 0 0 25 0 1 0 863976110 16900096 3452 4294967295 134512640 135726644 3221224576 3221223168 134760219 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4126 3452 300 300 0 3826 0
vsize: 16504
[startup+600.013 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4467 0 0 0 59373 633 0 0 25 0 1 0 863976110 16900096 3468 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4126 3468 300 300 0 3826 0
vsize: 16504
[startup+610.014 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4479 0 0 0 60362 644 0 0 25 0 1 0 863976110 16986112 3480 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4147 3480 300 300 0 3847 0
vsize: 16588
[startup+620.013 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4492 0 0 0 61353 653 0 0 25 0 1 0 863976110 16986112 3493 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4147 3493 300 300 0 3847 0
vsize: 16588
[startup+630.014 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4520 0 0 0 62344 663 0 0 25 0 1 0 863976110 17088512 3521 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4172 3521 300 300 0 3872 0
vsize: 16688
[startup+640.015 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4535 0 0 0 63336 670 0 0 25 0 1 0 863976110 17088512 3536 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4172 3536 300 300 0 3872 0
vsize: 16688
[startup+650.015 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4542 0 0 0 64329 678 0 0 25 0 1 0 863976110 17088512 3543 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4172 3543 300 300 0 3872 0
vsize: 16688
[startup+660.015 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4561 0 0 0 65322 685 0 0 25 0 1 0 863976110 17158144 3562 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4189 3562 300 300 0 3889 0
vsize: 16756
[startup+670.015 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4577 0 0 0 66316 691 0 0 25 0 1 0 863976110 17158144 3578 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4189 3578 300 300 0 3889 0
vsize: 16756
[startup+680.016 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4586 0 0 0 67310 697 0 0 25 0 1 0 863976110 17158144 3587 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4189 3587 300 300 0 3889 0
vsize: 16756
[startup+690.016 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4607 0 0 0 68302 706 0 0 25 0 1 0 863976110 17248256 3608 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4211 3608 300 300 0 3911 0
vsize: 16844
[startup+700.016 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4620 0 0 0 69293 714 0 0 25 0 1 0 863976110 17248256 3621 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4211 3621 300 300 0 3911 0
vsize: 16844
[startup+710.017 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4639 0 0 0 70287 721 0 0 25 0 1 0 863976110 17334272 3640 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3640 300 300 0 3932 0
vsize: 16928
[startup+720.017 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4657 0 0 0 71275 733 0 0 25 0 1 0 863976110 17334272 3658 4294967295 134512640 135726644 3221224576 3221223184 134741254 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3658 300 300 0 3932 0
vsize: 16928
[startup+730.018 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4665 0 0 0 72269 739 0 0 25 0 1 0 863976110 17334272 3666 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3666 300 300 0 3932 0
vsize: 16928
[startup+740.017 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4692 0 0 0 73261 747 0 0 25 0 1 0 863976110 17469440 3693 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4265 3693 300 300 0 3965 0
vsize: 17060
[startup+750.018 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4708 0 0 0 74252 756 0 0 25 0 1 0 863976110 17469440 3709 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4265 3709 300 300 0 3965 0
vsize: 17060
[startup+760.019 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5491 0 0 0 75243 766 0 0 25 0 1 0 863976110 20680704 3723 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5049 3723 300 300 0 4749 0
vsize: 20196
[startup+770.018 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5502 0 0 0 76234 775 0 0 25 0 1 0 863976110 20680704 3734 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5049 3734 300 300 0 4749 0
vsize: 20196
[startup+780.019 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5516 0 0 0 77222 787 0 0 25 0 1 0 863976110 20746240 3748 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5065 3748 300 300 0 4765 0
vsize: 20260
[startup+790.019 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5529 0 0 0 78215 795 0 0 25 0 1 0 863976110 20746240 3761 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5065 3761 300 300 0 4765 0
vsize: 20260
[startup+800.02 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5537 0 0 0 79207 803 0 0 25 0 1 0 863976110 20746240 3769 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5065 3769 300 300 0 4765 0
vsize: 20260
[startup+810.021 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5553 0 0 0 80200 810 0 0 25 0 1 0 863976110 20819968 3785 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5083 3785 300 300 0 4783 0
vsize: 20332
[startup+820.021 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5571 0 0 0 81191 819 0 0 25 0 1 0 863976110 20819968 3803 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5083 3803 300 300 0 4783 0
vsize: 20332
[startup+830.021 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5594 0 0 0 82183 828 0 0 25 0 1 0 863976110 20901888 3826 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5103 3826 300 300 0 4803 0
vsize: 20412
[startup+840.021 s]
Raw data (loadavg): 1.07 0.96 0.60 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5606 0 0 0 83175 835 0 0 25 0 1 0 863976110 20901888 3838 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5103 3838 300 300 0 4803 0
vsize: 20412
[startup+850.022 s]
Raw data (loadavg): 1.06 0.96 0.61 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5619 0 0 0 84168 843 0 0 25 0 1 0 863976110 20971520 3851 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5120 3851 300 300 0 4820 0
vsize: 20480
[startup+860.023 s]
Raw data (loadavg): 1.05 0.96 0.61 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5639 0 0 0 85159 852 0 0 25 0 1 0 863976110 20971520 3871 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5120 3871 300 300 0 4820 0
vsize: 20480
[startup+870.023 s]
Raw data (loadavg): 1.12 0.98 0.62 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5645 0 0 0 86153 859 0 0 25 0 1 0 863976110 21037056 3877 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5136 3877 300 300 0 4836 0
vsize: 20544
[startup+880.023 s]
Raw data (loadavg): 1.10 0.98 0.62 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5658 0 0 0 87146 866 0 0 25 0 1 0 863976110 21037056 3890 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5136 3890 300 300 0 4836 0
vsize: 20544
[startup+890.023 s]
Raw data (loadavg): 1.09 0.98 0.63 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5666 0 0 0 88140 872 0 0 25 0 1 0 863976110 21037056 3898 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5136 3898 300 300 0 4836 0
vsize: 20544
[startup+900.024 s]
Raw data (loadavg): 1.07 0.98 0.63 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5679 0 0 0 89131 881 0 0 25 0 1 0 863976110 21102592 3911 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5152 3911 300 300 0 4852 0
vsize: 20608
[startup+910.025 s]
Raw data (loadavg): 1.06 0.98 0.63 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5687 0 0 0 90125 887 0 0 25 0 1 0 863976110 21102592 3919 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5152 3919 300 300 0 4852 0
vsize: 20608
[startup+920.024 s]
Raw data (loadavg): 1.05 0.98 0.64 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5709 0 0 0 91117 895 0 0 25 0 1 0 863976110 21176320 3941 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5170 3941 300 300 0 4870 0
vsize: 20680
[startup+930.025 s]
Raw data (loadavg): 1.04 0.98 0.64 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5724 0 0 0 92109 903 0 0 25 0 1 0 863976110 21176320 3956 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5170 3956 300 300 0 4870 0
vsize: 20680
[startup+940.024 s]
Raw data (loadavg): 1.04 0.98 0.64 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5742 0 0 0 93099 914 0 0 25 0 1 0 863976110 21241856 3974 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5186 3974 300 300 0 4886 0
vsize: 20744
[startup+950.026 s]
Raw data (loadavg): 1.03 0.98 0.65 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5748 0 0 0 94092 920 0 0 25 0 1 0 863976110 21241856 3980 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5186 3980 300 300 0 4886 0
vsize: 20744
[startup+960.025 s]
Raw data (loadavg): 1.02 0.98 0.65 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5776 0 0 0 95085 927 0 0 25 0 1 0 863976110 21307392 4008 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5202 4008 300 300 0 4902 0
vsize: 20808
[startup+970.025 s]
Raw data (loadavg): 1.02 0.98 0.65 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5806 0 0 0 96077 936 0 0 25 0 1 0 863976110 21372928 4038 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5218 4038 300 300 0 4918 0
vsize: 20872
[startup+980.025 s]
Raw data (loadavg): 1.02 0.98 0.66 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5820 0 0 0 97071 942 0 0 25 0 1 0 863976110 21458944 4052 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5239 4052 300 300 0 4939 0
vsize: 20956
[startup+990.025 s]
Raw data (loadavg): 1.01 0.98 0.66 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5834 0 0 0 98064 949 0 0 25 0 1 0 863976110 21458944 4066 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5239 4066 300 300 0 4939 0
vsize: 20956
[startup+1000.03 s]
Raw data (loadavg): 1.01 0.98 0.66 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5851 0 0 0 99058 956 0 0 25 0 1 0 863976110 21532672 4083 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5257 4083 300 300 0 4957 0
vsize: 21028
[startup+1010.03 s]
Raw data (loadavg): 1.01 0.98 0.66 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5863 0 0 0 100051 963 0 0 25 0 1 0 863976110 21532672 4095 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5257 4095 300 300 0 4957 0
vsize: 21028
[startup+1020.03 s]
Raw data (loadavg): 1.01 0.98 0.67 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5877 0 0 0 101044 970 0 0 25 0 1 0 863976110 21532672 4109 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5257 4109 300 300 0 4957 0
vsize: 21028
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.98 0.67 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5883 0 0 0 102037 977 0 0 25 0 1 0 863976110 21532672 4115 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5257 4115 300 300 0 4957 0
vsize: 21028
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.67 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5890 0 0 0 103032 983 0 0 25 0 1 0 863976110 21532672 4122 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5257 4122 300 300 0 4957 0
vsize: 21028
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.68 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5910 0 0 0 104026 989 0 0 25 0 1 0 863976110 21618688 4142 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5278 4142 300 300 0 4978 0
vsize: 21112
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.68 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5920 0 0 0 105019 996 0 0 25 0 1 0 863976110 21618688 4152 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5278 4152 300 300 0 4978 0
vsize: 21112
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.68 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5930 0 0 0 106012 1002 0 0 25 0 1 0 863976110 21688320 4162 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5295 4162 300 300 0 4995 0
vsize: 21180
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.68 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5945 0 0 0 107004 1011 0 0 25 0 1 0 863976110 21688320 4177 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5295 4177 300 300 0 4995 0
vsize: 21180
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.69 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5951 0 0 0 107997 1018 0 0 25 0 1 0 863976110 21688320 4183 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5295 4183 300 300 0 4995 0
vsize: 21180
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.69 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5973 0 0 0 108990 1025 0 0 25 0 1 0 863976110 21757952 4205 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5312 4205 300 300 0 5012 0
vsize: 21248
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.69 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5985 0 0 0 109984 1032 0 0 25 0 1 0 863976110 21757952 4217 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5312 4217 300 300 0 5012 0
vsize: 21248
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.70 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6001 0 0 0 110976 1040 0 0 25 0 1 0 863976110 21835776 4233 4294967295 134512640 135726644 3221224576 3221223120 134736802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5331 4233 300 300 0 5031 0
vsize: 21324
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.70 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6012 0 0 0 111971 1046 0 0 25 0 1 0 863976110 21835776 4244 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5331 4244 300 300 0 5031 0
vsize: 21324
[startup+1140.13 s]
Raw data (loadavg): 1.08 0.99 0.71 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6020 0 0 0 112972 1055 0 0 25 0 1 0 863976110 21835776 4252 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5331 4252 300 300 0 5031 0
vsize: 21324
[startup+1150.48 s]
Raw data (loadavg): 1.07 0.99 0.71 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6027 0 0 0 114000 1061 0 0 25 0 1 0 863976110 21901312 4259 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5347 4259 300 300 0 5047 0
vsize: 21388
[startup+1160.49 s]
Raw data (loadavg): 1.06 0.99 0.72 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6034 0 0 0 114994 1068 0 0 25 0 1 0 863976110 21901312 4266 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5347 4266 300 300 0 5047 0
vsize: 21388
[startup+1170.49 s]
Raw data (loadavg): 1.05 0.99 0.72 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6054 0 0 0 115988 1074 0 0 25 0 1 0 863976110 21901312 4286 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5347 4286 300 300 0 5047 0
vsize: 21388
[startup+1180.49 s]
Raw data (loadavg): 1.04 0.99 0.72 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6067 0 0 0 116981 1081 0 0 25 0 1 0 863976110 21987328 4299 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5368 4299 300 300 0 5068 0
vsize: 21472
[startup+1190.49 s]
Raw data (loadavg): 1.03 0.99 0.72 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6078 0 0 0 117976 1086 0 0 25 0 1 0 863976110 21987328 4310 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5368 4310 300 300 0 5068 0
vsize: 21472
[startup+1200.49 s]
Raw data (loadavg): 1.03 0.99 0.73 2/54 18519
Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6089 0 0 0 118970 1093 0 0 25 0 1 0 863976110 21987328 4321 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5368 4321 300 300 0 5068 0
vsize: 21472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.61 s]
Raw data (loadavg): 1.03 0.99 0.73 1/54 18519
Raw data (stat): 18519 (pb2sat) Z 18518 10795 10794 0 -1 12 6090 0 0 0 118982 1094 0 0 25 0 1 0 863976110 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.61
CPU time (s): 1200.76
CPU user time (s): 1189.82
CPU system time (s): 10.9423
CPU usage (%): 100.012
Max. virtual memory (Kb): 21472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####