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/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb
MD5SUM	697fa5beb3d240bccfa43a29ef9b4fb8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-2048
Optimality of the best value was proved	NO
Number of terms in the objective function	16
Biggest coefficient in the objective function	32768
Number of bits for the biggest coefficient in the objective function	16
Sum of the numbers in the objective function	65535
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	49152
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	114687
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	784
Total number of constraints	833
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	816
Number of constraints which are nor clauses,nor cardinality constraints	17
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 35682

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        711008 kB
Buffers:         35164 kB
Cached:         268152 kB
SwapCached:        984 kB
Active:          25368 kB
Inactive:       280044 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        710728 kB
SwapTotal:     2097892 kB
SwapFree:      2095996 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            12492 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:48:35 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 24903 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c CONFLICT during preprocess 
c [startup+1.34678 s]  setting bit 15 to 0
c CONFLICT during preprocess 
c [startup+1.43579 s]  setting bit 14 to 0

Decision: 2402/30549	Time: 55.6225/86400
Decision: 2402/30549	Time: 61.3227/86400
Decision: 2402/30549	Time: 67.2538/86400
Decision: 2402/30549	Time: 73.8118/86400
Decision: 2402/30549	Time: 80.1658/86400
Decision: 2402/30549	Time: 86.5738/86400
Decision: 2402/30549	Time: 91.948/86400
Decision: 2402/30549	Time: 98.1491/86400
Decision: 2402/30549	Time: 105.231/86400
Decision: 2402/30549	Time: 110.87/86400
Decision: 2402/30549	Time: 117.048/86400
Decision: 2402/30549	Time: 123.112/86400
Decision: 2402/30549	Time: 129.894/86400
Decision: 2402/30549	Time: 136.505/86400
Decision: 2402/30549	Time: 142.433/86400
Decision: 2402/30549	Time: 149.134/86400
Decision: 2402/30549	Time: 156.179/86400
Decision: 2402/30549	Time: 162.484/86400
Decision: 2402/30549	Time: 169.556/86400
Decision: 2402/30549	Time: 176.79/86400
Decision: 2402/30549	Time: 183.475/86400
Decision: 2402/30549	Time: 189.681/86400
Decision: 2402/30549	Time: 197.103/86400
Decision: 2402/30549	Time: 203.699/86400
Decision: 2402/30549	Time: 210.544/86400
Decision: 2402/30549	Time: 217.787/86400
Decision: 2402/30549	Time: 225.415/86400
Decision: 2402/30549	Time: 232.242/86400
Decision: 2402/30549	Time: 238.894/86400
Decision: 2402/30549	Time: 245.619/86400
Decision: 2402/30549	Time: 252.221/86400
Decision: 2402/30549	Time: 259.542/86400
Decision: 2402/30549	Time: 266.895/86400
Decision: 2402/30549	Time: 273.398/86400
Decision: 2402/30549	Time: 280.316/86400
Decision: 2402/30549	Time: 287.149/86400
Decision: 2402/30549	Time: 293.679/86400
Decision: 2402/30549	Time: 299.535/86400
Decision: 2402/30549	Time: 306.546/86400
Decision: 2402/30549	Time: 313.287/86400
Decision: 2402/30549	Time: 320.832/86400
Decision: 2402/30549	Time: 328.089/86400
Decision: 2402/30549	Time: 336.173/86400
Decision: 2402/30549	Time: 342.938/86400
Decision: 2402/30549	Time: 350.534/86400
Decision: 2402/30549	Time: 357.296/86400
Decision: 2402/30549	Time: 364.561/86400
Decision: 2402/30549	Time: 372.303/86400
Decision: 2402/30549	Time: 378.442/86400
Decision: 2402/30549	Time: 386.068/86400
Decision: 2402/30549	Time: 394.057/86400
Decision: 2402/30549	Time: 400.704/86400
Decision: 2402/30549	Time: 408.146/86400
Decision: 2402/30549	Time: 415.919/86400
Decision: 2402/30549	Time: 422.977/86400
Decision: 2402/30549	Time: 430.653/86400
Decision: 2402/30549	Time: 437.484/86400
Decision: 2402/30549	Time: 445.996/86400
Decision: 2402/30549	Time: 453.32/86400
Decision: 2402/30549	Time: 460.303/86400
Decision: 2402/30549	Time: 467.284/86400
Decision: 2402/30549	Time: 475.633/86400
Decision: 2402/30549	Time: 483.663/86400
Decision: 2402/30549	Time: 491.744/86400
Decision: 2402/30549	Time: 499.794/86400
Decision: 2402/30549	Time: 508.284/86400
Decision: 2402/30549	Time: 516.18/86400
Decision: 2402/30549	Time: 523.996/86400
Decision: 2402/30549	Time: 531.692/86400
Decision: 2402/30549	Time: 539.376/86400
Decision: 2402/30549	Time: 547.249/86400
Decision: 2402/30549	Time: 555.374/86400
Decision: 2402/30549	Time: 562.362/86400
Decision: 2402/30549	Time: 569.971/86400
Decision: 2402/30549	Time: 576.657/86400
Decision: 2402/30549	Time: 585.156/86400
Decision: 2402/30549	Time: 592.997/86400
Decision: 2402/30549	Time: 600.605/86400
Decision: 2402/30549	Time: 609.358/86400
Decision: 2402/30549	Time: 617.086/86400
Decision: 2402/30549	Time: 624.471/86400
Decision: 2402/30549	Time: 632.731/86400
Decision: 2402/30549	Time: 640.731/86400
Decision: 2402/30549	Time: 649.515/86400
Decision: 2402/30549	Time: 657.682/86400
Decision: 2402/30549	Time: 665.533/86400
Decision: 2402/30549	Time: 673.828/86400
Decision: 2402/30549	Time: 682.279/86400
Decision: 2402/30549	Time: 691.086/86400
Decision: 2402/30549	Time: 699.023/86400
Decision: 2402/30549	Time: 707.947/86400
Decision: 2402/30549	Time: 715.68/86400
Decision: 2402/30549	Time: 724.055/86400
Decision: 2402/30549	Time: 733.625/86400
Decision: 2402/30549	Time: 741.165/86400
Decision: 2402/30549	Time: 749.564/86400
Decision: 2402/30549	Time: 758.764/86400
Decision: 2402/30549	Time: 767.745/86400
Decision: 2402/30549	Time: 775.465/86400
Decision: 2402/30549	Time: 784.86/86400
Decision: 2402/30549	Time: 792.931/86400
Decision: 2402/30549	Time: 801.559/86400
Decision: 2402/30549	Time: 809.841/86400
Decision: 2402/30549	Time: 818.382/86400
Decision: 2402/30549	Time: 827.537/86400
Decision: 2402/30549	Time: 836.718/86400
Decision: 2402/30549	Time: 845.819/86400
Decision: 2402/30549	Time: 853.822/86400
Decision: 2402/30549	Time: 862.618/86400
Decision: 2402/30549	Time: 871.375/86400
Decision: 2402/30549	Time: 881.387/86400
Decision: 2402/30549	Time: 890.302/86400
Decision: 2402/30549	Time: 899.115/86400
Decision: 2402/30549	Time: 908.139/86400
Decision: 2402/30549	Time: 917.297/86400
Decision: 2402/30549	Time: 925.726/86400
Decision: 2402/30549	Time: 933.004/86400
Decision: 2402/30549	Time: 942.395/86400
Decision: 2402/30549	Time: 952.062/86400
Decision: 2402/30549	Time: 961.029/86400
Decision: 2402/30549	Time: 969.891/86400
Decision: 2402/30549	Time: 978.854/86400
Decision: 2402/30549	Time: 987.559/86400
Decision: 2402/30549	Time: 996.577/86400
Decision: 2402/30549	Time: 1005.13/86400
Decision: 2402/30549	Time: 1014.24/86400
Decision: 2402/30549	Time: 1023.41/86400
Decision: 2402/30549	Time: 1031.86/86400
Decision: 2402/30549	Time: 1040.24/86400
Decision: 2402/30549	Time: 1049.56/86400
Decision: 2402/30549	Time: 1058.67/86400
Decision: 2402/30549	Time: 1066.16/86400
Decision: 2402/30549	Time: 1076.28/86400
Decision: 2402/30549	Time: 1085.6/86400
Decision: 2402/30549	Time: 1095.61/86400
Decision: 2402/30549	Time: 1105.27/86400
Decision: 2402/30549	Time: 1114.09/86400
Decision: 2402/30549	Time: 1121.38/86400
Decision: 2402/30549	Time: 1129.98/86400
Decision: 2402/30549	Time: 1139.37/86400
Decision: 2402/30549	Time: 1149.26/86400
Decision: 2402/30549	Time: 1158.92/86400
Decision: 2402/30549	Time: 1166.84/86400
Decision: 2402/30549	Time: 1176.68/86400
Decision: 2402/30549	Time: 1186.89/86400
Decision: 2402/30549	Time: 1195.6/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
Raw data (loadavg): 0.99 0.95 0.91 2/54 10572
Raw data (stat): 10572 (runsolver) R 10571 1586 1585 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 865179554 884736 93 4294967295 134512640 135332820 3221224464 3221219508 134703346 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 4105 0 0 0 989 10 0 0 25 0 1 0 865179554 12451840 2615 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3040 2615 300 300 0 2740 0
vsize: 12160
[startup+20.0113 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 4226 0 0 0 1989 11 0 0 25 0 1 0 865179554 14696448 2736 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3588 2736 300 300 0 3288 0
vsize: 14352
[startup+30.0118 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 4526 0 0 0 2987 13 0 0 25 0 1 0 865179554 15855616 3036 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3871 3036 300 300 0 3571 0
vsize: 15484
[startup+40.0114 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 4607 0 0 0 3986 14 0 0 25 0 1 0 865179554 15855616 3117 4294967295 134512640 135726644 3221224576 3221223072 134744357 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3871 3117 300 300 0 3571 0
vsize: 15484
[startup+50.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 4771 0 0 0 4985 15 0 0 25 0 1 0 865179554 16248832 3281 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3967 3281 300 300 0 3667 0
vsize: 15868
[startup+60.0204 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 5137 0 0 0 5983 17 0 0 25 0 1 0 865179554 17551360 3587 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4285 3587 300 300 0 3985 0
vsize: 17140
[startup+70.0252 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 5421 0 0 0 6982 19 0 0 25 0 1 0 865179554 18436096 3751 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4501 3751 300 300 0 4201 0
vsize: 18004
[startup+80.0282 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 5533 0 0 0 7981 20 0 0 25 0 1 0 865179554 18632704 3803 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4549 3803 300 300 0 4249 0
vsize: 18196
[startup+90.0274 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 5726 0 0 0 8979 22 0 0 25 0 1 0 865179554 18767872 3876 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4582 3876 300 300 0 4282 0
vsize: 18328
[startup+100.03 s]
Raw data (loadavg): 1.15 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 5861 0 0 0 9977 24 0 0 25 0 1 0 865179554 18767872 3891 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4582 3891 300 300 0 4282 0
vsize: 18328
[startup+110.033 s]
Raw data (loadavg): 1.12 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 5958 0 0 0 10975 26 0 0 25 0 1 0 865179554 18903040 3928 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4615 3928 300 300 0 4315 0
vsize: 18460
[startup+120.05 s]
Raw data (loadavg): 1.10 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 6112 0 0 0 11975 27 0 0 25 0 1 0 865179554 18903040 3962 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4615 3962 300 300 0 4315 0
vsize: 18460
[startup+130.052 s]
Raw data (loadavg): 1.09 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 6196 0 0 0 12974 28 0 0 25 0 1 0 865179554 19099648 3986 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4663 3986 300 300 0 4363 0
vsize: 18652
[startup+140.051 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 7104 0 0 0 13971 32 0 0 25 0 1 0 865179554 22245376 4005 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5431 4005 300 300 0 5131 0
vsize: 21724
[startup+150.052 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 7210 0 0 0 14970 33 0 0 25 0 1 0 865179554 22413312 4051 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5472 4051 300 300 0 5172 0
vsize: 21888
[startup+160.051 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 7346 0 0 0 15969 34 0 0 25 0 1 0 865179554 22413312 4067 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5472 4067 300 300 0 5172 0
vsize: 21888
[startup+170.052 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 7425 0 0 0 16968 35 0 0 25 0 1 0 865179554 22544384 4086 4294967295 134512640 135726644 3221224576 3221223072 134744246 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5504 4086 300 300 0 5204 0
vsize: 22016
[startup+180.052 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 7564 0 0 0 17967 37 0 0 25 0 1 0 865179554 22544384 4105 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5504 4105 300 300 0 5204 0
vsize: 22016
[startup+190.051 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 7639 0 0 0 18966 37 0 0 25 0 1 0 865179554 22544384 4120 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5504 4120 300 300 0 5204 0
vsize: 22016
[startup+200.051 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 7784 0 0 0 19965 38 0 0 25 0 1 0 865179554 22679552 4145 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5537 4145 300 300 0 5237 0
vsize: 22148
[startup+210.05 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 7896 0 0 0 20964 40 0 0 25 0 1 0 865179554 22679552 4197 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5537 4197 300 300 0 5237 0
vsize: 22148
[startup+220.051 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 8054 0 0 0 21963 41 0 0 25 0 1 0 865179554 22818816 4235 4294967295 134512640 135726644 3221224576 3221223224 134744473 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5571 4235 300 300 0 5271 0
vsize: 22284
[startup+230.051 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 8129 0 0 0 22962 42 0 0 25 0 1 0 865179554 22818816 4250 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5571 4250 300 300 0 5271 0
vsize: 22284
[startup+240.051 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 8236 0 0 0 23961 43 0 0 25 0 1 0 865179554 22818816 4297 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5571 4297 300 300 0 5271 0
vsize: 22284
[startup+250.051 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 8396 0 0 0 24960 45 0 0 25 0 1 0 865179554 22958080 4337 4294967295 134512640 135726644 3221224576 3221223168 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5605 4337 300 300 0 5305 0
vsize: 22420
[startup+260.051 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 8482 0 0 0 25958 46 0 0 25 0 1 0 865179554 22958080 4363 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5605 4363 300 300 0 5305 0
vsize: 22420
[startup+270.05 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 8642 0 0 0 26957 48 0 0 25 0 1 0 865179554 22958080 4403 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5605 4403 300 300 0 5305 0
vsize: 22420
[startup+280.05 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 8750 0 0 0 27956 49 0 0 25 0 1 0 865179554 23093248 4451 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5638 4451 300 300 0 5338 0
vsize: 22552
[startup+290.05 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 8910 0 0 0 28955 50 0 0 25 0 1 0 865179554 23093248 4491 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5638 4491 300 300 0 5338 0
vsize: 22552
[startup+300.05 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 8998 0 0 0 29953 52 0 0 25 0 1 0 865179554 23093248 4519 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5638 4519 300 300 0 5338 0
vsize: 22552
[startup+310.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 9159 0 0 0 30952 53 0 0 25 0 1 0 865179554 23228416 4560 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5671 4560 300 300 0 5371 0
vsize: 22684
[startup+320.049 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 9283 0 0 0 31952 54 0 0 25 0 1 0 865179554 27557888 4624 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6728 4624 300 300 0 6428 0
vsize: 26912
[startup+330.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 9422 0 0 0 32951 55 0 0 25 0 1 0 865179554 27557888 4643 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6728 4643 300 300 0 6428 0
vsize: 26912
[startup+340.049 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 9515 0 0 0 33950 56 0 0 25 0 1 0 865179554 27557888 4676 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6728 4676 300 300 0 6428 0
vsize: 26912
[startup+350.049 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 9615 0 0 0 34949 57 0 0 25 0 1 0 865179554 27688960 4716 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6760 4716 300 300 0 6460 0
vsize: 27040
[startup+360.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 9772 0 0 0 35948 58 0 0 25 0 1 0 865179554 27688960 4753 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6760 4753 300 300 0 6460 0
vsize: 27040
[startup+370.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 9844 0 0 0 36947 60 0 0 25 0 1 0 865179554 27688960 4765 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6760 4765 300 300 0 6460 0
vsize: 27040
[startup+380.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 10024 0 0 0 37945 62 0 0 25 0 1 0 865179554 27844608 4825 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6798 4825 300 300 0 6498 0
vsize: 27192
[startup+390.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 10128 0 0 0 38944 63 0 0 25 0 1 0 865179554 27844608 4869 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6798 4869 300 300 0 6498 0
vsize: 27192
[startup+400.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 10213 0 0 0 39944 64 0 0 25 0 1 0 865179554 27844608 4894 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6798 4894 300 300 0 6498 0
vsize: 27192
[startup+410.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 10349 0 0 0 40942 65 0 0 25 0 1 0 865179554 27844608 4910 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6798 4910 300 300 0 6498 0
vsize: 27192
[startup+420.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 10450 0 0 0 41942 66 0 0 25 0 1 0 865179554 27979776 4951 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6831 4951 300 300 0 6531 0
vsize: 27324
[startup+430.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 10557 0 0 0 42941 67 0 0 25 0 1 0 865179554 27979776 4998 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6831 4998 300 300 0 6531 0
vsize: 27324
[startup+440.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 10710 0 0 0 43940 68 0 0 25 0 1 0 865179554 27979776 5031 4294967295 134512640 135726644 3221224576 3221222940 135287443 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6831 5031 300 300 0 6531 0
vsize: 27324
[startup+450.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 10808 0 0 0 44939 69 0 0 25 0 1 0 865179554 28110848 5069 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5069 300 300 0 6563 0
vsize: 27452
[startup+460.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 10917 0 0 0 45937 71 0 0 25 0 1 0 865179554 28110848 5118 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5118 300 300 0 6563 0
vsize: 27452
[startup+470.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 11078 0 0 0 46936 73 0 0 25 0 1 0 865179554 28110848 5159 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5159 300 300 0 6563 0
vsize: 27452
[startup+480.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 11163 0 0 0 47935 74 0 0 25 0 1 0 865179554 28110848 5184 4294967295 134512640 135726644 3221224576 3221223200 134744526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5184 300 300 0 6563 0
vsize: 27452
[startup+490.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 11266 0 0 0 48934 75 0 0 25 0 1 0 865179554 28241920 5227 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6895 5227 300 300 0 6595 0
vsize: 27580
[startup+500.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 11368 0 0 0 49933 76 0 0 25 0 1 0 865179554 28241920 5269 4294967295 134512640 135726644 3221224576 3221223056 134729247 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6895 5269 300 300 0 6595 0
vsize: 27580
[startup+510.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 11529 0 0 0 50932 77 0 0 25 0 1 0 865179554 28377088 5310 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5310 300 300 0 6628 0
vsize: 27712
[startup+520.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 11602 0 0 0 51931 78 0 0 25 0 1 0 865179554 28377088 5323 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5323 300 300 0 6628 0
vsize: 27712
[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 11702 0 0 0 52930 79 0 0 25 0 1 0 865179554 28377088 5363 4294967295 134512640 135726644 3221224576 3221223072 134744195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5363 300 300 0 6628 0
vsize: 27712
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 11809 0 0 0 53930 80 0 0 25 0 1 0 865179554 28512256 5410 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6961 5410 300 300 0 6661 0
vsize: 27844
[startup+550.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 11977 0 0 0 54929 81 0 0 25 0 1 0 865179554 28647424 5458 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 5458 300 300 0 6694 0
vsize: 27976
[startup+560.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 12058 0 0 0 55928 82 0 0 25 0 1 0 865179554 28647424 5479 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 5479 300 300 0 6694 0
vsize: 27976
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 12169 0 0 0 56927 83 0 0 25 0 1 0 865179554 28647424 5530 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 5530 300 300 0 6694 0
vsize: 27976
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 12328 0 0 0 57926 84 0 0 25 0 1 0 865179554 28782592 5569 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7027 5569 300 300 0 6727 0
vsize: 28108
[startup+590.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 12416 0 0 0 58926 85 0 0 25 0 1 0 865179554 28782592 5597 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7027 5597 300 300 0 6727 0
vsize: 28108
[startup+600.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 12522 0 0 0 59925 86 0 0 25 0 1 0 865179554 28782592 5643 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7027 5643 300 300 0 6727 0
vsize: 28108
[startup+610.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 12663 0 0 0 60924 87 0 0 25 0 1 0 865179554 29052928 5724 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7093 5724 300 300 0 6793 0
vsize: 28372
[startup+620.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 12836 0 0 0 61923 88 0 0 25 0 1 0 865179554 29188096 5777 4294967295 134512640 135726644 3221224576 3221222896 134728875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7126 5777 300 300 0 6826 0
vsize: 28504
[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 12934 0 0 0 62922 89 0 0 25 0 1 0 865179554 29323264 5815 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7159 5815 300 300 0 6859 0
vsize: 28636
[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 13026 0 0 0 63921 90 0 0 25 0 1 0 865179554 29323264 5847 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7159 5847 300 300 0 6859 0
vsize: 28636
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 13116 0 0 0 64920 91 0 0 25 0 1 0 865179554 29323264 5877 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7159 5877 300 300 0 6859 0
vsize: 28636
[startup+660.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 13274 0 0 0 65920 92 0 0 25 0 1 0 865179554 29323264 5915 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7159 5915 300 300 0 6859 0
vsize: 28636
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 13368 0 0 0 66919 93 0 0 25 0 1 0 865179554 29462528 5949 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 5949 300 300 0 6893 0
vsize: 28772
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 13462 0 0 0 67918 95 0 0 25 0 1 0 865179554 29462528 5983 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 5983 300 300 0 6893 0
vsize: 28772
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 13561 0 0 0 68916 96 0 0 25 0 1 0 865179554 29462528 6022 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6022 300 300 0 6893 0
vsize: 28772
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 13665 0 0 0 69915 97 0 0 25 0 1 0 865179554 29597696 6066 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6066 300 300 0 6926 0
vsize: 28904
[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 13819 0 0 0 70914 98 0 0 25 0 1 0 865179554 29597696 6100 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6100 300 300 0 6926 0
vsize: 28904
[startup+720.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 13902 0 0 0 71913 99 0 0 25 0 1 0 865179554 29597696 6123 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6123 300 300 0 6926 0
vsize: 28904
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 14006 0 0 0 72912 100 0 0 25 0 1 0 865179554 29732864 6167 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6167 300 300 0 6959 0
vsize: 29036
[startup+740.05 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 14112 0 0 0 73911 102 0 0 25 0 1 0 865179554 29732864 6213 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6213 300 300 0 6959 0
vsize: 29036
[startup+750.05 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 14214 0 0 0 74910 103 0 0 25 0 1 0 865179554 29732864 6255 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6255 300 300 0 6959 0
vsize: 29036
[startup+760.05 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 14305 0 0 0 75909 104 0 0 25 0 1 0 865179554 29868032 6286 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6286 300 300 0 6992 0
vsize: 29168
[startup+770.049 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 14473 0 0 0 76909 105 0 0 25 0 1 0 865179554 29868032 6334 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6334 300 300 0 6992 0
vsize: 29168
[startup+780.049 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 14574 0 0 0 77907 106 0 0 25 0 1 0 865179554 29868032 6375 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6375 300 300 0 6992 0
vsize: 29168
[startup+790.049 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 14682 0 0 0 78906 107 0 0 25 0 1 0 865179554 38391808 6423 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9373 6423 300 300 0 9073 0
vsize: 37492
[startup+800.049 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 14767 0 0 0 79905 109 0 0 25 0 1 0 865179554 38391808 6448 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9373 6448 300 300 0 9073 0
vsize: 37492
[startup+810.049 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 14874 0 0 0 80904 110 0 0 25 0 1 0 865179554 38391808 6495 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9373 6495 300 300 0 9073 0
vsize: 37492
[startup+820.048 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15039 0 0 0 81903 111 0 0 25 0 1 0 865179554 38526976 6540 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9406 6540 300 300 0 9106 0
vsize: 37624
[startup+830.049 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15148 0 0 0 82902 112 0 0 25 0 1 0 865179554 38526976 6589 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9406 6589 300 300 0 9106 0
vsize: 37624
[startup+840.049 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15240 0 0 0 83901 113 0 0 25 0 1 0 865179554 38526976 6621 4294967295 134512640 135726644 3221224576 3221223072 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9406 6621 300 300 0 9106 0
vsize: 37624
[startup+850.049 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15326 0 0 0 84901 114 0 0 25 0 1 0 865179554 38666240 6647 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9440 6647 300 300 0 9140 0
vsize: 37760
[startup+860.049 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15427 0 0 0 85900 115 0 0 25 0 1 0 865179554 38666240 6688 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9440 6688 300 300 0 9140 0
vsize: 37760
[startup+870.048 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15524 0 0 0 86899 116 0 0 25 0 1 0 865179554 38666240 6725 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9440 6725 300 300 0 9140 0
vsize: 37760
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15628 0 0 0 87898 117 0 0 25 0 1 0 865179554 38805504 6769 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9474 6769 300 300 0 9174 0
vsize: 37896
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15711 0 0 0 88897 118 0 0 25 0 1 0 865179554 38805504 6792 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9474 6792 300 300 0 9174 0
vsize: 37896
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15812 0 0 0 89896 120 0 0 25 0 1 0 865179554 38805504 6833 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9474 6833 300 300 0 9174 0
vsize: 37896
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 15974 0 0 0 90896 120 0 0 25 0 1 0 865179554 38944768 6875 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9508 6875 300 300 0 9208 0
vsize: 38032
[startup+920.047 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 16074 0 0 0 91895 121 0 0 25 0 1 0 865179554 38944768 6915 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9508 6915 300 300 0 9208 0
vsize: 38032
[startup+930.047 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 16179 0 0 0 92894 123 0 0 25 0 1 0 865179554 38944768 6960 4294967295 134512640 135726644 3221224576 3221222816 134782652 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9508 6960 300 300 0 9208 0
vsize: 38032
[startup+940.047 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 16285 0 0 0 93893 123 0 0 25 0 1 0 865179554 39079936 7006 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9541 7006 300 300 0 9241 0
vsize: 38164
[startup+950.046 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 16391 0 0 0 94892 125 0 0 25 0 1 0 865179554 39079936 7052 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9541 7052 300 300 0 9241 0
vsize: 38164
[startup+960.046 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 16493 0 0 0 95891 126 0 0 25 0 1 0 865179554 39215104 7094 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9574 7094 300 300 0 9274 0
vsize: 38296
[startup+970.045 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 16593 0 0 0 96890 127 0 0 25 0 1 0 865179554 39215104 7134 4294967295 134512640 135726644 3221224576 3221223072 134744145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9574 7134 300 300 0 9274 0
vsize: 38296
[startup+980.062 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 16668 0 0 0 97890 128 0 0 25 0 1 0 865179554 39215104 7149 4294967295 134512640 135726644 3221224576 3221223088 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9574 7149 300 300 0 9274 0
vsize: 38296
[startup+990.062 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 16822 0 0 0 98889 130 0 0 25 0 1 0 865179554 39387136 7183 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9616 7183 300 300 0 9316 0
vsize: 38464
[startup+1000.06 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 16912 0 0 0 99887 132 0 0 25 0 1 0 865179554 39387136 7213 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9616 7213 300 300 0 9316 0
vsize: 38464
[startup+1010.06 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17013 0 0 0 100886 133 0 0 25 0 1 0 865179554 39387136 7254 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9616 7254 300 300 0 9316 0
vsize: 38464
[startup+1020.06 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17095 0 0 0 101885 134 0 0 25 0 1 0 865179554 39387136 7276 4294967295 134512640 135726644 3221224576 3221223168 134760178 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9616 7276 300 300 0 9316 0
vsize: 38464
[startup+1030.06 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17185 0 0 0 102884 135 0 0 25 0 1 0 865179554 39387136 7306 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9616 7306 300 300 0 9316 0
vsize: 38464
[startup+1040.06 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17291 0 0 0 103884 136 0 0 25 0 1 0 865179554 39387136 7352 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9616 7352 300 300 0 9316 0
vsize: 38464
[startup+1050.06 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17393 0 0 0 104883 136 0 0 25 0 1 0 865179554 39387136 7394 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9616 7394 300 300 0 9316 0
vsize: 38464
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17552 0 0 0 105882 138 0 0 25 0 1 0 865179554 39522304 7433 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9649 7433 300 300 0 9349 0
vsize: 38596
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17668 0 0 0 106881 139 0 0 25 0 1 0 865179554 39657472 7489 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9682 7489 300 300 0 9382 0
vsize: 38728
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17785 0 0 0 107881 139 0 0 25 0 1 0 865179554 39657472 7546 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9682 7546 300 300 0 9382 0
vsize: 38728
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17889 0 0 0 108881 140 0 0 25 0 1 0 865179554 39657472 7590 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9682 7590 300 300 0 9382 0
vsize: 38728
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 17986 0 0 0 109880 141 0 0 25 0 1 0 865179554 39796736 7627 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9716 7627 300 300 0 9416 0
vsize: 38864
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 18082 0 0 0 110879 142 0 0 25 0 1 0 865179554 39796736 7663 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9716 7663 300 300 0 9416 0
vsize: 38864
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 18189 0 0 0 111878 143 0 0 25 0 1 0 865179554 39796736 7710 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9716 7710 300 300 0 9416 0
vsize: 38864
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 18301 0 0 0 112878 144 0 0 25 0 1 0 865179554 39931904 7762 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9749 7762 300 300 0 9449 0
vsize: 38996
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 18405 0 0 0 113877 145 0 0 25 0 1 0 865179554 39931904 7806 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9749 7806 300 300 0 9449 0
vsize: 38996
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 18502 0 0 0 114876 146 0 0 25 0 1 0 865179554 39931904 7843 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9749 7843 300 300 0 9449 0
vsize: 38996
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 18572 0 0 0 115875 146 0 0 25 0 1 0 865179554 39931904 7853 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9749 7853 300 300 0 9449 0
vsize: 38996
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 18739 0 0 0 116874 147 0 0 25 0 1 0 865179554 40079360 7900 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9785 7900 300 300 0 9485 0
vsize: 39140
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 18833 0 0 0 117874 148 0 0 25 0 1 0 865179554 40079360 7934 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9785 7934 300 300 0 9485 0
vsize: 39140
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 18938 0 0 0 118873 149 0 0 25 0 1 0 865179554 40214528 7979 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9818 7979 300 300 0 9518 0
vsize: 39272
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10572
Raw data (stat): 10572 (pb2sat) R 10571 1586 1585 0 -1 0 19035 0 0 0 119873 150 0 0 25 0 1 0 865179554 40214528 8016 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9818 8016 300 300 0 9518 0
vsize: 39272
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 10572
Raw data (stat): 10572 (pb2sat) Z 10571 1586 1585 0 -1 12 19036 0 0 0 119881 152 0 0 25 0 1 0 865179554 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.16
CPU time (s): 1200.34
CPU user time (s): 1198.81
CPU system time (s): 1.52377
CPU usage (%): 100.015
Max. virtual memory (Kb): 39272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####