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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	60
Total number of constraints	90
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 42431

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        711152 kB
Buffers:         33420 kB
Cached:         267812 kB
SwapCached:       1028 kB
Active:          33304 kB
Inactive:       270100 kB
HighTotal:      131008 kB
HighFree:         6468 kB
LowTotal:       903652 kB
LowFree:        704684 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14452 kB
Committed_AS:    63840 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:38:02 (client local time) WITH STATUS 0 IN 1202.67 SECONDS
stats: 25644 0 1202.67 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 7584
c small objective detected
c CONFLICT during preprocess 
c [startup+116.06 s]  setting bit 13 to 0
s SATISFIABLE
v -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 Y17_bit0 -Y18_bit0 Y19_bit0 -Y1_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 -Y2_bit0 -Y30_bit0 Y31_bit0 Y32_bit0 Y33_bit0 -Y34_bit0 Y35_bit0 -Y36_bit0 Y37_bit0 -Y38_bit0 Y39_bit0 -Y3_bit0 Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y4_bit0 Y50_bit0 Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y5_bit0 -Y60_bit0 Y6_bit0 -Y7_bit0 -Y8_bit0 Y9_bit0 
#### 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.94 0.90 1/54 16360
Raw data (stat): 16360 (runsolver) R 16359 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968900749 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 25960 0 0 0 947 52 0 0 25 0 1 0 968900749 77807616 14829 4294967295 134512640 135730672 3221224576 3221209432 135284274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18996 14829 301 301 0 18695 0
vsize: 75984
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 50994 0 0 0 1892 107 0 0 25 0 1 0 968900749 151392256 28658 4294967295 134512640 135730672 3221224576 3221207972 134608048 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36961 28658 301 301 0 36660 0
vsize: 147844
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 88694 0 0 0 2817 182 0 0 25 0 1 0 968900749 266719232 44686 4294967295 134512640 135730672 3221224576 3221214332 134608023 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65117 44686 301 301 0 64816 0
vsize: 260468
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 100879 0 0 0 3791 208 0 0 25 0 1 0 968900749 300273664 56647 4294967295 134512640 135730672 3221224576 3221212928 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73309 56648 301 301 0 73008 0
vsize: 293236
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 118902 0 0 0 4756 243 0 0 25 0 1 0 968900749 459812864 74379 4294967295 134512640 135730672 3221224576 3221213072 134775276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112259 74382 301 301 0 111958 0
vsize: 449036
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 176453 0 0 0 5643 357 0 0 25 0 1 0 968900749 533098496 88884 4294967295 134512640 135730672 3221224576 3221209728 134546470 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130151 88884 301 301 0 129850 0
vsize: 520604
[startup+70.0061 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 187736 0 0 0 6617 383 0 0 25 0 1 0 968900749 566652928 99959 4294967295 134512640 135730672 3221224576 3221208752 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138343 99960 301 301 0 138042 0
vsize: 553372
[startup+80.0067 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 201056 0 0 0 7587 414 0 0 25 0 1 0 968900749 566652928 113035 4294967295 134512640 135730672 3221224576 3221213376 135109362 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138343 113035 301 301 0 138042 0
vsize: 553372
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 216092 0 0 0 8556 445 0 0 25 0 1 0 968900749 574369792 127827 4294967295 134512640 135730672 3221224576 3221214332 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140227 127828 301 301 0 139926 0
vsize: 560908
[startup+100.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 229174 0 0 0 9526 475 0 0 25 0 1 0 968900749 608428032 136235 4294967295 134512640 135730672 3221224576 3221223072 134747821 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148542 136235 301 301 0 148241 0
vsize: 594168
[startup+110.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 242195 0 0 0 10496 505 0 0 25 0 1 0 968900749 700420096 144335 4294967295 134512640 135730672 3221224576 3221222680 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171001 144335 301 301 0 170700 0
vsize: 684004
[startup+120.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 245943 0 0 0 11487 514 0 0 25 0 1 0 968900749 700420096 144351 4294967295 134512640 135730672 3221224576 3221222688 134768938 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171001 144351 301 301 0 170700 0
vsize: 684004
[startup+130.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 246181 0 0 0 12486 515 0 0 25 0 1 0 968900749 685809664 140824 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167434 140824 301 301 0 167133 0
vsize: 669736
[startup+140.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 247883 0 0 0 13483 519 0 0 25 0 1 0 968900749 690806784 141499 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168654 141499 301 301 0 168353 0
vsize: 674616
[startup+150.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 248874 0 0 0 14482 521 0 0 25 0 1 0 968900749 693960704 141783 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169424 141783 301 301 0 169123 0
vsize: 677696
[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 250216 0 0 0 15479 523 0 0 25 0 1 0 968900749 697851904 142355 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170374 142355 301 301 0 170073 0
vsize: 681496
[startup+170.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 250221 0 0 0 16480 523 0 0 25 0 1 0 968900749 697851904 142360 4294967295 134512640 135730672 3221224576 3221222960 134763992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170374 142360 301 301 0 170073 0
vsize: 681496
[startup+180.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 250901 0 0 0 17479 525 0 0 25 0 1 0 968900749 700121088 142527 4294967295 134512640 135730672 3221224576 3221223056 134748549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170928 142527 301 301 0 170627 0
vsize: 683712
[startup+190.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 251412 0 0 0 18478 526 0 0 25 0 1 0 968900749 701657088 142716 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171303 142716 301 301 0 171002 0
vsize: 685212
[startup+200.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 252198 0 0 0 19477 527 0 0 25 0 1 0 968900749 703754240 142989 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171815 142989 301 301 0 171514 0
vsize: 687260
[startup+210.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 252270 0 0 0 20477 527 0 0 25 0 1 0 968900749 703754240 143061 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171815 143061 301 301 0 171514 0
vsize: 687260
[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 253684 0 0 0 21475 531 0 0 25 0 1 0 968900749 707309568 143602 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172683 143602 301 301 0 172382 0
vsize: 690732
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 254009 0 0 0 22474 531 0 0 25 0 1 0 968900749 707493888 143927 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172728 143927 301 301 0 172427 0
vsize: 690912
[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 254386 0 0 0 23473 533 0 0 25 0 1 0 968900749 708542464 144047 4294967295 134512640 135730672 3221224576 3221222976 134748222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172984 144047 301 301 0 172683 0
vsize: 691936
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 254391 0 0 0 24474 533 0 0 25 0 1 0 968900749 708542464 144052 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172984 144052 301 301 0 172683 0
vsize: 691936
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 254791 0 0 0 25473 534 0 0 25 0 1 0 968900749 709591040 144195 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173240 144195 301 301 0 172939 0
vsize: 692960
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256441 0 0 0 26471 536 0 0 25 0 1 0 968900749 714014720 144820 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174320 144820 301 301 0 174019 0
vsize: 697280
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256441 0 0 0 27471 536 0 0 25 0 1 0 968900749 714014720 144820 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174320 144820 301 301 0 174019 0
vsize: 697280
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256471 0 0 0 28471 537 0 0 25 0 1 0 968900749 714014720 144850 4294967295 134512640 135730672 3221224576 3221222992 134748168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174320 144850 301 301 0 174019 0
vsize: 697280
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256592 0 0 0 29471 537 0 0 25 0 1 0 968900749 714244096 144971 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 144971 301 301 0 174075 0
vsize: 697504
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256651 0 0 0 30471 537 0 0 25 0 1 0 968900749 714244096 145030 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 145030 301 301 0 174075 0
vsize: 697504
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256670 0 0 0 31472 537 0 0 25 0 1 0 968900749 714244096 145049 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 145049 301 301 0 174075 0
vsize: 697504
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256671 0 0 0 32472 537 0 0 25 0 1 0 968900749 714244096 145050 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 145050 301 301 0 174075 0
vsize: 697504
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256673 0 0 0 33473 537 0 0 25 0 1 0 968900749 714244096 145052 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 145052 301 301 0 174075 0
vsize: 697504
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256675 0 0 0 34473 537 0 0 25 0 1 0 968900749 714244096 145054 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 145054 301 301 0 174075 0
vsize: 697504
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256675 0 0 0 35473 538 0 0 25 0 1 0 968900749 714244096 145054 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 145054 301 301 0 174075 0
vsize: 697504
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256837 0 0 0 36473 538 0 0 25 0 1 0 968900749 714244096 145216 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 145216 301 301 0 174075 0
vsize: 697504
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256838 0 0 0 37474 538 0 0 25 0 1 0 968900749 714244096 145217 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 145217 301 301 0 174075 0
vsize: 697504
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256838 0 0 0 38474 538 0 0 25 0 1 0 968900749 714244096 145217 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174376 145217 301 301 0 174075 0
vsize: 697504
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256993 0 0 0 39474 538 0 0 25 0 1 0 968900749 714768384 145243 4294967295 134512640 135730672 3221224576 3221222616 135284912 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174504 145243 301 301 0 174203 0
vsize: 698016
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256994 0 0 0 40475 538 0 0 25 0 1 0 968900749 714768384 145244 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174504 145244 301 301 0 174203 0
vsize: 698016
[startup+420.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256998 0 0 0 41475 538 0 0 25 0 1 0 968900749 714768384 145248 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174504 145248 301 301 0 174203 0
vsize: 698016
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 256998 0 0 0 42476 538 0 0 25 0 1 0 968900749 714768384 145248 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174504 145248 301 301 0 174203 0
vsize: 698016
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 257388 0 0 0 43475 539 0 0 25 0 1 0 968900749 715816960 145381 4294967295 134512640 135730672 3221224576 3221222688 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174760 145381 301 301 0 174459 0
vsize: 699040
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 258399 0 0 0 44473 541 0 0 25 0 1 0 968900749 718176256 145814 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175336 145814 301 301 0 175035 0
vsize: 701344
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 258399 0 0 0 45473 541 0 0 25 0 1 0 968900749 718176256 145814 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175336 145814 301 301 0 175035 0
vsize: 701344
[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 258399 0 0 0 46474 541 0 0 25 0 1 0 968900749 718176256 145814 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175336 145814 301 301 0 175035 0
vsize: 701344
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 258430 0 0 0 47474 541 0 0 25 0 1 0 968900749 718176256 145845 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175336 145845 301 301 0 175035 0
vsize: 701344
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 258495 0 0 0 48474 542 0 0 25 0 1 0 968900749 718176256 145910 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175336 145910 301 301 0 175035 0
vsize: 701344
[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 258495 0 0 0 49474 542 0 0 25 0 1 0 968900749 718176256 145910 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175336 145910 301 301 0 175035 0
vsize: 701344
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 258701 0 0 0 50474 542 0 0 25 0 1 0 968900749 718483456 146116 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175411 146116 301 301 0 175110 0
vsize: 701644
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 258703 0 0 0 51474 542 0 0 25 0 1 0 968900749 718483456 146118 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175411 146118 301 301 0 175110 0
vsize: 701644
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260058 0 0 0 52472 545 0 0 25 0 1 0 968900749 722677760 146448 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146448 301 301 0 176134 0
vsize: 705740
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260058 0 0 0 53473 545 0 0 25 0 1 0 968900749 722677760 146448 4294967295 134512640 135730672 3221224576 3221222864 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146448 301 301 0 176134 0
vsize: 705740
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260058 0 0 0 54473 545 0 0 25 0 1 0 968900749 722677760 146448 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146448 301 301 0 176134 0
vsize: 705740
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260059 0 0 0 55473 545 0 0 25 0 1 0 968900749 722677760 146449 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146449 301 301 0 176134 0
vsize: 705740
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260078 0 0 0 56473 545 0 0 25 0 1 0 968900749 722677760 146468 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146468 301 301 0 176134 0
vsize: 705740
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260078 0 0 0 57474 545 0 0 25 0 1 0 968900749 722677760 146468 4294967295 134512640 135730672 3221224576 3221222992 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146468 301 301 0 176134 0
vsize: 705740
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260078 0 0 0 58474 545 0 0 25 0 1 0 968900749 722677760 146468 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146468 301 301 0 176134 0
vsize: 705740
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260079 0 0 0 59474 545 0 0 25 0 1 0 968900749 722677760 146469 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146469 301 301 0 176134 0
vsize: 705740
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260079 0 0 0 60475 545 0 0 25 0 1 0 968900749 722677760 146469 4294967295 134512640 135730672 3221224576 3221223024 134748676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146469 301 301 0 176134 0
vsize: 705740
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260079 0 0 0 61475 545 0 0 25 0 1 0 968900749 722677760 146469 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146469 301 301 0 176134 0
vsize: 705740
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260080 0 0 0 62475 545 0 0 25 0 1 0 968900749 722677760 146470 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146470 301 301 0 176134 0
vsize: 705740
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260080 0 0 0 63475 545 0 0 25 0 1 0 968900749 722677760 146470 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146470 301 301 0 176134 0
vsize: 705740
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260174 0 0 0 64475 545 0 0 25 0 1 0 968900749 722677760 146564 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146564 301 301 0 176134 0
vsize: 705740
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260378 0 0 0 65475 546 0 0 25 0 1 0 968900749 722677760 146768 4294967295 134512640 135730672 3221224576 3221222960 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146768 301 301 0 176134 0
vsize: 705740
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260379 0 0 0 66476 546 0 0 25 0 1 0 968900749 722677760 146769 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176435 146769 301 301 0 176134 0
vsize: 705740
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260534 0 0 0 67476 546 0 0 25 0 1 0 968900749 723202048 146795 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176563 146795 301 301 0 176262 0
vsize: 706252
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260535 0 0 0 68476 546 0 0 25 0 1 0 968900749 723202048 146796 4294967295 134512640 135730672 3221224576 3221222864 134747590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176563 146796 301 301 0 176262 0
vsize: 706252
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260535 0 0 0 69476 546 0 0 25 0 1 0 968900749 723202048 146796 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176563 146796 301 301 0 176262 0
vsize: 706252
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260535 0 0 0 70476 546 0 0 25 0 1 0 968900749 723202048 146796 4294967295 134512640 135730672 3221224576 3221222992 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176563 146796 301 301 0 176262 0
vsize: 706252
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 260535 0 0 0 71477 546 0 0 25 0 1 0 968900749 723202048 146796 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176563 146796 301 301 0 176262 0
vsize: 706252
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 261803 0 0 0 72475 548 0 0 25 0 1 0 968900749 727396352 147039 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177587 147039 301 301 0 177286 0
vsize: 710348
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 261936 0 0 0 73475 548 0 0 25 0 1 0 968900749 727396352 147172 4294967295 134512640 135730672 3221224576 3221222864 134747460 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177587 147172 301 301 0 177286 0
vsize: 710348
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 261936 0 0 0 74475 548 0 0 25 0 1 0 968900749 727396352 147172 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177587 147172 301 301 0 177286 0
vsize: 710348
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263318 0 0 0 75473 551 0 0 25 0 1 0 968900749 730542080 147784 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178355 147784 301 301 0 178054 0
vsize: 713420
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263351 0 0 0 76474 551 0 0 25 0 1 0 968900749 730767360 147817 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147817 301 301 0 178109 0
vsize: 713640
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263354 0 0 0 77474 551 0 0 25 0 1 0 968900749 730767360 147820 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147820 301 301 0 178109 0
vsize: 713640
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263355 0 0 0 78474 551 0 0 25 0 1 0 968900749 730767360 147821 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147821 301 301 0 178109 0
vsize: 713640
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263356 0 0 0 79475 551 0 0 25 0 1 0 968900749 730767360 147822 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147822 301 301 0 178109 0
vsize: 713640
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263361 0 0 0 80475 551 0 0 25 0 1 0 968900749 730767360 147827 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263361 0 0 0 81475 551 0 0 25 0 1 0 968900749 730767360 147827 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263361 0 0 0 82475 551 0 0 25 0 1 0 968900749 730767360 147827 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263361 0 0 0 83476 551 0 0 25 0 1 0 968900749 730767360 147827 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263361 0 0 0 84476 551 0 0 25 0 1 0 968900749 730767360 147827 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263362 0 0 0 85476 551 0 0 25 0 1 0 968900749 730767360 147828 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147828 301 301 0 178109 0
vsize: 713640
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263362 0 0 0 86477 551 0 0 25 0 1 0 968900749 730767360 147828 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147828 301 301 0 178109 0
vsize: 713640
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263362 0 0 0 87477 551 0 0 25 0 1 0 968900749 730767360 147828 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147828 301 301 0 178109 0
vsize: 713640
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263362 0 0 0 88477 551 0 0 25 0 1 0 968900749 730767360 147828 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147828 301 301 0 178109 0
vsize: 713640
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263363 0 0 0 89477 551 0 0 25 0 1 0 968900749 730767360 147829 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147829 301 301 0 178109 0
vsize: 713640
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263364 0 0 0 90478 551 0 0 25 0 1 0 968900749 730767360 147830 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147830 301 301 0 178109 0
vsize: 713640
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263364 0 0 0 91478 551 0 0 25 0 1 0 968900749 730767360 147830 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178410 147830 301 301 0 178109 0
vsize: 713640
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263442 0 0 0 92478 551 0 0 25 0 1 0 968900749 731029504 147843 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178474 147843 301 301 0 178173 0
vsize: 713896
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 263523 0 0 0 93478 552 0 0 25 0 1 0 968900749 731029504 147924 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178474 147924 301 301 0 178173 0
vsize: 713896
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264088 0 0 0 94477 553 0 0 25 0 1 0 968900749 732610560 148230 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178860 148230 301 301 0 178559 0
vsize: 715440
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264088 0 0 0 95478 553 0 0 25 0 1 0 968900749 732610560 148230 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178860 148230 301 301 0 178559 0
vsize: 715440
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264148 0 0 0 96478 553 0 0 25 0 1 0 968900749 732794880 148290 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148290 301 301 0 178604 0
vsize: 715620
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264198 0 0 0 97478 553 0 0 25 0 1 0 968900749 732794880 148340 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148340 301 301 0 178604 0
vsize: 715620
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264198 0 0 0 98479 553 0 0 25 0 1 0 968900749 732794880 148340 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148340 301 301 0 178604 0
vsize: 715620
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264198 0 0 0 99479 553 0 0 25 0 1 0 968900749 732794880 148340 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148340 301 301 0 178604 0
vsize: 715620
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264198 0 0 0 100479 553 0 0 25 0 1 0 968900749 732794880 148340 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148340 301 301 0 178604 0
vsize: 715620
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264199 0 0 0 101479 553 0 0 25 0 1 0 968900749 732794880 148341 4294967295 134512640 135730672 3221224576 3221222992 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148341 301 301 0 178604 0
vsize: 715620
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264200 0 0 0 102480 553 0 0 25 0 1 0 968900749 732794880 148342 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148342 301 301 0 178604 0
vsize: 715620
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264200 0 0 0 103480 553 0 0 25 0 1 0 968900749 732794880 148342 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148342 301 301 0 178604 0
vsize: 715620
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264200 0 0 0 104480 553 0 0 25 0 1 0 968900749 732794880 148342 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148342 301 301 0 178604 0
vsize: 715620
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264200 0 0 0 105481 553 0 0 25 0 1 0 968900749 732794880 148342 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148342 301 301 0 178604 0
vsize: 715620
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264203 0 0 0 106481 553 0 0 25 0 1 0 968900749 732794880 148345 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148345 301 301 0 178604 0
vsize: 715620
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264204 0 0 0 107481 553 0 0 25 0 1 0 968900749 732794880 148346 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148346 301 301 0 178604 0
vsize: 715620
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264204 0 0 0 108482 553 0 0 25 0 1 0 968900749 732794880 148346 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148346 301 301 0 178604 0
vsize: 715620
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264204 0 0 0 109482 553 0 0 25 0 1 0 968900749 732794880 148346 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148346 301 301 0 178604 0
vsize: 715620
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264205 0 0 0 110482 553 0 0 25 0 1 0 968900749 732794880 148347 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178905 148347 301 301 0 178604 0
vsize: 715620
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 264230 0 0 0 111483 553 0 0 25 0 1 0 968900749 732999680 148372 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178955 148372 301 301 0 178654 0
vsize: 715820
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 265048 0 0 0 112481 555 0 0 25 0 1 0 968900749 734572544 148804 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179339 148804 301 301 0 179038 0
vsize: 717356
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 265083 0 0 0 113481 555 0 0 25 0 1 0 968900749 734572544 148839 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179339 148839 301 301 0 179038 0
vsize: 717356
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 266333 0 0 0 114480 557 0 0 25 0 1 0 968900749 737718272 149319 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180107 149319 301 301 0 179806 0
vsize: 720428
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 267169 0 0 0 115478 558 0 0 25 0 1 0 968900749 739815424 149642 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180619 149642 301 301 0 180318 0
vsize: 722476
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 267352 0 0 0 116478 559 0 0 25 0 1 0 968900749 739815424 149825 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180619 149825 301 301 0 180318 0
vsize: 722476
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 267353 0 0 0 117479 559 0 0 25 0 1 0 968900749 739815424 149826 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180619 149826 301 301 0 180318 0
vsize: 722476
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 267353 0 0 0 118479 559 0 0 25 0 1 0 968900749 739815424 149826 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180619 149826 301 301 0 180318 0
vsize: 722476
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 267353 0 0 0 119479 559 0 0 25 0 1 0 968900749 739815424 149826 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180619 149826 301 301 0 180318 0
vsize: 722476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.3 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 16360
Raw data (stat): 16360 (pb2sat-v2) R 16359 25568 25567 0 -1 0 267353 0 0 0 119479 559 0 0 25 0 1 0 968900749 739815424 149826 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180619 149826 301 301 0 180318 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.3
CPU time (s): 1202.67
CPU user time (s): 1196.77
CPU system time (s): 5.8971
CPU usage (%): 100.031
Max. virtual memory (Kb): 722476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-1876
#### END VERIFIER DATA ####