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/miplib3/normalized-mps-v2-13-7-pp08a.opb
MD5SUM	d14265fdf4e5a3ef733af1f15b884cbe
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6661373
Optimality of the best value was proved	NO
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.02
Number of variables	3584
Total number of constraints	136
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	21
Maximum length of a constraint	160
Trace number 42936

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        660156 kB
Buffers:         24984 kB
Cached:         327264 kB
SwapCached:       1420 kB
Active:          25324 kB
Inactive:       328912 kB
HighTotal:      131008 kB
HighFree:         4592 kB
LowTotal:       903652 kB
LowFree:        655564 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14516 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:59:41 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 26145 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 3305/78876	Time: 8.5327/86400
c Decision: 3314/78876	Time: 11.6302/86400
c Decision: 3381/78876	Time: 15.8146/86400
c Decision: 3412/78876	Time: 19.932/86400
c Decision: 3415/78876	Time: 23.6474/86400
c Decision: 3425/78876	Time: 26.621/86400
c Decision: 3427/78876	Time: 28.8786/86400
c Decision: 3431/78876	Time: 32.3761/86400
c Decision: 3431/78876	Time: 34.5048/86400
c Decision: 3446/78876	Time: 37.4233/86400
c Decision: 3452/78876	Time: 40.9378/86400
c Decision: 3452/78876	Time: 43.1304/86400
c Decision: 3452/78876	Time: 45.3531/86400
c Decision: 3456/78876	Time: 47.8327/86400
c Decision: 3459/78876	Time: 50.1854/86400
c Decision: 3459/78876	Time: 53.0349/86400
c Decision: 3588/78876	Time: 72.9039/86400
c Decision: 3599/78876	Time: 76.9103/86400
c Decision: 3599/78876	Time: 79.9618/86400
c Decision: 3614/78876	Time: 85.467/86400
c Decision: 3623/78876	Time: 93.0479/86400
c Decision: 3623/78876	Time: 96.5853/86400
c Decision: 3623/78876	Time: 99.9208/86400
c Decision: 3623/78876	Time: 103.27/86400
c Decision: 3623/78876	Time: 106.848/86400
c Decision: 3623/78876	Time: 110.387/86400
c Decision: 3623/78876	Time: 113.874/86400
c Decision: 3623/78876	Time: 117.787/86400
c Decision: 3654/78876	Time: 135.953/86400
c Decision: 3654/78876	Time: 139.965/86400
c Decision: 3654/78876	Time: 144.116/86400
c Decision: 3654/78876	Time: 147.693/86400
c Decision: 3654/78876	Time: 151.776/86400
c Decision: 3654/78876	Time: 156.07/86400
c Decision: 3654/78876	Time: 159.737/86400
c Decision: 3665/78876	Time: 166.42/86400
c Decision: 3665/78876	Time: 170.443/86400
c Decision: 3665/78876	Time: 174.162/86400
c Decision: 3672/78876	Time: 178.227/86400
c Decision: 3672/78876	Time: 182.372/86400
c Decision: 3672/78876	Time: 186.35/86400
c Decision: 3672/78876	Time: 189.893/86400
c Decision: 3672/78876	Time: 193.124/86400
c Decision: 3672/78876	Time: 196.651/86400
c Decision: 3686/78876	Time: 210.467/86400
c Decision: 3690/78876	Time: 219.259/86400
c Decision: 3700/78876	Time: 226.329/86400
c Decision: 3729/78876	Time: 246.279/86400
c Decision: 3732/78876	Time: 253.849/86400
c Decision: 3732/78876	Time: 259.096/86400
c Decision: 3732/78876	Time: 264.789/86400
c Decision: 3732/78876	Time: 270.275/86400
c Decision: 3758/78876	Time: 279.201/86400
c Decision: 3769/78876	Time: 295.828/86400
c Decision: 3772/78876	Time: 305.123/86400
c Decision: 3772/78876	Time: 310.784/86400
c Decision: 3781/78876	Time: 321.93/86400
c Decision: 3792/78876	Time: 334.166/86400
c Decision: 3811/78876	Time: 347.036/86400
c Decision: 3811/78876	Time: 352.927/86400
c Decision: 3843/78876	Time: 369.417/86400
c Decision: 3848/78876	Time: 377.78/86400
c Decision: 3853/78876	Time: 384.993/86400
c Decision: 3853/78876	Time: 391.285/86400
c Decision: 3853/78876	Time: 397.168/86400
c Decision: 3903/78876	Time: 423.863/86400
c Decision: 3903/78876	Time: 428.98/86400
c Decision: 3912/78876	Time: 441.359/86400
c Decision: 3912/78876	Time: 446.967/86400
c Decision: 3912/78876	Time: 452.821/86400
c Decision: 3912/78876	Time: 459.998/86400
c Decision: 3912/78876	Time: 466.845/86400
c Decision: 3923/78876	Time: 476.955/86400
c Decision: 3923/78876	Time: 483.896/86400
c Decision: 3944/78876	Time: 494.876/86400
c Decision: 3944/78876	Time: 501.8/86400
c Decision: 3944/78876	Time: 508.329/86400
c Decision: 3944/78876	Time: 515.325/86400
c Decision: 3944/78876	Time: 522.8/86400
c Decision: 3944/78876	Time: 527.778/86400
c Decision: 3944/78876	Time: 534.83/86400
c Decision: 3966/78876	Time: 550.598/86400
c Decision: 3968/78876	Time: 560.688/86400
c Decision: 3968/78876	Time: 566.594/86400
c Decision: 3968/78876	Time: 572.922/86400
c Decision: 3968/78876	Time: 578.975/86400
c Decision: 3979/78876	Time: 588.438/86400
c Decision: 3981/78876	Time: 595.484/86400
c Decision: 3981/78876	Time: 600.624/86400
c Decision: 3981/78876	Time: 604.807/86400
c Decision: 3981/78876	Time: 609.654/86400
c Decision: 3984/78876	Time: 617.081/86400
c Decision: 3984/78876	Time: 622.524/86400
c Decision: 3984/78876	Time: 628.235/86400
c Decision: 3984/78876	Time: 634.063/86400
c Decision: 3984/78876	Time: 640.188/86400
c Decision: 3988/78876	Time: 650.525/86400
c Decision: 3988/78876	Time: 655.827/86400
c Decision: 3988/78876	Time: 660.67/86400
c Decision: 3988/78876	Time: 666.848/86400
c Decision: 4001/78876	Time: 677.191/86400
c Decision: 4001/78876	Time: 682.314/86400
c Decision: 4001/78876	Time: 687.583/86400
c Decision: 4007/78876	Time: 696.589/86400
c Decision: 4007/78876	Time: 702.145/86400
c Decision: 4007/78876	Time: 709.175/86400
c Decision: 4012/78876	Time: 720.709/86400
c Decision: 4012/78876	Time: 726.186/86400
c Decision: 4012/78876	Time: 732.385/86400
c Decision: 4012/78876	Time: 738.467/86400
c Decision: 4012/78876	Time: 745.754/86400
c Decision: 4012/78876	Time: 752.389/86400
c Decision: 4012/78876	Time: 760.398/86400
c Decision: 4091/78876	Time: 776.873/86400
c Decision: 4093/78876	Time: 786.708/86400
c Decision: 4096/78876	Time: 796.226/86400
c Decision: 4101/78876	Time: 804.129/86400
c Decision: 4104/78876	Time: 814.806/86400
c Decision: 4104/78876	Time: 821.659/86400
c Decision: 4114/78876	Time: 830.362/86400
c Decision: 4114/78876	Time: 837.811/86400
c Decision: 4114/78876	Time: 844.738/86400
c Decision: 4124/78876	Time: 860.037/86400
c Decision: 4124/78876	Time: 867.908/86400
c Decision: 4150/78876	Time: 881.749/86400
c Decision: 4161/78876	Time: 898.851/86400
c Decision: 4161/78876	Time: 908.054/86400
c Decision: 4161/78876	Time: 917.439/86400
c Decision: 4192/78876	Time: 934.988/86400
c Decision: 4218/78876	Time: 953.624/86400
c Decision: 4218/78876	Time: 960.968/86400
c Decision: 4248/78876	Time: 972.294/86400
c Decision: 4318/78876	Time: 1008.25/86400
c Decision: 4318/78876	Time: 1017.08/86400
c Decision: 4373/78876	Time: 1044.13/86400
c Decision: 4453/78876	Time: 1113.41/86400
c Decision: 4479/78876	Time: 1145.56/86400
c Decision: 4496/78876	Time: 1171.83/86400
c Decision: 4521/78876	Time: 1193.15/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.92 0.95 0.90 2/54 14450
Raw data (stat): 14450 (runsolver) R 14449 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972996160 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 11939 0 0 0 964 34 0 0 25 0 1 0 972996160 36237312 6292 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8847 6292 301 301 0 8546 0
vsize: 35388
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 12602 0 0 0 1954 44 0 0 25 0 1 0 972996160 36782080 6490 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8980 6490 301 301 0 8679 0
vsize: 35920
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 13054 0 0 0 2948 50 0 0 25 0 1 0 972996160 41398272 6632 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10107 6632 301 301 0 9806 0
vsize: 40428
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 13775 0 0 0 3939 58 0 0 25 0 1 0 972996160 41529344 6733 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10139 6733 301 301 0 9838 0
vsize: 40556
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 14537 0 0 0 4934 63 0 0 25 0 1 0 972996160 41811968 6875 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10208 6875 301 301 0 9907 0
vsize: 40832
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 15134 0 0 0 5927 70 0 0 25 0 1 0 972996160 42074112 7007 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10272 7007 301 301 0 9971 0
vsize: 41088
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 15270 0 0 0 6920 78 0 0 25 0 1 0 972996160 42209280 7143 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10305 7143 301 301 0 10004 0
vsize: 41220
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 15537 0 0 0 7915 83 0 0 25 0 1 0 972996160 42352640 7255 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10340 7255 301 301 0 10039 0
vsize: 41360
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 16086 0 0 0 8910 89 0 0 25 0 1 0 972996160 42487808 7339 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10373 7339 301 301 0 10072 0
vsize: 41492
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 16310 0 0 0 9905 94 0 0 25 0 1 0 972996160 42622976 7408 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10406 7408 301 301 0 10105 0
vsize: 41624
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 16812 0 0 0 10899 99 0 0 25 0 1 0 972996160 42754048 7445 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10438 7445 301 301 0 10137 0
vsize: 41752
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 17312 0 0 0 11894 105 0 0 25 0 1 0 972996160 42893312 7480 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10472 7480 301 301 0 10171 0
vsize: 41888
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 17525 0 0 0 12886 112 0 0 25 0 1 0 972996160 42893312 7538 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10472 7538 301 301 0 10171 0
vsize: 41888
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 17745 0 0 0 13881 117 0 0 25 0 1 0 972996160 43036672 7603 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10507 7603 301 301 0 10206 0
vsize: 42028
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 18117 0 0 0 14875 124 0 0 25 0 1 0 972996160 43171840 7665 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10540 7665 301 301 0 10239 0
vsize: 42160
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 18644 0 0 0 15870 129 0 0 25 0 1 0 972996160 43941888 7882 4294967295 134512640 135730672 3221224576 3221222848 134774514 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10728 7882 301 301 0 10427 0
vsize: 42912
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 19030 0 0 0 16864 136 0 0 25 0 1 0 972996160 43941888 7958 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10728 7958 301 301 0 10427 0
vsize: 42912
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 19380 0 0 0 17858 141 0 0 25 0 1 0 972996160 43438080 7843 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10605 7843 301 301 0 10304 0
vsize: 42420
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 19917 0 0 0 18851 149 0 0 25 0 1 0 972996160 43573248 7915 4294967295 134512640 135730672 3221224576 3221222992 134741728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10638 7915 301 301 0 10337 0
vsize: 42552
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 20288 0 0 0 19846 154 0 0 25 0 1 0 972996160 43573248 7976 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10638 7976 301 301 0 10337 0
vsize: 42552
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 20516 0 0 0 20842 159 0 0 25 0 1 0 972996160 43708416 8049 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10671 8049 301 301 0 10370 0
vsize: 42684
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 20738 0 0 0 21838 163 0 0 25 0 1 0 972996160 43843584 8116 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10704 8116 301 301 0 10403 0
vsize: 42816
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 20934 0 0 0 22832 168 0 0 25 0 1 0 972996160 43978752 8157 4294967295 134512640 135730672 3221224576 3221223088 134746219 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10737 8157 301 301 0 10436 0
vsize: 42948
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 21141 0 0 0 23826 174 0 0 25 0 1 0 972996160 43978752 8209 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10737 8209 301 301 0 10436 0
vsize: 42948
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 21199 0 0 0 24822 179 0 0 25 0 1 0 972996160 44113920 8267 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10770 8267 301 301 0 10469 0
vsize: 43080
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 21570 0 0 0 25816 185 0 0 25 0 1 0 972996160 44113920 8328 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10770 8328 301 301 0 10469 0
vsize: 43080
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 21925 0 0 0 26811 190 0 0 25 0 1 0 972996160 44249088 8373 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10803 8373 301 301 0 10502 0
vsize: 43212
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 22125 0 0 0 27807 195 0 0 25 0 1 0 972996160 44384256 8418 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10836 8418 301 301 0 10535 0
vsize: 43344
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 22333 0 0 0 28802 200 0 0 25 0 1 0 972996160 44384256 8471 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10836 8471 301 301 0 10535 0
vsize: 43344
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 22540 0 0 0 29796 206 0 0 25 0 1 0 972996160 44515328 8523 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10868 8523 301 301 0 10567 0
vsize: 43472
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 22760 0 0 0 30793 210 0 0 25 0 1 0 972996160 44515328 8588 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10868 8588 301 301 0 10567 0
vsize: 43472
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 22953 0 0 0 31789 214 0 0 25 0 1 0 972996160 44650496 8626 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10901 8626 301 301 0 10600 0
vsize: 43604
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 23129 0 0 0 32786 217 0 0 25 0 1 0 972996160 44650496 8647 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10901 8647 301 301 0 10600 0
vsize: 43604
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 23313 0 0 0 33782 221 0 0 25 0 1 0 972996160 44785664 8676 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10934 8676 301 301 0 10633 0
vsize: 43736
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 23373 0 0 0 34778 225 0 0 25 0 1 0 972996160 44929024 8736 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10969 8736 301 301 0 10668 0
vsize: 43876
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 23738 0 0 0 35773 230 0 0 25 0 1 0 972996160 45064192 8791 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11002 8791 301 301 0 10701 0
vsize: 44008
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 23788 0 0 0 36769 234 0 0 25 0 1 0 972996160 45064192 8841 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11002 8841 301 301 0 10701 0
vsize: 44008
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 23971 0 0 0 37765 239 0 0 25 0 1 0 972996160 45064192 8869 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11002 8869 301 301 0 10701 0
vsize: 44008
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 24306 0 0 0 38761 243 0 0 25 0 1 0 972996160 45203456 8894 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11036 8894 301 301 0 10735 0
vsize: 44144
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 24489 0 0 0 39757 248 0 0 25 0 1 0 972996160 45203456 8922 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11036 8922 301 301 0 10735 0
vsize: 44144
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 24688 0 0 0 40753 251 0 0 25 0 1 0 972996160 45334528 8966 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11068 8966 301 301 0 10767 0
vsize: 44272
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 24742 0 0 0 41749 256 0 0 25 0 1 0 972996160 53723136 9020 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13116 9020 301 301 0 12815 0
vsize: 52464
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 24956 0 0 0 42745 260 0 0 25 0 1 0 972996160 53862400 9079 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13150 9079 301 301 0 12849 0
vsize: 52600
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 25144 0 0 0 43739 266 0 0 25 0 1 0 972996160 53997568 9112 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13183 9112 301 301 0 12882 0
vsize: 52732
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 25355 0 0 0 44735 270 0 0 25 0 1 0 972996160 53997568 9168 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13183 9168 301 301 0 12882 0
vsize: 52732
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 25738 0 0 0 45730 276 0 0 25 0 1 0 972996160 54145024 9241 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13219 9241 301 301 0 12918 0
vsize: 52876
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 25919 0 0 0 46727 279 0 0 25 0 1 0 972996160 54276096 9267 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13251 9267 301 301 0 12950 0
vsize: 53004
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 26116 0 0 0 47721 284 0 0 25 0 1 0 972996160 54276096 9309 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13251 9309 301 301 0 12950 0
vsize: 53004
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 26471 0 0 0 48716 290 0 0 25 0 1 0 972996160 54411264 9354 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13284 9354 301 301 0 12983 0
vsize: 53136
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 26674 0 0 0 49711 295 0 0 25 0 1 0 972996160 54411264 9402 4294967295 134512640 135730672 3221224576 3221222940 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13284 9402 301 301 0 12983 0
vsize: 53136
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 26868 0 0 0 50707 299 0 0 25 0 1 0 972996160 54546432 9441 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13317 9441 301 301 0 13016 0
vsize: 53268
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 27202 0 0 0 51703 304 0 0 25 0 1 0 972996160 54546432 9465 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13317 9465 301 301 0 13016 0
vsize: 53268
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 27413 0 0 0 52698 309 0 0 25 0 1 0 972996160 54681600 9521 4294967295 134512640 135730672 3221224576 3221223008 134730465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13350 9521 301 301 0 13049 0
vsize: 53400
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 27774 0 0 0 53693 314 0 0 25 0 1 0 972996160 54820864 9572 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13384 9572 301 301 0 13083 0
vsize: 53536
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 27801 0 0 0 54690 317 0 0 25 0 1 0 972996160 54820864 9599 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13384 9599 301 301 0 13083 0
vsize: 53536
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 28000 0 0 0 55686 322 0 0 25 0 1 0 972996160 54968320 9643 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13420 9643 301 301 0 13119 0
vsize: 53680
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 28217 0 0 0 56682 326 0 0 25 0 1 0 972996160 55103488 9705 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13453 9705 301 301 0 13152 0
vsize: 53812
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 28568 0 0 0 57678 330 0 0 25 0 1 0 972996160 55103488 9746 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13453 9746 301 301 0 13152 0
vsize: 53812
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 28752 0 0 0 58674 333 0 0 25 0 1 0 972996160 55238656 9775 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13486 9775 301 301 0 13185 0
vsize: 53944
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 29096 0 0 0 59670 338 0 0 25 0 1 0 972996160 55238656 9809 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13486 9809 301 301 0 13185 0
vsize: 53944
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 29474 0 0 0 60666 342 0 0 25 0 1 0 972996160 55373824 9877 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13519 9877 301 301 0 13218 0
vsize: 54076
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 29680 0 0 0 61662 346 0 0 25 0 1 0 972996160 55508992 9928 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13552 9928 301 301 0 13251 0
vsize: 54208
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 30039 0 0 0 62659 350 0 0 25 0 1 0 972996160 55644160 9977 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13585 9977 301 301 0 13284 0
vsize: 54340
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 30406 0 0 0 63654 354 0 0 25 0 1 0 972996160 55783424 10034 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13619 10034 301 301 0 13318 0
vsize: 54476
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 30602 0 0 0 64652 357 0 0 25 0 1 0 972996160 55783424 10075 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13619 10075 301 301 0 13318 0
vsize: 54476
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 30960 0 0 0 65647 362 0 0 25 0 1 0 972996160 55918592 10123 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13652 10123 301 301 0 13351 0
vsize: 54608
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 31169 0 0 0 66643 366 0 0 25 0 1 0 972996160 55918592 10177 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13652 10177 301 301 0 13351 0
vsize: 54608
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 31363 0 0 0 67638 371 0 0 25 0 1 0 972996160 56066048 10216 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13688 10216 301 301 0 13387 0
vsize: 54752
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 31696 0 0 0 68634 375 0 0 25 0 1 0 972996160 56066048 10239 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13688 10239 301 301 0 13387 0
vsize: 54752
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 31881 0 0 0 69630 380 0 0 25 0 1 0 972996160 56066048 10269 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13688 10269 301 301 0 13387 0
vsize: 54752
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 32232 0 0 0 70627 383 0 0 25 0 1 0 972996160 56197120 10310 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13720 10310 301 301 0 13419 0
vsize: 54880
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 32415 0 0 0 71624 387 0 0 25 0 1 0 972996160 56197120 10338 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13720 10338 301 301 0 13419 0
vsize: 54880
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 32768 0 0 0 72619 392 0 0 25 0 1 0 972996160 56963072 10536 4294967295 134512640 135730672 3221224576 3221222848 134774514 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13907 10536 301 301 0 13606 0
vsize: 55628
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 32971 0 0 0 73615 395 0 0 25 0 1 0 972996160 56328192 10429 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13752 10429 301 301 0 13451 0
vsize: 55008
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 33318 0 0 0 74612 399 0 0 25 0 1 0 972996160 56459264 10466 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13784 10466 301 301 0 13483 0
vsize: 55136
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 33502 0 0 0 75609 403 0 0 25 0 1 0 972996160 56459264 10495 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13784 10495 301 301 0 13483 0
vsize: 55136
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 33698 0 0 0 76604 408 0 0 25 0 1 0 972996160 56459264 10536 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13784 10536 301 301 0 13483 0
vsize: 55136
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 33755 0 0 0 77599 412 0 0 25 0 1 0 972996160 56590336 10593 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13816 10593 301 301 0 13515 0
vsize: 55264
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 33952 0 0 0 78596 416 0 0 25 0 1 0 972996160 56721408 10635 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13848 10635 301 301 0 13547 0
vsize: 55392
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 34302 0 0 0 79592 420 0 0 25 0 1 0 972996160 56721408 10675 4294967295 134512640 135730672 3221224576 3221223200 134783250 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13848 10675 301 301 0 13547 0
vsize: 55392
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 34475 0 0 0 80588 424 0 0 25 0 1 0 972996160 56721408 10693 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13848 10693 301 301 0 13547 0
vsize: 55392
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 34660 0 0 0 81583 430 0 0 25 0 1 0 972996160 56852480 10723 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13880 10723 301 301 0 13579 0
vsize: 55520
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 34860 0 0 0 82578 434 0 0 25 0 1 0 972996160 56852480 10768 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13880 10768 301 301 0 13579 0
vsize: 55520
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 35060 0 0 0 83574 439 0 0 25 0 1 0 972996160 56983552 10813 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13912 10813 301 301 0 13611 0
vsize: 55648
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 35390 0 0 0 84571 442 0 0 25 0 1 0 972996160 56983552 10833 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13912 10833 301 301 0 13611 0
vsize: 55648
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 35405 0 0 0 85566 447 0 0 25 0 1 0 972996160 56983552 10848 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13912 10848 301 301 0 13611 0
vsize: 55648
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 35596 0 0 0 86561 452 0 0 25 0 1 0 972996160 56983552 10884 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13912 10884 301 301 0 13611 0
vsize: 55648
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 35789 0 0 0 87557 456 0 0 25 0 1 0 972996160 57114624 10922 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13944 10922 301 301 0 13643 0
vsize: 55776
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 35993 0 0 0 88553 461 0 0 25 0 1 0 972996160 57249792 10971 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13977 10971 301 301 0 13676 0
vsize: 55908
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 36018 0 0 0 89549 464 0 0 25 0 1 0 972996160 57249792 10996 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13977 10996 301 301 0 13676 0
vsize: 55908
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 36194 0 0 0 90546 468 0 0 25 0 1 0 972996160 57249792 11017 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13977 11017 301 301 0 13676 0
vsize: 55908
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 36364 0 0 0 91542 472 0 0 25 0 1 0 972996160 57249792 11032 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13977 11032 301 301 0 13676 0
vsize: 55908
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 36555 0 0 0 92537 477 0 0 25 0 1 0 972996160 57380864 11068 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14009 11068 301 301 0 13708 0
vsize: 56036
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 36748 0 0 0 93533 482 0 0 25 0 1 0 972996160 57380864 11106 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14009 11106 301 301 0 13708 0
vsize: 56036
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 36793 0 0 0 94530 485 0 0 25 0 1 0 972996160 57380864 11151 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14009 11151 301 301 0 13708 0
vsize: 56036
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 36989 0 0 0 95526 489 0 0 25 0 1 0 972996160 57516032 11192 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14042 11192 301 301 0 13741 0
vsize: 56168
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 37167 0 0 0 96523 492 0 0 25 0 1 0 972996160 57516032 11215 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14042 11215 301 301 0 13741 0
vsize: 56168
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 37337 0 0 0 97520 496 0 0 25 0 1 0 972996160 57516032 11230 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14042 11230 301 301 0 13741 0
vsize: 56168
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 37370 0 0 0 98517 499 0 0 25 0 1 0 972996160 57651200 11263 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14075 11263 301 301 0 13774 0
vsize: 56300
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 37409 0 0 0 99513 503 0 0 25 0 1 0 972996160 57651200 11302 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14075 11302 301 301 0 13774 0
vsize: 56300
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 37449 0 0 0 100509 507 0 0 25 0 1 0 972996160 57651200 11342 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14075 11342 301 301 0 13774 0
vsize: 56300
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 37639 0 0 0 101505 511 0 0 25 0 1 0 972996160 57782272 11377 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14107 11377 301 301 0 13806 0
vsize: 56428
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 37818 0 0 0 102502 515 0 0 25 0 1 0 972996160 57782272 11401 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14107 11401 301 301 0 13806 0
vsize: 56428
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 37849 0 0 0 103498 518 0 0 25 0 1 0 972996160 57782272 11432 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14107 11432 301 301 0 13806 0
vsize: 56428
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38034 0 0 0 104495 522 0 0 25 0 1 0 972996160 57913344 11462 4294967295 134512640 135730672 3221224576 3221223072 134747947 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14139 11462 301 301 0 13838 0
vsize: 56556
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38062 0 0 0 105492 525 0 0 25 0 1 0 972996160 57913344 11490 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14139 11490 301 301 0 13838 0
vsize: 56556
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38093 0 0 0 106489 528 0 0 25 0 1 0 972996160 57913344 11521 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14139 11521 301 301 0 13838 0
vsize: 56556
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38123 0 0 0 107486 532 0 0 25 0 1 0 972996160 57913344 11551 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14139 11551 301 301 0 13838 0
vsize: 56556
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38151 0 0 0 108482 535 0 0 25 0 1 0 972996160 57913344 11579 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14139 11579 301 301 0 13838 0
vsize: 56556
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38182 0 0 0 109478 540 0 0 25 0 1 0 972996160 58044416 11610 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14171 11610 301 301 0 13870 0
vsize: 56684
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38213 0 0 0 110475 543 0 0 25 0 1 0 972996160 58044416 11641 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14171 11641 301 301 0 13870 0
vsize: 56684
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38394 0 0 0 111472 546 0 0 25 0 1 0 972996160 58044416 11667 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14171 11667 301 301 0 13870 0
vsize: 56684
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38405 0 0 0 112468 551 0 0 25 0 1 0 972996160 58175488 11678 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14203 11678 301 301 0 13902 0
vsize: 56812
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38417 0 0 0 113465 554 0 0 25 0 1 0 972996160 58175488 11690 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14203 11690 301 301 0 13902 0
vsize: 56812
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38583 0 0 0 114460 558 0 0 25 0 1 0 972996160 58175488 11701 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14203 11701 301 301 0 13902 0
vsize: 56812
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38596 0 0 0 115456 563 0 0 25 0 1 0 972996160 58175488 11714 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14203 11714 301 301 0 13902 0
vsize: 56812
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38611 0 0 0 116453 565 0 0 25 0 1 0 972996160 58310656 11729 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14236 11729 301 301 0 13935 0
vsize: 56944
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38775 0 0 0 117450 569 0 0 25 0 1 0 972996160 58310656 11738 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14236 11738 301 301 0 13935 0
vsize: 56944
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38788 0 0 0 118447 572 0 0 25 0 1 0 972996160 58310656 11751 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14236 11751 301 301 0 13935 0
vsize: 56944
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14450
Raw data (stat): 14450 (pb2sat-v2) R 14449 31399 31398 0 -1 0 38971 0 0 0 119445 575 0 0 25 0 1 0 972996160 58310656 11779 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14236 11779 301 301 0 13935 0
vsize: 56944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14450
Raw data (stat): 14450 (pb2sat-v2) Z 14449 31399 31398 0 -1 12 38973 0 0 0 119467 577 0 0 25 0 1 0 972996160 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.28
CPU time (s): 1200.45
CPU user time (s): 1194.67
CPU system time (s): 5.77812
CPU usage (%): 100.014
Max. virtual memory (Kb): 56944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####