PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 20:18:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26200 boxname=wulflinc5 idbench=1500 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  375b355299c9fbf8170e172bcbc73eb2  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-markshare2_1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-markshare2_1.opb
IDLAUNCH: 26200
/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:        657044 kB
Buffers:         28064 kB
Cached:         326716 kB
SwapCached:        656 kB
Active:          29908 kB
Inactive:       326904 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        656708 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            14964 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:38:26 (client local time) WITH STATUS 0 IN 1202.34 SECONDS
stats: 26200 0 1202.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 46334
c small objective detected
c CONFLICT during preprocess 
c [startup+72.496 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+77.5102 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+82.536 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+87.5922 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+92.6072 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+97.622 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+102.636 s]  setting bit 16 to 0
s SATISFIABLE
v s01_bit0 -s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit2 -s01_bit3 s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_2 s01_bit_3 s01_bit_4 s01_bit_5 s01_bit_6 -s01_bit_7 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 s11_bit2 -s11_bit3 -s11_bit4 s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 s11_bit_1 -s11_bit_2 -s11_bit_3 s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_2 -s21_bit_3 -s21_bit_4 s21_bit_5 s21_bit_6 -s21_bit_7 s31_bit0 s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit2 s31_bit3 s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 s31_bit_2 -s31_bit_3 s31_bit_4 s31_bit_5 -s31_bit_6 -s31_bit_7 s41_bit0 s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 s41_bit2 -s41_bit3 s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 s41_bit_1 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 s41_bit_6 -s41_bit_7 -s51_bit0 -s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 s51_bit_1 -s51_bit_2 s51_bit_3 s51_bit_4 s51_bit_5 -s51_bit_6 -s51_bit_7 s61_bit0 -s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 s61_bit2 s61_bit3 s61_bit4 -s61_bit5 s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 s61_bit_1 -s61_bit_2 -s61_bit_3 s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -x0_bit0 -x10_bit0 x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x1_bit0 -x20_bit0 x21_bit0 x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x2_bit0 -x30_bit0 x31_bit0 x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 -x3_bit0 x40_bit0 -x41_bit0 -x42_bit0 x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 x47_bit0 x48_bit0 x49_bit0 -x4_bit0 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 -x54_bit_1 -x54_bit_2 -x54_bit_3 -x54_bit_4 -x54_bit_5 -x54_bit_6 -x54_bit_7 x55_bit0 -x55_bit_1 -x55_bit_2 -x55_bit_3 -x55_bit_4 -x55_bit_5 -x55_bit_6 -x55_bit_7 x56_bit0 -x56_bit_1 -x56_bit_2 -x56_bit_3 -x56_bit_4 -x56_bit_5 -x56_bit_6 -x56_bit_7 -x57_bit0 -x57_bit_1 -x57_bit_2 -x57_bit_3 x57_bit_4 -x57_bit_5 -x57_bit_6 -x57_bit_7 -x58_bit0 -x58_bit_1 -x58_bit_2 -x58_bit_3 -x58_bit_4 -x58_bit_5 x58_bit_6 -x58_bit_7 x59_bit0 -x59_bit_1 -x59_bit_2 -x59_bit_3 -x59_bit_4 -x59_bit_5 -x59_bit_6 -x59_bit_7 x5_bit0 x6_bit0 -x7_bit0 x8_bit0 -x9_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.91 0.96 0.91 2/54 19640
Raw data (stat): 19640 (runsolver) R 19639 7266 7265 0 -1 64 6 0 0 0 0 0 0 0 19 0 1 0 973584846 884736 93 4294967295 134512640 135332820 3221224464 3221217488 135009396 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99982 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 27667 0 0 0 939 59 0 0 25 0 1 0 973584846 81276928 16659 4294967295 134512640 135730672 3221224576 3221210064 134770140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19843 16659 301 301 0 19542 0
vsize: 79372
[startup+20.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 52444 0 0 0 1892 107 0 0 25 0 1 0 973584846 154021888 30483 4294967295 134512640 135730672 3221224576 3221181128 135284274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37603 30483 301 301 0 37302 0
vsize: 150412
[startup+30.0022 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 90031 0 0 0 2816 183 0 0 25 0 1 0 973584846 268390400 46397 4294967295 134512640 135730672 3221224576 3221173392 135284078 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65525 46397 301 301 0 65224 0
vsize: 262100
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 102901 0 0 0 3789 210 0 0 25 0 1 0 973584846 301944832 59033 4294967295 134512640 135730672 3221224576 3221171284 135281181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73717 59033 301 301 0 73416 0
vsize: 294868
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 134650 0 0 0 4722 277 0 0 25 0 1 0 973584846 483753984 89972 4294967295 134512640 135730672 3221224576 3221181452 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118104 89972 301 301 0 117803 0
vsize: 472416
[startup+60.004 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 179739 0 0 0 5629 370 0 0 25 0 1 0 973584846 541843456 92546 4294967295 134512640 135730672 3221224576 3221222912 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 132286 92546 301 301 0 131985 0
vsize: 529144
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 186504 0 0 0 6615 384 0 0 25 0 1 0 973584846 569516032 96430 4294967295 134512640 135730672 3221224576 3221222664 134765469 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139042 96430 301 301 0 138741 0
vsize: 556168
[startup+80.0055 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 191050 0 0 0 7604 396 0 0 25 0 1 0 973584846 569516032 96446 4294967295 134512640 135730672 3221224576 3221222664 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139042 96446 301 301 0 138741 0
vsize: 556168
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 195580 0 0 0 8592 407 0 0 25 0 1 0 973584846 569516032 96446 4294967295 134512640 135730672 3221224576 3221222664 134765469 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139042 96446 301 301 0 138741 0
vsize: 556168
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 200110 0 0 0 9581 419 0 0 25 0 1 0 973584846 569516032 96446 4294967295 134512640 135730672 3221224576 3221222664 134765469 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139042 96446 301 301 0 138741 0
vsize: 556168
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 202419 0 0 0 10575 425 0 0 25 0 1 0 973584846 559972352 94160 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136712 94160 301 301 0 136411 0
vsize: 546848
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 202537 0 0 0 11574 425 0 0 25 0 1 0 973584846 558391296 93892 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136326 93892 301 301 0 136025 0
vsize: 545304
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 202555 0 0 0 12574 426 0 0 25 0 1 0 973584846 558391296 93910 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136326 93910 301 301 0 136025 0
vsize: 545304
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 202562 0 0 0 13574 426 0 0 25 0 1 0 973584846 558391296 93917 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136326 93917 301 301 0 136025 0
vsize: 545304
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 202564 0 0 0 14574 426 0 0 25 0 1 0 973584846 558391296 93919 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136326 93919 301 301 0 136025 0
vsize: 545304
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 202845 0 0 0 15574 427 0 0 25 0 1 0 973584846 559448064 94135 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136584 94135 301 301 0 136283 0
vsize: 546336
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 204740 0 0 0 16571 429 0 0 25 0 1 0 973584846 566218752 95362 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138237 95362 301 301 0 137936 0
vsize: 552948
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 205514 0 0 0 17570 431 0 0 25 0 1 0 973584846 568872960 95778 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138885 95778 301 301 0 138584 0
vsize: 555540
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 206215 0 0 0 18569 432 0 0 25 0 1 0 973584846 571383808 96122 4294967295 134512640 135730672 3221224576 3221222864 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139498 96122 301 301 0 139197 0
vsize: 557992
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 207051 0 0 0 19567 434 0 0 25 0 1 0 973584846 574156800 96665 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140175 96665 301 301 0 139874 0
vsize: 560700
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 208155 0 0 0 20565 437 0 0 25 0 1 0 973584846 578011136 97216 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141116 97216 301 301 0 140815 0
vsize: 564464
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 209013 0 0 0 21564 438 0 0 25 0 1 0 973584846 580513792 97651 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141727 97651 301 301 0 141426 0
vsize: 566908
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 209597 0 0 0 22562 439 0 0 25 0 1 0 973584846 581959680 97943 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142080 97943 301 301 0 141779 0
vsize: 568320
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 210035 0 0 0 23562 440 0 0 25 0 1 0 973584846 583405568 98154 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142433 98154 301 301 0 142132 0
vsize: 569732
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 210825 0 0 0 24561 442 0 0 25 0 1 0 973584846 586702848 98716 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143238 98716 301 301 0 142937 0
vsize: 572952
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 211096 0 0 0 25560 442 0 0 25 0 1 0 973584846 587763712 98922 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143497 98922 301 301 0 143196 0
vsize: 573988
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 211413 0 0 0 26560 443 0 0 25 0 1 0 973584846 589078528 98981 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143818 98981 301 301 0 143517 0
vsize: 575272
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 212345 0 0 0 27558 445 0 0 25 0 1 0 973584846 591978496 99459 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144526 99459 301 301 0 144225 0
vsize: 578104
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 213015 0 0 0 28557 446 0 0 25 0 1 0 973584846 593813504 99677 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144974 99677 301 301 0 144673 0
vsize: 579896
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 213476 0 0 0 29557 446 0 0 25 0 1 0 973584846 595128320 99879 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145295 99879 301 301 0 144994 0
vsize: 581180
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 213477 0 0 0 30557 446 0 0 25 0 1 0 973584846 595128320 99880 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145295 99880 301 301 0 144994 0
vsize: 581180
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 213725 0 0 0 31557 447 0 0 25 0 1 0 973584846 595652608 99999 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145423 99999 301 301 0 145122 0
vsize: 581692
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 214121 0 0 0 32556 448 0 0 25 0 1 0 973584846 596701184 100137 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145679 100137 301 301 0 145378 0
vsize: 582716
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 214133 0 0 0 33556 448 0 0 25 0 1 0 973584846 596701184 100149 4294967295 134512640 135730672 3221224576 3221222864 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145679 100149 301 301 0 145378 0
vsize: 582716
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 214539 0 0 0 34556 449 0 0 25 0 1 0 973584846 598282240 100426 4294967295 134512640 135730672 3221224576 3221222864 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146065 100426 301 301 0 145764 0
vsize: 584260
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 214774 0 0 0 35555 449 0 0 25 0 1 0 973584846 598806528 100532 4294967295 134512640 135730672 3221224576 3221222864 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146193 100532 301 301 0 145892 0
vsize: 584772
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 214778 0 0 0 36555 449 0 0 25 0 1 0 973584846 598806528 100536 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146193 100536 301 301 0 145892 0
vsize: 584772
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215099 0 0 0 37555 450 0 0 25 0 1 0 973584846 599724032 100695 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146417 100695 301 301 0 146116 0
vsize: 585668
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215101 0 0 0 38555 450 0 0 25 0 1 0 973584846 599724032 100697 4294967295 134512640 135730672 3221224576 3221222960 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146417 100697 301 301 0 146116 0
vsize: 585668
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215313 0 0 0 39555 451 0 0 25 0 1 0 973584846 600248320 100780 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146545 100780 301 301 0 146244 0
vsize: 586180
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215315 0 0 0 40555 451 0 0 25 0 1 0 973584846 600248320 100782 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146545 100782 301 301 0 146244 0
vsize: 586180
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215348 0 0 0 41555 451 0 0 25 0 1 0 973584846 600248320 100815 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146545 100815 301 301 0 146244 0
vsize: 586180
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215424 0 0 0 42555 451 0 0 25 0 1 0 973584846 600776704 100891 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146674 100891 301 301 0 146373 0
vsize: 586696
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215447 0 0 0 43555 451 0 0 25 0 1 0 973584846 600776704 100914 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146674 100914 301 301 0 146373 0
vsize: 586696
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215449 0 0 0 44555 451 0 0 25 0 1 0 973584846 600776704 100916 4294967295 134512640 135730672 3221224576 3221222616 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146674 100916 301 301 0 146373 0
vsize: 586696
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215653 0 0 0 45555 452 0 0 25 0 1 0 973584846 601300992 100991 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146802 100991 301 301 0 146501 0
vsize: 587208
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215659 0 0 0 46555 452 0 0 25 0 1 0 973584846 601300992 100997 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146802 100997 301 301 0 146501 0
vsize: 587208
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215785 0 0 0 47555 453 0 0 25 0 1 0 973584846 601829376 101123 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146931 101123 301 301 0 146630 0
vsize: 587724
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215787 0 0 0 48555 453 0 0 25 0 1 0 973584846 601829376 101125 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146931 101125 301 301 0 146630 0
vsize: 587724
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215791 0 0 0 49555 453 0 0 25 0 1 0 973584846 601829376 101129 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146931 101129 301 301 0 146630 0
vsize: 587724
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215795 0 0 0 50555 453 0 0 25 0 1 0 973584846 601829376 101133 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146931 101133 301 301 0 146630 0
vsize: 587724
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215950 0 0 0 51555 453 0 0 25 0 1 0 973584846 602886144 101288 4294967295 134512640 135730672 3221224576 3221222864 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147189 101288 301 301 0 146888 0
vsize: 588756
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215953 0 0 0 52555 453 0 0 25 0 1 0 973584846 602886144 101291 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147189 101291 301 301 0 146888 0
vsize: 588756
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215955 0 0 0 53555 453 0 0 25 0 1 0 973584846 602886144 101293 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147189 101293 301 301 0 146888 0
vsize: 588756
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215958 0 0 0 54555 453 0 0 25 0 1 0 973584846 602886144 101296 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147189 101296 301 301 0 146888 0
vsize: 588756
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215962 0 0 0 55555 454 0 0 25 0 1 0 973584846 602886144 101300 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147189 101300 301 301 0 146888 0
vsize: 588756
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 215966 0 0 0 56555 454 0 0 25 0 1 0 973584846 602886144 101304 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147189 101304 301 301 0 146888 0
vsize: 588756
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216024 0 0 0 57555 454 0 0 25 0 1 0 973584846 602886144 101362 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147189 101362 301 301 0 146888 0
vsize: 588756
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216183 0 0 0 58555 454 0 0 25 0 1 0 973584846 603410432 101392 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147317 101392 301 301 0 147016 0
vsize: 589268
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216206 0 0 0 59555 455 0 0 25 0 1 0 973584846 603410432 101415 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147317 101415 301 301 0 147016 0
vsize: 589268
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216209 0 0 0 60555 455 0 0 25 0 1 0 973584846 603410432 101418 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147317 101418 301 301 0 147016 0
vsize: 589268
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216212 0 0 0 61555 455 0 0 25 0 1 0 973584846 603410432 101421 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147317 101421 301 301 0 147016 0
vsize: 589268
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216216 0 0 0 62556 455 0 0 25 0 1 0 973584846 603410432 101425 4294967295 134512640 135730672 3221224576 3221222864 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147317 101425 301 301 0 147016 0
vsize: 589268
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216254 0 0 0 63556 455 0 0 25 0 1 0 973584846 603410432 101463 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147317 101463 301 301 0 147016 0
vsize: 589268
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216257 0 0 0 64556 455 0 0 25 0 1 0 973584846 603410432 101466 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147317 101466 301 301 0 147016 0
vsize: 589268
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216260 0 0 0 65556 455 0 0 25 0 1 0 973584846 603410432 101469 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147317 101469 301 301 0 147016 0
vsize: 589268
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216466 0 0 0 66556 455 0 0 25 0 1 0 973584846 603934720 101546 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147445 101546 301 301 0 147144 0
vsize: 589780
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216470 0 0 0 67556 455 0 0 25 0 1 0 973584846 603934720 101550 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147445 101550 301 301 0 147144 0
vsize: 589780
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216480 0 0 0 68556 455 0 0 25 0 1 0 973584846 603934720 101560 4294967295 134512640 135730672 3221224576 3221222864 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147445 101560 301 301 0 147144 0
vsize: 589780
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216713 0 0 0 69556 456 0 0 25 0 1 0 973584846 604459008 101664 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101664 301 301 0 147272 0
vsize: 590292
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216715 0 0 0 70556 456 0 0 25 0 1 0 973584846 604459008 101666 4294967295 134512640 135730672 3221224576 3221222688 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101666 301 301 0 147272 0
vsize: 590292
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216718 0 0 0 71556 456 0 0 25 0 1 0 973584846 604459008 101669 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101669 301 301 0 147272 0
vsize: 590292
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216721 0 0 0 72556 456 0 0 25 0 1 0 973584846 604459008 101672 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101672 301 301 0 147272 0
vsize: 590292
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216725 0 0 0 73556 456 0 0 25 0 1 0 973584846 604459008 101676 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101676 301 301 0 147272 0
vsize: 590292
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216744 0 0 0 74556 456 0 0 25 0 1 0 973584846 604459008 101695 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101695 301 301 0 147272 0
vsize: 590292
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216746 0 0 0 75557 456 0 0 25 0 1 0 973584846 604459008 101697 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101697 301 301 0 147272 0
vsize: 590292
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216755 0 0 0 76557 456 0 0 25 0 1 0 973584846 604459008 101706 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101706 301 301 0 147272 0
vsize: 590292
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216757 0 0 0 77557 456 0 0 25 0 1 0 973584846 604459008 101708 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101708 301 301 0 147272 0
vsize: 590292
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216780 0 0 0 78557 457 0 0 25 0 1 0 973584846 604459008 101731 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101731 301 301 0 147272 0
vsize: 590292
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216782 0 0 0 79557 457 0 0 25 0 1 0 973584846 604459008 101733 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101733 301 301 0 147272 0
vsize: 590292
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216785 0 0 0 80557 457 0 0 25 0 1 0 973584846 604459008 101736 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101736 301 301 0 147272 0
vsize: 590292
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216787 0 0 0 81558 457 0 0 25 0 1 0 973584846 604459008 101738 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101738 301 301 0 147272 0
vsize: 590292
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216790 0 0 0 82558 457 0 0 25 0 1 0 973584846 604459008 101741 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101741 301 301 0 147272 0
vsize: 590292
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216791 0 0 0 83558 457 0 0 25 0 1 0 973584846 604459008 101742 4294967295 134512640 135730672 3221224576 3221222992 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101742 301 301 0 147272 0
vsize: 590292
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216793 0 0 0 84558 457 0 0 25 0 1 0 973584846 604459008 101744 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101744 301 301 0 147272 0
vsize: 590292
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216811 0 0 0 85558 457 0 0 25 0 1 0 973584846 604459008 101762 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101762 301 301 0 147272 0
vsize: 590292
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216831 0 0 0 86558 457 0 0 25 0 1 0 973584846 604459008 101782 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147573 101782 301 301 0 147272 0
vsize: 590292
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216984 0 0 0 87558 458 0 0 25 0 1 0 973584846 604983296 101806 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101806 301 301 0 147400 0
vsize: 590804
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216986 0 0 0 88558 458 0 0 25 0 1 0 973584846 604983296 101808 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101808 301 301 0 147400 0
vsize: 590804
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 216988 0 0 0 89558 458 0 0 25 0 1 0 973584846 604983296 101810 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101810 301 301 0 147400 0
vsize: 590804
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217000 0 0 0 90558 458 0 0 25 0 1 0 973584846 604983296 101822 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101822 301 301 0 147400 0
vsize: 590804
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217051 0 0 0 91559 458 0 0 25 0 1 0 973584846 604983296 101873 4294967295 134512640 135730672 3221224576 3221222864 134747486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101873 301 301 0 147400 0
vsize: 590804
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217053 0 0 0 92559 458 0 0 25 0 1 0 973584846 604983296 101875 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101875 301 301 0 147400 0
vsize: 590804
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217055 0 0 0 93559 458 0 0 25 0 1 0 973584846 604983296 101877 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101877 301 301 0 147400 0
vsize: 590804
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217056 0 0 0 94559 458 0 0 25 0 1 0 973584846 604983296 101878 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101878 301 301 0 147400 0
vsize: 590804
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217059 0 0 0 95559 458 0 0 25 0 1 0 973584846 604983296 101881 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101881 301 301 0 147400 0
vsize: 590804
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217061 0 0 0 96559 458 0 0 25 0 1 0 973584846 604983296 101883 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101883 301 301 0 147400 0
vsize: 590804
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217064 0 0 0 97559 459 0 0 25 0 1 0 973584846 604983296 101886 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101886 301 301 0 147400 0
vsize: 590804
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217066 0 0 0 98559 459 0 0 25 0 1 0 973584846 604983296 101888 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101888 301 301 0 147400 0
vsize: 590804
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217068 0 0 0 99559 459 0 0 25 0 1 0 973584846 604983296 101890 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101890 301 301 0 147400 0
vsize: 590804
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217100 0 0 0 100559 459 0 0 25 0 1 0 973584846 604983296 101922 4294967295 134512640 135730672 3221224576 3221222864 134747516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101922 301 301 0 147400 0
vsize: 590804
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217102 0 0 0 101559 459 0 0 25 0 1 0 973584846 604983296 101924 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101924 301 301 0 147400 0
vsize: 590804
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217104 0 0 0 102559 460 0 0 25 0 1 0 973584846 604983296 101926 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147701 101926 301 301 0 147400 0
vsize: 590804
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217181 0 0 0 103559 460 0 0 25 0 1 0 973584846 605245440 101938 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147765 101938 301 301 0 147464 0
vsize: 591060
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217183 0 0 0 104560 460 0 0 25 0 1 0 973584846 605245440 101940 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147765 101940 301 301 0 147464 0
vsize: 591060
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217187 0 0 0 105560 460 0 0 25 0 1 0 973584846 605245440 101944 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147765 101944 301 301 0 147464 0
vsize: 591060
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217552 0 0 0 106559 461 0 0 25 0 1 0 973584846 606691328 102147 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102147 301 301 0 147817 0
vsize: 592472
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217620 0 0 0 107559 461 0 0 25 0 1 0 973584846 606691328 102215 4294967295 134512640 135730672 3221224576 3221222992 134748194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102215 301 301 0 147817 0
vsize: 592472
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217635 0 0 0 108559 461 0 0 25 0 1 0 973584846 606691328 102230 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102230 301 301 0 147817 0
vsize: 592472
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217641 0 0 0 109559 461 0 0 25 0 1 0 973584846 606691328 102236 4294967295 134512640 135730672 3221224576 3221223024 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102236 301 301 0 147817 0
vsize: 592472
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217760 0 0 0 110559 461 0 0 25 0 1 0 973584846 606691328 102355 4294967295 134512640 135730672 3221224576 3221222992 134748176 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102355 301 301 0 147817 0
vsize: 592472
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217762 0 0 0 111560 461 0 0 25 0 1 0 973584846 606691328 102357 4294967295 134512640 135730672 3221224576 3221222984 134748218 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102357 301 301 0 147817 0
vsize: 592472
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217765 0 0 0 112560 461 0 0 25 0 1 0 973584846 606691328 102360 4294967295 134512640 135730672 3221224576 3221222688 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102360 301 301 0 147817 0
vsize: 592472
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217768 0 0 0 113560 461 0 0 25 0 1 0 973584846 606691328 102363 4294967295 134512640 135730672 3221224576 3221222616 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102363 301 301 0 147817 0
vsize: 592472
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217771 0 0 0 114560 461 0 0 25 0 1 0 973584846 606691328 102366 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102366 301 301 0 147817 0
vsize: 592472
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217773 0 0 0 115560 461 0 0 25 0 1 0 973584846 606691328 102368 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102368 301 301 0 147817 0
vsize: 592472
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217776 0 0 0 116560 461 0 0 25 0 1 0 973584846 606691328 102371 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102371 301 301 0 147817 0
vsize: 592472
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217779 0 0 0 117561 461 0 0 25 0 1 0 973584846 606691328 102374 4294967295 134512640 135730672 3221224576 3221222972 134747440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102374 301 301 0 147817 0
vsize: 592472
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217780 0 0 0 118561 461 0 0 25 0 1 0 973584846 606691328 102375 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102375 301 301 0 147817 0
vsize: 592472
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217783 0 0 0 119561 462 0 0 25 0 1 0 973584846 606691328 102378 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102378 301 301 0 147817 0
vsize: 592472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 7266 7265 0 -1 0 217783 0 0 0 119561 462 0 0 25 0 1 0 973584846 606691328 102378 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148118 102378 301 301 0 147817 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.16
CPU time (s): 1202.34
CPU user time (s): 1197.52
CPU system time (s): 4.82227
CPU usage (%): 100.015
Max. virtual memory (Kb): 592472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	46334
#### END VERIFIER DATA ####