PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb
MD5SUM	0a25291690224f6f7c8a4bead47a7b72
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.20881
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 35644

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-28 13:21:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24833 boxname=wulflinc8 idbench=1305 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0a25291690224f6f7c8a4bead47a7b72  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-misc03.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-misc03.opb
IDLAUNCH: 24833
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        722136 kB
Buffers:         36828 kB
Cached:         252908 kB
SwapCached:        896 kB
Active:          24560 kB
Inactive:       267516 kB
HighTotal:      131008 kB
HighFree:        12516 kB
LowTotal:       903652 kB
LowFree:        709620 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14572 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:41:59 (client local time) WITH STATUS 0 IN 1202.39 SECONDS
stats: 24833 0 1202.39 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+59.7872 s]  setting bit 20 to 0
c got solution with objective value: 1519488
c [startup+191.499 s]  setting bit 19 to 1
c [startup+1109.31 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.90 0.93 0.90 2/54 16820
Raw data (stat): 16820 (runsolver) R 16819 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 793337679 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0018 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 30822 0 0 0 936 63 0 0 25 0 1 0 793337679 90562560 19672 4294967295 134512640 135726644 3221224592 3221205756 135298010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22110 19672 300 300 0 21810 0
vsize: 88440
[startup+20.0027 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 60672 0 0 0 1880 118 0 0 25 0 1 0 793337679 178413568 38293 4294967295 134512640 135726644 3221224592 3221190512 135280586 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43558 38293 300 300 0 43258 0
vsize: 174232
[startup+30.0028 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 98128 0 0 0 2809 188 0 0 25 0 1 0 793337679 298663936 53591 4294967295 134512640 135726644 3221224592 3221171824 134767123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72916 53591 300 300 0 72616 0
vsize: 291664
[startup+40.0036 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 111767 0 0 0 3782 216 0 0 25 0 1 0 793337679 332218368 66987 4294967295 134512640 135726644 3221224592 3221189040 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81108 66987 300 300 0 80808 0
vsize: 324432
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 151429 0 0 0 4708 290 0 0 25 0 1 0 793337679 525922304 105557 4294967295 134512640 135726644 3221224592 3221203920 134771783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128399 105559 300 300 0 128099 0
vsize: 513596
[startup+60.0043 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 160302 0 0 0 5687 311 0 0 25 0 1 0 793337679 464769024 93766 4294967295 134512640 135726644 3221224592 3221223264 134738785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113469 93766 300 300 0 113169 0
vsize: 453876
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 162388 0 0 0 6682 316 0 0 25 0 1 0 793337679 464769024 93767 4294967295 134512640 135726644 3221224592 3221223088 134744377 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.0044 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 162775 0 0 0 7682 317 0 0 25 0 1 0 793337679 466878464 94154 4294967295 134512640 135726644 3221224592 3221223088 134744006 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.0045 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 164032 0 0 0 8680 319 0 0 25 0 1 0 793337679 472563712 95025 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115372 95025 300 300 0 115072 0
vsize: 461488
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 164861 0 0 0 9678 321 0 0 25 0 1 0 793337679 475717632 95597 4294967295 134512640 135726644 3221224592 3221223088 134744377 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.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 165477 0 0 0 10677 322 0 0 25 0 1 0 793337679 477290496 95827 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 165530 0 0 0 11677 323 0 0 25 0 1 0 793337679 477290496 95880 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116526 95880 300 300 0 116226 0
vsize: 466104
[startup+130.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 166039 0 0 0 12676 324 0 0 25 0 1 0 793337679 478339072 96132 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116782 96132 300 300 0 116482 0
vsize: 467128
[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 166083 0 0 0 13676 324 0 0 25 0 1 0 793337679 478339072 96176 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 166095 0 0 0 14675 324 0 0 25 0 1 0 793337679 478339072 96188 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116782 96188 300 300 0 116482 0
vsize: 467128
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 166730 0 0 0 15675 326 0 0 25 0 1 0 793337679 480436224 96309 4294967295 134512640 135726644 3221224592 3221223088 134743980 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.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 166731 0 0 0 16675 326 0 0 25 0 1 0 793337679 480436224 96310 4294967295 134512640 135726644 3221224592 3221223248 134731248 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.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 166751 0 0 0 17675 326 0 0 25 0 1 0 793337679 480436224 96330 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 167632 0 0 0 18673 327 0 0 25 0 1 0 793337679 482533376 96698 4294967295 134512640 135726644 3221224592 3221223248 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117806 96698 300 300 0 117506 0
vsize: 471224
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169934 0 0 0 19667 333 0 0 25 0 1 0 793337679 483586048 96915 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96915 300 300 0 117763 0
vsize: 472252
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169937 0 0 0 20667 333 0 0 25 0 1 0 793337679 483586048 96918 4294967295 134512640 135726644 3221224592 3221223248 134731175 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.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169939 0 0 0 21668 333 0 0 25 0 1 0 793337679 483586048 96920 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96920 300 300 0 117763 0
vsize: 472252
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169940 0 0 0 22668 333 0 0 25 0 1 0 793337679 483586048 96921 4294967295 134512640 135726644 3221224592 3221222912 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+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169941 0 0 0 23668 333 0 0 25 0 1 0 793337679 483586048 96922 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96922 300 300 0 117763 0
vsize: 472252
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169942 0 0 0 24668 333 0 0 25 0 1 0 793337679 483586048 96923 4294967295 134512640 135726644 3221224592 3221223088 134743901 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.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169943 0 0 0 25668 333 0 0 25 0 1 0 793337679 483586048 96924 4294967295 134512640 135726644 3221224592 3221223088 134743953 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.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169944 0 0 0 26668 333 0 0 25 0 1 0 793337679 483586048 96925 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118063 96925 300 300 0 117763 0
vsize: 472252
[startup+280.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169944 0 0 0 27668 333 0 0 25 0 1 0 793337679 483586048 96925 4294967295 134512640 135726644 3221224592 3221223088 134744455 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.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169946 0 0 0 28669 333 0 0 25 0 1 0 793337679 483586048 96927 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169947 0 0 0 29669 333 0 0 25 0 1 0 793337679 483586048 96928 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 169948 0 0 0 30669 333 0 0 25 0 1 0 793337679 483586048 96929 4294967295 134512640 135726644 3221224592 3221223280 134744861 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 170277 0 0 0 31668 334 0 0 25 0 1 0 793337679 484634624 97001 4294967295 134512640 135726644 3221224592 3221223088 134743953 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 170279 0 0 0 32668 334 0 0 25 0 1 0 793337679 484634624 97003 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118319 97003 300 300 0 118019 0
vsize: 473276
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 170349 0 0 0 33669 335 0 0 25 0 1 0 793337679 484634624 97073 4294967295 134512640 135726644 3221224592 3221223088 134744254 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 170351 0 0 0 34669 335 0 0 25 0 1 0 793337679 484634624 97075 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118319 97075 300 300 0 118019 0
vsize: 473276
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 170352 0 0 0 35669 335 0 0 25 0 1 0 793337679 484634624 97076 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118319 97076 300 300 0 118019 0
vsize: 473276
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171062 0 0 0 36668 336 0 0 25 0 1 0 793337679 486731776 97273 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97273 300 300 0 118531 0
vsize: 475324
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171063 0 0 0 37668 336 0 0 25 0 1 0 793337679 486731776 97274 4294967295 134512640 135726644 3221224592 3221223088 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+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171063 0 0 0 38668 336 0 0 25 0 1 0 793337679 486731776 97274 4294967295 134512640 135726644 3221224592 3221223088 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171064 0 0 0 39670 336 0 0 25 0 1 0 793337679 486731776 97275 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171066 0 0 0 40670 336 0 0 25 0 1 0 793337679 486731776 97277 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97277 300 300 0 118531 0
vsize: 475324
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171067 0 0 0 41670 336 0 0 25 0 1 0 793337679 486731776 97278 4294967295 134512640 135726644 3221224592 3221223184 134760424 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171069 0 0 0 42671 336 0 0 25 0 1 0 793337679 486731776 97280 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97280 300 300 0 118531 0
vsize: 475324
[startup+440.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171072 0 0 0 43671 336 0 0 25 0 1 0 793337679 486731776 97283 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97283 300 300 0 118531 0
vsize: 475324
[startup+450.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171073 0 0 0 44671 336 0 0 25 0 1 0 793337679 486731776 97284 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97284 300 300 0 118531 0
vsize: 475324
[startup+460.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171074 0 0 0 45672 336 0 0 25 0 1 0 793337679 486731776 97285 4294967295 134512640 135726644 3221224592 3221223280 134744858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97285 300 300 0 118531 0
vsize: 475324
[startup+470.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171076 0 0 0 46673 336 0 0 25 0 1 0 793337679 486731776 97287 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97287 300 300 0 118531 0
vsize: 475324
[startup+480.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171077 0 0 0 47673 336 0 0 25 0 1 0 793337679 486731776 97288 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97288 300 300 0 118531 0
vsize: 475324
[startup+490.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171078 0 0 0 48673 337 0 0 25 0 1 0 793337679 486731776 97289 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97289 300 300 0 118531 0
vsize: 475324
[startup+500.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171079 0 0 0 49674 337 0 0 25 0 1 0 793337679 486731776 97290 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97290 300 300 0 118531 0
vsize: 475324
[startup+510.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171080 0 0 0 50674 337 0 0 25 0 1 0 793337679 486731776 97291 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97291 300 300 0 118531 0
vsize: 475324
[startup+520.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171082 0 0 0 51676 337 0 0 25 0 1 0 793337679 486731776 97293 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118831 97293 300 300 0 118531 0
vsize: 475324
[startup+530.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171083 0 0 0 52675 337 0 0 25 0 1 0 793337679 486731776 97294 4294967295 134512640 135726644 3221224592 3221223088 134743980 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.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171085 0 0 0 53676 337 0 0 25 0 1 0 793337679 486731776 97296 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97296 300 300 0 118531 0
vsize: 475324
[startup+550.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171085 0 0 0 54676 337 0 0 25 0 1 0 793337679 486731776 97296 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171086 0 0 0 55676 337 0 0 25 0 1 0 793337679 486731776 97297 4294967295 134512640 135726644 3221224592 3221223280 134744861 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.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171088 0 0 0 56676 337 0 0 25 0 1 0 793337679 486731776 97299 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97299 300 300 0 118531 0
vsize: 475324
[startup+580.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171090 0 0 0 57677 337 0 0 25 0 1 0 793337679 486731776 97301 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97301 300 300 0 118531 0
vsize: 475324
[startup+590.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171090 0 0 0 58678 337 0 0 25 0 1 0 793337679 486731776 97301 4294967295 134512640 135726644 3221224592 3221222912 134728934 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.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171092 0 0 0 59678 337 0 0 25 0 1 0 793337679 486731776 97303 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97303 300 300 0 118531 0
vsize: 475324
[startup+610.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171092 0 0 0 60678 337 0 0 25 0 1 0 793337679 486731776 97303 4294967295 134512640 135726644 3221224592 3221223088 134743901 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.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171093 0 0 0 61679 337 0 0 25 0 1 0 793337679 486731776 97304 4294967295 134512640 135726644 3221224592 3221223088 134744004 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.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171095 0 0 0 62679 337 0 0 25 0 1 0 793337679 486731776 97306 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97306 300 300 0 118531 0
vsize: 475324
[startup+640.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171097 0 0 0 63679 337 0 0 25 0 1 0 793337679 486731776 97308 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97308 300 300 0 118531 0
vsize: 475324
[startup+650.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171098 0 0 0 64679 337 0 0 25 0 1 0 793337679 486731776 97309 4294967295 134512640 135726644 3221224592 3221223088 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+660.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171098 0 0 0 65679 337 0 0 25 0 1 0 793337679 486731776 97309 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171099 0 0 0 66679 337 0 0 25 0 1 0 793337679 486731776 97310 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171100 0 0 0 67680 337 0 0 25 0 1 0 793337679 486731776 97311 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97311 300 300 0 118531 0
vsize: 475324
[startup+690.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171102 0 0 0 68680 337 0 0 25 0 1 0 793337679 486731776 97313 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97313 300 300 0 118531 0
vsize: 475324
[startup+700.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171104 0 0 0 69680 337 0 0 25 0 1 0 793337679 486731776 97315 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97315 300 300 0 118531 0
vsize: 475324
[startup+710.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171105 0 0 0 70680 338 0 0 25 0 1 0 793337679 486731776 97316 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97316 300 300 0 118531 0
vsize: 475324
[startup+720.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171107 0 0 0 71680 338 0 0 25 0 1 0 793337679 486731776 97318 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97318 300 300 0 118531 0
vsize: 475324
[startup+730.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171108 0 0 0 72680 338 0 0 25 0 1 0 793337679 486731776 97319 4294967295 134512640 135726644 3221224592 3221223216 134744594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97319 300 300 0 118531 0
vsize: 475324
[startup+740.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171110 0 0 0 73679 338 0 0 25 0 1 0 793337679 486731776 97321 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97321 300 300 0 118531 0
vsize: 475324
[startup+750.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171112 0 0 0 74680 338 0 0 25 0 1 0 793337679 486731776 97323 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97323 300 300 0 118531 0
vsize: 475324
[startup+760.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171113 0 0 0 75680 338 0 0 25 0 1 0 793337679 486731776 97324 4294967295 134512640 135726644 3221224592 3221223088 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+770.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171114 0 0 0 76680 338 0 0 25 0 1 0 793337679 486731776 97325 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97325 300 300 0 118531 0
vsize: 475324
[startup+780.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171115 0 0 0 77680 338 0 0 25 0 1 0 793337679 486731776 97326 4294967295 134512640 135726644 3221224592 3221223088 134744056 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.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171116 0 0 0 78680 339 0 0 25 0 1 0 793337679 486731776 97327 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171117 0 0 0 79680 339 0 0 25 0 1 0 793337679 486731776 97328 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97328 300 300 0 118531 0
vsize: 475324
[startup+810.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171119 0 0 0 80680 339 0 0 25 0 1 0 793337679 486731776 97330 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97330 300 300 0 118531 0
vsize: 475324
[startup+820.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171121 0 0 0 81681 339 0 0 25 0 1 0 793337679 486731776 97332 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97332 300 300 0 118531 0
vsize: 475324
[startup+830.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171122 0 0 0 82681 339 0 0 25 0 1 0 793337679 486731776 97333 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97333 300 300 0 118531 0
vsize: 475324
[startup+840.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171123 0 0 0 83681 339 0 0 25 0 1 0 793337679 486731776 97334 4294967295 134512640 135726644 3221224592 3221222912 134728878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97334 300 300 0 118531 0
vsize: 475324
[startup+850.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171124 0 0 0 84681 339 0 0 25 0 1 0 793337679 486731776 97335 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97335 300 300 0 118531 0
vsize: 475324
[startup+860.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171125 0 0 0 85681 339 0 0 25 0 1 0 793337679 486731776 97336 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97336 300 300 0 118531 0
vsize: 475324
[startup+870.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171127 0 0 0 86681 339 0 0 25 0 1 0 793337679 486731776 97338 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97338 300 300 0 118531 0
vsize: 475324
[startup+880.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171129 0 0 0 87681 339 0 0 25 0 1 0 793337679 486731776 97340 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97340 300 300 0 118531 0
vsize: 475324
[startup+890.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171131 0 0 0 88682 339 0 0 25 0 1 0 793337679 486731776 97342 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97342 300 300 0 118531 0
vsize: 475324
[startup+900.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171131 0 0 0 89682 339 0 0 25 0 1 0 793337679 486731776 97342 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171211 0 0 0 90682 339 0 0 25 0 1 0 793337679 486731776 97422 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97422 300 300 0 118531 0
vsize: 475324
[startup+920.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171212 0 0 0 91682 339 0 0 25 0 1 0 793337679 486731776 97423 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118831 97423 300 300 0 118531 0
vsize: 475324
[startup+930.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171832 0 0 0 92681 341 0 0 25 0 1 0 793337679 488828928 97530 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97530 300 300 0 119043 0
vsize: 477372
[startup+940.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171848 0 0 0 93681 341 0 0 25 0 1 0 793337679 488828928 97546 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97546 300 300 0 119043 0
vsize: 477372
[startup+950.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171849 0 0 0 94681 341 0 0 25 0 1 0 793337679 488828928 97547 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97547 300 300 0 119043 0
vsize: 477372
[startup+960.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171850 0 0 0 95681 341 0 0 25 0 1 0 793337679 488828928 97548 4294967295 134512640 135726644 3221224592 3221223184 134760396 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97548 300 300 0 119043 0
vsize: 477372
[startup+970.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171851 0 0 0 96682 341 0 0 25 0 1 0 793337679 488828928 97549 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97549 300 300 0 119043 0
vsize: 477372
[startup+980.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171853 0 0 0 97682 341 0 0 25 0 1 0 793337679 488828928 97551 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97551 300 300 0 119043 0
vsize: 477372
[startup+990.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171854 0 0 0 98682 341 0 0 25 0 1 0 793337679 488828928 97552 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97552 300 300 0 119043 0
vsize: 477372
[startup+1000.11 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171855 0 0 0 99682 341 0 0 25 0 1 0 793337679 488828928 97553 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97553 300 300 0 119043 0
vsize: 477372
[startup+1010.11 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171857 0 0 0 100682 341 0 0 25 0 1 0 793337679 488828928 97555 4294967295 134512640 135726644 3221224592 3221222840 135280592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97555 300 300 0 119043 0
vsize: 477372
[startup+1020.11 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171858 0 0 0 101682 341 0 0 25 0 1 0 793337679 488828928 97556 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97556 300 300 0 119043 0
vsize: 477372
[startup+1030.11 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 171860 0 0 0 102682 341 0 0 25 0 1 0 793337679 488828928 97558 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119343 97558 300 300 0 119043 0
vsize: 477372
[startup+1040.11 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 172233 0 0 0 103682 342 0 0 25 0 1 0 793337679 489881600 97802 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119600 97802 300 300 0 119300 0
vsize: 478400
[startup+1050.11 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 172564 0 0 0 104681 343 0 0 25 0 1 0 793337679 490930176 97876 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119856 97876 300 300 0 119556 0
vsize: 479424
[startup+1060.11 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 172727 0 0 0 105681 343 0 0 25 0 1 0 793337679 490930176 98039 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119856 98039 300 300 0 119556 0
vsize: 479424
[startup+1070.11 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 172729 0 0 0 106682 343 0 0 25 0 1 0 793337679 490930176 98041 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119856 98041 300 300 0 119556 0
vsize: 479424
[startup+1080.11 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 172730 0 0 0 107682 343 0 0 25 0 1 0 793337679 490930176 98042 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119856 98042 300 300 0 119556 0
vsize: 479424
[startup+1090.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 173014 0 0 0 108681 344 0 0 25 0 1 0 793337679 493031424 98326 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98326 300 300 0 120069 0
vsize: 481476
[startup+1100.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 173022 0 0 0 109681 344 0 0 25 0 1 0 793337679 493031424 98334 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98334 300 300 0 120069 0
vsize: 481476
[startup+1110.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175258 0 0 0 110677 349 0 0 25 0 1 0 793337679 501571584 100570 4294967295 134512640 135726644 3221224592 3221222908 134761854 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122454 100570 300 300 0 122154 0
vsize: 489816
[startup+1120.11 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175259 0 0 0 111676 349 0 0 25 0 1 0 793337679 493031424 98486 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98486 300 300 0 120069 0
vsize: 481476
[startup+1130.11 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175260 0 0 0 112677 349 0 0 25 0 1 0 793337679 493031424 98487 4294967295 134512640 135726644 3221224592 3221223280 134744969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98487 300 300 0 120069 0
vsize: 481476
[startup+1140.11 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175319 0 0 0 113677 349 0 0 25 0 1 0 793337679 493031424 98546 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98546 300 300 0 120069 0
vsize: 481476
[startup+1150.11 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175320 0 0 0 114677 349 0 0 25 0 1 0 793337679 493031424 98547 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98547 300 300 0 120069 0
vsize: 481476
[startup+1160.11 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175323 0 0 0 115677 349 0 0 25 0 1 0 793337679 493031424 98550 4294967295 134512640 135726644 3221224592 3221223088 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+1170.11 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175324 0 0 0 116677 349 0 0 25 0 1 0 793337679 493031424 98551 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98551 300 300 0 120069 0
vsize: 481476
[startup+1180.11 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175325 0 0 0 117678 349 0 0 25 0 1 0 793337679 493031424 98552 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98552 300 300 0 120069 0
vsize: 481476
[startup+1190.11 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175327 0 0 0 118678 349 0 0 25 0 1 0 793337679 493031424 98554 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98554 300 300 0 120069 0
vsize: 481476
[startup+1200.11 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175329 0 0 0 119678 349 0 0 25 0 1 0 793337679 493031424 98556 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98556 300 300 0 120069 0
vsize: 481476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.23 s]
Raw data (loadavg): 1.04 1.01 0.93 1/53 16820
Raw data (stat): 16820 (pb2sat) R 16819 3132 3131 0 -1 0 175329 0 0 0 119678 349 0 0 25 0 1 0 793337679 493031424 98556 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120369 98556 300 300 0 120069 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.23
CPU time (s): 1202.39
CPU user time (s): 1198.7
CPU system time (s): 3.69744
CPU usage (%): 100.014
Max. virtual memory (Kb): 513596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1519488
#### END VERIFIER DATA ####