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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb
MD5SUM	375b355299c9fbf8170e172bcbc73eb2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16728
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	242
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	54
Number of constraints which are nor clauses,nor cardinality constraints	13
Minimum length of a constraint	1
Maximum length of a constraint	122
Trace number 35796

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        794544 kB
Buffers:          6296 kB
Cached:         211572 kB
SwapCached:        684 kB
Active:          18412 kB
Inactive:       201448 kB
HighTotal:      131008 kB
HighFree:        18648 kB
LowTotal:       903652 kB
LowFree:        775896 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14564 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:15:57 (client local time) WITH STATUS 0 IN 1202.34 SECONDS
stats: 25028 0 1202.34 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: 46334
c [startup+65.4908 s]  setting bit 22 to 1
c got solution with objective value: 46334
c [startup+73.8493 s]  setting bit 21 to 1
c CONFLICT during preprocess 
c [startup+78.7663 s]  setting bit 20 to 0
c got solution with objective value: 46334
c [startup+87.1247 s]  setting bit 19 to 1
c got solution with objective value: 46334
c [startup+95.4845 s]  setting bit 18 to 1
c got solution with objective value: 46334
c [startup+103.842 s]  setting bit 17 to 1
c got solution with objective value: 46334
c [startup+112.2 s]  setting bit 16 to 1
c got solution with objective value: 24020
c [startup+124.616 s]  setting bit 15 to 1
s SATISFIABLE
v -s01_bit0 s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit2 s01_bit3 -s01_bit4 -s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 s01_bit_2 s01_bit_3 -s01_bit_4 s01_bit_5 -s01_bit_6 -s01_bit_7 -s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 s11_bit2 s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 s11_bit_1 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_2 s21_bit_3 -s21_bit_4 s21_bit_5 -s21_bit_6 -s21_bit_7 -s31_bit0 -s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 s31_bit_2 -s31_bit_3 s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 s41_bit0 -s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit2 s41_bit3 s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 s41_bit_1 -s41_bit_2 -s41_bit_3 s41_bit_4 s41_bit_5 -s41_bit_6 -s41_bit_7 s51_bit0 s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit2 -s51_bit3 s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 s51_bit_2 s51_bit_3 s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 s61_bit0 -s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 s61_bit2 -s61_bit3 s61_bit4 s61_bit5 -s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 -s61_bit_1 s61_bit_2 -s61_bit_3 -s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -x0_bit0 -x10_bit0 -x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x1_bit0 -x20_bit0 x21_bit0 x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 x27_bit0 -x28_bit0 -x29_bit0 x2_bit0 -x30_bit0 x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 -x3_bit0 x40_bit0 -x41_bit0 -x42_bit0 x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 x47_bit0 x48_bit0 x49_bit0 -x4_bit0 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 -x54_bit_1 -x54_bit_2 -x54_bit_3 -x54_bit_4 -x54_bit_5 -x54_bit_6 -x54_bit_7 x55_bit0 -x55_bit_1 -x55_bit_2 -x55_bit_3 -x55_bit_4 -x55_bit_5 -x55_bit_6 -x55_bit_7 x56_bit0 -x56_bit_1 -x56_bit_2 -x56_bit_3 -x56_bit_4 -x56_bit_5 -x56_bit_6 -x56_bit_7 -x57_bit0 -x57_bit_1 -x57_bit_2 -x57_bit_3 -x57_bit_4 -x57_bit_5 -x57_bit_6 -x57_bit_7 -x58_bit0 x58_bit_1 x58_bit_2 -x58_bit_3 x58_bit_4 x58_bit_5 -x58_bit_6 -x58_bit_7 x59_bit0 -x59_bit_1 -x59_bit_2 -x59_bit_3 -x59_bit_4 -x59_bit_5 -x59_bit_6 -x59_bit_7 x5_bit0 x6_bit0 x7_bit0 x8_bit0 -x9_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 1/54 3252
Raw data (stat): 3252 (runsolver) D 3251 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 865335653 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 28489 0 0 0 933 65 0 0 25 0 1 0 865335653 82350080 17471 4294967295 134512640 135726644 3221224576 3221179576 135280958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20105 17471 300 300 0 19805 0
vsize: 80420
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 54409 0 0 0 1876 122 0 0 25 0 1 0 865335653 154959872 32417 4294967295 134512640 135726644 3221224576 3221199080 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37832 32417 300 300 0 37532 0
vsize: 151328
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 91439 0 0 0 2800 198 0 0 25 0 1 0 865335653 301936640 47779 4294967295 134512640 135726644 3221224576 3221191408 134767123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73715 47780 300 300 0 73415 0
vsize: 294860
[startup+40.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 107095 0 0 0 3761 237 0 0 25 0 1 0 865335653 305586176 63166 4294967295 134512640 135726644 3221224576 3221209324 135287518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74606 63166 300 300 0 74306 0
vsize: 298424
[startup+50.004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 147019 0 0 0 4684 314 0 0 25 0 1 0 865335653 431902720 84510 4294967295 134512640 135726644 3221224576 3221188292 135277538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105445 84510 300 300 0 105145 0
vsize: 421780
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 179837 0 0 0 5613 385 0 0 25 0 1 0 865335653 532566016 90376 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130021 90376 300 300 0 129721 0
vsize: 520084
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 184286 0 0 0 6603 394 0 0 25 0 1 0 865335653 541765632 91942 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132267 91942 300 300 0 131967 0
vsize: 529068
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 188818 0 0 0 7592 405 0 0 25 0 1 0 865335653 551047168 94208 4294967295 134512640 135726644 3221224576 3221222888 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134533 94208 300 300 0 134233 0
vsize: 538132
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 191084 0 0 0 8587 410 0 0 25 0 1 0 865335653 551047168 94208 4294967295 134512640 135726644 3221224576 3221222904 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134533 94208 300 300 0 134233 0
vsize: 538132
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 193351 0 0 0 9581 416 0 0 25 0 1 0 865335653 541765632 91943 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132267 91943 300 300 0 131967 0
vsize: 529068
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 195617 0 0 0 10576 421 0 0 25 0 1 0 865335653 541765632 91943 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132267 91943 300 300 0 131967 0
vsize: 529068
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 198072 0 0 0 11571 427 0 0 25 0 1 0 865335653 542552064 92067 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132459 92067 300 300 0 132159 0
vsize: 529836
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 201205 0 0 0 12564 434 0 0 25 0 1 0 865335653 545976320 92674 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133295 92674 300 300 0 132995 0
vsize: 533180
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 203419 0 0 0 13561 437 0 0 25 0 1 0 865335653 554246144 94045 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135314 94045 300 300 0 135014 0
vsize: 541256
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 204137 0 0 0 14559 439 0 0 25 0 1 0 865335653 555954176 94406 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135731 94406 300 300 0 135431 0
vsize: 542924
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 204603 0 0 0 15559 440 0 0 25 0 1 0 865335653 557273088 94612 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136053 94612 300 300 0 135753 0
vsize: 544212
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 205566 0 0 0 16556 443 0 0 25 0 1 0 865335653 559775744 95089 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136664 95089 300 300 0 136364 0
vsize: 546656
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 206134 0 0 0 17556 444 0 0 25 0 1 0 865335653 561348608 95270 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137048 95270 300 300 0 136748 0
vsize: 548192
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 206162 0 0 0 18556 444 0 0 25 0 1 0 865335653 561348608 95298 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137048 95298 300 300 0 136748 0
vsize: 548192
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 206541 0 0 0 19556 444 0 0 25 0 1 0 865335653 562397184 95420 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137304 95420 300 300 0 137004 0
vsize: 549216
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 206579 0 0 0 20556 444 0 0 25 0 1 0 865335653 562397184 95458 4294967295 134512640 135726644 3221224576 3221222896 134728875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137304 95458 300 300 0 137004 0
vsize: 549216
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 206765 0 0 0 21556 444 0 0 25 0 1 0 865335653 562921472 95515 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137432 95515 300 300 0 137132 0
vsize: 549728
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 206906 0 0 0 22556 445 0 0 25 0 1 0 865335653 563449856 95591 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137561 95591 300 300 0 137261 0
vsize: 550244
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3252
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 207683 0 0 0 23554 446 0 0 25 0 1 0 865335653 565960704 96044 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138174 96044 300 300 0 137874 0
vsize: 552696
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 3255
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 209050 0 0 0 24552 449 0 0 25 0 1 0 865335653 569925632 96727 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139142 96727 300 300 0 138842 0
vsize: 556568
[startup+260.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3305
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 210202 0 0 0 25550 451 0 0 25 0 1 0 865335653 572817408 97231 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139848 97231 300 300 0 139548 0
vsize: 559392
[startup+270.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3305
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 210223 0 0 0 26550 451 0 0 25 0 1 0 865335653 572952576 97252 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139881 97252 300 300 0 139581 0
vsize: 559524
[startup+280.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3305
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 210439 0 0 0 27549 452 0 0 25 0 1 0 865335653 573476864 97339 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140009 97339 300 300 0 139709 0
vsize: 560036
[startup+290.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3305
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 210719 0 0 0 28549 453 0 0 25 0 1 0 865335653 574267392 97457 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140202 97457 300 300 0 139902 0
vsize: 560808
[startup+300.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3305
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 211135 0 0 0 29548 454 0 0 25 0 1 0 865335653 575057920 97711 4294967295 134512640 135726644 3221224576 3221223072 134744187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140395 97711 300 300 0 140095 0
vsize: 561580
[startup+310.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3305
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 211323 0 0 0 30548 454 0 0 25 0 1 0 865335653 575582208 97770 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140523 97770 300 300 0 140223 0
vsize: 562092
[startup+320.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 211786 0 0 0 31547 455 0 0 25 0 1 0 865335653 576638976 98070 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140781 98070 300 300 0 140481 0
vsize: 563124
[startup+330.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 212085 0 0 0 32546 456 0 0 25 0 1 0 865335653 577695744 98207 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141039 98207 300 300 0 140739 0
vsize: 564156
[startup+340.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 212087 0 0 0 33547 456 0 0 25 0 1 0 865335653 577695744 98209 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141039 98209 300 300 0 140739 0
vsize: 564156
[startup+350.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 212405 0 0 0 34548 456 0 0 25 0 1 0 865335653 578752512 98364 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141297 98364 300 300 0 140997 0
vsize: 565188
[startup+360.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 213108 0 0 0 35546 458 0 0 25 0 1 0 865335653 580325376 98679 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141681 98679 300 300 0 141381 0
vsize: 566724
[startup+370.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 213565 0 0 0 36546 459 0 0 25 0 1 0 865335653 581382144 99006 4294967295 134512640 135726644 3221224576 3221223180 134743852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141939 99006 300 300 0 141639 0
vsize: 567756
[startup+380.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 213988 0 0 0 37545 460 0 0 25 0 1 0 865335653 582696960 99138 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142260 99138 300 300 0 141960 0
vsize: 569040
[startup+390.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 214218 0 0 0 38545 460 0 0 25 0 1 0 865335653 583356416 99239 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142421 99239 300 300 0 142121 0
vsize: 569684
[startup+400.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 214242 0 0 0 39545 460 0 0 25 0 1 0 865335653 583356416 99263 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142421 99263 300 300 0 142121 0
vsize: 569684
[startup+410.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 214303 0 0 0 40545 460 0 0 25 0 1 0 865335653 583356416 99324 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142421 99324 300 300 0 142121 0
vsize: 569684
[startup+420.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 214305 0 0 0 41545 460 0 0 25 0 1 0 865335653 583356416 99326 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142421 99326 300 300 0 142121 0
vsize: 569684
[startup+430.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 215535 0 0 0 42542 463 0 0 25 0 1 0 865335653 586514432 99873 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143192 99873 300 300 0 142892 0
vsize: 572768
[startup+440.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 216462 0 0 0 43540 466 0 0 25 0 1 0 865335653 589135872 100157 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143832 100157 300 300 0 143532 0
vsize: 575328
[startup+450.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 216467 0 0 0 44540 466 0 0 25 0 1 0 865335653 589135872 100162 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143832 100162 300 300 0 143532 0
vsize: 575328
[startup+460.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 216506 0 0 0 45540 466 0 0 25 0 1 0 865335653 589135872 100201 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143832 100201 300 300 0 143532 0
vsize: 575328
[startup+470.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 216788 0 0 0 46540 467 0 0 25 0 1 0 865335653 589922304 100289 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144024 100289 300 300 0 143724 0
vsize: 576096
[startup+480.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 216790 0 0 0 47540 467 0 0 25 0 1 0 865335653 589922304 100291 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144024 100291 300 300 0 143724 0
vsize: 576096
[startup+490.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 216792 0 0 0 48540 467 0 0 25 0 1 0 865335653 589922304 100293 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144024 100293 300 300 0 143724 0
vsize: 576096
[startup+500.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 216793 0 0 0 49540 467 0 0 25 0 1 0 865335653 589922304 100294 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144024 100294 300 300 0 143724 0
vsize: 576096
[startup+510.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217129 0 0 0 50540 468 0 0 25 0 1 0 865335653 590446592 100501 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144152 100501 300 300 0 143852 0
vsize: 576608
[startup+520.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217130 0 0 0 51540 468 0 0 25 0 1 0 865335653 590446592 100502 4294967295 134512640 135726644 3221224576 3221222908 134735640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144152 100502 300 300 0 143852 0
vsize: 576608
[startup+530.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217181 0 0 0 52540 468 0 0 25 0 1 0 865335653 590446592 100553 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144152 100553 300 300 0 143852 0
vsize: 576608
[startup+540.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217182 0 0 0 53540 468 0 0 25 0 1 0 865335653 590446592 100554 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144152 100554 300 300 0 143852 0
vsize: 576608
[startup+550.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217215 0 0 0 54540 468 0 0 25 0 1 0 865335653 590446592 100587 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144152 100587 300 300 0 143852 0
vsize: 576608
[startup+560.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217217 0 0 0 55540 468 0 0 25 0 1 0 865335653 590446592 100589 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144152 100589 300 300 0 143852 0
vsize: 576608
[startup+570.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217218 0 0 0 56541 468 0 0 25 0 1 0 865335653 590446592 100590 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144152 100590 300 300 0 143852 0
vsize: 576608
[startup+580.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217221 0 0 0 57541 468 0 0 25 0 1 0 865335653 590446592 100593 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144152 100593 300 300 0 143852 0
vsize: 576608
[startup+590.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217414 0 0 0 58541 468 0 0 25 0 1 0 865335653 591110144 100688 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144314 100688 300 300 0 144014 0
vsize: 577256
[startup+600.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217433 0 0 0 59541 468 0 0 25 0 1 0 865335653 591245312 100707 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144347 100707 300 300 0 144047 0
vsize: 577388
[startup+610.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3307
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217447 0 0 0 60541 469 0 0 25 0 1 0 865335653 591245312 100721 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144347 100721 300 300 0 144047 0
vsize: 577388
[startup+620.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217449 0 0 0 61541 469 0 0 25 0 1 0 865335653 591245312 100723 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144347 100723 300 300 0 144047 0
vsize: 577388
[startup+630.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217463 0 0 0 62541 469 0 0 25 0 1 0 865335653 591245312 100737 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144347 100737 300 300 0 144047 0
vsize: 577388
[startup+640.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217464 0 0 0 63541 469 0 0 25 0 1 0 865335653 591245312 100738 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144347 100738 300 300 0 144047 0
vsize: 577388
[startup+650.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217478 0 0 0 64541 470 0 0 25 0 1 0 865335653 591245312 100752 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144347 100752 300 300 0 144047 0
vsize: 577388
[startup+660.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217480 0 0 0 65541 470 0 0 25 0 1 0 865335653 591245312 100754 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144347 100754 300 300 0 144047 0
vsize: 577388
[startup+670.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217482 0 0 0 66541 470 0 0 25 0 1 0 865335653 591245312 100756 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144347 100756 300 300 0 144047 0
vsize: 577388
[startup+680.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217485 0 0 0 67541 470 0 0 25 0 1 0 865335653 591245312 100759 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144347 100759 300 300 0 144047 0
vsize: 577388
[startup+690.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217640 0 0 0 68541 470 0 0 25 0 1 0 865335653 591638528 100816 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144443 100816 300 300 0 144143 0
vsize: 577772
[startup+700.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 217641 0 0 0 69541 470 0 0 25 0 1 0 865335653 591638528 100817 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144443 100817 300 300 0 144143 0
vsize: 577772
[startup+710.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 218007 0 0 0 70541 471 0 0 25 0 1 0 865335653 592560128 100989 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144668 100989 300 300 0 144368 0
vsize: 578672
[startup+720.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 218243 0 0 0 71540 472 0 0 25 0 1 0 865335653 593084416 101096 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144796 101096 300 300 0 144496 0
vsize: 579184
[startup+730.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 218244 0 0 0 72541 472 0 0 25 0 1 0 865335653 593084416 101097 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144796 101097 300 300 0 144496 0
vsize: 579184
[startup+740.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 218505 0 0 0 73541 472 0 0 25 0 1 0 865335653 593743872 101227 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144957 101227 300 300 0 144657 0
vsize: 579828
[startup+750.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 218507 0 0 0 74541 473 0 0 25 0 1 0 865335653 593743872 101229 4294967295 134512640 135726644 3221224576 3221223168 134759982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144957 101229 300 300 0 144657 0
vsize: 579828
[startup+760.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 218508 0 0 0 75541 473 0 0 25 0 1 0 865335653 593743872 101230 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144957 101230 300 300 0 144657 0
vsize: 579828
[startup+770.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 219807 0 0 0 76539 475 0 0 25 0 1 0 865335653 597164032 101818 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145792 101818 300 300 0 145492 0
vsize: 583168
[startup+780.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 220465 0 0 0 77538 476 0 0 25 0 1 0 865335653 598605824 102119 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146144 102119 300 300 0 145844 0
vsize: 584576
[startup+790.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 221567 0 0 0 78536 478 0 0 25 0 1 0 865335653 601751552 102449 4294967295 134512640 135726644 3221224576 3221223264 134744989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146912 102449 300 300 0 146612 0
vsize: 587648
[startup+800.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 221660 0 0 0 79536 478 0 0 25 0 1 0 865335653 602017792 102509 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146977 102509 300 300 0 146677 0
vsize: 587908
[startup+810.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 221662 0 0 0 80537 478 0 0 25 0 1 0 865335653 602017792 102511 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146977 102511 300 300 0 146677 0
vsize: 587908
[startup+820.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 221950 0 0 0 81536 479 0 0 25 0 1 0 865335653 602939392 102636 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147202 102636 300 300 0 146902 0
vsize: 588808
[startup+830.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 221951 0 0 0 82536 479 0 0 25 0 1 0 865335653 602939392 102637 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147202 102637 300 300 0 146902 0
vsize: 588808
[startup+840.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 222055 0 0 0 83536 479 0 0 25 0 1 0 865335653 603205632 102741 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147267 102741 300 300 0 146967 0
vsize: 589068
[startup+850.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 222273 0 0 0 84536 480 0 0 25 0 1 0 865335653 603467776 102894 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147331 102894 300 300 0 147031 0
vsize: 589324
[startup+860.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 222301 0 0 0 85536 480 0 0 25 0 1 0 865335653 603467776 102922 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147331 102922 300 300 0 147031 0
vsize: 589324
[startup+870.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 222303 0 0 0 86536 480 0 0 25 0 1 0 865335653 603467776 102924 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147331 102924 300 300 0 147031 0
vsize: 589324
[startup+880.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 222560 0 0 0 87535 481 0 0 25 0 1 0 865335653 603992064 103052 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147459 103052 300 300 0 147159 0
vsize: 589836
[startup+890.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 222925 0 0 0 88535 481 0 0 25 0 1 0 865335653 605040640 103160 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147715 103160 300 300 0 147415 0
vsize: 590860
[startup+900.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 222999 0 0 0 89535 481 0 0 25 0 1 0 865335653 605040640 103234 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147715 103234 300 300 0 147415 0
vsize: 590860
[startup+910.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 223692 0 0 0 90535 482 0 0 25 0 1 0 865335653 607268864 103380 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148259 103380 300 300 0 147959 0
vsize: 593036
[startup+920.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 223995 0 0 0 91534 482 0 0 25 0 1 0 865335653 608317440 103426 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148515 103426 300 300 0 148215 0
vsize: 594060
[startup+930.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 223995 0 0 0 92535 482 0 0 25 0 1 0 865335653 608317440 103426 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148515 103426 300 300 0 148215 0
vsize: 594060
[startup+940.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 224644 0 0 0 93533 484 0 0 25 0 1 0 865335653 610414592 103561 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149027 103561 300 300 0 148727 0
vsize: 596108
[startup+950.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 224645 0 0 0 94534 484 0 0 25 0 1 0 865335653 610414592 103562 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149027 103562 300 300 0 148727 0
vsize: 596108
[startup+960.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 224991 0 0 0 95533 485 0 0 25 0 1 0 865335653 610938880 103779 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149155 103779 300 300 0 148855 0
vsize: 596620
[startup+970.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 225502 0 0 0 96532 486 0 0 25 0 1 0 865335653 611987456 104031 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149411 104031 300 300 0 149111 0
vsize: 597644
[startup+980.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 227097 0 0 0 97529 489 0 0 25 0 1 0 865335653 615530496 104817 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150276 104817 300 300 0 149976 0
vsize: 601104
[startup+990.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 227435 0 0 0 98529 489 0 0 25 0 1 0 865335653 616579072 104898 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150532 104898 300 300 0 150232 0
vsize: 602128
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 227437 0 0 0 99529 489 0 0 25 0 1 0 865335653 616579072 104900 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150532 104900 300 300 0 150232 0
vsize: 602128
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 227439 0 0 0 100530 489 0 0 25 0 1 0 865335653 616579072 104902 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150532 104902 300 300 0 150232 0
vsize: 602128
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 227497 0 0 0 101529 490 0 0 25 0 1 0 865335653 616710144 104927 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150564 104927 300 300 0 150264 0
vsize: 602256
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 227995 0 0 0 102529 490 0 0 25 0 1 0 865335653 618024960 105167 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150885 105167 300 300 0 150585 0
vsize: 603540
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 228275 0 0 0 103529 491 0 0 25 0 1 0 865335653 619073536 105190 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151141 105190 300 300 0 150841 0
vsize: 604564
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 228631 0 0 0 104528 492 0 0 25 0 1 0 865335653 619859968 105352 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151333 105352 300 300 0 151033 0
vsize: 605332
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 228662 0 0 0 105528 492 0 0 25 0 1 0 865335653 619859968 105383 4294967295 134512640 135726644 3221224576 3221223164 134743858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151333 105383 300 300 0 151033 0
vsize: 605332
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 229037 0 0 0 106528 492 0 0 25 0 1 0 865335653 620908544 105501 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151589 105501 300 300 0 151289 0
vsize: 606356
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 229038 0 0 0 107528 492 0 0 25 0 1 0 865335653 620908544 105502 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151589 105502 300 300 0 151289 0
vsize: 606356
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 229040 0 0 0 108528 492 0 0 25 0 1 0 865335653 620908544 105504 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151589 105504 300 300 0 151289 0
vsize: 606356
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 229042 0 0 0 109528 492 0 0 25 0 1 0 865335653 620908544 105506 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151589 105506 300 300 0 151289 0
vsize: 606356
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 229217 0 0 0 110528 493 0 0 25 0 1 0 865335653 620908544 105681 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151589 105681 300 300 0 151289 0
vsize: 606356
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 229218 0 0 0 111528 493 0 0 25 0 1 0 865335653 620908544 105682 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151589 105682 300 300 0 151289 0
vsize: 606356
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 229497 0 0 0 112528 494 0 0 25 0 1 0 865335653 621957120 105704 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151845 105704 300 300 0 151545 0
vsize: 607380
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 229810 0 0 0 113528 494 0 0 25 0 1 0 865335653 623005696 105760 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152101 105760 300 300 0 151801 0
vsize: 608404
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 230230 0 0 0 114527 494 0 0 25 0 1 0 865335653 624054272 105923 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152357 105923 300 300 0 152057 0
vsize: 609428
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 230232 0 0 0 115527 494 0 0 25 0 1 0 865335653 624054272 105925 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152357 105925 300 300 0 152057 0
vsize: 609428
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 230234 0 0 0 116528 494 0 0 25 0 1 0 865335653 624054272 105927 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152357 105927 300 300 0 152057 0
vsize: 609428
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 230652 0 0 0 117527 495 0 0 25 0 1 0 865335653 625102848 106088 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152613 106088 300 300 0 152313 0
vsize: 610452
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 231035 0 0 0 118527 496 0 0 25 0 1 0 865335653 626151424 106181 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152869 106181 300 300 0 152569 0
vsize: 611476
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 231115 0 0 0 119527 496 0 0 25 0 1 0 865335653 626151424 106261 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152869 106261 300 300 0 152569 0
vsize: 611476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.17 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 3309
Raw data (stat): 3252 (pb2sat) R 3251 20687 20686 0 -1 0 231115 0 0 0 119527 496 0 0 25 0 1 0 865335653 626151424 106261 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152869 106261 300 300 0 152569 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.17
CPU time (s): 1202.34
CPU user time (s): 1197.17
CPU system time (s): 5.17321
CPU usage (%): 100.014
Max. virtual memory (Kb): 611476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	24020
#### END VERIFIER DATA ####