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/miplib3/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	766b2fe57cb2084b069363491485612e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	97
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16000000
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	241094849
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	2754
Total number of constraints	444
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	11
Maximum length of a constraint	84
Trace number 42560

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        881728 kB
Buffers:         11612 kB
Cached:         119284 kB
SwapCached:       1432 kB
Active:          26780 kB
Inactive:       106196 kB
HighTotal:      131008 kB
HighFree:        33068 kB
LowTotal:       903652 kB
LowFree:        848660 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14212 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:55:41 (client local time) WITH STATUS 0 IN 1202.27 SECONDS
stats: 25774 7 1202.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 244486/1095157	Time: 88.2146/86400
c Decision: 244519/1095157	Time: 114.219/86400
c Decision: 244519/1095157	Time: 148.528/86400
c Decision: 244539/1095157	Time: 193.177/86400
c Decision: 244539/1095157	Time: 220.624/86400
c Decision: 244554/1095157	Time: 263.682/86400
c Decision: 244554/1095157	Time: 295.799/86400
c Decision: 244556/1095157	Time: 338.245/86400
c Decision: 244556/1095157	Time: 371.984/86400
c Decision: 244594/1095157	Time: 425.864/86400
c Decision: 244594/1095157	Time: 451.381/86400
c Decision: 244594/1095157	Time: 479.052/86400
c Decision: 244594/1095157	Time: 507.799/86400
c Decision: 244594/1095157	Time: 534.344/86400
c Decision: 244594/1095157	Time: 561.174/86400
c Decision: 244594/1095157	Time: 593.975/86400
c Decision: 244594/1095157	Time: 616.192/86400
c Decision: 244594/1095157	Time: 638.389/86400
c Decision: 244594/1095157	Time: 668.813/86400
c Decision: 244594/1095157	Time: 688.915/86400
c Decision: 244594/1095157	Time: 723.202/86400
c Decision: 244606/1095157	Time: 755.074/86400
c Decision: 244606/1095157	Time: 778.977/86400
c Decision: 244606/1095157	Time: 801.367/86400
c Decision: 244606/1095157	Time: 824.87/86400
c Decision: 244606/1095157	Time: 851.306/86400
c Decision: 244606/1095157	Time: 878.429/86400
c Decision: 244606/1095157	Time: 900.481/86400
c Decision: 244606/1095157	Time: 922.137/86400
c Decision: 244606/1095157	Time: 941.939/86400
c Decision: 244606/1095157	Time: 967.22/86400
c Decision: 244606/1095157	Time: 987.371/86400
c Decision: 244606/1095157	Time: 1016.08/86400
c Decision: 244606/1095157	Time: 1043.38/86400
c Decision: 244606/1095157	Time: 1063.37/86400
c Decision: 244606/1095157	Time: 1092.43/86400
c Decision: 244606/1095157	Time: 1125.12/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 9176
Raw data (stat): 9176 (runsolver) R 9175 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970091786 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.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 25985 0 0 0 938 60 0 0 25 0 1 0 970091786 76783616 15043 4294967295 134512640 135730672 3221224576 3221194976 134776212 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18746 15043 301 301 0 18445 0
vsize: 74984
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 52033 0 0 0 1883 115 0 0 25 0 1 0 970091786 151420928 30118 4294967295 134512640 135730672 3221224576 3221196336 134786348 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36968 30118 301 301 0 36667 0
vsize: 147872
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 89829 0 0 0 2805 192 0 0 25 0 1 0 970091786 264843264 46227 4294967295 134512640 135730672 3221224576 3221197720 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64659 46228 301 301 0 64358 0
vsize: 258636
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 104050 0 0 0 3772 225 0 0 25 0 1 0 970091786 300965888 60193 4294967295 134512640 135730672 3221224576 3221198680 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73478 60193 301 301 0 73177 0
vsize: 293912
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 144051 0 0 0 4693 304 0 0 25 0 1 0 970091786 427012096 81607 4294967295 134512640 135730672 3221224576 3221190324 135281221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104251 81607 301 301 0 103950 0
vsize: 417004
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 148729 0 0 0 5680 317 0 0 25 0 1 0 970091786 427560960 84101 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104385 84101 301 301 0 104084 0
vsize: 417540
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 150210 0 0 0 6677 319 0 0 25 0 1 0 970091786 434712576 85582 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106131 85582 301 301 0 105830 0
vsize: 424524
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 151313 0 0 0 7676 321 0 0 25 0 1 0 970091786 440123392 86619 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107452 86619 301 301 0 107151 0
vsize: 429808
[startup+90.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 152322 0 0 0 8673 324 0 0 25 0 1 0 970091786 444833792 87562 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108602 87562 301 301 0 108301 0
vsize: 434408
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 152860 0 0 0 9672 325 0 0 25 0 1 0 970091786 447418368 88067 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109233 88067 301 301 0 108932 0
vsize: 436932
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 153349 0 0 0 10671 326 0 0 25 0 1 0 970091786 449323008 88507 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109698 88507 301 301 0 109397 0
vsize: 438792
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 153825 0 0 0 11671 327 0 0 25 0 1 0 970091786 451125248 88851 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110138 88851 301 301 0 109837 0
vsize: 440552
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 154263 0 0 0 12670 328 0 0 25 0 1 0 970091786 453144576 89223 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110631 89223 301 301 0 110330 0
vsize: 442524
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 156613 0 0 0 13665 333 0 0 25 0 1 0 970091786 454205440 89368 4294967295 134512640 135730672 3221224576 3221223200 134783246 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110890 89368 301 301 0 110589 0
vsize: 443560
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 156825 0 0 0 14664 334 0 0 25 0 1 0 970091786 454733824 89481 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111019 89481 301 301 0 110718 0
vsize: 444076
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 156892 0 0 0 15662 335 0 0 25 0 1 0 970091786 454864896 89515 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111051 89515 301 301 0 110750 0
vsize: 444204
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 159089 0 0 0 16657 340 0 0 25 0 1 0 970091786 454995968 89540 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111083 89540 301 301 0 110782 0
vsize: 444332
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 160072 0 0 0 17655 342 0 0 25 0 1 0 970091786 458436608 90099 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111923 90099 301 301 0 111622 0
vsize: 447692
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 160307 0 0 0 18654 343 0 0 25 0 1 0 970091786 459509760 90301 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112185 90301 301 301 0 111884 0
vsize: 448740
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 162650 0 0 0 19649 348 0 0 25 0 1 0 970091786 468930560 92546 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114485 92546 301 301 0 114184 0
vsize: 457940
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 163201 0 0 0 20647 350 0 0 25 0 1 0 970091786 462032896 90762 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112801 90762 301 301 0 112500 0
vsize: 451204
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 163575 0 0 0 21646 351 0 0 25 0 1 0 970091786 463085568 90906 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113058 90906 301 301 0 112757 0
vsize: 452232
[startup+230.005 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 163707 0 0 0 22646 351 0 0 25 0 1 0 970091786 463347712 90973 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113122 90973 301 301 0 112821 0
vsize: 452488
[startup+240.005 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 163921 0 0 0 23645 352 0 0 25 0 1 0 970091786 464007168 91089 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113283 91089 301 301 0 112982 0
vsize: 453132
[startup+250.005 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 166094 0 0 0 24640 358 0 0 25 0 1 0 970091786 464007168 91123 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113283 91123 301 301 0 112982 0
vsize: 453132
[startup+260.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 166176 0 0 0 25639 358 0 0 25 0 1 0 970091786 464273408 91205 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113348 91205 301 301 0 113047 0
vsize: 453392
[startup+270.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 166234 0 0 0 26639 359 0 0 25 0 1 0 970091786 464539648 91263 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113413 91263 301 301 0 113112 0
vsize: 453652
[startup+280.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 168436 0 0 0 27633 365 0 0 25 0 1 0 970091786 464670720 91293 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113445 91293 301 301 0 113144 0
vsize: 453780
[startup+290.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 168984 0 0 0 28632 367 0 0 25 0 1 0 970091786 466386944 91546 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113864 91546 301 301 0 113563 0
vsize: 455456
[startup+300.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 168990 0 0 0 29631 367 0 0 25 0 1 0 970091786 466386944 91552 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113864 91552 301 301 0 113563 0
vsize: 455456
[startup+310.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 168994 0 0 0 30631 367 0 0 25 0 1 0 970091786 466386944 91556 4294967295 134512640 135730672 3221224576 3221223088 134745979 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113864 91556 301 301 0 113563 0
vsize: 455456
[startup+320.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 171162 0 0 0 31626 373 0 0 25 0 1 0 970091786 466522112 91585 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113897 91585 301 301 0 113596 0
vsize: 455588
[startup+330.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 171481 0 0 0 32625 374 0 0 25 0 1 0 970091786 467308544 91706 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114089 91706 301 301 0 113788 0
vsize: 456356
[startup+340.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 171721 0 0 0 33625 374 0 0 25 0 1 0 970091786 468099072 91815 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114282 91815 301 301 0 113981 0
vsize: 457128
[startup+350.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 174018 0 0 0 34620 380 0 0 25 0 1 0 970091786 468492288 91875 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114378 91875 301 301 0 114077 0
vsize: 457512
[startup+360.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 174099 0 0 0 35619 380 0 0 25 0 1 0 970091786 468889600 91923 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114475 91923 301 301 0 114174 0
vsize: 457900
[startup+370.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 174184 0 0 0 36619 381 0 0 25 0 1 0 970091786 469422080 92008 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114605 92008 301 301 0 114304 0
vsize: 458420
[startup+380.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 174187 0 0 0 37619 381 0 0 25 0 1 0 970091786 469422080 92011 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114605 92011 301 301 0 114304 0
vsize: 458420
[startup+390.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 176329 0 0 0 38614 386 0 0 25 0 1 0 970091786 478183424 94153 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116744 94153 301 301 0 116443 0
vsize: 466976
[startup+400.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 176337 0 0 0 39614 387 0 0 25 0 1 0 970091786 469422080 92022 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114605 92022 301 301 0 114304 0
vsize: 458420
[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 176540 0 0 0 40613 387 0 0 25 0 1 0 970091786 469680128 92093 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114668 92093 301 301 0 114367 0
vsize: 458672
[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 176664 0 0 0 41613 388 0 0 25 0 1 0 970091786 470208512 92152 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114797 92152 301 301 0 114496 0
vsize: 459188
[startup+430.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 178819 0 0 0 42607 394 0 0 25 0 1 0 970091786 470208512 92168 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114797 92168 301 301 0 114496 0
vsize: 459188
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 178823 0 0 0 43607 394 0 0 25 0 1 0 970091786 470208512 92172 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114797 92172 301 301 0 114496 0
vsize: 459188
[startup+450.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 178916 0 0 0 44607 394 0 0 25 0 1 0 970091786 470605824 92232 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114894 92232 301 301 0 114593 0
vsize: 459576
[startup+460.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 178923 0 0 0 45607 395 0 0 25 0 1 0 970091786 470605824 92239 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114894 92239 301 301 0 114593 0
vsize: 459576
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 179065 0 0 0 46607 395 0 0 25 0 1 0 970091786 470867968 92315 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114958 92315 301 301 0 114657 0
vsize: 459832
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 181293 0 0 0 47600 402 0 0 25 0 1 0 970091786 471265280 92371 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115055 92371 301 301 0 114754 0
vsize: 460220
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 181298 0 0 0 48600 402 0 0 25 0 1 0 970091786 471265280 92376 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115055 92376 301 301 0 114754 0
vsize: 460220
[startup+500.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 183444 0 0 0 49595 407 0 0 25 0 1 0 970091786 480026624 94522 4294967295 134512640 135730672 3221224576 3221222712 134765474 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117194 94522 301 301 0 116893 0
vsize: 468776
[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 183445 0 0 0 50595 408 0 0 25 0 1 0 970091786 471265280 92384 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115055 92384 301 301 0 114754 0
vsize: 460220
[startup+520.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 183447 0 0 0 51594 409 0 0 25 0 1 0 970091786 471265280 92386 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115055 92386 301 301 0 114754 0
vsize: 460220
[startup+530.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 185587 0 0 0 52590 413 0 0 25 0 1 0 970091786 480026624 94526 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117194 94526 301 301 0 116893 0
vsize: 468776
[startup+540.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 185589 0 0 0 53589 414 0 0 25 0 1 0 970091786 471265280 92389 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115055 92389 301 301 0 114754 0
vsize: 460220
[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 185786 0 0 0 54589 415 0 0 25 0 1 0 970091786 472195072 92553 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115282 92553 301 301 0 114981 0
vsize: 461128
[startup+560.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 187934 0 0 0 55583 420 0 0 25 0 1 0 970091786 480956416 94701 4294967295 134512640 135730672 3221224576 3221222748 134765468 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117421 94701 301 301 0 117120 0
vsize: 469684
[startup+570.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 188058 0 0 0 56583 421 0 0 25 0 1 0 970091786 472588288 92587 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115378 92587 301 301 0 115077 0
vsize: 461512
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 188063 0 0 0 57582 422 0 0 25 0 1 0 970091786 472588288 92592 4294967295 134512640 135730672 3221224576 3221223072 134747942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115378 92592 301 301 0 115077 0
vsize: 461512
[startup+590.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 190266 0 0 0 58577 427 0 0 25 0 1 0 970091786 472719360 92623 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115410 92623 301 301 0 115109 0
vsize: 461640
[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 190284 0 0 0 59577 428 0 0 25 0 1 0 970091786 472719360 92641 4294967295 134512640 135730672 3221224576 3221222568 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115410 92641 301 301 0 115109 0
vsize: 461640
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 190290 0 0 0 60576 429 0 0 25 0 1 0 970091786 472719360 92647 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115410 92647 301 301 0 115109 0
vsize: 461640
[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 192443 0 0 0 61571 434 0 0 25 0 1 0 970091786 472719360 92661 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115410 92661 301 301 0 115109 0
vsize: 461640
[startup+630.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 192555 0 0 0 62570 435 0 0 25 0 1 0 970091786 472981504 92708 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115474 92708 301 301 0 115173 0
vsize: 461896
[startup+640.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 192648 0 0 0 63570 435 0 0 25 0 1 0 970091786 473243648 92736 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115538 92736 301 301 0 115237 0
vsize: 462152
[startup+650.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 194788 0 0 0 64565 440 0 0 25 0 1 0 970091786 473243648 92737 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115538 92737 301 301 0 115237 0
vsize: 462152
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 194790 0 0 0 65565 441 0 0 25 0 1 0 970091786 473243648 92739 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115538 92739 301 301 0 115237 0
vsize: 462152
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 196933 0 0 0 66560 446 0 0 25 0 1 0 970091786 473243648 92743 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115538 92743 301 301 0 115237 0
vsize: 462152
[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 196945 0 0 0 67560 446 0 0 25 0 1 0 970091786 473243648 92755 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115538 92755 301 301 0 115237 0
vsize: 462152
[startup+690.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 199089 0 0 0 68555 451 0 0 25 0 1 0 970091786 482004992 94899 4294967295 134512640 135730672 3221224576 3221222712 134765469 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117677 94899 301 301 0 117376 0
vsize: 470708
[startup+700.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 199094 0 0 0 69554 452 0 0 25 0 1 0 970091786 473243648 92765 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115538 92765 301 301 0 115237 0
vsize: 462152
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 199225 0 0 0 70554 453 0 0 25 0 1 0 970091786 473772032 92831 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115667 92831 301 301 0 115366 0
vsize: 462668
[startup+720.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 201368 0 0 0 71549 458 0 0 25 0 1 0 970091786 482533376 94974 4294967295 134512640 135730672 3221224576 3221222736 134769149 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117806 94974 301 301 0 117505 0
vsize: 471224
[startup+730.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 201374 0 0 0 72548 458 0 0 25 0 1 0 970091786 473772032 92841 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115667 92841 301 301 0 115366 0
vsize: 462668
[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 203521 0 0 0 73543 464 0 0 25 0 1 0 970091786 482533376 94988 4294967295 134512640 135730672 3221224576 3221222752 134772765 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117806 94988 301 301 0 117505 0
vsize: 471224
[startup+750.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 203527 0 0 0 74542 465 0 0 25 0 1 0 970091786 473772032 92855 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115667 92855 301 301 0 115366 0
vsize: 462668
[startup+760.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 203531 0 0 0 75542 465 0 0 25 0 1 0 970091786 473772032 92859 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115667 92859 301 301 0 115366 0
vsize: 462668
[startup+770.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 205783 0 0 0 76537 470 0 0 25 0 1 0 970091786 482795520 95045 4294967295 134512640 135730672 3221224576 3221222700 134765490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117870 95045 301 301 0 117569 0
vsize: 471480
[startup+780.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 205784 0 0 0 77537 471 0 0 25 0 1 0 970091786 474034176 92907 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92907 301 301 0 115430 0
vsize: 462924
[startup+790.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 205792 0 0 0 78536 471 0 0 25 0 1 0 970091786 474034176 92915 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92915 301 301 0 115430 0
vsize: 462924
[startup+800.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 205798 0 0 0 79536 472 0 0 25 0 1 0 970091786 474034176 92921 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92921 301 301 0 115430 0
vsize: 462924
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 207942 0 0 0 80531 477 0 0 25 0 1 0 970091786 474034176 92926 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92926 301 301 0 115430 0
vsize: 462924
[startup+820.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 207954 0 0 0 81530 478 0 0 25 0 1 0 970091786 474034176 92938 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92938 301 301 0 115430 0
vsize: 462924
[startup+830.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 210097 0 0 0 82525 483 0 0 25 0 1 0 970091786 482795520 95081 4294967295 134512640 135730672 3221224576 3221222816 134772984 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117870 95081 301 301 0 117569 0
vsize: 471480
[startup+840.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 210101 0 0 0 83524 484 0 0 25 0 1 0 970091786 474034176 92946 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92946 301 301 0 115430 0
vsize: 462924
[startup+850.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 210106 0 0 0 84524 485 0 0 25 0 1 0 970091786 474034176 92951 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92951 301 301 0 115430 0
vsize: 462924
[startup+860.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 212248 0 0 0 85519 490 0 0 25 0 1 0 970091786 474034176 92954 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92954 301 301 0 115430 0
vsize: 462924
[startup+870.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 212253 0 0 0 86519 490 0 0 25 0 1 0 970091786 474034176 92959 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92959 301 301 0 115430 0
vsize: 462924
[startup+880.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 214394 0 0 0 87514 496 0 0 25 0 1 0 970091786 474034176 92961 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92961 301 301 0 115430 0
vsize: 462924
[startup+890.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 214399 0 0 0 88513 496 0 0 25 0 1 0 970091786 474034176 92966 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115731 92966 301 301 0 115430 0
vsize: 462924
[startup+900.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 216541 0 0 0 89508 502 0 0 25 0 1 0 970091786 482795520 95108 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117870 95108 301 301 0 117569 0
vsize: 471480
[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 216579 0 0 0 90507 503 0 0 25 0 1 0 970091786 474300416 93007 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115796 93007 301 301 0 115495 0
vsize: 463184
[startup+920.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 216621 0 0 0 91507 503 0 0 25 0 1 0 970091786 474431488 93016 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93016 301 301 0 115527 0
vsize: 463312
[startup+930.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 218761 0 0 0 92503 508 0 0 25 0 1 0 970091786 483192832 95156 4294967295 134512640 135730672 3221224576 3221222736 134769217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117967 95156 301 301 0 117666 0
vsize: 471868
[startup+940.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 218764 0 0 0 93502 508 0 0 25 0 1 0 970091786 474431488 93020 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93020 301 301 0 115527 0
vsize: 463312
[startup+950.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 218770 0 0 0 94502 509 0 0 25 0 1 0 970091786 474431488 93026 4294967295 134512640 135730672 3221224576 3221223088 134746098 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93026 301 301 0 115527 0
vsize: 463312
[startup+960.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 220912 0 0 0 95496 514 0 0 25 0 1 0 970091786 474431488 93029 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93029 301 301 0 115527 0
vsize: 463312
[startup+970.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 220919 0 0 0 96496 515 0 0 25 0 1 0 970091786 474431488 93036 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93036 301 301 0 115527 0
vsize: 463312
[startup+980.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 223062 0 0 0 97491 520 0 0 25 0 1 0 970091786 474431488 93040 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93040 301 301 0 115527 0
vsize: 463312
[startup+990.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 223070 0 0 0 98491 521 0 0 25 0 1 0 970091786 474431488 93048 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93048 301 301 0 115527 0
vsize: 463312
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 225212 0 0 0 99485 526 0 0 25 0 1 0 970091786 474431488 93051 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93051 301 301 0 115527 0
vsize: 463312
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 225217 0 0 0 100485 527 0 0 25 0 1 0 970091786 474431488 93056 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93056 301 301 0 115527 0
vsize: 463312
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 227358 0 0 0 101480 532 0 0 25 0 1 0 970091786 474431488 93058 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93058 301 301 0 115527 0
vsize: 463312
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 227361 0 0 0 102479 533 0 0 25 0 1 0 970091786 474431488 93061 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93061 301 301 0 115527 0
vsize: 463312
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 229501 0 0 0 103474 538 0 0 25 0 1 0 970091786 474431488 93062 4294967295 134512640 135730672 3221224576 3221223232 134734786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115828 93062 301 301 0 115527 0
vsize: 463312
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 229565 0 0 0 104474 539 0 0 25 0 1 0 970091786 474697728 93126 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115893 93126 301 301 0 115592 0
vsize: 463572
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 229639 0 0 0 105474 539 0 0 25 0 1 0 970091786 474959872 93135 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115957 93135 301 301 0 115656 0
vsize: 463828
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 231779 0 0 0 106468 545 0 0 25 0 1 0 970091786 474959872 93136 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115957 93136 301 301 0 115656 0
vsize: 463828
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 231783 0 0 0 107468 545 0 0 25 0 1 0 970091786 474959872 93140 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115957 93140 301 301 0 115656 0
vsize: 463828
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 231788 0 0 0 108468 546 0 0 25 0 1 0 970091786 474959872 93145 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115957 93145 301 301 0 115656 0
vsize: 463828
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 233932 0 0 0 109462 552 0 0 25 0 1 0 970091786 474959872 93150 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115957 93150 301 301 0 115656 0
vsize: 463828
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 233940 0 0 0 110462 552 0 0 25 0 1 0 970091786 474959872 93158 4294967295 134512640 135730672 3221224576 3221223312 134765328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115957 93158 301 301 0 115656 0
vsize: 463828
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 236087 0 0 0 111457 557 0 0 25 0 1 0 970091786 474959872 93166 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115957 93166 301 301 0 115656 0
vsize: 463828
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 236091 0 0 0 112457 558 0 0 25 0 1 0 970091786 474959872 93170 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115957 93170 301 301 0 115656 0
vsize: 463828
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 238268 0 0 0 113452 563 0 0 25 0 1 0 970091786 483987456 95347 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118161 95347 301 301 0 117860 0
vsize: 472644
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 238268 0 0 0 114452 563 0 0 25 0 1 0 970091786 475226112 93208 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116022 93208 301 301 0 115721 0
vsize: 464088
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 238269 0 0 0 115452 563 0 0 25 0 1 0 970091786 475226112 93209 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116022 93209 301 301 0 115721 0
vsize: 464088
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 238271 0 0 0 116452 563 0 0 25 0 1 0 970091786 475226112 93211 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116022 93211 301 301 0 115721 0
vsize: 464088
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 240411 0 0 0 117447 569 0 0 25 0 1 0 970091786 475226112 93212 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116022 93212 301 301 0 115721 0
vsize: 464088
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 240415 0 0 0 118446 569 0 0 25 0 1 0 970091786 475226112 93216 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116022 93216 301 301 0 115721 0
vsize: 464088
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 240420 0 0 0 119447 569 0 0 25 0 1 0 970091786 475226112 93221 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116022 93221 301 301 0 115721 0
vsize: 464088
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.13 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 9176
Raw data (stat): 9176 (pb2sat-v2) R 9175 31399 31398 0 -1 0 240420 0 0 0 119447 569 0 0 25 0 1 0 970091786 475226112 93221 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116022 93221 301 301 0 115721 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.13
CPU time (s): 1202.27
CPU user time (s): 1196.38
CPU system time (s): 5.8821
CPU usage (%): 100.011
Max. virtual memory (Kb): 472644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####