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/miplib/normalized-mps-v2-13-7-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.01884
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 42815

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 15:32:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26028 boxname=wulflinc6 idbench=1328 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sentoy.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sentoy.opb
IDLAUNCH: 26028
/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:        715140 kB
Buffers:         18756 kB
Cached:         278288 kB
SwapCached:       1000 kB
Active:          28484 kB
Inactive:       270724 kB
HighTotal:      131008 kB
HighFree:         1848 kB
LowTotal:       903652 kB
LowFree:        713292 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14608 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:52:13 (client local time) WITH STATUS 0 IN 1202.66 SECONDS
stats: 26028 0 1202.66 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.987 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.93 0.98 0.91 2/54 22853
Raw data (stat): 22853 (runsolver) R 22852 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971866270 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.0001 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 25963 0 0 0 945 54 0 0 25 0 1 0 971866270 77807616 14832 4294967295 134512640 135730672 3221224576 3221207380 134607988 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18996 14832 301 301 0 18695 0
vsize: 75984
[startup+20.0006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 50973 0 0 0 1896 102 0 0 25 0 1 0 971866270 151392256 28637 4294967295 134512640 135730672 3221224576 3221209680 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36961 28637 301 301 0 36660 0
vsize: 147844
[startup+30.0007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 88453 0 0 0 2818 181 0 0 25 0 1 0 971866270 266719232 44449 4294967295 134512640 135730672 3221224576 3221215384 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65117 44449 301 301 0 64816 0
vsize: 260468
[startup+40.0005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 100372 0 0 0 3793 207 0 0 25 0 1 0 971866270 300273664 56149 4294967295 134512640 135730672 3221224576 3221214016 134550128 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73309 56149 301 301 0 73008 0
vsize: 293236
[startup+50.0013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 116701 0 0 0 4758 242 0 0 25 0 1 0 971866270 313401344 72236 4294967295 134512640 135730672 3221224576 3221212048 134546498 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76514 72236 301 301 0 76213 0
vsize: 306056
[startup+60.0008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 175730 0 0 0 5642 358 0 0 25 0 1 0 971866270 533098496 88175 4294967295 134512640 135730672 3221224576 3221214368 134770867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130151 88175 301 301 0 129850 0
vsize: 520604
[startup+70.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 186758 0 0 0 6620 379 0 0 25 0 1 0 971866270 566652928 98999 4294967295 134512640 135730672 3221224576 3221199020 134608072 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138343 98999 301 301 0 138042 0
vsize: 553372
[startup+80.0017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 199974 0 0 0 7591 409 0 0 25 0 1 0 971866270 566652928 111973 4294967295 134512640 135730672 3221224576 3221206588 134732152 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138343 111973 301 301 0 138042 0
vsize: 553372
[startup+90.0016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 214437 0 0 0 8561 439 0 0 25 0 1 0 971866270 572747776 126195 4294967295 134512640 135730672 3221224576 3221209264 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139831 126195 301 301 0 139530 0
vsize: 559324
[startup+100.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 228145 0 0 0 9531 469 0 0 25 0 1 0 971866270 604884992 135467 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147677 135467 301 301 0 147376 0
vsize: 590708
[startup+110.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 242195 0 0 0 10498 501 0 0 25 0 1 0 971866270 700420096 144335 4294967295 134512640 135730672 3221224576 3221222680 134765483 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.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 245943 0 0 0 11489 511 0 0 25 0 1 0 971866270 700420096 144351 4294967295 134512640 135730672 3221224576 3221222672 134768821 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.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 246158 0 0 0 12488 512 0 0 25 0 1 0 971866270 685809664 140801 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167434 140801 301 301 0 167133 0
vsize: 669736
[startup+140.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 247883 0 0 0 13484 516 0 0 25 0 1 0 971866270 690806784 141499 4294967295 134512640 135730672 3221224576 3221223056 134748449 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.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 248874 0 0 0 14482 518 0 0 25 0 1 0 971866270 693960704 141783 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 250216 0 0 0 15480 521 0 0 25 0 1 0 971866270 697851904 142355 4294967295 134512640 135730672 3221224576 3221222864 134747568 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.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 250221 0 0 0 16480 521 0 0 25 0 1 0 971866270 697851904 142360 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170374 142360 301 301 0 170073 0
vsize: 681496
[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 250901 0 0 0 17479 522 0 0 25 0 1 0 971866270 700121088 142527 4294967295 134512640 135730672 3221224576 3221222864 134747837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170928 142527 301 301 0 170627 0
vsize: 683712
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 251368 0 0 0 18478 523 0 0 25 0 1 0 971866270 701657088 142672 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171303 142672 301 301 0 171002 0
vsize: 685212
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 0.92 3/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 252197 0 0 0 19477 524 0 0 25 0 1 0 971866270 703754240 142988 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171815 142988 301 301 0 171514 0
vsize: 687260
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 252207 0 0 0 20478 524 0 0 25 0 1 0 971866270 703754240 142998 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171815 142998 301 301 0 171514 0
vsize: 687260
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 253063 0 0 0 21477 526 0 0 25 0 1 0 971866270 705212416 143494 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172171 143494 301 301 0 171870 0
vsize: 688684
[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 254009 0 0 0 22475 528 0 0 25 0 1 0 971866270 707493888 143927 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172728 143927 301 301 0 172427 0
vsize: 690912
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 254386 0 0 0 23474 529 0 0 25 0 1 0 971866270 708542464 144047 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172984 144047 301 301 0 172683 0
vsize: 691936
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 254390 0 0 0 24475 529 0 0 25 0 1 0 971866270 708542464 144051 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172984 144051 301 301 0 172683 0
vsize: 691936
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 254791 0 0 0 25474 530 0 0 25 0 1 0 971866270 709591040 144195 4294967295 134512640 135730672 3221224576 3221222992 134748106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173240 144195 301 301 0 172939 0
vsize: 692960
[startup+270.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256410 0 0 0 26471 534 0 0 25 0 1 0 971866270 713785344 144789 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174264 144789 301 301 0 173963 0
vsize: 697056
[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256441 0 0 0 27471 534 0 0 25 0 1 0 971866270 714014720 144820 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174320 144820 301 301 0 174019 0
vsize: 697280
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256470 0 0 0 28471 534 0 0 25 0 1 0 971866270 714014720 144849 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174320 144849 301 301 0 174019 0
vsize: 697280
[startup+300.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256500 0 0 0 29471 534 0 0 25 0 1 0 971866270 714244096 144879 4294967295 134512640 135730672 3221224576 3221222864 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 144879 301 301 0 174075 0
vsize: 697504
[startup+310.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256651 0 0 0 30471 534 0 0 25 0 1 0 971866270 714244096 145030 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 145030 301 301 0 174075 0
vsize: 697504
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256670 0 0 0 31471 535 0 0 25 0 1 0 971866270 714244096 145049 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 145049 301 301 0 174075 0
vsize: 697504
[startup+330.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256671 0 0 0 32472 535 0 0 25 0 1 0 971866270 714244096 145050 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 145050 301 301 0 174075 0
vsize: 697504
[startup+340.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256673 0 0 0 33472 535 0 0 25 0 1 0 971866270 714244096 145052 4294967295 134512640 135730672 3221224576 3221222864 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 145052 301 301 0 174075 0
vsize: 697504
[startup+350.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256674 0 0 0 34472 535 0 0 25 0 1 0 971866270 714244096 145053 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 145053 301 301 0 174075 0
vsize: 697504
[startup+360.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256675 0 0 0 35473 535 0 0 25 0 1 0 971866270 714244096 145054 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 145054 301 301 0 174075 0
vsize: 697504
[startup+370.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256835 0 0 0 36473 535 0 0 25 0 1 0 971866270 714244096 145214 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 145214 301 301 0 174075 0
vsize: 697504
[startup+380.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256838 0 0 0 37473 535 0 0 25 0 1 0 971866270 714244096 145217 4294967295 134512640 135730672 3221224576 3221222864 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 145217 301 301 0 174075 0
vsize: 697504
[startup+390.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256838 0 0 0 38473 535 0 0 25 0 1 0 971866270 714244096 145217 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174376 145217 301 301 0 174075 0
vsize: 697504
[startup+400.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256993 0 0 0 39473 536 0 0 25 0 1 0 971866270 714768384 145243 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174504 145243 301 301 0 174203 0
vsize: 698016
[startup+410.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256993 0 0 0 40474 536 0 0 25 0 1 0 971866270 714768384 145243 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174504 145243 301 301 0 174203 0
vsize: 698016
[startup+420.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256997 0 0 0 41474 536 0 0 25 0 1 0 971866270 714768384 145247 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174504 145247 301 301 0 174203 0
vsize: 698016
[startup+430.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 256998 0 0 0 42474 536 0 0 25 0 1 0 971866270 714768384 145248 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174504 145248 301 301 0 174203 0
vsize: 698016
[startup+440.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 257106 0 0 0 43474 536 0 0 25 0 1 0 971866270 714768384 145356 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174504 145356 301 301 0 174203 0
vsize: 698016
[startup+450.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 257415 0 0 0 44474 537 0 0 25 0 1 0 971866270 715816960 145408 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174760 145408 301 301 0 174459 0
vsize: 699040
[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 258399 0 0 0 45472 538 0 0 25 0 1 0 971866270 718176256 145814 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175336 145814 301 301 0 175035 0
vsize: 701344
[startup+470.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 258399 0 0 0 46473 538 0 0 25 0 1 0 971866270 718176256 145814 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175336 145814 301 301 0 175035 0
vsize: 701344
[startup+480.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 258428 0 0 0 47473 538 0 0 25 0 1 0 971866270 718176256 145843 4294967295 134512640 135730672 3221224576 3221222988 134748215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175336 145843 301 301 0 175035 0
vsize: 701344
[startup+490.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 258430 0 0 0 48473 538 0 0 25 0 1 0 971866270 718176256 145845 4294967295 134512640 135730672 3221224576 3221222616 135284611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175336 145845 301 301 0 175035 0
vsize: 701344
[startup+500.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 258495 0 0 0 49474 539 0 0 25 0 1 0 971866270 718176256 145910 4294967295 134512640 135730672 3221224576 3221222960 134764006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175336 145910 301 301 0 175035 0
vsize: 701344
[startup+510.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 258622 0 0 0 50474 539 0 0 25 0 1 0 971866270 718483456 146037 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175411 146037 301 301 0 175110 0
vsize: 701644
[startup+520.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 258702 0 0 0 51474 539 0 0 25 0 1 0 971866270 718483456 146117 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175411 146117 301 301 0 175110 0
vsize: 701644
[startup+530.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 258703 0 0 0 52474 539 0 0 25 0 1 0 971866270 718483456 146118 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175411 146118 301 301 0 175110 0
vsize: 701644
[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260058 0 0 0 53472 542 0 0 25 0 1 0 971866270 722677760 146448 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146448 301 301 0 176134 0
vsize: 705740
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260058 0 0 0 54472 542 0 0 25 0 1 0 971866270 722677760 146448 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146448 301 301 0 176134 0
vsize: 705740
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260058 0 0 0 55473 542 0 0 25 0 1 0 971866270 722677760 146448 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146448 301 301 0 176134 0
vsize: 705740
[startup+570.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260059 0 0 0 56473 542 0 0 25 0 1 0 971866270 722677760 146449 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146449 301 301 0 176134 0
vsize: 705740
[startup+580.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260078 0 0 0 57473 542 0 0 25 0 1 0 971866270 722677760 146468 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146468 301 301 0 176134 0
vsize: 705740
[startup+590.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260078 0 0 0 58474 542 0 0 25 0 1 0 971866270 722677760 146468 4294967295 134512640 135730672 3221224576 3221223056 134748446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146468 301 301 0 176134 0
vsize: 705740
[startup+600.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260078 0 0 0 59474 542 0 0 25 0 1 0 971866270 722677760 146468 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146468 301 301 0 176134 0
vsize: 705740
[startup+610.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260079 0 0 0 60474 542 0 0 25 0 1 0 971866270 722677760 146469 4294967295 134512640 135730672 3221224576 3221222960 134764022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146469 301 301 0 176134 0
vsize: 705740
[startup+620.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260079 0 0 0 61475 542 0 0 25 0 1 0 971866270 722677760 146469 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146469 301 301 0 176134 0
vsize: 705740
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260079 0 0 0 62475 542 0 0 25 0 1 0 971866270 722677760 146469 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146469 301 301 0 176134 0
vsize: 705740
[startup+640.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260080 0 0 0 63475 542 0 0 25 0 1 0 971866270 722677760 146470 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146470 301 301 0 176134 0
vsize: 705740
[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260173 0 0 0 64475 542 0 0 25 0 1 0 971866270 722677760 146563 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146563 301 301 0 176134 0
vsize: 705740
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260174 0 0 0 65476 542 0 0 25 0 1 0 971866270 722677760 146564 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146564 301 301 0 176134 0
vsize: 705740
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260378 0 0 0 66476 542 0 0 25 0 1 0 971866270 722677760 146768 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176435 146768 301 301 0 176134 0
vsize: 705740
[startup+680.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260534 0 0 0 67476 543 0 0 25 0 1 0 971866270 723202048 146795 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176563 146795 301 301 0 176262 0
vsize: 706252
[startup+690.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260534 0 0 0 68476 543 0 0 25 0 1 0 971866270 723202048 146795 4294967295 134512640 135730672 3221224576 3221223056 134748446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176563 146795 301 301 0 176262 0
vsize: 706252
[startup+700.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260535 0 0 0 69477 543 0 0 25 0 1 0 971866270 723202048 146796 4294967295 134512640 135730672 3221224576 3221222864 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176563 146796 301 301 0 176262 0
vsize: 706252
[startup+710.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260535 0 0 0 70477 543 0 0 25 0 1 0 971866270 723202048 146796 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176563 146796 301 301 0 176262 0
vsize: 706252
[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260535 0 0 0 71477 543 0 0 25 0 1 0 971866270 723202048 146796 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176563 146796 301 301 0 176262 0
vsize: 706252
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 260535 0 0 0 72478 543 0 0 25 0 1 0 971866270 723202048 146796 4294967295 134512640 135730672 3221224576 3221223024 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176563 146796 301 301 0 176262 0
vsize: 706252
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 261917 0 0 0 73474 546 0 0 25 0 1 0 971866270 727396352 147153 4294967295 134512640 135730672 3221224576 3221222848 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177587 147153 301 301 0 177286 0
vsize: 710348
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 261936 0 0 0 74475 546 0 0 25 0 1 0 971866270 727396352 147172 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177587 147172 301 301 0 177286 0
vsize: 710348
[startup+760.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 261936 0 0 0 75475 546 0 0 25 0 1 0 971866270 727396352 147172 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177587 147172 301 301 0 177286 0
vsize: 710348
[startup+770.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263349 0 0 0 76472 550 0 0 25 0 1 0 971866270 730767360 147815 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147815 301 301 0 178109 0
vsize: 713640
[startup+780.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263353 0 0 0 77472 550 0 0 25 0 1 0 971866270 730767360 147819 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147819 301 301 0 178109 0
vsize: 713640
[startup+790.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263354 0 0 0 78472 550 0 0 25 0 1 0 971866270 730767360 147820 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147820 301 301 0 178109 0
vsize: 713640
[startup+800.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263355 0 0 0 79472 550 0 0 25 0 1 0 971866270 730767360 147821 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147821 301 301 0 178109 0
vsize: 713640
[startup+810.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263357 0 0 0 80473 550 0 0 25 0 1 0 971866270 730767360 147823 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147823 301 301 0 178109 0
vsize: 713640
[startup+820.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263361 0 0 0 81473 550 0 0 25 0 1 0 971866270 730767360 147827 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263361 0 0 0 82473 551 0 0 25 0 1 0 971866270 730767360 147827 4294967295 134512640 135730672 3221224576 3221222864 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+840.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263361 0 0 0 83474 551 0 0 25 0 1 0 971866270 730767360 147827 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+850.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263361 0 0 0 84474 551 0 0 25 0 1 0 971866270 730767360 147827 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+860.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263361 0 0 0 85474 551 0 0 25 0 1 0 971866270 730767360 147827 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147827 301 301 0 178109 0
vsize: 713640
[startup+870.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263362 0 0 0 86474 551 0 0 25 0 1 0 971866270 730767360 147828 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147828 301 301 0 178109 0
vsize: 713640
[startup+880.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263362 0 0 0 87475 551 0 0 25 0 1 0 971866270 730767360 147828 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147828 301 301 0 178109 0
vsize: 713640
[startup+890.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263362 0 0 0 88475 551 0 0 25 0 1 0 971866270 730767360 147828 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147828 301 301 0 178109 0
vsize: 713640
[startup+900.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263362 0 0 0 89475 551 0 0 25 0 1 0 971866270 730767360 147828 4294967295 134512640 135730672 3221224576 3221222960 134764006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147828 301 301 0 178109 0
vsize: 713640
[startup+910.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263364 0 0 0 90476 551 0 0 25 0 1 0 971866270 730767360 147830 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147830 301 301 0 178109 0
vsize: 713640
[startup+920.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263364 0 0 0 91476 551 0 0 25 0 1 0 971866270 730767360 147830 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147830 301 301 0 178109 0
vsize: 713640
[startup+930.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263364 0 0 0 92476 551 0 0 25 0 1 0 971866270 730767360 147830 4294967295 134512640 135730672 3221224576 3221222976 134748234 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178410 147830 301 301 0 178109 0
vsize: 713640
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263442 0 0 0 93476 551 0 0 25 0 1 0 971866270 731029504 147843 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178474 147843 301 301 0 178173 0
vsize: 713896
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 263523 0 0 0 94477 551 0 0 25 0 1 0 971866270 731029504 147924 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178474 147924 301 301 0 178173 0
vsize: 713896
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264088 0 0 0 95476 553 0 0 25 0 1 0 971866270 732610560 148230 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178860 148230 301 301 0 178559 0
vsize: 715440
[startup+970.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264088 0 0 0 96476 553 0 0 25 0 1 0 971866270 732610560 148230 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178860 148230 301 301 0 178559 0
vsize: 715440
[startup+980.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264149 0 0 0 97476 553 0 0 25 0 1 0 971866270 732794880 148291 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148291 301 301 0 178604 0
vsize: 715620
[startup+990.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264198 0 0 0 98477 553 0 0 25 0 1 0 971866270 732794880 148340 4294967295 134512640 135730672 3221224576 3221223056 134748452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148340 301 301 0 178604 0
vsize: 715620
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264198 0 0 0 99477 553 0 0 25 0 1 0 971866270 732794880 148340 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148340 301 301 0 178604 0
vsize: 715620
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264198 0 0 0 100477 553 0 0 25 0 1 0 971866270 732794880 148340 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148340 301 301 0 178604 0
vsize: 715620
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264198 0 0 0 101478 553 0 0 25 0 1 0 971866270 732794880 148340 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148340 301 301 0 178604 0
vsize: 715620
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264199 0 0 0 102478 553 0 0 25 0 1 0 971866270 732794880 148341 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148341 301 301 0 178604 0
vsize: 715620
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264200 0 0 0 103478 553 0 0 25 0 1 0 971866270 732794880 148342 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148342 301 301 0 178604 0
vsize: 715620
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264200 0 0 0 104479 553 0 0 25 0 1 0 971866270 732794880 148342 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148342 301 301 0 178604 0
vsize: 715620
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264200 0 0 0 105479 553 0 0 25 0 1 0 971866270 732794880 148342 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148342 301 301 0 178604 0
vsize: 715620
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264200 0 0 0 106479 553 0 0 25 0 1 0 971866270 732794880 148342 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148342 301 301 0 178604 0
vsize: 715620
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264203 0 0 0 107480 553 0 0 25 0 1 0 971866270 732794880 148345 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148345 301 301 0 178604 0
vsize: 715620
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264204 0 0 0 108480 553 0 0 25 0 1 0 971866270 732794880 148346 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148346 301 301 0 178604 0
vsize: 715620
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264204 0 0 0 109480 553 0 0 25 0 1 0 971866270 732794880 148346 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148346 301 301 0 178604 0
vsize: 715620
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264204 0 0 0 110481 553 0 0 25 0 1 0 971866270 732794880 148346 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148346 301 301 0 178604 0
vsize: 715620
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264205 0 0 0 111481 553 0 0 25 0 1 0 971866270 732794880 148347 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178905 148347 301 301 0 178604 0
vsize: 715620
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264230 0 0 0 112481 553 0 0 25 0 1 0 971866270 732999680 148372 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178955 148372 301 301 0 178654 0
vsize: 715820
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 264998 0 0 0 113481 554 0 0 25 0 1 0 971866270 734572544 148754 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179339 148754 301 301 0 179038 0
vsize: 717356
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 265083 0 0 0 114481 554 0 0 25 0 1 0 971866270 734572544 148839 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179339 148839 301 301 0 179038 0
vsize: 717356
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 266333 0 0 0 115479 557 0 0 25 0 1 0 971866270 737718272 149319 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180107 149319 301 301 0 179806 0
vsize: 720428
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 266469 0 0 0 116479 557 0 0 25 0 1 0 971866270 737718272 149455 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180107 149455 301 301 0 179806 0
vsize: 720428
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 267351 0 0 0 117477 559 0 0 25 0 1 0 971866270 739815424 149824 4294967295 134512640 135730672 3221224576 3221222992 134748126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180619 149824 301 301 0 180318 0
vsize: 722476
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 267353 0 0 0 118477 559 0 0 25 0 1 0 971866270 739815424 149826 4294967295 134512640 135730672 3221224576 3221222864 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180619 149826 301 301 0 180318 0
vsize: 722476
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 267353 0 0 0 119478 559 0 0 25 0 1 0 971866270 739815424 149826 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180619 149826 301 301 0 180318 0
vsize: 722476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.31 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 22853
Raw data (stat): 22853 (pb2sat-v2) R 22852 25568 25567 0 -1 0 267353 0 0 0 119478 559 0 0 25 0 1 0 971866270 739815424 149826 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 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.31
CPU time (s): 1202.66
CPU user time (s): 1196.76
CPU system time (s): 5.8981
CPU usage (%): 100.029
Max. virtual memory (Kb): 722476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-1876
#### END VERIFIER DATA ####