PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	60
Total number of constraints	90
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	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 25837

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 22:10:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17252 boxname=wulflinc31 idbench=1328 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sentoy.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sentoy.opb
IDLAUNCH: 17252
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        867708 kB
Buffers:         27668 kB
Cached:         119616 kB
SwapCached:       1024 kB
Active:          83324 kB
Inactive:        66084 kB
HighTotal:      131008 kB
HighFree:        12404 kB
LowTotal:       903652 kB
LowFree:        855304 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            11872 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 22:29:45 (client local time) WITH STATUS 10 IN 1175.33 SECONDS
stats: 17252 0 1175.33 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 60 variables and 30 constraints.
c After prepocess the problem consists of 60 variables and 30 constraints.
c preprocess terminated 0.134 s
c Initial Lower Bound: -9228
c Lower Bound Elapsed time: 0.019
c Use computed LB before first solution.
c NEW SOLUTION FOUND: -4331 @ 1.217
c NEW SOLUTION FOUND: -4347 @ 1.839
c NEW SOLUTION FOUND: -4547 @ 6.879
c NEW SOLUTION FOUND: -4733 @ 492.17
c NEW SOLUTION FOUND: -4735 @ 492.18
c NEW SOLUTION FOUND: -4741 @ 492.202
c NEW SOLUTION FOUND: -4784 @ 492.208
c NEW SOLUTION FOUND: -4811 @ 492.215
c NEW SOLUTION FOUND: -4831 @ 492.23
c NEW SOLUTION FOUND: -4840 @ 492.407
c NEW SOLUTION FOUND: -4859 @ 492.416
c NEW SOLUTION FOUND: -4863 @ 492.556
c NEW SOLUTION FOUND: -4891 @ 492.725
c NEW SOLUTION FOUND: -4895 @ 496.295
c NEW SOLUTION FOUND: -4909 @ 496.367
c NEW SOLUTION FOUND: -4922 @ 496.904
c NEW SOLUTION FOUND: -4928 @ 499.466
c NEW SOLUTION FOUND: -4934 @ 500.663
c NEW SOLUTION FOUND: -4957 @ 501.182
c NEW SOLUTION FOUND: -4962 @ 501.72
c NEW SOLUTION FOUND: -4969 @ 510.349
c NEW SOLUTION FOUND: -4996 @ 510.41
c NEW SOLUTION FOUND: -5000 @ 513.388
c NEW SOLUTION FOUND: -5033 @ 513.42
c NEW SOLUTION FOUND: -5047 @ 514.241
c NEW SOLUTION FOUND: -5079 @ 524.873
c NEW SOLUTION FOUND: -5119 @ 530.371
c NEW SOLUTION FOUND: -5120 @ 544.896
c NEW SOLUTION FOUND: -5124 @ 546.899
c NEW SOLUTION FOUND: -5138 @ 549.96
c NEW SOLUTION FOUND: -5142 @ 564.203
c NEW SOLUTION FOUND: -5146 @ 569.744
c NEW SOLUTION FOUND: -5152 @ 575.24
c NEW SOLUTION FOUND: -5153 @ 577.9
c NEW SOLUTION FOUND: -5180 @ 599.166
c NEW SOLUTION FOUND: -5207 @ 616.966
c NEW SOLUTION FOUND: -5211 @ 636.183
c NEW SOLUTION FOUND: -5226 @ 713.766
c NEW SOLUTION FOUND: -5228 @ 754.861
c NEW SOLUTION FOUND: -5269 @ 754.91
c NEW SOLUTION FOUND: -5283 @ 826.331
c NEW SOLUTION FOUND: -5312 @ 845.766
s SATISFIABLE
v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 Y19_bit0 -Y20_bit0 Y21_bit0 Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 Y34_bit0 -Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y40_bit0 Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 
c Exit Code: 10
c Total time: 1175.01 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.85 0.95 0.90 2/55 29943
Raw data (stat): 29943 (runsolver) R 29942 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 816428522 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0017 s]
Raw data (loadavg): 0.87 0.95 0.90 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 8543 0 0 0 950 45 0 0 25 0 1 0 816428522 17682432 3544 4294967295 134512640 134714508 3221221776 3221217724 1074788968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4317 3544 1111 63 0 4254 0
vsize: 17268
[startup+20.0022 s]
Raw data (loadavg): 0.89 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 14712 0 0 0 1916 79 0 0 25 0 1 0 816428522 25464832 5505 4294967295 134512640 134714508 3221221776 3221219696 1075802507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6217 5505 1111 63 0 6154 0
vsize: 24868
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 21200 0 0 0 2880 115 0 0 25 0 1 0 816428522 35049472 7710 4294967295 134512640 134714508 3221221776 3221217772 1074788239 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8557 7710 1111 63 0 8494 0
vsize: 34228
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 27094 0 0 0 3846 150 0 0 25 0 1 0 816428522 42528768 9632 4294967295 134512640 134714508 3221221776 3221220032 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10383 9632 1111 63 0 10320 0
vsize: 41532
[startup+50.003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 33203 0 0 0 4813 182 0 0 25 0 1 0 816428522 52658176 11782 4294967295 134512640 134714508 3221221776 3221219504 1075828475 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12856 11782 1111 63 0 12793 0
vsize: 51424
[startup+60.0039 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 38766 0 0 0 5784 212 0 0 25 0 1 0 816428522 59662336 13507 4294967295 134512640 134714508 3221221776 3221220448 134650213 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14566 13507 1111 63 0 14503 0
vsize: 58264
[startup+70.0053 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 44046 0 0 0 6757 239 0 0 25 0 1 0 816428522 66158592 15111 4294967295 134512640 134714508 3221221776 3221219864 1077377457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16152 15111 1111 63 0 16089 0
vsize: 64608
[startup+80.0058 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 48612 0 0 0 7732 264 0 0 25 0 1 0 816428522 71806976 16465 4294967295 134512640 134714508 3221221776 3221220208 1073990361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17531 16465 1111 63 0 17468 0
vsize: 70124
[startup+90.0057 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 53810 0 0 0 8704 292 0 0 25 0 1 0 816428522 78585856 18182 4294967295 134512640 134714508 3221221776 3221219776 1074918472 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19186 18182 1111 63 0 19123 0
vsize: 76744
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 58741 0 0 0 9677 319 0 0 25 0 1 0 816428522 84406272 19587 4294967295 134512640 134714508 3221221776 3221218844 1075111812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20607 19587 1111 63 0 20544 0
vsize: 82428
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 63994 0 0 0 10649 347 0 0 25 0 1 0 816428522 96468992 21771 4294967295 134512640 134714508 3221221776 3221218432 1075966563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23552 21771 1111 63 0 23489 0
vsize: 94208
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 70319 0 0 0 11619 378 0 0 25 0 1 0 816428522 102404096 23173 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25001 23173 1111 63 0 24938 0
vsize: 100004
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 80113 0 0 0 12589 408 0 0 25 0 1 0 816428522 107544576 24407 4294967295 134512640 134714508 3221221776 3221218896 1074834355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26256 24407 1111 63 0 26193 0
vsize: 105024
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 91647 0 0 0 13550 447 0 0 25 0 1 0 816428522 113782784 25977 4294967295 134512640 134714508 3221221776 3221219928 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27779 25977 1111 63 0 27716 0
vsize: 111116
[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 103241 0 0 0 14508 490 0 0 25 0 1 0 816428522 119603200 27368 4294967295 134512640 134714508 3221221776 3221217984 1074815494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29200 27368 1111 63 0 29137 0
vsize: 116800
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 114779 0 0 0 15467 531 0 0 25 0 1 0 816428522 125399040 28834 4294967295 134512640 134714508 3221221776 3221220412 1073986672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30615 28834 1111 63 0 30552 0
vsize: 122460
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 125627 0 0 0 16426 572 0 0 25 0 1 0 816428522 131805184 30336 4294967295 134512640 134714508 3221221776 3221218680 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32179 30336 1111 63 0 32116 0
vsize: 128716
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 137173 0 0 0 17388 610 0 0 25 0 1 0 816428522 137744384 31867 4294967295 134512640 134714508 3221221776 3221220368 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33629 31867 1111 63 0 33566 0
vsize: 134516
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 149222 0 0 0 18346 652 0 0 25 0 1 0 816428522 144510976 33560 4294967295 134512640 134714508 3221221776 3221220436 134649894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35281 33560 1111 63 0 35218 0
vsize: 141124
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 160792 0 0 0 19307 691 0 0 25 0 1 0 816428522 150130688 34974 4294967295 134512640 134714508 3221221776 3221217936 1075091300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36653 34974 1111 63 0 36590 0
vsize: 146612
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 172262 0 0 0 20272 727 0 0 25 0 1 0 816428522 155635712 36413 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37997 36413 1111 63 0 37934 0
vsize: 151988
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 183540 0 0 0 21233 765 0 0 25 0 1 0 816428522 161443840 37845 4294967295 134512640 134714508 3221221776 3221220368 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39415 37845 1111 63 0 39352 0
vsize: 157660
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 195488 0 0 0 22202 797 0 0 25 0 1 0 816428522 177881088 40042 4294967295 134512640 134714508 3221221776 3221218236 1075602595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43394 40038 1111 63 0 43331 0
vsize: 173712
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 204273 0 0 0 23173 826 0 0 25 0 1 0 816428522 182149120 41062 4294967295 134512640 134714508 3221221776 3221219924 1077378662 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44470 41062 1111 63 0 44407 0
vsize: 177880
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 216026 0 0 0 24134 865 0 0 25 0 1 0 816428522 187777024 42332 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45905 42332 1111 63 0 45842 0
vsize: 183376
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 227838 0 0 0 25098 901 0 0 25 0 1 0 816428522 193232896 43611 4294967295 134512640 134714508 3221221776 3221219776 1074918472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47176 43611 1111 63 0 47113 0
vsize: 188704
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 239414 0 0 0 26064 936 0 0 25 0 1 0 816428522 198508544 44848 4294967295 134512640 134714508 3221221776 3221218088 1074960597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48464 44848 1111 63 0 48401 0
vsize: 193856
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 250908 0 0 0 27025 975 0 0 25 0 1 0 816428522 204062720 46215 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49820 46215 1111 63 0 49757 0
vsize: 199280
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 262647 0 0 0 27990 1010 0 0 25 0 1 0 816428522 209141760 47440 4294967295 134512640 134714508 3221221776 3221218292 1075132451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51060 47440 1111 63 0 50997 0
vsize: 204240
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 274066 0 0 0 28952 1048 0 0 25 0 1 0 816428522 214110208 48718 4294967295 134512640 134714508 3221221776 3221218064 1074815647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52273 48718 1111 63 0 52210 0
vsize: 209092
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 285374 0 0 0 29913 1087 0 0 25 0 1 0 816428522 219348992 50074 4294967295 134512640 134714508 3221221776 3221219936 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53552 50074 1111 63 0 53489 0
vsize: 214208
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 296974 0 0 0 30876 1125 0 0 25 0 1 0 816428522 225665024 51568 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55094 51568 1111 63 0 55031 0
vsize: 220376
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 308361 0 0 0 31837 1164 0 0 25 0 1 0 816428522 231006208 52882 4294967295 134512640 134714508 3221221776 3221218248 1074968485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56367 52881 1111 63 0 56304 0
vsize: 225592
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 319820 0 0 0 32800 1200 0 0 25 0 1 0 816428522 236646400 54283 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57775 54283 1111 63 0 57712 0
vsize: 231100
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 331296 0 0 0 33760 1240 0 0 25 0 1 0 816428522 242376704 55690 4294967295 134512640 134714508 3221221776 3221218696 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59157 55688 1111 63 0 59094 0
vsize: 236696
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 341391 0 0 0 34728 1274 0 0 25 0 1 0 816428522 247730176 56963 4294967295 134512640 134714508 3221221776 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60481 56963 1111 63 0 60418 0
vsize: 241924
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 353180 0 0 0 35690 1312 0 0 25 0 1 0 816428522 252911616 58179 4294967295 134512640 134714508 3221221776 3221218780 1074621096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61714 58178 1111 63 0 61651 0
vsize: 246984
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 364928 0 0 0 36651 1351 0 0 25 0 1 0 816428522 257957888 59475 4294967295 134512640 134714508 3221221776 3221218696 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62945 59473 1111 63 0 62882 0
vsize: 251912
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 376388 0 0 0 37611 1391 0 0 25 0 1 0 816428522 263110656 60759 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64189 60758 1111 63 0 64126 0
vsize: 256944
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 387726 0 0 0 38576 1426 0 0 25 0 1 0 816428522 267751424 61984 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65369 61984 1111 63 0 65306 0
vsize: 261476
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 399814 0 0 0 39541 1461 0 0 25 0 1 0 816428522 274030592 63560 4294967295 134512640 134714508 3221221776 3221220176 1076082813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66902 63560 1111 63 0 66839 0
vsize: 267608
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 411128 0 0 0 40502 1500 0 0 25 0 1 0 816428522 279420928 64827 4294967295 134512640 134714508 3221221776 3221218028 1075088528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68218 64827 1111 63 0 68155 0
vsize: 272872
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 422920 0 0 0 41467 1535 0 0 25 0 1 0 816428522 284381184 66139 4294967295 134512640 134714508 3221221776 3221219596 1077377762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69429 66139 1111 63 0 69366 0
vsize: 277716
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 434374 0 0 0 42429 1573 0 0 25 0 1 0 816428522 289714176 67448 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70731 67448 1111 63 0 70668 0
vsize: 282924
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 446189 0 0 0 43394 1609 0 0 25 0 1 0 816428522 294420480 68666 4294967295 134512640 134714508 3221221776 3221218144 1075894546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71880 68666 1111 63 0 71817 0
vsize: 287520
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 457428 0 0 0 44357 1646 0 0 25 0 1 0 816428522 298774528 69801 4294967295 134512640 134714508 3221221776 3221220392 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72943 69801 1111 63 0 72880 0
vsize: 291772
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 468968 0 0 0 45322 1681 0 0 25 0 1 0 816428522 304082944 71054 4294967295 134512640 134714508 3221221776 3221217920 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74239 71054 1111 63 0 74176 0
vsize: 296956
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 480836 0 0 0 46288 1715 0 0 25 0 1 0 816428522 308690944 72278 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75364 72278 1111 63 0 75301 0
vsize: 301456
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 490416 0 0 0 47259 1744 0 0 25 0 1 0 816428522 312328192 73207 4294967295 134512640 134714508 3221221776 3221220352 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76252 73207 1111 63 0 76189 0
vsize: 305008
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 503872 0 0 0 48218 1785 0 0 25 0 1 0 816428522 340516864 76476 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83134 76477 1111 63 0 83071 0
vsize: 332536
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 522366 0 0 0 49158 1846 0 0 25 0 1 0 816428522 348508160 78349 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85085 78349 1111 63 0 85022 0
vsize: 340340
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 543129 0 0 0 50099 1903 0 0 25 0 1 0 816428522 354459648 79888 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86538 79888 1111 63 0 86475 0
vsize: 346152
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 565530 0 0 0 51032 1971 0 0 25 0 1 0 816428522 364195840 81881 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88915 81881 1111 63 0 88852 0
vsize: 355660
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 587808 0 0 0 51964 2039 0 0 25 0 1 0 816428522 372637696 83801 4294967295 134512640 134714508 3221221776 3221220304 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90976 83801 1111 63 0 90913 0
vsize: 363904
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 609274 0 0 0 52900 2103 0 0 25 0 1 0 816428522 379965440 85569 4294967295 134512640 134714508 3221221776 3221219876 1074206229 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92765 85569 1111 63 0 92702 0
vsize: 371060
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 630156 0 0 0 53842 2161 0 0 25 0 1 0 816428522 386658304 87173 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94399 87173 1111 63 0 94336 0
vsize: 377596
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 651854 0 0 0 54775 2228 0 0 25 0 1 0 816428522 394190848 88929 4294967295 134512640 134714508 3221221776 3221220392 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96238 88929 1111 63 0 96175 0
vsize: 384952
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 671327 0 0 0 55720 2284 0 0 25 0 1 0 816428522 399540224 90206 4294967295 134512640 134714508 3221221776 3221218144 1075894549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97544 90206 1111 63 0 97481 0
vsize: 390176
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 676855 0 0 0 56706 2297 0 0 25 0 1 0 816428522 400551936 90544 4294967295 134512640 134714508 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97791 90544 1111 63 0 97728 0
vsize: 391164
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 692700 0 0 0 57671 2332 0 0 25 0 1 0 816428522 402653184 90717 4294967295 134512640 134714508 3221221776 3221217808 1075965301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98304 90717 1111 63 0 98241 0
vsize: 393216
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 720159 0 0 0 58609 2395 0 0 25 0 1 0 816428522 404094976 91463 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98656 91463 1111 63 0 98593 0
vsize: 394624
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 749645 0 0 0 59543 2461 0 0 25 0 1 0 816428522 406507520 92092 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99245 92092 1111 63 0 99182 0
vsize: 396980
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 778838 0 0 0 60480 2524 0 0 25 0 1 0 816428522 408834048 92705 4294967295 134512640 134714508 3221221776 3221219464 1077377254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99813 92705 1111 63 0 99750 0
vsize: 399252
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 812472 0 0 0 61402 2602 0 0 25 0 1 0 816428522 412012544 93499 4294967295 134512640 134714508 3221221776 3221220368 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100589 93499 1111 63 0 100526 0
vsize: 402356
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 849244 0 0 0 62325 2680 0 0 25 0 1 0 816428522 417337344 94839 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101889 94839 1111 63 0 101826 0
vsize: 407556
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 886752 0 0 0 63237 2767 0 0 25 0 1 0 816428522 423370752 96284 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103362 96284 1111 63 0 103299 0
vsize: 413448
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 923821 0 0 0 64153 2852 0 0 25 0 1 0 816428522 429780992 97543 4294967295 134512640 134714508 3221221776 3221218124 1073957240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104927 97543 1111 63 0 104864 0
vsize: 419708
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 961171 0 0 0 65069 2936 0 0 25 0 1 0 816428522 434659328 98826 4294967295 134512640 134714508 3221221776 3221218156 1075112635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106118 98826 1111 63 0 106055 0
vsize: 424472
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1000043 0 0 0 65983 3022 0 0 25 0 1 0 816428522 440860672 100220 4294967295 134512640 134714508 3221221776 3221217740 1074860560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107632 100220 1111 63 0 107569 0
vsize: 430528
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1038708 0 0 0 66895 3110 0 0 25 0 1 0 816428522 446382080 101662 4294967295 134512640 134714508 3221221776 3221218024 1074806209 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108980 101662 1111 63 0 108917 0
vsize: 435920
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1078299 0 0 0 67802 3203 0 0 25 0 1 0 816428522 453427200 103226 4294967295 134512640 134714508 3221221776 3221217920 1074969986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110700 103226 1111 63 0 110637 0
vsize: 442800
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1117208 0 0 0 68708 3298 0 0 25 0 1 0 816428522 458297344 104716 4294967295 134512640 134714508 3221221776 3221220224 1073990361 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111889 104716 1111 63 0 111826 0
vsize: 447556
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1149699 0 0 0 69639 3367 0 0 25 0 1 0 816428522 464519168 105960 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 113408 105960 1111 63 0 113345 0
vsize: 453632
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1187621 0 0 0 70551 3455 0 0 25 0 1 0 816428522 468373504 107322 4294967295 134512640 134714508 3221221776 3221220264 1074152785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114349 107322 1111 63 0 114286 0
vsize: 457396
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1226713 0 0 0 71462 3544 0 0 25 0 1 0 816428522 475955200 108902 4294967295 134512640 134714508 3221221776 3221217936 1075963939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116200 108902 1111 63 0 116137 0
vsize: 464800
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1264890 0 0 0 72378 3628 0 0 25 0 1 0 816428522 481607680 110353 4294967295 134512640 134714508 3221221776 3221217804 1074788110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 117580 110353 1111 63 0 117517 0
vsize: 470320
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1300685 0 0 0 73299 3708 0 0 25 0 1 0 816428522 484753408 111551 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 118736 111557 1111 63 0 118673 0
vsize: 473392
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1337720 0 0 0 74221 3786 0 0 25 0 1 0 816428522 489619456 112813 4294967295 134512640 134714508 3221221776 3221220392 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 119536 112813 1111 63 0 119473 0
vsize: 478144
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1373856 0 0 0 75139 3868 0 0 25 0 1 0 816428522 494182400 114009 4294967295 134512640 134714508 3221221776 3221220056 1074138327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120650 114009 1111 63 0 120587 0
vsize: 482600
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1409938 0 0 0 76063 3944 0 0 25 0 1 0 816428522 500477952 115220 4294967295 134512640 134714508 3221221776 3221217920 1074971892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 122187 115220 1111 63 0 122124 0
vsize: 488748
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1440170 0 0 0 76998 4009 0 0 25 0 1 0 816428522 504365056 116258 4294967295 134512640 134714508 3221221776 3221217960 1075964113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123136 116258 1111 63 0 123073 0
vsize: 492544
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1476367 0 0 0 77921 4087 0 0 25 0 1 0 816428522 507871232 117408 4294967295 134512640 134714508 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123992 117408 1111 63 0 123929 0
vsize: 495968
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1513340 0 0 0 78837 4170 0 0 25 0 1 0 816428522 514617344 118712 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 125639 118712 1111 63 0 125576 0
vsize: 502556
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1549681 0 0 0 79762 4246 0 0 25 0 1 0 816428522 519114752 119894 4294967295 134512640 134714508 3221221776 3221218048 1074961293 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126737 119894 1111 63 0 126674 0
vsize: 506948
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1586468 0 0 0 80679 4329 0 0 25 0 1 0 816428522 522321920 121079 4294967295 134512640 134714508 3221221776 3221219464 1077377325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127520 121079 1111 63 0 127457 0
vsize: 510080
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1621615 0 0 0 81604 4405 0 0 25 0 1 0 816428522 528519168 122215 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128839 122213 1111 63 0 128776 0
vsize: 516132
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1658117 0 0 0 82523 4486 0 0 25 0 1 0 816428522 533471232 123461 4294967295 134512640 134714508 3221221776 3221217916 1074790004 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 130242 123461 1111 63 0 130179 0
vsize: 520968
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1695224 0 0 0 83438 4571 0 0 25 0 1 0 816428522 537624576 124926 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131353 124926 1111 63 0 131290 0
vsize: 525024
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1732852 0 0 0 84351 4658 0 0 25 0 1 0 816428522 546455552 126800 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133412 126800 1111 63 0 133349 0
vsize: 533648
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1770046 0 0 0 85264 4745 0 0 25 0 1 0 816428522 549744640 128008 4294967295 134512640 134714508 3221221776 3221219608 1075894869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 134215 128008 1111 63 0 134152 0
vsize: 536860
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1806645 0 0 0 86184 4825 0 0 25 0 1 0 816428522 557010944 129473 4294967295 134512640 134714508 3221221776 3221217936 1075090629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 135601 129458 1111 63 0 135538 0
vsize: 543956
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1842887 0 0 0 87104 4905 0 0 25 0 1 0 816428522 561287168 130743 4294967295 134512640 134714508 3221221776 3221220032 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 137033 130743 1111 63 0 136970 0
vsize: 548132
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1869570 0 0 0 88045 4965 0 0 25 0 1 0 816428522 566022144 131575 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 138189 131575 1111 63 0 138126 0
vsize: 552756
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1905346 0 0 0 88963 5047 0 0 25 0 1 0 816428522 568676352 132629 4294967295 134512640 134714508 3221221776 3221218968 1074138306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 139225 132635 1111 63 0 139162 0
vsize: 555348
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1940249 0 0 0 89886 5124 0 0 25 0 1 0 816428522 573202432 133671 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 140330 133677 1111 63 0 140267 0
vsize: 559768
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1976470 0 0 0 90808 5202 0 0 25 0 1 0 816428522 577835008 134844 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141073 134844 1111 63 0 141010 0
vsize: 564292
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2012164 0 0 0 91729 5281 0 0 25 0 1 0 816428522 583757824 136006 4294967295 134512640 134714508 3221221776 3221217920 1074969777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 142519 136006 1111 63 0 142456 0
vsize: 570076
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2048940 0 0 0 92650 5360 0 0 25 0 1 0 816428522 586784768 137179 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143258 137179 1111 63 0 143195 0
vsize: 573032
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2084824 0 0 0 93567 5444 0 0 25 0 1 0 816428522 592916480 138333 4294967295 134512640 134714508 3221221776 3221217920 1074970976 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 144755 138333 1111 63 0 144692 0
vsize: 579020
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2120033 0 0 0 94491 5520 0 0 25 0 1 0 816428522 595419136 139408 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 145366 139408 1111 63 0 145303 0
vsize: 581464
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2156152 0 0 0 95411 5600 0 0 25 0 1 0 816428522 601329664 140520 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146809 140527 1111 63 0 146746 0
vsize: 587236
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2191641 0 0 0 96331 5680 0 0 25 0 1 0 816428522 603893760 141586 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 147435 141586 1111 63 0 147372 0
vsize: 589740
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2226066 0 0 0 97252 5760 0 0 25 0 1 0 816428522 607727616 142565 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 148371 142565 1111 63 0 148308 0
vsize: 593484
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2262259 0 0 0 98175 5837 0 0 25 0 1 0 816428522 613384192 143636 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 149752 143650 1111 63 0 149689 0
vsize: 599008
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2296424 0 0 0 99095 5917 0 0 25 0 1 0 816428522 615874560 144670 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 150360 144670 1111 63 0 150297 0
vsize: 601440
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2331779 0 0 0 100013 5998 0 0 25 0 1 0 816428522 621658112 145785 4294967295 134512640 134714508 3221221776 3221217904 1075111884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 151772 145785 1111 63 0 151709 0
vsize: 607088
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2338159 0 0 0 100998 6014 0 0 25 0 1 0 816428522 622399488 146021 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 151759 146019 1111 63 0 151696 0
vsize: 607812
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2373642 0 0 0 101921 6092 0 0 25 0 1 0 816428522 625627136 147180 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 152644 147178 1111 63 0 152581 0
vsize: 610964
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2412648 0 0 0 102842 6171 0 0 25 0 1 0 816428522 669962240 150566 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 163565 150566 1111 63 0 163502 0
vsize: 654260
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2447610 0 0 0 103769 6243 0 0 25 0 1 0 816428522 673628160 151518 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 164460 151521 1111 63 0 164397 0
vsize: 657840
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2482871 0 0 0 104693 6319 0 0 25 0 1 0 816428522 680869888 152735 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 165840 152729 1111 63 0 165777 0
vsize: 664912
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2518564 0 0 0 105613 6400 0 0 25 0 1 0 816428522 683724800 153892 4294967295 134512640 134714508 3221221776 3221220352 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 166925 153892 1111 63 0 166862 0
vsize: 667700
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2555278 0 0 0 106524 6489 0 0 25 0 1 0 816428522 688549888 155110 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 168491 155116 1111 63 0 168428 0
vsize: 672412
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2592511 0 0 0 107437 6577 0 0 25 0 1 0 816428522 696651776 156558 4294967295 134512640 134714508 3221221776 3221218112 1075114259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 170081 156558 1111 63 0 170018 0
vsize: 680324
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2627431 0 0 0 108358 6655 0 0 25 0 1 0 816428522 702472192 157753 4294967295 134512640 134714508 3221221776 3221217984 1074815425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 171502 157753 1111 63 0 171439 0
vsize: 686008
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2664221 0 0 0 109276 6738 0 0 25 0 1 0 816428522 707821568 159013 4294967295 134512640 134714508 3221221776 3221217984 1074815299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 172808 159013 1111 63 0 172745 0
vsize: 691232
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2700837 0 0 0 110197 6817 0 0 25 0 1 0 816428522 713420800 160234 4294967295 134512640 134714508 3221221776 3221218312 1076047667 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 174175 160234 1111 63 0 174112 0
vsize: 696700
[startup+1175.22 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29943
Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2700837 0 0 0 110197 6817 0 0 25 0 1 0 816428522 713420800 160234 4294967295 134512640 134714508 3221221776 3221218312 1076047667 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 174175 160234 1111 63 0 174112 0
vsize: 0

Child status: 10
Real time (s): 1175.22
CPU time (s): 1175.33
CPU user time (s): 1106.46
CPU system time (s): 68.8705
CPU usage (%): 100.009
Max. virtual memory (Kb): 696700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-5312
#### END VERIFIER DATA ####