PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	3b5121187baf09367bd50bdc4d869d21
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8448
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.43
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 27299

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 20:42:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17642 boxname=wulflinc1 idbench=1358 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3b5121187baf09367bd50bdc4d869d21  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 17642
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        575012 kB
Buffers:         39020 kB
Cached:         393324 kB
SwapCached:          0 kB
Active:          85284 kB
Inactive:       350196 kB
HighTotal:      131008 kB
HighFree:         3528 kB
LowTotal:       903652 kB
LowFree:        571484 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            18468 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:01:38 (client local time) WITH STATUS 10 IN 1175.43 SECONDS
stats: 17642 0 1175.43 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 14 constraints.
c After prepocess the problem consists of 186 variables and 14 constraints.
c preprocess terminated 0.102 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.019
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 215680 @ 0.389
c NEW SOLUTION FOUND: 185600 @ 0.391
c NEW SOLUTION FOUND: 110592 @ 0.464
c NEW SOLUTION FOUND: 109952 @ 2.316
c NEW SOLUTION FOUND: 102144 @ 2.422
c NEW SOLUTION FOUND: 92032 @ 4.131
c NEW SOLUTION FOUND: 64896 @ 8.52
c NEW SOLUTION FOUND: 61184 @ 11.641
c NEW SOLUTION FOUND: 57344 @ 322.627
c NEW SOLUTION FOUND: 47872 @ 511.7
c NEW SOLUTION FOUND: 46336 @ 657.752
c NEW SOLUTION FOUND: 36352 @ 675.203
c NEW SOLUTION FOUND: 35712 @ 767.04
c NEW SOLUTION FOUND: 31616 @ 767.942
c NEW SOLUTION FOUND: 30336 @ 768.394
c NEW SOLUTION FOUND: 26496 @ 989.577
c NEW SOLUTION FOUND: 23680 @ 990.997
c NEW SOLUTION FOUND: 19712 @ 1077.02
s SATISFIABLE
v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 x1_bit2 x1_bit3 x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 -x3_bit0 x3_bit1 -x3_bit2 x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 -x5_bit0 -x5_bit1 -x5_bit2 -x5_bit3 x5_bit4 x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit10 -x5_bit11 -x5_bit12 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 x7_bit1 x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 x9_bit0 -x9_bit1 x9_bit2 x9_bit3 -x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit10 -x9_bit11 -x9_bit12 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 -x11_bit0 x11_bit1 x11_bit2 -x11_bit3 -x11_bit4 x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit10 -x11_bit11 -x11_bit12 -x13_bit_7 -x13_bit_6 -x13_bit_5 -x13_bit_4 -x13_bit_3 -x13_bit_2 -x13_bit_1 x13_bit0 x13_bit1 -x13_bit2 x13_bit3 -x13_bit4 -x13_bit5 -x13_bit6 -x13_bit7 -x13_bit8 -x13_bit9 -x13_bit10 -x13_bit11 -x13_bit12 x15_bit0 x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 x20_bit0 -x21_bit0 x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 x27_bit0 -x28_bit0 x29_bit0 x30_bit0 -x31_bit0 x32_bit0 x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 x50_bit0 -x51_bit0 x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 x56_bit0 x57_bit0 -x58_bit0 x59_bit0 x60_bit0 x61_bit0 x62_bit0 -x63_bit0 -x64_bit0 x65_bit0 x66_bit0 x67_bit0 -x68_bit0 -x69_bit0 x70_bit0 x71_bit0 x72_bit0 x73_bit0 x74_bit0 
c Exit Code: 10
c Total time: 1175.34 s
#### 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
Raw data (loadavg): 0.65 0.88 0.89 2/55 12174
Raw data (stat): 12174 (runsolver) R 12173 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 718123562 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.70 0.88 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 7091 0 0 0 973 25 0 0 25 0 1 0 718123562 11599872 2148 4294967295 134512640 134714508 3221224592 3221222336 1075646748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2832 2148 1111 63 0 2769 0
vsize: 11328
[startup+20.0011 s]
Raw data (loadavg): 0.75 0.89 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 15167 0 0 0 1945 53 0 0 25 0 1 0 718123562 15785984 3142 4294967295 134512640 134714508 3221224592 3221220976 1074972299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3854 3142 1111 63 0 3791 0
vsize: 15416
[startup+30.0018 s]
Raw data (loadavg): 0.79 0.89 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 24127 0 0 0 2915 82 0 0 25 0 1 0 718123562 20393984 4298 4294967295 134512640 134714508 3221224592 3221223376 134558537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 4298 1111 63 0 4916 0
vsize: 19916
[startup+40.0016 s]
Raw data (loadavg): 0.82 0.89 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 31971 0 0 0 3891 107 0 0 25 0 1 0 718123562 24068096 5131 4294967295 134512640 134714508 3221224592 3221221760 1074821097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5876 5131 1111 63 0 5813 0
vsize: 23504
[startup+50.0024 s]
Raw data (loadavg): 0.85 0.90 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 44151 0 0 0 4862 136 0 0 25 0 1 0 718123562 26742784 5753 4294967295 134512640 134714508 3221224592 3221221084 1074798916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6529 5753 1111 63 0 6466 0
vsize: 26116
[startup+60.0022 s]
Raw data (loadavg): 0.87 0.90 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 56915 0 0 0 5826 172 0 0 25 0 1 0 718123562 29700096 6475 4294967295 134512640 134714508 3221224592 3221222016 1076063171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7251 6475 1111 63 0 7188 0
vsize: 29004
[startup+70.003 s]
Raw data (loadavg): 0.89 0.90 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 64675 0 0 0 6807 191 0 0 25 0 1 0 718123562 30793728 6823 4294967295 134512640 134714508 3221224592 3221222232 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7518 6823 1111 63 0 7455 0
vsize: 30072
[startup+80.0037 s]
Raw data (loadavg): 0.91 0.90 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 73216 0 0 0 7788 211 0 0 25 0 1 0 718123562 32059392 7130 4294967295 134512640 134714508 3221224592 3221223328 134622801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7827 7130 1111 63 0 7764 0
vsize: 31308
[startup+90.0035 s]
Raw data (loadavg): 0.92 0.91 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 86060 0 0 0 8757 242 0 0 25 0 1 0 718123562 35176448 7887 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8588 7887 1111 63 0 8525 0
vsize: 34352
[startup+100.003 s]
Raw data (loadavg): 0.93 0.91 0.90 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 91965 0 0 0 9743 256 0 0 25 0 1 0 718123562 35659776 7873 4294967295 134512640 134714508 3221224592 3221221712 1074834297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8706 7873 1111 63 0 8643 0
vsize: 34824
[startup+110.003 s]
Raw data (loadavg): 0.94 0.91 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 109195 0 0 0 10705 294 0 0 25 0 1 0 718123562 36380672 8186 4294967295 134512640 134714508 3221224592 3221222320 1075828964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8882 8186 1111 63 0 8819 0
vsize: 35528
[startup+120.004 s]
Raw data (loadavg): 0.95 0.91 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 123478 0 0 0 11671 328 0 0 25 0 1 0 718123562 39358464 8781 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 8781 1111 63 0 9546 0
vsize: 38436
[startup+130.004 s]
Raw data (loadavg): 0.96 0.92 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 133629 0 0 0 12649 351 0 0 25 0 1 0 718123562 40841216 9047 4294967295 134512640 134714508 3221224592 3221220604 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9971 9047 1111 63 0 9908 0
vsize: 39884
[startup+140.003 s]
Raw data (loadavg): 0.96 0.92 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 142395 0 0 0 13629 371 0 0 25 0 1 0 718123562 41209856 9217 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10061 9217 1111 63 0 9998 0
vsize: 40244
[startup+150.004 s]
Raw data (loadavg): 0.97 0.92 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 149518 0 0 0 14612 388 0 0 25 0 1 0 718123562 41095168 9201 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10033 9201 1111 63 0 9970 0
vsize: 40132
[startup+160.004 s]
Raw data (loadavg): 0.97 0.92 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 155610 0 0 0 15596 404 0 0 25 0 1 0 718123562 41742336 9338 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10191 9338 1111 63 0 10128 0
vsize: 40764
[startup+170.005 s]
Raw data (loadavg): 0.98 0.92 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 171890 0 0 0 16560 440 0 0 25 0 1 0 718123562 42745856 9602 4294967295 134512640 134714508 3221224592 3221222416 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10436 9602 1111 63 0 10373 0
vsize: 41744
[startup+180.005 s]
Raw data (loadavg): 0.98 0.93 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 184550 0 0 0 17531 470 0 0 25 0 1 0 718123562 44453888 9932 4294967295 134512640 134714508 3221224592 3221220604 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10853 9932 1111 63 0 10790 0
vsize: 43412
[startup+190.005 s]
Raw data (loadavg): 0.98 0.93 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 191536 0 0 0 18516 485 0 0 25 0 1 0 718123562 44380160 10009 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10835 10009 1111 63 0 10772 0
vsize: 43340
[startup+200.005 s]
Raw data (loadavg): 0.98 0.93 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 200767 0 0 0 19495 506 0 0 25 0 1 0 718123562 45457408 10146 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11098 10146 1111 63 0 11035 0
vsize: 44392
[startup+210.005 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 222033 0 0 0 20449 552 0 0 25 0 1 0 718123562 46694400 10575 4294967295 134512640 134714508 3221224592 3221222656 1074153734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11400 10575 1111 63 0 11337 0
vsize: 45600
[startup+220.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 244046 0 0 0 21403 599 0 0 25 0 1 0 718123562 49188864 11043 4294967295 134512640 134714508 3221224592 3221222016 1076062194 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12009 11043 1111 63 0 11946 0
vsize: 48036
[startup+230.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 256227 0 0 0 22375 626 0 0 25 0 1 0 718123562 49254400 11220 4294967295 134512640 134714508 3221224592 3221222504 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12025 11220 1111 63 0 11962 0
vsize: 48100
[startup+240.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 267044 0 0 0 23349 653 0 0 25 0 1 0 718123562 50106368 11422 4294967295 134512640 134714508 3221224592 3221223184 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12233 11422 1111 63 0 12170 0
vsize: 48932
[startup+250.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 275799 0 0 0 24330 672 0 0 25 0 1 0 718123562 51470336 11578 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12566 11578 1111 63 0 12503 0
vsize: 50264
[startup+260.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 286352 0 0 0 25307 694 0 0 25 0 1 0 718123562 52633600 11836 4294967295 134512640 134714508 3221224592 3221221712 1074834489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12850 11836 1111 63 0 12787 0
vsize: 51400
[startup+270.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 295570 0 0 0 26287 715 0 0 25 0 1 0 718123562 52322304 11970 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12774 11970 1111 63 0 12711 0
vsize: 51096
[startup+280.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 302286 0 0 0 27272 731 0 0 25 0 1 0 718123562 54505472 12407 4294967295 134512640 134714508 3221224592 3221220800 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13307 12407 1111 63 0 13244 0
vsize: 53228
[startup+290.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 308575 0 0 0 28257 746 0 0 25 0 1 0 718123562 53784576 12194 4294967295 134512640 134714508 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13131 12194 1111 63 0 13068 0
vsize: 52524
[startup+300.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 315336 0 0 0 29241 761 0 0 25 0 1 0 718123562 53424128 12240 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13043 12240 1111 63 0 12980 0
vsize: 52172
[startup+310.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 321748 0 0 0 30227 776 0 0 25 0 1 0 718123562 53817344 12336 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13139 12336 1111 63 0 13076 0
vsize: 52556
[startup+320.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 329395 0 0 0 31208 795 0 0 25 0 1 0 718123562 54353920 12479 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13270 12479 1111 63 0 13207 0
vsize: 53080
[startup+330.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 339507 0 0 0 32182 820 0 0 25 0 1 0 718123562 55693312 12677 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13597 12677 1111 63 0 13534 0
vsize: 54388
[startup+340.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 349346 0 0 0 33158 845 0 0 25 0 1 0 718123562 56475648 12845 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13788 12845 1111 63 0 13725 0
vsize: 55152
[startup+350.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 357682 0 0 0 34139 864 0 0 25 0 1 0 718123562 56754176 12935 4294967295 134512640 134714508 3221224592 3221221184 1074887997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13669 12881 1111 63 0 13606 0
vsize: 55424
[startup+360.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 367244 0 0 0 35118 885 0 0 25 0 1 0 718123562 56721408 13061 4294967295 134512640 134714508 3221224592 3221223176 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13848 13061 1111 63 0 13785 0
vsize: 55392
[startup+370.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 373782 0 0 0 36102 901 0 0 25 0 1 0 718123562 58003456 13230 4294967295 134512640 134714508 3221224592 3221220524 1074788162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14161 13230 1111 63 0 14098 0
vsize: 56644
[startup+380.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 376832 0 0 0 37094 909 0 0 25 0 1 0 718123562 59686912 13706 4294967295 134512640 134714508 3221224592 3221220928 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14572 13706 1111 63 0 14509 0
vsize: 58288
[startup+390.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 387672 0 0 0 38071 932 0 0 25 0 1 0 718123562 58507264 13471 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14284 13471 1111 63 0 14221 0
vsize: 57136
[startup+400.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 407700 0 0 0 39025 978 0 0 25 0 1 0 718123562 59711488 13783 4294967295 134512640 134714508 3221224592 3221221696 1074138829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14627 13785 1111 63 0 14564 0
vsize: 58312
[startup+410.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 426619 0 0 0 39983 1021 0 0 25 0 1 0 718123562 61448192 14218 4294967295 134512640 134714508 3221224592 3221222944 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15002 14218 1111 63 0 14939 0
vsize: 60008
[startup+420.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 436009 0 0 0 40962 1042 0 0 25 0 1 0 718123562 62873600 14436 4294967295 134512640 134714508 3221224592 3221220752 1074794549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15350 14436 1111 63 0 15287 0
vsize: 61400
[startup+430.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 448264 0 0 0 41931 1073 0 0 25 0 1 0 718123562 63909888 14652 4294967295 134512640 134714508 3221224592 3221220864 1074961251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15603 14652 1111 63 0 15540 0
vsize: 62412
[startup+440.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 458943 0 0 0 42908 1096 0 0 25 0 1 0 718123562 63692800 14759 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15550 14759 1111 63 0 15487 0
vsize: 62200
[startup+450.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 469285 0 0 0 43886 1119 0 0 25 0 1 0 718123562 64466944 14948 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15739 14948 1111 63 0 15676 0
vsize: 62956
[startup+460.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 480206 0 0 0 44860 1145 0 0 25 0 1 0 718123562 65961984 15152 4294967295 134512640 134714508 3221224592 3221220468 1074786520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16104 15152 1111 63 0 16041 0
vsize: 64416
[startup+470.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 488939 0 0 0 45840 1165 0 0 25 0 1 0 718123562 65388544 15173 4294967295 134512640 134714508 3221224592 3221221712 1074865092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16160 15179 1111 63 0 16097 0
vsize: 63856
[startup+480.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 505428 0 0 0 46803 1202 0 0 25 0 1 0 718123562 68653056 15694 4294967295 134512640 134714508 3221224592 3221220960 1075894546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 15695 1111 63 0 16698 0
vsize: 67044
[startup+490.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 520073 0 0 0 47773 1233 0 0 25 0 1 0 718123562 71168000 16176 4294967295 134512640 134714508 3221224592 3221221360 1076084152 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17375 16176 1111 63 0 17312 0
vsize: 69500
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 541682 0 0 0 48726 1279 0 0 25 0 1 0 718123562 72216576 16572 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17631 16572 1111 63 0 17568 0
vsize: 70524
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 551335 0 0 0 49704 1302 0 0 25 0 1 0 718123562 73555968 16768 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17958 16768 1111 63 0 17895 0
vsize: 71832
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 578802 0 0 0 50645 1360 0 0 25 0 1 0 718123562 74924032 17233 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18292 17233 1111 63 0 18229 0
vsize: 73168
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 599485 0 0 0 51597 1408 0 0 25 0 1 0 718123562 76980224 17714 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18794 17714 1111 63 0 18731 0
vsize: 75176
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 607130 0 0 0 52581 1424 0 0 25 0 1 0 718123562 77475840 17823 4294967295 134512640 134714508 3221224592 3221222592 1074916491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18915 17823 1111 63 0 18852 0
vsize: 75660
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 615367 0 0 0 53562 1443 0 0 25 0 1 0 718123562 78004224 17958 4294967295 134512640 134714508 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19044 17958 1111 63 0 18981 0
vsize: 76176
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 625150 0 0 0 54541 1464 0 0 25 0 1 0 718123562 79859712 18288 4294967295 134512640 134714508 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19497 18288 1111 63 0 19434 0
vsize: 77988
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 636279 0 0 0 55515 1490 0 0 25 0 1 0 718123562 79192064 18245 4294967295 134512640 134714508 3221224592 3221222592 1074918198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19334 18245 1111 63 0 19271 0
vsize: 77336
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 642098 0 0 0 56502 1504 0 0 25 0 1 0 718123562 80527360 18472 4294967295 134512640 134714508 3221224592 3221220820 1075115028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19660 18472 1111 63 0 19597 0
vsize: 78640
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 647800 0 0 0 57487 1519 0 0 25 0 1 0 718123562 79646720 18377 4294967295 134512640 134714508 3221224592 3221222532 1077378699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19445 18377 1111 63 0 19382 0
vsize: 77780
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 653014 0 0 0 58474 1532 0 0 25 0 1 0 718123562 81494016 18807 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19896 18807 1111 63 0 19833 0
vsize: 79584
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 655769 0 0 0 59467 1539 0 0 25 0 1 0 718123562 80867328 18649 4294967295 134512640 134714508 3221224592 3221222592 1074918335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19743 18649 1111 63 0 19680 0
vsize: 78972
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 662231 0 0 0 60452 1554 0 0 25 0 1 0 718123562 81436672 18685 4294967295 134512640 134714508 3221224592 3221220692 1075964237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19882 18685 1111 63 0 19819 0
vsize: 79528
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 668525 0 0 0 61436 1570 0 0 25 0 1 0 718123562 81412096 18647 4294967295 134512640 134714508 3221224592 3221220720 1075112389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19876 18647 1111 63 0 19813 0
vsize: 79504
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 676595 0 0 0 62416 1590 0 0 25 0 1 0 718123562 80437248 18571 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19638 18571 1111 63 0 19575 0
vsize: 78552
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 685420 0 0 0 63395 1611 0 0 25 0 1 0 718123562 80797696 18659 4294967295 134512640 134714508 3221224592 3221223072 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19726 18659 1111 63 0 19663 0
vsize: 78904
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 699877 0 0 0 64365 1641 0 0 25 0 1 0 718123562 82112512 18938 4294967295 134512640 134714508 3221224592 3221221872 1074140044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20047 18938 1111 63 0 19984 0
vsize: 80188
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 707811 0 0 0 65346 1660 0 0 25 0 1 0 718123562 82186240 18993 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20065 18993 1111 63 0 20002 0
vsize: 80260
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 717216 0 0 0 66326 1681 0 0 25 0 1 0 718123562 83755008 19212 4294967295 134512640 134714508 3221224592 3221221136 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20448 19212 1111 63 0 20385 0
vsize: 81792
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 733316 0 0 0 67290 1717 0 0 25 0 1 0 718123562 84652032 19401 4294967295 134512640 134714508 3221224592 3221220964 1075965469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20667 19401 1111 63 0 20604 0
vsize: 82668
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 744585 0 0 0 68263 1745 0 0 25 0 1 0 718123562 85213184 19580 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20804 19580 1111 63 0 20741 0
vsize: 83216
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 758756 0 0 0 69228 1779 0 0 25 0 1 0 718123562 86368256 19866 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21086 19866 1111 63 0 21023 0
vsize: 84344
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 772330 0 0 0 70198 1810 0 0 25 0 1 0 718123562 87150592 20059 4294967295 134512640 134714508 3221224592 3221220820 1075115070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21277 20061 1111 63 0 21214 0
vsize: 85108
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 779559 0 0 0 71181 1827 0 0 25 0 1 0 718123562 87658496 20199 4294967295 134512640 134714508 3221224592 3221220556 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21401 20199 1111 63 0 21338 0
vsize: 85604
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 791043 0 0 0 72155 1853 0 0 25 0 1 0 718123562 87089152 20206 4294967295 134512640 134714508 3221224592 3221222320 1075828211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21262 20206 1111 63 0 21199 0
vsize: 85048
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 821614 0 0 0 73088 1920 0 0 25 0 1 0 718123562 90529792 21059 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22102 21059 1111 63 0 22039 0
vsize: 88408
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 847232 0 0 0 74030 1978 0 0 25 0 1 0 718123562 93605888 21780 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22853 21780 1111 63 0 22790 0
vsize: 91412
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 878652 0 0 0 74961 2047 0 0 25 0 1 0 718123562 96903168 22566 4294967295 134512640 134714508 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23658 22566 1111 63 0 23595 0
vsize: 94632
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 913518 0 0 0 75886 2123 0 0 25 0 1 0 718123562 101769216 23725 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24846 23725 1111 63 0 24783 0
vsize: 99384
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 949001 0 0 0 76808 2200 0 0 25 0 1 0 718123562 106688512 24788 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26047 24788 1111 63 0 25984 0
vsize: 104188
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 984637 0 0 0 77735 2274 0 0 25 0 1 0 718123562 110120960 25643 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26885 25643 1111 63 0 26822 0
vsize: 107540
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1022272 0 0 0 78655 2354 0 0 25 0 1 0 718123562 113299456 26299 4294967295 134512640 134714508 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27661 26299 1111 63 0 27598 0
vsize: 110644
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1057685 0 0 0 79583 2427 0 0 25 0 1 0 718123562 116813824 27043 4294967295 134512640 134714508 3221224592 3221220448 1074871027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28519 27043 1111 63 0 28456 0
vsize: 114076
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1076225 0 0 0 80542 2467 0 0 25 0 1 0 718123562 117424128 27374 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28668 27374 1111 63 0 28605 0
vsize: 114672
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1100199 0 0 0 81488 2521 0 0 25 0 1 0 718123562 120250368 27866 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29358 27866 1111 63 0 29295 0
vsize: 117432
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1127984 0 0 0 82429 2581 0 0 25 0 1 0 718123562 121921536 28440 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29993 28444 1111 63 0 29930 0
vsize: 119064
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1151834 0 0 0 83379 2631 0 0 25 0 1 0 718123562 124002304 28955 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30274 28955 1111 63 0 30211 0
vsize: 121096
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1185166 0 0 0 84307 2703 0 0 25 0 1 0 718123562 126820352 29621 4294967295 134512640 134714508 3221224592 3221223344 134538547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30962 29621 1111 63 0 30899 0
vsize: 123848
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1210236 0 0 0 85257 2753 0 0 25 0 1 0 718123562 128913408 30133 4294967295 134512640 134714508 3221224592 3221222832 1073987026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31473 30133 1111 63 0 31410 0
vsize: 125892
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1243380 0 0 0 86185 2825 0 0 25 0 1 0 718123562 137031680 31479 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33455 31479 1111 63 0 33392 0
vsize: 133820
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1278320 0 0 0 87111 2899 0 0 25 0 1 0 718123562 138608640 31782 4294967295 134512640 134714508 3221224592 3221222320 1075828488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33840 31782 1111 63 0 33777 0
vsize: 135360
[startup+910.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1312586 0 0 0 88038 2972 0 0 25 0 1 0 718123562 141549568 32466 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34558 32467 1111 63 0 34495 0
vsize: 138232
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1340168 0 0 0 88978 3033 0 0 25 0 1 0 718123562 144699392 33096 4294967295 134512640 134714508 3221224592 3221220768 1074882535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35327 33096 1111 63 0 35264 0
vsize: 141308
[startup+930.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1370474 0 0 0 89914 3097 0 0 25 0 1 0 718123562 146751488 33717 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35828 33717 1111 63 0 35765 0
vsize: 143312
[startup+940.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1400858 0 0 0 90850 3162 0 0 25 0 1 0 718123562 149348352 34393 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36462 34393 1111 63 0 36399 0
vsize: 145848
[startup+950.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1417518 0 0 0 91812 3200 0 0 25 0 1 0 718123562 150560768 34686 4294967295 134512640 134714508 3221224592 3221222704 1074867358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36758 34686 1111 63 0 36695 0
vsize: 147032
[startup+960.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1440707 0 0 0 92759 3253 0 0 25 0 1 0 718123562 152444928 35158 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37218 35158 1111 63 0 37155 0
vsize: 148872
[startup+970.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1459179 0 0 0 93719 3293 0 0 25 0 1 0 718123562 154861568 35555 4294967295 134512640 134714508 3221224592 3221220820 1075115070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37808 35555 1111 63 0 37745 0
vsize: 151232
[startup+980.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1473797 0 0 0 94687 3325 0 0 25 0 1 0 718123562 155168768 35795 4294967295 134512640 134714508 3221224592 3221223084 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37883 35795 1111 63 0 37820 0
vsize: 151532
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1500346 0 0 0 95631 3381 0 0 25 0 1 0 718123562 158326784 36536 4294967295 134512640 134714508 3221224592 3221221696 1074138998 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38654 36536 1111 63 0 38591 0
vsize: 154616
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1525959 0 0 0 96572 3440 0 0 25 0 1 0 718123562 161456128 37274 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39418 37274 1111 63 0 39355 0
vsize: 157672
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1546121 0 0 0 97526 3486 0 0 25 0 1 0 718123562 163233792 37710 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39852 37710 1111 63 0 39789 0
vsize: 159408
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1572731 0 0 0 98467 3545 0 0 25 0 1 0 718123562 167665664 38553 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40934 38553 1111 63 0 40871 0
vsize: 163736
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1598249 0 0 0 99410 3602 0 0 25 0 1 0 718123562 169693184 39206 4294967295 134512640 134714508 3221224592 3221223392 134622163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41429 39206 1111 63 0 41366 0
vsize: 165716
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1619266 0 0 0 100366 3646 0 0 25 0 1 0 718123562 171798528 39674 4294967295 134512640 134714508 3221224592 3221223148 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41943 39674 1111 63 0 41880 0
vsize: 167772
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1642170 0 0 0 101316 3697 0 0 25 0 1 0 718123562 174952448 40209 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42713 40211 1111 63 0 42650 0
vsize: 170852
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1662183 0 0 0 102270 3742 0 0 25 0 1 0 718123562 176439296 40781 4294967295 134512640 134714508 3221224592 3221223320 134622828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43076 40781 1111 63 0 43013 0
vsize: 172304
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1688561 0 0 0 103212 3800 0 0 25 0 1 0 718123562 179437568 41510 4294967295 134512640 134714508 3221224592 3221221696 1074138892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43808 41510 1111 63 0 43745 0
vsize: 175232
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12174
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1709146 0 0 0 104170 3843 0 0 25 0 1 0 718123562 181993472 41920 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44432 41922 1111 63 0 44369 0
vsize: 177728
[startup+1090.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 12227
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1738080 0 0 0 105112 3901 0 0 25 0 1 0 718123562 183775232 42561 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44867 42561 1111 63 0 44804 0
vsize: 179468
[startup+1100.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 12227
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1752592 0 0 0 106079 3934 0 0 25 0 1 0 718123562 184958976 42855 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45156 42855 1111 63 0 45093 0
vsize: 180624
[startup+1110.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 12227
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1764389 0 0 0 107050 3963 0 0 25 0 1 0 718123562 185942016 43068 4294967295 134512640 134714508 3221224592 3221222592 1074918664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45396 43068 1111 63 0 45333 0
vsize: 181584
[startup+1120.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 12227
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1776413 0 0 0 108024 3989 0 0 25 0 1 0 718123562 186458112 43206 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45522 43206 1111 63 0 45459 0
vsize: 182088
[startup+1130.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 12227
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1789280 0 0 0 108996 4018 0 0 25 0 1 0 718123562 187600896 43440 4294967295 134512640 134714508 3221224592 3221222560 1074208232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45801 43440 1111 63 0 45738 0
vsize: 183204
[startup+1140.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 12229
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1810491 0 0 0 109949 4064 0 0 25 0 1 0 718123562 190771200 44020 4294967295 134512640 134714508 3221224592 3221221104 1075240425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46575 44020 1111 63 0 46512 0
vsize: 186300
[startup+1150.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 12231
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1833249 0 0 0 110899 4114 0 0 25 0 1 0 718123562 193331200 44629 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47200 44629 1111 63 0 47137 0
vsize: 188800
[startup+1160.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 12231
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1844239 0 0 0 111875 4138 0 0 25 0 1 0 718123562 193122304 44766 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47149 44766 1111 63 0 47086 0
vsize: 188596
[startup+1170.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 12231
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1862662 0 0 0 112836 4178 0 0 25 0 1 0 718123562 194838528 45166 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47568 45166 1111 63 0 47505 0
vsize: 190272
[startup+1175.29 s]
Raw data (loadavg): 1.01 0.99 0.91 1/54 12231
Raw data (stat): 12174 (bsolo_lpr) R 12173 8378 8377 0 -1 0 1862662 0 0 0 112836 4178 0 0 25 0 1 0 718123562 194838528 45166 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47568 45166 1111 63 0 47505 0
vsize: 0

Child status: 10
Real time (s): 1175.29
CPU time (s): 1175.43
CPU user time (s): 1133.35
CPU system time (s): 42.0836
CPU usage (%): 100.012
Max. virtual memory (Kb): 190272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	19712
#### END VERIFIER DATA ####