PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.01784
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 26648

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 16:30:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12260 boxname=wulflinc12 idbench=944 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sentoy.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sentoy.opb
IDLAUNCH: 12260
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        870392 kB
Buffers:         35924 kB
Cached:         107464 kB
SwapCached:        568 kB
Active:          60744 kB
Inactive:        85124 kB
HighTotal:      131008 kB
HighFree:        19740 kB
LowTotal:       903652 kB
LowFree:        850652 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            12836 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:49:58 (client local time) WITH STATUS 10 IN 1175.33 SECONDS
stats: 12260 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.135 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.225
c NEW SOLUTION FOUND: -4347 @ 1.855
c NEW SOLUTION FOUND: -4547 @ 6.958
c NEW SOLUTION FOUND: -4733 @ 489.282
c NEW SOLUTION FOUND: -4735 @ 489.292
c NEW SOLUTION FOUND: -4741 @ 489.315
c NEW SOLUTION FOUND: -4784 @ 489.321
c NEW SOLUTION FOUND: -4811 @ 489.328
c NEW SOLUTION FOUND: -4831 @ 489.343
c NEW SOLUTION FOUND: -4840 @ 489.523
c NEW SOLUTION FOUND: -4859 @ 489.533
c NEW SOLUTION FOUND: -4863 @ 489.672
c NEW SOLUTION FOUND: -4891 @ 489.843
c NEW SOLUTION FOUND: -4895 @ 493.405
c NEW SOLUTION FOUND: -4909 @ 493.477
c NEW SOLUTION FOUND: -4922 @ 494.011
c NEW SOLUTION FOUND: -4928 @ 496.55
c NEW SOLUTION FOUND: -4934 @ 497.721
c NEW SOLUTION FOUND: -4957 @ 498.228
c NEW SOLUTION FOUND: -4962 @ 498.754
c NEW SOLUTION FOUND: -4969 @ 507.203
c NEW SOLUTION FOUND: -4996 @ 507.265
c NEW SOLUTION FOUND: -5000 @ 510.202
c NEW SOLUTION FOUND: -5033 @ 510.233
c NEW SOLUTION FOUND: -5047 @ 511.038
c NEW SOLUTION FOUND: -5079 @ 521.404
c NEW SOLUTION FOUND: -5119 @ 526.771
c NEW SOLUTION FOUND: -5120 @ 540.956
c NEW SOLUTION FOUND: -5124 @ 542.918
c NEW SOLUTION FOUND: -5138 @ 545.916
c NEW SOLUTION FOUND: -5142 @ 559.849
c NEW SOLUTION FOUND: -5146 @ 565.258
c NEW SOLUTION FOUND: -5152 @ 570.627
c NEW SOLUTION FOUND: -5153 @ 573.233
c NEW SOLUTION FOUND: -5180 @ 594.009
c NEW SOLUTION FOUND: -5207 @ 611.455
c NEW SOLUTION FOUND: -5211 @ 630.31
c NEW SOLUTION FOUND: -5226 @ 706.13
c NEW SOLUTION FOUND: -5228 @ 746.224
c NEW SOLUTION FOUND: -5269 @ 746.273
c NEW SOLUTION FOUND: -5283 @ 815.933
c NEW SOLUTION FOUND: -5312 @ 834.894
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.02 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.71 0.91 0.96 2/54 1691
Raw data (stat): 1691 (runsolver) R 1690 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773463149 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.76 0.91 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 8479 0 0 0 956 41 0 0 25 0 1 0 773463149 17469440 3523 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4265 3523 1111 63 0 4202 0
vsize: 17060
[startup+20.0066 s]
Raw data (loadavg): 0.79 0.91 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 14612 0 0 0 1922 76 0 0 25 0 1 0 773463149 25333760 5473 4294967295 134512640 134714508 3221224592 3221223084 134539296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6185 5473 1111 63 0 6122 0
vsize: 24740
[startup+30.01 s]
Raw data (loadavg): 0.82 0.92 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 21052 0 0 0 2890 108 0 0 25 0 1 0 773463149 34873344 7667 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8514 7667 1111 63 0 8451 0
vsize: 34056
[startup+40.0113 s]
Raw data (loadavg): 0.85 0.92 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 26881 0 0 0 3859 139 0 0 25 0 1 0 773463149 42291200 9570 4294967295 134512640 134714508 3221224592 3221222460 1077404740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10325 9570 1111 63 0 10262 0
vsize: 41300
[startup+50.0121 s]
Raw data (loadavg): 0.87 0.92 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 32940 0 0 0 4829 170 0 0 25 0 1 0 773463149 52326400 11682 4294967295 134512640 134714508 3221224592 3221221148 1075088528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12775 11682 1111 63 0 12712 0
vsize: 51100
[startup+60.013 s]
Raw data (loadavg): 0.89 0.92 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 38468 0 0 0 5797 202 0 0 25 0 1 0 773463149 59285504 13407 4294967295 134512640 134714508 3221224592 3221222864 1074056262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14474 13407 1111 63 0 14411 0
vsize: 57896
[startup+70.0138 s]
Raw data (loadavg): 0.91 0.92 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 43728 0 0 0 6767 232 0 0 25 0 1 0 773463149 65961984 15014 4294967295 134512640 134714508 3221224592 3221221112 1077410289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16104 15014 1111 63 0 16041 0
vsize: 64416
[startup+80.0147 s]
Raw data (loadavg): 0.92 0.93 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 48351 0 0 0 7743 256 0 0 25 0 1 0 773463149 71516160 16400 4294967295 134512640 134714508 3221224592 3221221536 1074620277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17460 16400 1111 63 0 17397 0
vsize: 69840
[startup+90.0158 s]
Raw data (loadavg): 0.93 0.93 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 53393 0 0 0 8717 282 0 0 25 0 1 0 773463149 78065664 18059 4294967295 134512640 134714508 3221224592 3221222496 1074056052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19059 18059 1111 63 0 18996 0
vsize: 76236
[startup+100.016 s]
Raw data (loadavg): 0.94 0.93 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 58374 0 0 0 9691 309 0 0 25 0 1 0 773463149 83804160 19491 4294967295 134512640 134714508 3221224592 3221222320 1075832080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20460 19491 1111 63 0 20397 0
vsize: 81840
[startup+110.017 s]
Raw data (loadavg): 0.95 0.93 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 63551 0 0 0 10667 333 0 0 25 0 1 0 773463149 95698944 21612 4294967295 134512640 134714508 3221224592 3221220956 1075522564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23364 21612 1111 63 0 23301 0
vsize: 93456
[startup+120.018 s]
Raw data (loadavg): 0.96 0.93 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 69116 0 0 0 11641 359 0 0 25 0 1 0 773463149 101728256 23000 4294967295 134512640 134714508 3221224592 3221221712 1074838209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24836 23000 1111 63 0 24773 0
vsize: 99344
[startup+130.018 s]
Raw data (loadavg): 0.96 0.94 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 78824 0 0 0 12608 391 0 0 25 0 1 0 773463149 106844160 24235 4294967295 134512640 134714508 3221224592 3221221148 1075240388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26085 24235 1111 63 0 26022 0
vsize: 104340
[startup+140.018 s]
Raw data (loadavg): 0.97 0.94 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 90263 0 0 0 13568 432 0 0 25 0 1 0 773463149 113381376 25815 4294967295 134512640 134714508 3221224592 3221221676 1074949252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27681 25815 1111 63 0 27618 0
vsize: 110724
[startup+150.02 s]
Raw data (loadavg): 0.97 0.94 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 101980 0 0 0 14532 468 0 0 25 0 1 0 773463149 118595584 27184 4294967295 134512640 134714508 3221224592 3221222636 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28954 27184 1111 63 0 28891 0
vsize: 115816
[startup+160.02 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 113280 0 0 0 15492 508 0 0 25 0 1 0 773463149 124903424 28684 4294967295 134512640 134714508 3221224592 3221220928 1075114139 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30494 28684 1111 63 0 30431 0
vsize: 121976
[startup+170.021 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 123917 0 0 0 16459 541 0 0 25 0 1 0 773463149 130781184 30114 4294967295 134512640 134714508 3221224592 3221220704 1075895539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31929 30114 1111 63 0 31866 0
vsize: 127716
[startup+180.021 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 135543 0 0 0 17420 581 0 0 25 0 1 0 773463149 136622080 31596 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33355 31596 1111 63 0 33292 0
vsize: 133420
[startup+190.031 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 147216 0 0 0 18380 621 0 0 25 0 1 0 773463149 143253504 33235 4294967295 134512640 134714508 3221224592 3221222916 1077374505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34974 33235 1111 63 0 34911 0
vsize: 139896
[startup+200.03 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 158872 0 0 0 19345 657 0 0 25 0 1 0 773463149 149094400 34743 4294967295 134512640 134714508 3221224592 3221223056 1074039270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36400 34743 1111 63 0 36337 0
vsize: 145600
[startup+210.032 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 170448 0 0 0 20305 696 0 0 25 0 1 0 773463149 154869760 36167 4294967295 134512640 134714508 3221224592 3221222416 1075139635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37810 36167 1111 63 0 37747 0
vsize: 151240
[startup+220.033 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 181843 0 0 0 21263 738 0 0 25 0 1 0 773463149 160686080 37658 4294967295 134512640 134714508 3221224592 3221222704 1074867220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39230 37658 1111 63 0 39167 0
vsize: 156920
[startup+230.032 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 193920 0 0 0 22225 776 0 0 25 0 1 0 773463149 177049600 39867 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43225 39867 1111 63 0 43162 0
vsize: 172900
[startup+240.032 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 202904 0 0 0 23199 803 0 0 25 0 1 0 773463149 181678080 40916 4294967295 134512640 134714508 3221224592 3221220928 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44355 40916 1111 63 0 44292 0
vsize: 177420
[startup+250.033 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 214614 0 0 0 24160 842 0 0 25 0 1 0 773463149 187154432 42178 4294967295 134512640 134714508 3221224592 3221222664 1077377227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45692 42178 1111 63 0 45629 0
vsize: 182768
[startup+260.035 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 226582 0 0 0 25120 881 0 0 25 0 1 0 773463149 192937984 43510 4294967295 134512640 134714508 3221224592 3221221692 1074791539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47104 43510 1111 63 0 47041 0
vsize: 188416
[startup+270.038 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 238394 0 0 0 26084 918 0 0 25 0 1 0 773463149 198012928 44726 4294967295 134512640 134714508 3221224592 3221220572 1074786609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48343 44726 1111 63 0 48280 0
vsize: 193372
[startup+280.05 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 250050 0 0 0 27048 955 0 0 25 0 1 0 773463149 203755520 46102 4294967295 134512640 134714508 3221224592 3221220588 1074788075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49745 46102 1111 63 0 49682 0
vsize: 198980
[startup+290.063 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 261904 0 0 0 28011 993 0 0 25 0 1 0 773463149 208674816 47354 4294967295 134512640 134714508 3221224592 3221222740 1073989058 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50946 47354 1111 63 0 50883 0
vsize: 203784
[startup+300.073 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 273438 0 0 0 28974 1031 0 0 25 0 1 0 773463149 213831680 48652 4294967295 134512640 134714508 3221224592 3221220664 1074790440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52205 48652 1111 63 0 52142 0
vsize: 208820
[startup+310.082 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 284711 0 0 0 29939 1068 0 0 25 0 1 0 773463149 219185152 50002 4294967295 134512640 134714508 3221224592 3221220752 1075094945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53512 50002 1111 63 0 53449 0
vsize: 214048
[startup+320.082 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 296432 0 0 0 30897 1109 0 0 25 0 1 0 773463149 225525760 51502 4294967295 134512640 134714508 3221224592 3221220864 1074961132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55060 51502 1111 63 0 54997 0
vsize: 220240
[startup+330.083 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 307861 0 0 0 31858 1149 0 0 25 0 1 0 773463149 230830080 52847 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56355 52847 1111 63 0 56292 0
vsize: 225420
[startup+340.083 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 319466 0 0 0 32818 1189 0 0 25 0 1 0 773463149 236437504 54230 4294967295 134512640 134714508 3221224592 3221220800 1074815208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57724 54230 1111 63 0 57661 0
vsize: 230896
[startup+350.084 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 330969 0 0 0 33780 1227 0 0 25 0 1 0 773463149 242335744 55627 4294967295 134512640 134714508 3221224592 3221221424 1075115295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59164 55627 1111 63 0 59101 0
vsize: 236656
[startup+360.084 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 341389 0 0 0 34744 1263 0 0 25 0 1 0 773463149 247726080 56962 4294967295 134512640 134714508 3221224592 3221223184 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60480 56962 1111 63 0 60417 0
vsize: 241920
[startup+370.085 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 353176 0 0 0 35709 1298 0 0 25 0 1 0 773463149 252772352 58176 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61712 58176 1111 63 0 61649 0
vsize: 246848
[startup+380.085 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 365205 0 0 0 36672 1335 0 0 25 0 1 0 773463149 258113536 59519 4294967295 134512640 134714508 3221224592 3221220864 1074961157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63016 59519 1111 63 0 62953 0
vsize: 252064
[startup+390.086 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 376888 0 0 0 37631 1376 0 0 25 0 1 0 773463149 263143424 60812 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64244 60812 1111 63 0 64181 0
vsize: 256976
[startup+400.086 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 388532 0 0 0 38597 1411 0 0 25 0 1 0 773463149 268075008 62067 4294967295 134512640 134714508 3221224592 3221222580 1077378605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65448 62067 1111 63 0 65385 0
vsize: 261792
[startup+410.086 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 400966 0 0 0 39558 1450 0 0 25 0 1 0 773463149 274948096 63697 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67126 63697 1111 63 0 67063 0
vsize: 268504
[startup+420.087 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 412510 0 0 0 40522 1486 0 0 25 0 1 0 773463149 279965696 64987 4294967295 134512640 134714508 3221224592 3221220820 1075115112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68351 64987 1111 63 0 68288 0
vsize: 273404
[startup+430.087 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 424605 0 0 0 41484 1524 0 0 25 0 1 0 773463149 285401088 66323 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69631 66322 1111 63 0 69568 0
vsize: 278712
[startup+440.088 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 436224 0 0 0 42449 1559 0 0 25 0 1 0 773463149 290381824 67636 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 67636 1111 63 0 70831 0
vsize: 283576
[startup+450.088 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 448247 0 0 0 43410 1599 0 0 25 0 1 0 773463149 295096320 68864 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72045 68864 1111 63 0 71982 0
vsize: 288180
[startup+460.088 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 459822 0 0 0 44375 1634 0 0 25 0 1 0 773463149 300007424 70046 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73244 70046 1111 63 0 73181 0
vsize: 292976
[startup+470.088 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 471804 0 0 0 45340 1669 0 0 25 0 1 0 773463149 305188864 71350 4294967295 134512640 134714508 3221224592 3221220964 1075965370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74509 71350 1111 63 0 74446 0
vsize: 298036
[startup+480.088 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 483656 0 0 0 46305 1704 0 0 25 0 1 0 773463149 309768192 72544 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75627 72544 1111 63 0 75564 0
vsize: 302508
[startup+490.088 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 491732 0 0 0 47279 1730 0 0 25 0 1 0 773463149 313520128 73504 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76543 73504 1111 63 0 76480 0
vsize: 306172
[startup+500.089 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 509747 0 0 0 48228 1781 0 0 25 0 1 0 773463149 342630400 77031 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83650 77031 1111 63 0 83587 0
vsize: 334600
[startup+510.089 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 529136 0 0 0 49167 1841 0 0 25 0 1 0 773463149 350203904 78802 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85499 78802 1111 63 0 85436 0
vsize: 341996
[startup+520.09 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 551273 0 0 0 50102 1907 0 0 25 0 1 0 773463149 359231488 80601 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87703 80603 1111 63 0 87640 0
vsize: 350812
[startup+530.09 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 573916 0 0 0 51031 1978 0 0 25 0 1 0 773463149 367521792 82621 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89727 82621 1111 63 0 89664 0
vsize: 358908
[startup+540.09 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 596196 0 0 0 51967 2041 0 0 25 0 1 0 773463149 375922688 84460 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91702 84454 1111 63 0 91639 0
vsize: 367112
[startup+550.09 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 617647 0 0 0 52902 2107 0 0 25 0 1 0 773463149 382783488 86226 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93453 86226 1111 63 0 93390 0
vsize: 373812
[startup+560.09 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 639834 0 0 0 53839 2170 0 0 25 0 1 0 773463149 390348800 87956 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95338 87959 1111 63 0 95275 0
vsize: 381200
[startup+570.091 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 661362 0 0 0 54776 2233 0 0 25 0 1 0 773463149 397312000 89638 4294967295 134512640 134714508 3221224592 3221220864 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96924 89630 1111 63 0 96861 0
vsize: 388000
[startup+580.091 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 675435 0 0 0 55744 2266 0 0 25 0 1 0 773463149 401420288 90734 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98003 90734 1111 63 0 97940 0
vsize: 392012
[startup+590.092 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 677601 0 0 0 56739 2271 0 0 25 0 1 0 773463149 400068608 90426 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97673 90426 1111 63 0 97610 0
vsize: 390692
[startup+600.091 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 710275 0 0 0 57666 2344 0 0 25 0 1 0 773463149 403746816 91343 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98571 91343 1111 63 0 98508 0
vsize: 394284
[startup+610.091 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 736763 0 0 0 58607 2403 0 0 25 0 1 0 773463149 406659072 91771 4294967295 134512640 134714508 3221224592 3221220900 1074846258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99282 91771 1111 63 0 99219 0
vsize: 397128
[startup+620.092 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 766236 0 0 0 59544 2467 0 0 25 0 1 0 773463149 409460736 92478 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99966 92478 1111 63 0 99903 0
vsize: 399864
[startup+630.092 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 798025 0 0 0 60477 2534 0 0 25 0 1 0 773463149 410689536 93166 4294967295 134512640 134714508 3221224592 3221223264 134650224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100266 93166 1111 63 0 100203 0
vsize: 401064
[startup+640.093 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 834876 0 0 0 61404 2606 0 0 25 0 1 0 773463149 415199232 94322 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101755 94328 1111 63 0 101692 0
vsize: 405468
[startup+650.093 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 873402 0 0 0 62316 2695 0 0 25 0 1 0 773463149 422400000 95771 4294967295 134512640 134714508 3221224592 3221221040 1075132846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103125 95771 1111 63 0 103062 0
vsize: 412500
[startup+660.092 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 911283 0 0 0 63233 2778 0 0 25 0 1 0 773463149 426524672 97115 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104132 97115 1111 63 0 104069 0
vsize: 416528
[startup+670.092 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 948857 0 0 0 64145 2865 0 0 25 0 1 0 773463149 433139712 98416 4294967295 134512640 134714508 3221224592 3221220972 1075114070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105747 98416 1111 63 0 105684 0
vsize: 422988
[startup+680.093 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 989037 0 0 0 65058 2953 0 0 25 0 1 0 773463149 437010432 99773 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106692 99773 1111 63 0 106629 0
vsize: 426768
[startup+690.094 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1028600 0 0 0 65972 3039 0 0 25 0 1 0 773463149 443387904 101286 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108249 101286 1111 63 0 108186 0
vsize: 432996
[startup+700.094 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1069055 0 0 0 66882 3129 0 0 25 0 1 0 773463149 450441216 102838 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109971 102838 1111 63 0 109908 0
vsize: 439884
[startup+710.094 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1109024 0 0 0 67783 3229 0 0 25 0 1 0 773463149 458096640 104417 4294967295 134512640 134714508 3221224592 3221220800 1074815403 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111840 104417 1111 63 0 111777 0
vsize: 447360
[startup+720.093 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1142337 0 0 0 68713 3299 0 0 25 0 1 0 773463149 463421440 105644 4294967295 134512640 134714508 3221224592 3221220592 1075965248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113140 105644 1111 63 0 113077 0
vsize: 452560
[startup+730.094 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1181351 0 0 0 69625 3387 0 0 25 0 1 0 773463149 469041152 107106 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114512 107106 1111 63 0 114449 0
vsize: 458048
[startup+740.094 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1221318 0 0 0 70536 3477 0 0 25 0 1 0 773463149 473939968 108689 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115611 108687 1111 63 0 115548 0
vsize: 462832
[startup+750.095 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1260438 0 0 0 71444 3568 0 0 25 0 1 0 773463149 480968704 110199 4294967295 134512640 134714508 3221224592 3221220620 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117424 110199 1111 63 0 117361 0
vsize: 469696
[startup+760.095 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1297055 0 0 0 72368 3644 0 0 25 0 1 0 773463149 484147200 111417 4294967295 134512640 134714508 3221224592 3221223040 1073990196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118200 111417 1111 63 0 118137 0
vsize: 472800
[startup+770.096 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1335096 0 0 0 73291 3722 0 0 25 0 1 0 773463149 489279488 112735 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119841 112741 1111 63 0 119778 0
vsize: 477812
[startup+780.096 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1371934 0 0 0 74212 3802 0 0 25 0 1 0 773463149 495534080 113964 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120980 113964 1111 63 0 120917 0
vsize: 483920
[startup+790.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1409095 0 0 0 75132 3881 0 0 25 0 1 0 773463149 500355072 115185 4294967295 134512640 134714508 3221224592 3221220684 1075663538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121769 115167 1111 63 0 121706 0
vsize: 488628
[startup+800.096 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1440468 0 0 0 76065 3949 0 0 25 0 1 0 773463149 502886400 116245 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123163 116251 1111 63 0 123100 0
vsize: 491100
[startup+810.096 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1477488 0 0 0 76979 4034 0 0 25 0 1 0 773463149 509566976 117454 4294967295 134512640 134714508 3221224592 3221221168 1076043600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124018 117434 1111 63 0 123955 0
vsize: 497624
[startup+820.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1515474 0 0 0 77900 4113 0 0 25 0 1 0 773463149 513384448 118753 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125338 118753 1111 63 0 125275 0
vsize: 501352
[startup+830.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1552787 0 0 0 78819 4195 0 0 25 0 1 0 773463149 519565312 119989 4294967295 134512640 134714508 3221224592 3221220624 1075965292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126847 119989 1111 63 0 126784 0
vsize: 507388
[startup+840.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1590020 0 0 0 79737 4277 0 0 25 0 1 0 773463149 524251136 121198 4294967295 134512640 134714508 3221224592 3221220588 1074788168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127991 121198 1111 63 0 127928 0
vsize: 511964
[startup+850.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1626208 0 0 0 80661 4353 0 0 25 0 1 0 773463149 527515648 122350 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128788 122350 1111 63 0 128725 0
vsize: 515152
[startup+860.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1663463 0 0 0 81577 4437 0 0 25 0 1 0 773463149 534024192 123637 4294967295 134512640 134714508 3221224592 3221220800 1074815340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130377 123637 1111 63 0 130314 0
vsize: 521508
[startup+870.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1702363 0 0 0 82487 4527 0 0 25 0 1 0 773463149 541270016 125460 4294967295 134512640 134714508 3221224592 3221223344 134553516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132146 125465 1111 63 0 132083 0
vsize: 528584
[startup+880.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1740101 0 0 0 83402 4612 0 0 25 0 1 0 773463149 545738752 126982 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133237 126982 1111 63 0 133174 0
vsize: 532948
[startup+890.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1777949 0 0 0 84321 4693 0 0 25 0 1 0 773463149 552239104 128253 4294967295 134512640 134714508 3221224592 3221220896 1075116289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134824 128253 1111 63 0 134761 0
vsize: 539296
[startup+900.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1815311 0 0 0 85240 4775 0 0 25 0 1 0 773463149 556564480 129762 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136268 129768 1111 63 0 136205 0
vsize: 543520
[startup+910.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1852020 0 0 0 86154 4861 0 0 25 0 1 0 773463149 564002816 131010 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137696 131017 1111 63 0 137633 0
vsize: 550784
[startup+920.099 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1880688 0 0 0 87091 4924 0 0 25 0 1 0 773463149 565747712 131862 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138122 131862 1111 63 0 138059 0
vsize: 552488
[startup+930.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1916733 0 0 0 88008 5007 0 0 25 0 1 0 773463149 571510784 132960 4294967295 134512640 134714508 3221224592 3221220864 1074805409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139529 132960 1111 63 0 139466 0
vsize: 558116
[startup+940.099 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1952996 0 0 0 88929 5087 0 0 25 0 1 0 773463149 574873600 134103 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140350 134103 1111 63 0 140287 0
vsize: 561400
[startup+950.099 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 1990343 0 0 0 89845 5170 0 0 25 0 1 0 773463149 579489792 135298 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141671 135300 1111 63 0 141608 0
vsize: 565908
[startup+960.099 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2026861 0 0 0 90763 5253 0 0 25 0 1 0 773463149 585650176 136495 4294967295 134512640 134714508 3221224592 3221220736 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142981 136496 1111 63 0 142918 0
vsize: 571924
[startup+970.099 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2063935 0 0 0 91676 5339 0 0 25 0 1 0 773463149 588693504 137687 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143724 137687 1111 63 0 143661 0
vsize: 574896
[startup+980.099 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2100373 0 0 0 92598 5418 0 0 25 0 1 0 773463149 594518016 138794 4294967295 134512640 134714508 3221224592 3221220764 1075006703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145146 138794 1111 63 0 145083 0
vsize: 580584
[startup+990.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2136519 0 0 0 93518 5498 0 0 25 0 1 0 773463149 598917120 139917 4294967295 134512640 134714508 3221224592 3221220924 1075113299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146220 139917 1111 63 0 146157 0
vsize: 584880
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2173121 0 0 0 94441 5576 0 0 25 0 1 0 773463149 603287552 141051 4294967295 134512640 134714508 3221224592 3221220752 1075094343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146899 141035 1111 63 0 146836 0
vsize: 589148
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2208337 0 0 0 95362 5654 0 0 25 0 1 0 773463149 605810688 142076 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147903 142076 1111 63 0 147840 0
vsize: 591612
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2245120 0 0 0 96280 5737 0 0 25 0 1 0 773463149 611491840 143157 4294967295 134512640 134714508 3221224592 3221220688 1074879083 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149290 143157 1111 63 0 149227 0
vsize: 597160
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2281302 0 0 0 97203 5814 0 0 25 0 1 0 773463149 614055936 144191 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149916 144191 1111 63 0 149853 0
vsize: 599664
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2317459 0 0 0 98122 5895 0 0 25 0 1 0 773463149 618287104 145324 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150949 145324 1111 63 0 150886 0
vsize: 603796
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2337459 0 0 0 99077 5941 0 0 25 0 1 0 773463149 620711936 145926 4294967295 134512640 134714508 3221224592 3221223152 134536753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151541 145926 1111 63 0 151478 0
vsize: 606164
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2361575 0 0 0 100021 5996 0 0 25 0 1 0 773463149 625209344 146767 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152639 146767 1111 63 0 152576 0
vsize: 610556
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2397593 0 0 0 100943 6075 0 0 25 0 1 0 773463149 630136832 147965 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153842 147965 1111 63 0 153779 0
vsize: 615368
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2437421 0 0 0 101861 6157 0 0 25 0 1 0 773463149 673067008 151199 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164517 151202 1111 63 0 164454 0
vsize: 657292
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2472987 0 0 0 102785 6233 0 0 25 0 1 0 773463149 678346752 152349 4294967295 134512640 134714508 3221224592 3221221068 1073953944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165612 152349 1111 63 0 165549 0
vsize: 662448
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2509973 0 0 0 103702 6317 0 0 25 0 1 0 773463149 682672128 153595 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166668 153595 1111 63 0 166605 0
vsize: 666672
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2547196 0 0 0 104618 6400 0 0 25 0 1 0 773463149 689041408 154867 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168223 154867 1111 63 0 168160 0
vsize: 672892
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2585866 0 0 0 105530 6488 0 0 25 0 1 0 773463149 695640064 156275 4294967295 134512640 134714508 3221224592 3221220828 1075006896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169834 156275 1111 63 0 169771 0
vsize: 679336
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2621490 0 0 0 106452 6567 0 0 25 0 1 0 773463149 701648896 157564 4294967295 134512640 134714508 3221224592 3221220636 1073961432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171301 157564 1111 63 0 171238 0
vsize: 685204
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2658647 0 0 0 107370 6649 0 0 25 0 1 0 773463149 706318336 158771 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172441 158772 1111 63 0 172378 0
vsize: 689764
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2696530 0 0 0 108290 6730 0 0 25 0 1 0 773463149 712146944 160098 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173670 160079 1111 63 0 173607 0
vsize: 695456
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2733255 0 0 0 109208 6811 0 0 25 0 1 0 773463149 716972032 161286 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175430 161292 1111 63 0 175367 0
vsize: 700168
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2770028 0 0 0 110131 6888 0 0 25 0 1 0 773463149 721375232 162394 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176117 162394 1111 63 0 176054 0
vsize: 704468
[startup+1175.23 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 1691
Raw data (stat): 1691 (bsolo_lpr) R 1690 32284 32283 0 -1 0 2770028 0 0 0 110131 6888 0 0 25 0 1 0 773463149 721375232 162394 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176117 162394 1111 63 0 176054 0
vsize: 0

Child status: 10
Real time (s): 1175.23
CPU time (s): 1175.33
CPU user time (s): 1105.75
CPU system time (s): 69.5744
CPU usage (%): 100.009
Max. virtual memory (Kb): 704468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-5312
#### END VERIFIER DATA ####