PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb
MD5SUM	a9018751ab90bc03ab8cd95317ace234
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1478528
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	11386239
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.20882
Number of variables	180
Total number of constraints	255
Number of constraints which are clauses	31
Number of constraints which are cardinality constraints (but not clauses)	170
Number of constraints which are nor clauses,nor cardinality constraints	54
Minimum length of a constraint	1
Maximum length of a constraint	159
Trace number 35732

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-28 13:39:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24956 boxname=wulflinc13 idbench=1428 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a9018751ab90bc03ab8cd95317ace234  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-misc03.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-misc03.opb
IDLAUNCH: 24956
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        698468 kB
Buffers:         36148 kB
Cached:         279300 kB
SwapCached:        548 kB
Active:          18992 kB
Inactive:       298508 kB
HighTotal:      131008 kB
HighFree:         5432 kB
LowTotal:       903652 kB
LowFree:        693036 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            12976 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:59:37 (client local time) WITH STATUS 0 IN 1202.36 SECONDS
stats: 24956 0 1202.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c CONFLICT during preprocess 
c [startup+60.2731 s]  setting bit 20 to 0
c got solution with objective value: 1519488
c [startup+193.516 s]  setting bit 19 to 1
c [startup+1122.32 s]  setting bit 18 to 0
s SATISFIABLE
v -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 -COL007_bit0 -COL008_bit0 -COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 -COL017_bit0 -COL018_bit0 -COL019_bit0 COL020_bit0 -COL021_bit0 -COL022_bit0 -COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 COL030_bit0 -COL031_bit0 -COL032_bit0 -COL033_bit0 -COL034_bit0 -COL035_bit0 -COL036_bit0 -COL037_bit0 -COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 -COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 -COL055_bit0 -COL056_bit0 -COL057_bit0 -COL058_bit0 -COL059_bit0 -COL060_bit0 -COL061_bit0 -COL062_bit0 COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 -COL070_bit0 -COL071_bit0 -COL072_bit0 -COL073_bit0 -COL074_bit0 -COL075_bit0 COL076_bit0 -COL077_bit0 -COL078_bit0 -COL079_bit0 -COL080_bit0 -COL081_bit0 -COL082_bit0 -COL083_bit0 -COL084_bit0 -COL085_bit0 -COL086_bit0 -COL087_bit0 -COL088_bit0 -COL089_bit0 -COL090_bit0 -COL091_bit0 -COL092_bit0 -COL093_bit0 -COL094_bit0 -COL095_bit0 -COL096_bit0 -COL097_bit0 -COL098_bit0 -COL099_bit0 COL100_bit0 -COL101_bit0 -COL102_bit0 -COL103_bit0 -COL104_bit0 -COL105_bit0 -COL106_bit0 -COL107_bit0 -COL108_bit0 -COL109_bit0 -COL110_bit0 -COL111_bit0 -COL112_bit0 -COL113_bit0 -COL114_bit0 COL115_bit0 -COL116_bit0 -COL117_bit0 -COL118_bit0 -COL119_bit0 -COL120_bit0 -COL121_bit0 -COL122_bit0 -COL123_bit0 -COL124_bit0 -COL125_bit0 -COL126_bit0 -COL127_bit0 COL128_bit0 -COL129_bit0 -COL130_bit0 -COL131_bit0 COL132_bit0 -COL133_bit0 -COL134_bit0 -COL135_bit0 -COL136_bit0 -COL137_bit0 -COL138_bit0 -COL139_bit0 -COL140_bit0 -COL141_bit0 -COL142_bit0 -COL143_bit0 -COL144_bit0 -COL145_bit0 -COL146_bit0 -COL147_bit0 COL148_bit0 COL149_bit0 -COL150_bit0 COL151_bit0 -COL152_bit0 COL153_bit0 -COL154_bit0 COL155_bit0 COL156_bit0 -COL157_bit0 COL158_bit0 -COL159_bit0 COL160_bit0 COL160_bit1 COL160_bit10 COL160_bit11 -COL160_bit12 COL160_bit13 COL160_bit2 COL160_bit3 COL160_bit4 -COL160_bit5 COL160_bit6 -COL160_bit7 -COL160_bit8 COL160_bit9 -COL160_bit_1 -COL160_bit_2 -COL160_bit_3 -COL160_bit_4 -COL160_bit_5 -COL160_bit_6 -COL160_bit_7 
#### 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.89 0.92 0.90 2/54 8373
Raw data (stat): 8373 (runsolver) R 8372 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 807016172 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 30914 0 0 0 931 68 0 0 25 0 1 0 807016172 90697728 19763 4294967295 134512640 135726644 3221224576 3221205824 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22143 19763 300 300 0 21843 0
vsize: 88572
[startup+20.0002 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 60741 0 0 0 1866 133 0 0 25 0 1 0 807016172 178413568 38361 4294967295 134512640 135726644 3221224576 3221188608 134739661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43558 38363 300 300 0 43258 0
vsize: 174232
[startup+30.0006 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 97979 0 0 0 2791 207 0 0 25 0 1 0 807016172 298663936 53444 4294967295 134512640 135726644 3221224576 3221192960 134766408 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72916 53444 300 300 0 72616 0
vsize: 291664
[startup+40.0003 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 111408 0 0 0 3763 236 0 0 25 0 1 0 807016172 332218368 66634 4294967295 134512640 135726644 3221224576 3221175024 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81108 66634 300 300 0 80808 0
vsize: 324432
[startup+50.0013 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 146904 0 0 0 4692 307 0 0 25 0 1 0 807016172 518758400 101185 4294967295 134512640 135726644 3221224576 3221203704 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126650 101187 300 300 0 126350 0
vsize: 506600
[startup+60.0017 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 160287 0 0 0 5664 335 0 0 25 0 1 0 807016172 464769024 93751 4294967295 134512640 135726644 3221224576 3221223296 134736254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113469 93751 300 300 0 113169 0
vsize: 453876
[startup+70.0014 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 162388 0 0 0 6659 340 0 0 25 0 1 0 807016172 464769024 93767 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113469 93767 300 300 0 113169 0
vsize: 453876
[startup+80.0023 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 162775 0 0 0 7658 341 0 0 25 0 1 0 807016172 466878464 94154 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113984 94154 300 300 0 113684 0
vsize: 455936
[startup+90.0017 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 163898 0 0 0 8656 343 0 0 25 0 1 0 807016172 471511040 94891 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115115 94891 300 300 0 114815 0
vsize: 460460
[startup+100.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 164861 0 0 0 9655 345 0 0 25 0 1 0 807016172 475717632 95597 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116142 95597 300 300 0 115842 0
vsize: 464568
[startup+110.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 165477 0 0 0 10655 345 0 0 25 0 1 0 807016172 477290496 95827 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116526 95827 300 300 0 116226 0
vsize: 466104
[startup+120.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 165512 0 0 0 11655 345 0 0 25 0 1 0 807016172 477290496 95862 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116526 95862 300 300 0 116226 0
vsize: 466104
[startup+130.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 165982 0 0 0 12654 346 0 0 25 0 1 0 807016172 478339072 96075 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116782 96075 300 300 0 116482 0
vsize: 467128
[startup+140.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 166083 0 0 0 13654 346 0 0 25 0 1 0 807016172 478339072 96176 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116782 96176 300 300 0 116482 0
vsize: 467128
[startup+150.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 166094 0 0 0 14655 346 0 0 25 0 1 0 807016172 478339072 96187 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116782 96187 300 300 0 116482 0
vsize: 467128
[startup+160.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 166730 0 0 0 15654 348 0 0 25 0 1 0 807016172 480436224 96309 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117294 96309 300 300 0 116994 0
vsize: 469176
[startup+170.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 166731 0 0 0 16654 348 0 0 25 0 1 0 807016172 480436224 96310 4294967295 134512640 135726644 3221224576 3221223264 134744845 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117294 96310 300 300 0 116994 0
vsize: 469176
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 166751 0 0 0 17654 348 0 0 25 0 1 0 807016172 480436224 96330 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117294 96330 300 300 0 116994 0
vsize: 469176
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 167630 0 0 0 18653 349 0 0 25 0 1 0 807016172 482533376 96696 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117806 96696 300 300 0 117506 0
vsize: 471224
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169934 0 0 0 19646 355 0 0 25 0 1 0 807016172 483586048 96915 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118063 96915 300 300 0 117763 0
vsize: 472252
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169937 0 0 0 20645 355 0 0 25 0 1 0 807016172 483586048 96918 4294967295 134512640 135726644 3221224576 3221223200 134744544 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96918 300 300 0 117763 0
vsize: 472252
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169938 0 0 0 21646 355 0 0 25 0 1 0 807016172 483586048 96919 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96919 300 300 0 117763 0
vsize: 472252
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169939 0 0 0 22646 355 0 0 25 0 1 0 807016172 483586048 96920 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96920 300 300 0 117763 0
vsize: 472252
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169940 0 0 0 23646 355 0 0 25 0 1 0 807016172 483586048 96921 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96921 300 300 0 117763 0
vsize: 472252
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169942 0 0 0 24646 355 0 0 25 0 1 0 807016172 483586048 96923 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96923 300 300 0 117763 0
vsize: 472252
[startup+260.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169943 0 0 0 25646 355 0 0 25 0 1 0 807016172 483586048 96924 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96924 300 300 0 117763 0
vsize: 472252
[startup+270.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169943 0 0 0 26647 355 0 0 25 0 1 0 807016172 483586048 96924 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96924 300 300 0 117763 0
vsize: 472252
[startup+280.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169944 0 0 0 27647 355 0 0 25 0 1 0 807016172 483586048 96925 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96925 300 300 0 117763 0
vsize: 472252
[startup+290.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169946 0 0 0 28647 355 0 0 25 0 1 0 807016172 483586048 96927 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96927 300 300 0 117763 0
vsize: 472252
[startup+300.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169947 0 0 0 29647 355 0 0 25 0 1 0 807016172 483586048 96928 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96928 300 300 0 117763 0
vsize: 472252
[startup+310.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 169948 0 0 0 30647 355 0 0 25 0 1 0 807016172 483586048 96929 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96929 300 300 0 117763 0
vsize: 472252
[startup+320.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 170277 0 0 0 31647 356 0 0 25 0 1 0 807016172 484634624 97001 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118319 97001 300 300 0 118019 0
vsize: 473276
[startup+330.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 170278 0 0 0 32648 356 0 0 25 0 1 0 807016172 484634624 97002 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118319 97002 300 300 0 118019 0
vsize: 473276
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 170349 0 0 0 33648 356 0 0 25 0 1 0 807016172 484634624 97073 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118319 97073 300 300 0 118019 0
vsize: 473276
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 170350 0 0 0 34648 356 0 0 25 0 1 0 807016172 484634624 97074 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118319 97074 300 300 0 118019 0
vsize: 473276
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 170351 0 0 0 35649 356 0 0 25 0 1 0 807016172 484634624 97075 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118319 97075 300 300 0 118019 0
vsize: 473276
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 170371 0 0 0 36649 356 0 0 25 0 1 0 807016172 484634624 97095 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118319 97095 300 300 0 118019 0
vsize: 473276
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171062 0 0 0 37647 358 0 0 25 0 1 0 807016172 486731776 97273 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97273 300 300 0 118531 0
vsize: 475324
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171063 0 0 0 38648 358 0 0 25 0 1 0 807016172 486731776 97274 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97274 300 300 0 118531 0
vsize: 475324
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171064 0 0 0 39648 358 0 0 25 0 1 0 807016172 486731776 97275 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97275 300 300 0 118531 0
vsize: 475324
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171065 0 0 0 40648 358 0 0 25 0 1 0 807016172 486731776 97276 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97276 300 300 0 118531 0
vsize: 475324
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171067 0 0 0 41648 358 0 0 25 0 1 0 807016172 486731776 97278 4294967295 134512640 135726644 3221224576 3221223216 134744477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97278 300 300 0 118531 0
vsize: 475324
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171068 0 0 0 42649 358 0 0 25 0 1 0 807016172 486731776 97279 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97279 300 300 0 118531 0
vsize: 475324
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171071 0 0 0 43649 358 0 0 25 0 1 0 807016172 486731776 97282 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97282 300 300 0 118531 0
vsize: 475324
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171072 0 0 0 44649 358 0 0 25 0 1 0 807016172 486731776 97283 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97283 300 300 0 118531 0
vsize: 475324
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171073 0 0 0 45650 358 0 0 25 0 1 0 807016172 486731776 97284 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97284 300 300 0 118531 0
vsize: 475324
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171075 0 0 0 46650 358 0 0 25 0 1 0 807016172 486731776 97286 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97286 300 300 0 118531 0
vsize: 475324
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171076 0 0 0 47650 358 0 0 25 0 1 0 807016172 486731776 97287 4294967295 134512640 135726644 3221224576 3221223168 134760426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97287 300 300 0 118531 0
vsize: 475324
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171077 0 0 0 48650 358 0 0 25 0 1 0 807016172 486731776 97288 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97288 300 300 0 118531 0
vsize: 475324
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171078 0 0 0 49650 358 0 0 25 0 1 0 807016172 486731776 97289 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97289 300 300 0 118531 0
vsize: 475324
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171079 0 0 0 50650 358 0 0 25 0 1 0 807016172 486731776 97290 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97290 300 300 0 118531 0
vsize: 475324
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171080 0 0 0 51651 358 0 0 25 0 1 0 807016172 486731776 97291 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97291 300 300 0 118531 0
vsize: 475324
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171083 0 0 0 52651 358 0 0 25 0 1 0 807016172 486731776 97294 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97294 300 300 0 118531 0
vsize: 475324
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171084 0 0 0 53651 358 0 0 25 0 1 0 807016172 486731776 97295 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97295 300 300 0 118531 0
vsize: 475324
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171085 0 0 0 54651 358 0 0 25 0 1 0 807016172 486731776 97296 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97296 300 300 0 118531 0
vsize: 475324
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171086 0 0 0 55651 358 0 0 25 0 1 0 807016172 486731776 97297 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97297 300 300 0 118531 0
vsize: 475324
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171087 0 0 0 56651 358 0 0 25 0 1 0 807016172 486731776 97298 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97298 300 300 0 118531 0
vsize: 475324
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171089 0 0 0 57652 358 0 0 25 0 1 0 807016172 486731776 97300 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97300 300 300 0 118531 0
vsize: 475324
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171090 0 0 0 58652 358 0 0 25 0 1 0 807016172 486731776 97301 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97301 300 300 0 118531 0
vsize: 475324
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171091 0 0 0 59652 358 0 0 25 0 1 0 807016172 486731776 97302 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97302 300 300 0 118531 0
vsize: 475324
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171092 0 0 0 60652 358 0 0 25 0 1 0 807016172 486731776 97303 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97303 300 300 0 118531 0
vsize: 475324
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171093 0 0 0 61652 358 0 0 25 0 1 0 807016172 486731776 97304 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97304 300 300 0 118531 0
vsize: 475324
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171094 0 0 0 62653 358 0 0 25 0 1 0 807016172 486731776 97305 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97305 300 300 0 118531 0
vsize: 475324
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171096 0 0 0 63653 358 0 0 25 0 1 0 807016172 486731776 97307 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97307 300 300 0 118531 0
vsize: 475324
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171097 0 0 0 64653 358 0 0 25 0 1 0 807016172 486731776 97308 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97308 300 300 0 118531 0
vsize: 475324
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171098 0 0 0 65653 358 0 0 25 0 1 0 807016172 486731776 97309 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97309 300 300 0 118531 0
vsize: 475324
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171099 0 0 0 66653 358 0 0 25 0 1 0 807016172 486731776 97310 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97310 300 300 0 118531 0
vsize: 475324
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171099 0 0 0 67654 358 0 0 25 0 1 0 807016172 486731776 97310 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97310 300 300 0 118531 0
vsize: 475324
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171101 0 0 0 68654 358 0 0 25 0 1 0 807016172 486731776 97312 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97312 300 300 0 118531 0
vsize: 475324
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171103 0 0 0 69654 358 0 0 25 0 1 0 807016172 486731776 97314 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97314 300 300 0 118531 0
vsize: 475324
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171104 0 0 0 70654 358 0 0 25 0 1 0 807016172 486731776 97315 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97315 300 300 0 118531 0
vsize: 475324
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171106 0 0 0 71654 358 0 0 25 0 1 0 807016172 486731776 97317 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97317 300 300 0 118531 0
vsize: 475324
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171107 0 0 0 72655 358 0 0 25 0 1 0 807016172 486731776 97318 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97318 300 300 0 118531 0
vsize: 475324
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171108 0 0 0 73655 358 0 0 25 0 1 0 807016172 486731776 97319 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97319 300 300 0 118531 0
vsize: 475324
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171110 0 0 0 74655 358 0 0 25 0 1 0 807016172 486731776 97321 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97321 300 300 0 118531 0
vsize: 475324
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171112 0 0 0 75655 358 0 0 25 0 1 0 807016172 486731776 97323 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97323 300 300 0 118531 0
vsize: 475324
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171113 0 0 0 76655 358 0 0 25 0 1 0 807016172 486731776 97324 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97324 300 300 0 118531 0
vsize: 475324
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171115 0 0 0 77655 358 0 0 25 0 1 0 807016172 486731776 97326 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97326 300 300 0 118531 0
vsize: 475324
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171116 0 0 0 78656 358 0 0 25 0 1 0 807016172 486731776 97327 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97327 300 300 0 118531 0
vsize: 475324
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171116 0 0 0 79656 358 0 0 25 0 1 0 807016172 486731776 97327 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97327 300 300 0 118531 0
vsize: 475324
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171117 0 0 0 80656 358 0 0 25 0 1 0 807016172 486731776 97328 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97328 300 300 0 118531 0
vsize: 475324
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171120 0 0 0 81656 358 0 0 25 0 1 0 807016172 486731776 97331 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97331 300 300 0 118531 0
vsize: 475324
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171121 0 0 0 82656 358 0 0 25 0 1 0 807016172 486731776 97332 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97332 300 300 0 118531 0
vsize: 475324
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171122 0 0 0 83656 358 0 0 25 0 1 0 807016172 486731776 97333 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97333 300 300 0 118531 0
vsize: 475324
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171123 0 0 0 84657 358 0 0 25 0 1 0 807016172 486731776 97334 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97334 300 300 0 118531 0
vsize: 475324
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171124 0 0 0 85657 358 0 0 25 0 1 0 807016172 486731776 97335 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97335 300 300 0 118531 0
vsize: 475324
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171125 0 0 0 86657 358 0 0 25 0 1 0 807016172 486731776 97336 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97336 300 300 0 118531 0
vsize: 475324
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171127 0 0 0 87657 358 0 0 25 0 1 0 807016172 486731776 97338 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97338 300 300 0 118531 0
vsize: 475324
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171129 0 0 0 88657 358 0 0 25 0 1 0 807016172 486731776 97340 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97340 300 300 0 118531 0
vsize: 475324
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171131 0 0 0 89657 358 0 0 25 0 1 0 807016172 486731776 97342 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97342 300 300 0 118531 0
vsize: 475324
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171131 0 0 0 90657 358 0 0 25 0 1 0 807016172 486731776 97342 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97342 300 300 0 118531 0
vsize: 475324
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171211 0 0 0 91658 358 0 0 25 0 1 0 807016172 486731776 97422 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97422 300 300 0 118531 0
vsize: 475324
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171212 0 0 0 92658 358 0 0 25 0 1 0 807016172 486731776 97423 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97423 300 300 0 118531 0
vsize: 475324
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171832 0 0 0 93657 360 0 0 25 0 1 0 807016172 488828928 97530 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97530 300 300 0 119043 0
vsize: 477372
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171847 0 0 0 94658 360 0 0 25 0 1 0 807016172 488828928 97545 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97545 300 300 0 119043 0
vsize: 477372
[startup+960.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171849 0 0 0 95659 360 0 0 25 0 1 0 807016172 488828928 97547 4294967295 134512640 135726644 3221224576 3221222896 134728948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97547 300 300 0 119043 0
vsize: 477372
[startup+970.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171850 0 0 0 96659 360 0 0 25 0 1 0 807016172 488828928 97548 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97548 300 300 0 119043 0
vsize: 477372
[startup+980.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171851 0 0 0 97660 360 0 0 25 0 1 0 807016172 488828928 97549 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97549 300 300 0 119043 0
vsize: 477372
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171852 0 0 0 98661 360 0 0 25 0 1 0 807016172 488828928 97550 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97550 300 300 0 119043 0
vsize: 477372
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171854 0 0 0 99661 360 0 0 25 0 1 0 807016172 488828928 97552 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97552 300 300 0 119043 0
vsize: 477372
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171855 0 0 0 100661 360 0 0 25 0 1 0 807016172 488828928 97553 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97553 300 300 0 119043 0
vsize: 477372
[startup+1020.06 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171857 0 0 0 101661 360 0 0 25 0 1 0 807016172 488828928 97555 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97555 300 300 0 119043 0
vsize: 477372
[startup+1030.06 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171858 0 0 0 102661 360 0 0 25 0 1 0 807016172 488828928 97556 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97556 300 300 0 119043 0
vsize: 477372
[startup+1040.06 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171860 0 0 0 103662 360 0 0 25 0 1 0 807016172 488828928 97558 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97558 300 300 0 119043 0
vsize: 477372
[startup+1050.06 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 171861 0 0 0 104662 360 0 0 25 0 1 0 807016172 488828928 97559 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97559 300 300 0 119043 0
vsize: 477372
[startup+1060.06 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 172519 0 0 0 105661 361 0 0 25 0 1 0 807016172 490930176 97831 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119856 97831 300 300 0 119556 0
vsize: 479424
[startup+1070.06 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 172727 0 0 0 106660 361 0 0 25 0 1 0 807016172 490930176 98039 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119856 98039 300 300 0 119556 0
vsize: 479424
[startup+1080.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 172728 0 0 0 107661 361 0 0 25 0 1 0 807016172 490930176 98040 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119856 98040 300 300 0 119556 0
vsize: 479424
[startup+1090.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 172730 0 0 0 108661 361 0 0 25 0 1 0 807016172 490930176 98042 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119856 98042 300 300 0 119556 0
vsize: 479424
[startup+1100.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 173013 0 0 0 109661 362 0 0 25 0 1 0 807016172 493031424 98325 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98325 300 300 0 120069 0
vsize: 481476
[startup+1110.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 173021 0 0 0 110661 362 0 0 25 0 1 0 807016172 493031424 98333 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98333 300 300 0 120069 0
vsize: 481476
[startup+1120.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 173023 0 0 0 111661 362 0 0 25 0 1 0 807016172 493031424 98335 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98335 300 300 0 120069 0
vsize: 481476
[startup+1130.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 175259 0 0 0 112655 367 0 0 25 0 1 0 807016172 493031424 98486 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98486 300 300 0 120069 0
vsize: 481476
[startup+1140.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 175260 0 0 0 113656 367 0 0 25 0 1 0 807016172 493031424 98487 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98487 300 300 0 120069 0
vsize: 481476
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 175318 0 0 0 114656 367 0 0 25 0 1 0 807016172 493031424 98545 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98545 300 300 0 120069 0
vsize: 481476
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 175319 0 0 0 115656 368 0 0 25 0 1 0 807016172 493031424 98546 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98546 300 300 0 120069 0
vsize: 481476
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 175322 0 0 0 116656 368 0 0 25 0 1 0 807016172 493031424 98549 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98549 300 300 0 120069 0
vsize: 481476
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 175323 0 0 0 117656 368 0 0 25 0 1 0 807016172 493031424 98550 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98550 300 300 0 120069 0
vsize: 481476
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 175324 0 0 0 118656 368 0 0 25 0 1 0 807016172 493031424 98551 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98551 300 300 0 120069 0
vsize: 481476
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 175326 0 0 0 119656 368 0 0 25 0 1 0 807016172 493031424 98553 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98553 300 300 0 120069 0
vsize: 481476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.18 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 8373
Raw data (stat): 8373 (pb2sat) R 8372 1269 1268 0 -1 0 175326 0 0 0 119656 368 0 0 25 0 1 0 807016172 493031424 98553 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98553 300 300 0 120069 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.18
CPU time (s): 1202.36
CPU user time (s): 1198.49
CPU system time (s): 3.87841
CPU usage (%): 100.015
Max. virtual memory (Kb): 506600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1519488
#### END VERIFIER DATA ####