PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb
MD5SUM	c8b965306fec2c21edee64824d12f378
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 35318

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-28 12:35:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24568 boxname=wulflinc8 idbench=1040 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c8b965306fec2c21edee64824d12f378  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 24568
/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:        713412 kB
Buffers:         36748 kB
Cached:         262236 kB
SwapCached:        896 kB
Active:          23828 kB
Inactive:       277380 kB
HighTotal:      131008 kB
HighFree:        11312 kB
LowTotal:       903652 kB
LowFree:        702100 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14348 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:55:38 (client local time) WITH STATUS 10 IN 1201.01 SECONDS
stats: 24568 0 1201.01 10
#### 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: 762880
c [startup+16.5884 s]  setting bit 32 to 1
c CONFLICT during preprocess 
c [startup+17.7862 s]  setting bit 31 to 0
c got solution with objective value: 762880
c [startup+19.8443 s]  setting bit 30 to 1
c got solution with objective value: 762880
c [startup+21.8994 s]  setting bit 29 to 1
c got solution with objective value: 762880
c [startup+23.9371 s]  setting bit 28 to 1
c got solution with objective value: 762880
c [startup+25.9791 s]  setting bit 27 to 1
c got solution with objective value: 762880
c [startup+28.0174 s]  setting bit 26 to 1
c got solution with objective value: 762880
c [startup+30.0551 s]  setting bit 25 to 1
c got solution with objective value: 762880
c [startup+32.1141 s]  setting bit 24 to 1
c got solution with objective value: 762880
c [startup+34.1729 s]  setting bit 23 to 1
c got solution with objective value: 762880
c [startup+36.2318 s]  setting bit 22 to 1
c got solution with objective value: 762880
c [startup+38.2896 s]  setting bit 21 to 1
c got solution with objective value: 762880
c [startup+40.3485 s]  setting bit 20 to 1
c got solution with objective value: 268288
c [startup+43.3319 s]  setting bit 19 to 1
c got solution with objective value: 234496
c [startup+235.417 s]  setting bit 18 to 1
c got solution with objective value: 100352
c [startup+533.786 s]  setting bit 17 to 1
c got solution with objective value: 63488
c [startup+815.245 s]  setting bit 16 to 1
s SATISFIABLE
v s01_bit0 s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_10 -s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 -s01_bit_6 -s01_bit_7 -s01_bit_8 -s01_bit_9 -s11_bit0 -s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 -s11_bit_10 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s11_bit_8 -s11_bit_9 s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 -s21_bit2 -s21_bit3 s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_10 -s21_bit_2 -s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 -s21_bit_7 -s21_bit_8 -s21_bit_9 -s31_bit0 s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 s31_bit2 s31_bit3 s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_10 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 -s31_bit_8 -s31_bit_9 -s41_bit0 s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 -s41_bit_10 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 -s41_bit_6 -s41_bit_7 -s41_bit_8 -s41_bit_9 -s51_bit0 s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 -s51_bit_10 -s51_bit_2 -s51_bit_3 -s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 -s51_bit_8 -s51_bit_9 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 -x5_bit0 -x6_bit0 x7_bit0 -x8_bit0 x9_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.83 0.93 0.90 1/54 16300
Raw data (stat): 16300 (runsolver) R 16299 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 793059504 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 27326 0 0 0 937 61 0 0 25 0 1 0 793059504 78188544 16311 4294967295 134512640 135726644 3221224576 3221212376 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19089 16312 300 300 0 18789 0
vsize: 76356
[startup+20.0014 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 48380 0 0 0 1890 108 0 0 25 0 1 0 793059504 139116544 24615 4294967295 134512640 135726644 3221224576 3221222920 134769070 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33964 24615 300 300 0 33664 0
vsize: 135856
[startup+30.0016 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 50769 0 0 0 2885 113 0 0 25 0 1 0 793059504 136671232 24019 4294967295 134512640 135726644 3221224576 3221223296 134736256 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33367 24019 300 300 0 33067 0
vsize: 133468
[startup+40.0023 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 53755 0 0 0 3878 120 0 0 25 0 1 0 793059504 136671232 24020 4294967295 134512640 135726644 3221224576 3221223232 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33367 24020 300 300 0 33067 0
vsize: 133468
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 55810 0 0 0 4874 124 0 0 25 0 1 0 793059504 140386304 24749 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34274 24749 300 300 0 33974 0
vsize: 137096
[startup+60.0038 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 56152 0 0 0 5873 125 0 0 25 0 1 0 793059504 141312000 24927 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34500 24927 300 300 0 34200 0
vsize: 138000
[startup+70.0046 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 56429 0 0 0 6872 126 0 0 25 0 1 0 793059504 142102528 25041 4294967295 134512640 135726644 3221224576 3221223072 134743970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34693 25041 300 300 0 34393 0
vsize: 138772
[startup+80.004 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 56455 0 0 0 7872 126 0 0 25 0 1 0 793059504 142237696 25067 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34726 25067 300 300 0 34426 0
vsize: 138904
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 56619 0 0 0 8872 127 0 0 25 0 1 0 793059504 142630912 25133 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34822 25133 300 300 0 34522 0
vsize: 139288
[startup+100.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 56625 0 0 0 9872 127 0 0 25 0 1 0 793059504 142630912 25139 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34822 25139 300 300 0 34522 0
vsize: 139288
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 56663 0 0 0 10872 127 0 0 25 0 1 0 793059504 142766080 25177 4294967295 134512640 135726644 3221224576 3221223200 134744526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34855 25177 300 300 0 34555 0
vsize: 139420
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 56839 0 0 0 11872 127 0 0 25 0 1 0 793059504 143159296 25255 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34951 25255 300 300 0 34651 0
vsize: 139804
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 56863 0 0 0 12872 127 0 0 25 0 1 0 793059504 143294464 25279 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34984 25279 300 300 0 34684 0
vsize: 139936
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57046 0 0 0 13872 128 0 0 25 0 1 0 793059504 143687680 25364 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35080 25364 300 300 0 34780 0
vsize: 140320
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57050 0 0 0 14872 128 0 0 25 0 1 0 793059504 143687680 25368 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35080 25368 300 300 0 34780 0
vsize: 140320
[startup+160.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57055 0 0 0 15872 128 0 0 25 0 1 0 793059504 143687680 25373 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35080 25373 300 300 0 34780 0
vsize: 140320
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57060 0 0 0 16872 128 0 0 25 0 1 0 793059504 143687680 25378 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35080 25378 300 300 0 34780 0
vsize: 140320
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57068 0 0 0 17872 128 0 0 25 0 1 0 793059504 143687680 25386 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35080 25386 300 300 0 34780 0
vsize: 140320
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57074 0 0 0 18872 128 0 0 25 0 1 0 793059504 160464896 25392 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39176 25392 300 300 0 38876 0
vsize: 156704
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57108 0 0 0 19872 128 0 0 25 0 1 0 793059504 160600064 25426 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39209 25426 300 300 0 38909 0
vsize: 156836
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57337 0 0 0 20872 129 0 0 25 0 1 0 793059504 161255424 25492 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39369 25492 300 300 0 39069 0
vsize: 157476
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57341 0 0 0 21872 129 0 0 25 0 1 0 793059504 161255424 25496 4294967295 134512640 135726644 3221224576 3221223180 134744139 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39369 25496 300 300 0 39069 0
vsize: 157476
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 57345 0 0 0 22872 129 0 0 25 0 1 0 793059504 161255424 25500 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39369 25500 300 300 0 39069 0
vsize: 157476
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 58436 0 0 0 23871 131 0 0 25 0 1 0 793059504 163381248 25896 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39888 25896 300 300 0 39588 0
vsize: 159552
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59034 0 0 0 24869 132 0 0 25 0 1 0 793059504 164954112 26103 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40272 26103 300 300 0 39972 0
vsize: 161088
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59225 0 0 0 25869 132 0 0 25 0 1 0 793059504 165482496 26229 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40401 26229 300 300 0 40101 0
vsize: 161604
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59316 0 0 0 26869 133 0 0 25 0 1 0 793059504 165744640 26255 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26255 300 300 0 40165 0
vsize: 161860
[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59338 0 0 0 27869 133 0 0 25 0 1 0 793059504 165744640 26277 4294967295 134512640 135726644 3221224576 3221223072 134744283 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26277 300 300 0 40165 0
vsize: 161860
[startup+290.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59359 0 0 0 28869 133 0 0 25 0 1 0 793059504 165744640 26298 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26298 300 300 0 40165 0
vsize: 161860
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59377 0 0 0 29869 133 0 0 25 0 1 0 793059504 165744640 26316 4294967295 134512640 135726644 3221224576 3221223120 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26316 300 300 0 40165 0
vsize: 161860
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59382 0 0 0 30869 133 0 0 25 0 1 0 793059504 165744640 26321 4294967295 134512640 135726644 3221224576 3221223200 134744523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26321 300 300 0 40165 0
vsize: 161860
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59397 0 0 0 31869 133 0 0 25 0 1 0 793059504 165744640 26336 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26336 300 300 0 40165 0
vsize: 161860
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59402 0 0 0 32870 133 0 0 25 0 1 0 793059504 165744640 26341 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26341 300 300 0 40165 0
vsize: 161860
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59409 0 0 0 33870 133 0 0 25 0 1 0 793059504 165744640 26348 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26348 300 300 0 40165 0
vsize: 161860
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59412 0 0 0 34870 133 0 0 25 0 1 0 793059504 165744640 26351 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26351 300 300 0 40165 0
vsize: 161860
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59417 0 0 0 35870 133 0 0 25 0 1 0 793059504 165744640 26356 4294967295 134512640 135726644 3221224576 3221223072 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26356 300 300 0 40165 0
vsize: 161860
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59422 0 0 0 36870 133 0 0 25 0 1 0 793059504 165744640 26361 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26361 300 300 0 40165 0
vsize: 161860
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59426 0 0 0 37870 134 0 0 25 0 1 0 793059504 165744640 26365 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26365 300 300 0 40165 0
vsize: 161860
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59430 0 0 0 38870 134 0 0 25 0 1 0 793059504 165744640 26369 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26369 300 300 0 40165 0
vsize: 161860
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59435 0 0 0 39871 134 0 0 25 0 1 0 793059504 165744640 26374 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26374 300 300 0 40165 0
vsize: 161860
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59438 0 0 0 40871 134 0 0 25 0 1 0 793059504 165744640 26377 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26377 300 300 0 40165 0
vsize: 161860
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59443 0 0 0 41871 134 0 0 25 0 1 0 793059504 165744640 26382 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26382 300 300 0 40165 0
vsize: 161860
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59446 0 0 0 42871 134 0 0 25 0 1 0 793059504 165744640 26385 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26385 300 300 0 40165 0
vsize: 161860
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59451 0 0 0 43871 134 0 0 25 0 1 0 793059504 165744640 26390 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26390 300 300 0 40165 0
vsize: 161860
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59454 0 0 0 44871 134 0 0 25 0 1 0 793059504 165744640 26393 4294967295 134512640 135726644 3221224576 3221223072 134744053 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26393 300 300 0 40165 0
vsize: 161860
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59459 0 0 0 45872 134 0 0 25 0 1 0 793059504 165744640 26398 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26398 300 300 0 40165 0
vsize: 161860
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59463 0 0 0 46873 134 0 0 25 0 1 0 793059504 165744640 26402 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26402 300 300 0 40165 0
vsize: 161860
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59468 0 0 0 47873 134 0 0 25 0 1 0 793059504 165744640 26407 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26407 300 300 0 40165 0
vsize: 161860
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59473 0 0 0 48873 134 0 0 25 0 1 0 793059504 165744640 26412 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26412 300 300 0 40165 0
vsize: 161860
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59477 0 0 0 49873 134 0 0 25 0 1 0 793059504 165744640 26416 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26416 300 300 0 40165 0
vsize: 161860
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59481 0 0 0 50873 134 0 0 25 0 1 0 793059504 165744640 26420 4294967295 134512640 135726644 3221224576 3221223056 134729220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26420 300 300 0 40165 0
vsize: 161860
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59488 0 0 0 51873 134 0 0 25 0 1 0 793059504 165744640 26427 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26427 300 300 0 40165 0
vsize: 161860
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 59493 0 0 0 52874 134 0 0 25 0 1 0 793059504 165744640 26432 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40465 26432 300 300 0 40165 0
vsize: 161860
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60299 0 0 0 53871 136 0 0 25 0 1 0 793059504 166268928 26511 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40593 26511 300 300 0 40293 0
vsize: 162372
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60386 0 0 0 54871 137 0 0 25 0 1 0 793059504 166531072 26533 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26533 300 300 0 40357 0
vsize: 162628
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60407 0 0 0 55871 137 0 0 25 0 1 0 793059504 166531072 26554 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26554 300 300 0 40357 0
vsize: 162628
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60429 0 0 0 56871 137 0 0 25 0 1 0 793059504 166531072 26576 4294967295 134512640 135726644 3221224576 3221223072 134743872 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26576 300 300 0 40357 0
vsize: 162628
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60433 0 0 0 57871 137 0 0 25 0 1 0 793059504 166531072 26580 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26580 300 300 0 40357 0
vsize: 162628
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60453 0 0 0 58871 138 0 0 25 0 1 0 793059504 166531072 26600 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26600 300 300 0 40357 0
vsize: 162628
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60460 0 0 0 59871 138 0 0 25 0 1 0 793059504 166531072 26607 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26607 300 300 0 40357 0
vsize: 162628
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60492 0 0 0 60871 138 0 0 25 0 1 0 793059504 166531072 26639 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26639 300 300 0 40357 0
vsize: 162628
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60495 0 0 0 61871 138 0 0 25 0 1 0 793059504 166531072 26642 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26642 300 300 0 40357 0
vsize: 162628
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60506 0 0 0 62872 138 0 0 25 0 1 0 793059504 166531072 26653 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26653 300 300 0 40357 0
vsize: 162628
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60535 0 0 0 63872 138 0 0 25 0 1 0 793059504 166531072 26682 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26682 300 300 0 40357 0
vsize: 162628
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60539 0 0 0 64872 138 0 0 25 0 1 0 793059504 166531072 26686 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26686 300 300 0 40357 0
vsize: 162628
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60543 0 0 0 65872 138 0 0 25 0 1 0 793059504 166531072 26690 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26690 300 300 0 40357 0
vsize: 162628
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60547 0 0 0 66872 138 0 0 25 0 1 0 793059504 166531072 26694 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26694 300 300 0 40357 0
vsize: 162628
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60553 0 0 0 67872 138 0 0 25 0 1 0 793059504 166531072 26700 4294967295 134512640 135726644 3221224576 3221223216 134762117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26700 300 300 0 40357 0
vsize: 162628
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60557 0 0 0 68872 138 0 0 25 0 1 0 793059504 166531072 26704 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26704 300 300 0 40357 0
vsize: 162628
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60561 0 0 0 69873 138 0 0 25 0 1 0 793059504 166531072 26708 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26708 300 300 0 40357 0
vsize: 162628
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60567 0 0 0 70873 138 0 0 25 0 1 0 793059504 166531072 26714 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26714 300 300 0 40357 0
vsize: 162628
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60576 0 0 0 71873 139 0 0 25 0 1 0 793059504 166531072 26723 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26723 300 300 0 40357 0
vsize: 162628
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60581 0 0 0 72873 139 0 0 25 0 1 0 793059504 166531072 26728 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40657 26728 300 300 0 40357 0
vsize: 162628
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60585 0 0 0 73872 139 0 0 25 0 1 0 793059504 166531072 26732 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26732 300 300 0 40357 0
vsize: 162628
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60590 0 0 0 74872 139 0 0 25 0 1 0 793059504 166531072 26737 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26737 300 300 0 40357 0
vsize: 162628
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60593 0 0 0 75873 139 0 0 25 0 1 0 793059504 166531072 26740 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26740 300 300 0 40357 0
vsize: 162628
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60599 0 0 0 76873 139 0 0 25 0 1 0 793059504 166531072 26746 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26746 300 300 0 40357 0
vsize: 162628
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60605 0 0 0 77873 139 0 0 25 0 1 0 793059504 166531072 26752 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26752 300 300 0 40357 0
vsize: 162628
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60609 0 0 0 78873 139 0 0 25 0 1 0 793059504 166531072 26756 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26756 300 300 0 40357 0
vsize: 162628
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60622 0 0 0 79873 139 0 0 25 0 1 0 793059504 166531072 26769 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26769 300 300 0 40357 0
vsize: 162628
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 60626 0 0 0 80874 139 0 0 25 0 1 0 793059504 166531072 26773 4294967295 134512640 135726644 3221224576 3221223184 134744639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26773 300 300 0 40357 0
vsize: 162628
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61227 0 0 0 81872 141 0 0 25 0 1 0 793059504 166531072 26777 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26777 300 300 0 40357 0
vsize: 162628
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61231 0 0 0 82872 141 0 0 25 0 1 0 793059504 166531072 26781 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26781 300 300 0 40357 0
vsize: 162628
[startup+840.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61237 0 0 0 83872 141 0 0 25 0 1 0 793059504 166531072 26787 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26787 300 300 0 40357 0
vsize: 162628
[startup+850.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61242 0 0 0 84872 141 0 0 25 0 1 0 793059504 166531072 26792 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26792 300 300 0 40357 0
vsize: 162628
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61248 0 0 0 85872 141 0 0 25 0 1 0 793059504 166531072 26798 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26798 300 300 0 40357 0
vsize: 162628
[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61253 0 0 0 86872 141 0 0 25 0 1 0 793059504 166531072 26803 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26803 300 300 0 40357 0
vsize: 162628
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61258 0 0 0 87872 141 0 0 25 0 1 0 793059504 166531072 26808 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26808 300 300 0 40357 0
vsize: 162628
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61263 0 0 0 88873 141 0 0 25 0 1 0 793059504 166531072 26813 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26813 300 300 0 40357 0
vsize: 162628
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61269 0 0 0 89873 141 0 0 25 0 1 0 793059504 166531072 26819 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40657 26819 300 300 0 40357 0
vsize: 162628
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61382 0 0 0 90873 141 0 0 25 0 1 0 793059504 167067648 26932 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40788 26932 300 300 0 40488 0
vsize: 163152
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61545 0 0 0 91872 142 0 0 25 0 1 0 793059504 167596032 26997 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 26997 300 300 0 40617 0
vsize: 163668
[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61553 0 0 0 92872 142 0 0 25 0 1 0 793059504 167596032 27005 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27005 300 300 0 40617 0
vsize: 163668
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61557 0 0 0 93873 142 0 0 25 0 1 0 793059504 167596032 27009 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27009 300 300 0 40617 0
vsize: 163668
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61563 0 0 0 94873 142 0 0 25 0 1 0 793059504 167596032 27015 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27015 300 300 0 40617 0
vsize: 163668
[startup+960.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61568 0 0 0 95873 142 0 0 25 0 1 0 793059504 167596032 27020 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27020 300 300 0 40617 0
vsize: 163668
[startup+970.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61573 0 0 0 96873 142 0 0 25 0 1 0 793059504 167596032 27025 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27025 300 300 0 40617 0
vsize: 163668
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61578 0 0 0 97873 142 0 0 25 0 1 0 793059504 167596032 27030 4294967295 134512640 135726644 3221224576 3221223200 134744518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27030 300 300 0 40617 0
vsize: 163668
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61583 0 0 0 98873 143 0 0 25 0 1 0 793059504 167596032 27035 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27035 300 300 0 40617 0
vsize: 163668
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61590 0 0 0 99873 143 0 0 25 0 1 0 793059504 167596032 27042 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27042 300 300 0 40617 0
vsize: 163668
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61594 0 0 0 100873 143 0 0 25 0 1 0 793059504 167596032 27046 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27046 300 300 0 40617 0
vsize: 163668
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61600 0 0 0 101874 143 0 0 25 0 1 0 793059504 167596032 27052 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27052 300 300 0 40617 0
vsize: 163668
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61606 0 0 0 102874 143 0 0 25 0 1 0 793059504 167596032 27058 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27058 300 300 0 40617 0
vsize: 163668
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61615 0 0 0 103874 143 0 0 25 0 1 0 793059504 167596032 27067 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27067 300 300 0 40617 0
vsize: 163668
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61620 0 0 0 104874 143 0 0 25 0 1 0 793059504 167596032 27072 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27072 300 300 0 40617 0
vsize: 163668
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61624 0 0 0 105874 143 0 0 25 0 1 0 793059504 167596032 27076 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27076 300 300 0 40617 0
vsize: 163668
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61630 0 0 0 106874 143 0 0 25 0 1 0 793059504 167596032 27082 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27082 300 300 0 40617 0
vsize: 163668
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61636 0 0 0 107875 143 0 0 25 0 1 0 793059504 167596032 27088 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27088 300 300 0 40617 0
vsize: 163668
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61643 0 0 0 108875 143 0 0 25 0 1 0 793059504 167596032 27095 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27095 300 300 0 40617 0
vsize: 163668
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61647 0 0 0 109875 143 0 0 25 0 1 0 793059504 167596032 27099 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27099 300 300 0 40617 0
vsize: 163668
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61653 0 0 0 110875 143 0 0 25 0 1 0 793059504 167596032 27105 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27105 300 300 0 40617 0
vsize: 163668
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61658 0 0 0 111875 143 0 0 25 0 1 0 793059504 167596032 27110 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27110 300 300 0 40617 0
vsize: 163668
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61663 0 0 0 112876 143 0 0 25 0 1 0 793059504 167596032 27115 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27115 300 300 0 40617 0
vsize: 163668
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61669 0 0 0 113876 143 0 0 25 0 1 0 793059504 167596032 27121 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27121 300 300 0 40617 0
vsize: 163668
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61674 0 0 0 114876 143 0 0 25 0 1 0 793059504 167596032 27126 4294967295 134512640 135726644 3221224576 3221222908 134735640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27126 300 300 0 40617 0
vsize: 163668
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61679 0 0 0 115876 143 0 0 25 0 1 0 793059504 167596032 27131 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27131 300 300 0 40617 0
vsize: 163668
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61685 0 0 0 116876 143 0 0 25 0 1 0 793059504 167596032 27137 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27137 300 300 0 40617 0
vsize: 163668
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61689 0 0 0 117878 144 0 0 25 0 1 0 793059504 167596032 27141 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27141 300 300 0 40617 0
vsize: 163668
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61695 0 0 0 118878 144 0 0 25 0 1 0 793059504 167596032 27147 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27147 300 300 0 40617 0
vsize: 163668
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16300
Raw data (stat): 16300 (pb2sat) R 16299 3132 3131 0 -1 0 61699 0 0 0 119878 144 0 0 25 0 1 0 793059504 167596032 27151 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40917 27151 300 300 0 40617 0
vsize: 163668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.86 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16300
Raw data (stat): 16300 (pb2sat) Z 16299 3132 3131 0 -1 12 61700 0 0 0 119951 149 0 0 25 0 1 0 793059504 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.86
CPU time (s): 1201.01
CPU user time (s): 1199.51
CPU system time (s): 1.49877
CPU usage (%): 100.013
Max. virtual memory (Kb): 163668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	63488
#### END VERIFIER DATA ####