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-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 27379

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-24 21:23:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17330 boxname=wulflinc18 idbench=1334 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 17330
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        908480 kB
Buffers:          4020 kB
Cached:         101156 kB
SwapCached:        836 kB
Active:          15644 kB
Inactive:        92004 kB
HighTotal:      131008 kB
HighFree:        68404 kB
LowTotal:       903652 kB
LowFree:        840076 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            12856 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:43:10 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 17330 0 1175.08 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.125 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.041
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.293
c NEW SOLUTION FOUND: 36 @ 0.297
c NEW SOLUTION FOUND: 35 @ 0.3
c NEW SOLUTION FOUND: 34 @ 0.302
c NEW SOLUTION FOUND: 33 @ 0.304
c NEW SOLUTION FOUND: 32 @ 0.309
c NEW SOLUTION FOUND: 31 @ 0.393
c NEW SOLUTION FOUND: 30 @ 44.728
s SATISFIABLE
v V0001_bit0 V0002_bit0 V0003_bit0 -V0004_bit0 V0005_bit0 V0006_bit0 V0007_bit0 V0008_bit0 -V0009_bit0 -V0010_bit0 V0011_bit0 V0012_bit0 V0013_bit0 V0014_bit0 V0015_bit0 -V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 V0020_bit0 V0021_bit0 V0022_bit0 -V0023_bit0 -V0024_bit0 V0025_bit0 V0026_bit0 -V0027_bit0 V0028_bit0 -V0029_bit0 V0030_bit0 V0031_bit0 V0032_bit0 -V0033_bit0 V0034_bit0 -V0035_bit0 -V0036_bit0 -V0037_bit0 V0038_bit0 V0039_bit0 V0040_bit0 V0041_bit0 V0042_bit0 -V0043_bit0 V0044_bit0 -V0045_bit0 
c Exit Code: 10
c Total time: 1175.04 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.91 0.95 0.94 2/54 26293
Raw data (stat): 26293 (runsolver) R 26292 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833436658 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99958 s]
Raw data (loadavg): 0.93 0.95 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 10960 0 0 0 960 36 0 0 25 0 1 0 833436658 8261632 1303 4294967295 134512640 134714508 3221224592 3221220732 1074790004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2017 1303 1111 63 0 1954 0
vsize: 8068
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 20031 0 0 0 1925 72 0 0 25 0 1 0 833436658 9891840 1671 4294967295 134512640 134714508 3221224592 3221220784 1074792293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2415 1671 1111 63 0 2352 0
vsize: 9660
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 28714 0 0 0 2890 107 0 0 25 0 1 0 833436658 11235328 2030 4294967295 134512640 134714508 3221224592 3221222536 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2743 2030 1111 63 0 2680 0
vsize: 10972
[startup+40.0003 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 36552 0 0 0 3858 139 0 0 25 0 1 0 833436658 12587008 2386 4294967295 134512640 134714508 3221224592 3221222320 1075828514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2385 1111 63 0 3007 0
vsize: 12292
[startup+50.0006 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 44924 0 0 0 4829 168 0 0 25 0 1 0 833436658 13688832 2659 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+60.0002 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 53248 0 0 0 5800 197 0 0 25 0 1 0 833436658 14635008 2890 4294967295 134512640 134714508 3221224592 3221222972 1077410225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3573 2890 1111 63 0 3510 0
vsize: 14292
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 61533 0 0 0 6772 226 0 0 25 0 1 0 833436658 15867904 3120 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3120 1111 63 0 3811 0
vsize: 15496
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 70116 0 0 0 7740 257 0 0 25 0 1 0 833436658 16441344 3331 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4014 3331 1111 63 0 3951 0
vsize: 16056
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 78076 0 0 0 8708 290 0 0 25 0 1 0 833436658 17403904 3536 4294967295 134512640 134714508 3221224592 3221221064 1074968485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4249 3536 1111 63 0 4186 0
vsize: 16996
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 85875 0 0 0 9684 314 0 0 25 0 1 0 833436658 18280448 3751 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4425 3742 1111 63 0 4362 0
vsize: 17852
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 92852 0 0 0 10660 339 0 0 25 0 1 0 833436658 19177472 3999 4294967295 134512640 134714508 3221224592 3221223196 134536781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3999 1111 63 0 4619 0
vsize: 18728
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 100010 0 0 0 11634 365 0 0 25 0 1 0 833436658 19968000 4192 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4875 4192 1111 63 0 4812 0
vsize: 19500
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 107158 0 0 0 12607 392 0 0 25 0 1 0 833436658 20877312 4385 4294967295 134512640 134714508 3221224592 3221220768 1074791856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5097 4385 1111 63 0 5034 0
vsize: 20388
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 114379 0 0 0 13581 418 0 0 25 0 1 0 833436658 21549056 4575 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5261 4575 1111 63 0 5198 0
vsize: 21044
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 121521 0 0 0 14554 445 0 0 25 0 1 0 833436658 22605824 4776 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5519 4776 1111 63 0 5456 0
vsize: 22076
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 129114 0 0 0 15527 473 0 0 25 0 1 0 833436658 23289856 4966 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5686 4966 1111 63 0 5623 0
vsize: 22744
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 136273 0 0 0 16501 499 0 0 25 0 1 0 833436658 24064000 5162 4294967295 134512640 134714508 3221224592 3221220824 1076111521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5875 5162 1111 63 0 5812 0
vsize: 23500
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 142351 0 0 0 17479 521 0 0 25 0 1 0 833436658 24674304 5341 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6024 5341 1111 63 0 5961 0
vsize: 24096
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 148890 0 0 0 18455 545 0 0 25 0 1 0 833436658 25382912 5514 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6197 5514 1111 63 0 6134 0
vsize: 24788
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 154890 0 0 0 19433 568 0 0 25 0 1 0 833436658 26140672 5699 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6382 5699 1111 63 0 6319 0
vsize: 25528
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 161331 0 0 0 20408 592 0 0 25 0 1 0 833436658 26931200 5887 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6575 5887 1111 63 0 6512 0
vsize: 26300
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 168046 0 0 0 21385 616 0 0 25 0 1 0 833436658 27680768 6075 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6758 6075 1111 63 0 6695 0
vsize: 27032
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 174331 0 0 0 22363 638 0 0 25 0 1 0 833436658 28413952 6250 4294967295 134512640 134714508 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6937 6250 1111 63 0 6874 0
vsize: 27748
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 180478 0 0 0 23339 662 0 0 25 0 1 0 833436658 29163520 6437 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7120 6437 1111 63 0 7057 0
vsize: 28480
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 187106 0 0 0 24315 686 0 0 25 0 1 0 833436658 29859840 6607 4294967295 134512640 134714508 3221224592 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7290 6607 1111 63 0 7227 0
vsize: 29160
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 190705 0 0 0 25298 703 0 0 25 0 1 0 833436658 31039488 6865 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 6865 1111 63 0 7515 0
vsize: 30312
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 196762 0 0 0 26277 725 0 0 25 0 1 0 833436658 31526912 7014 4294967295 134512640 134714508 3221224592 3221223216 134650078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 7014 1111 63 0 7634 0
vsize: 30788
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 202512 0 0 0 27257 744 0 0 25 0 1 0 833436658 32309248 7175 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7888 7175 1111 63 0 7825 0
vsize: 31552
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 207880 0 0 0 28239 763 0 0 25 0 1 0 833436658 32763904 7316 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7999 7316 1111 63 0 7936 0
vsize: 31996
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 213454 0 0 0 29220 782 0 0 25 0 1 0 833436658 33349632 7456 4294967295 134512640 134714508 3221224592 3221222244 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8142 7456 1111 63 0 8079 0
vsize: 32568
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 218860 0 0 0 30202 800 0 0 25 0 1 0 833436658 33984512 7614 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8297 7614 1111 63 0 8234 0
vsize: 33188
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 224084 0 0 0 31185 818 0 0 25 0 1 0 833436658 34611200 7767 4294967295 134512640 134714508 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 7767 1111 63 0 8387 0
vsize: 33800
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 229541 0 0 0 32164 839 0 0 25 0 1 0 833436658 35250176 7920 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8606 7920 1111 63 0 8543 0
vsize: 34424
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 235146 0 0 0 33143 860 0 0 25 0 1 0 833436658 36016128 8081 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8793 8081 1111 63 0 8730 0
vsize: 35172
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 240504 0 0 0 34125 878 0 0 25 0 1 0 833436658 36474880 8222 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8905 8222 1111 63 0 8842 0
vsize: 35620
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 245720 0 0 0 35108 895 0 0 25 0 1 0 833436658 37089280 8372 4294967295 134512640 134714508 3221224592 3221223184 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9055 8372 1111 63 0 8992 0
vsize: 36220
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 250230 0 0 0 36092 912 0 0 25 0 1 0 833436658 37855232 8532 4294967295 134512640 134714508 3221224592 3221223268 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9242 8532 1111 63 0 9179 0
vsize: 36968
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 255485 0 0 0 37071 933 0 0 25 0 1 0 833436658 38449152 8677 4294967295 134512640 134714508 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9387 8677 1111 63 0 9324 0
vsize: 37548
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 260696 0 0 0 38053 951 0 0 25 0 1 0 833436658 39055360 8824 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9535 8824 1111 63 0 9472 0
vsize: 38140
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 265478 0 0 0 39034 970 0 0 25 0 1 0 833436658 39612416 8959 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 8959 1111 63 0 9608 0
vsize: 38684
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 270704 0 0 0 40017 987 0 0 25 0 1 0 833436658 40169472 9097 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9807 9097 1111 63 0 9744 0
vsize: 39228
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 275765 0 0 0 40999 1005 0 0 25 0 1 0 833436658 40742912 9237 4294967295 134512640 134714508 3221224592 3221223232 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9947 9237 1111 63 0 9884 0
vsize: 39788
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 280787 0 0 0 41981 1023 0 0 25 0 1 0 833436658 41267200 9365 4294967295 134512640 134714508 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10075 9365 1111 63 0 10012 0
vsize: 40300
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 285620 0 0 0 42968 1038 0 0 25 0 1 0 833436658 41816064 9499 4294967295 134512640 134714508 3221224592 3221223328 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10209 9499 1111 63 0 10146 0
vsize: 40836
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 290014 0 0 0 43953 1052 0 0 25 0 1 0 833436658 42496000 9632 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10375 9632 1111 63 0 10312 0
vsize: 41500
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 294776 0 0 0 44934 1071 0 0 25 0 1 0 833436658 42876928 9758 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10468 9758 1111 63 0 10405 0
vsize: 41872
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 299296 0 0 0 45919 1087 0 0 25 0 1 0 833436658 43401216 9886 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10596 9886 1111 63 0 10533 0
vsize: 42384
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 303620 0 0 0 46903 1103 0 0 25 0 1 0 833436658 43900928 10007 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10718 10007 1111 63 0 10655 0
vsize: 42872
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 307990 0 0 0 47887 1119 0 0 25 0 1 0 833436658 44470272 10147 4294967295 134512640 134714508 3221224592 3221222716 1074206265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 10147 1111 63 0 10794 0
vsize: 43428
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 313081 0 0 0 48872 1135 0 0 25 0 1 0 833436658 45027328 10280 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10993 10280 1111 63 0 10930 0
vsize: 43972
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 317859 0 0 0 49856 1150 0 0 25 0 1 0 833436658 45584384 10419 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11129 10419 1111 63 0 11066 0
vsize: 44516
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 322761 0 0 0 50839 1168 0 0 25 0 1 0 833436658 46153728 10558 4294967295 134512640 134714508 3221224592 3221222860 1074052771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11268 10558 1111 63 0 11205 0
vsize: 45072
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 327741 0 0 0 51824 1183 0 0 25 0 1 0 833436658 46747648 10702 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11470 10703 1111 63 0 11407 0
vsize: 45652
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 332721 0 0 0 52804 1203 0 0 25 0 1 0 833436658 47267840 10830 4294967295 134512640 134714508 3221224592 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11540 10830 1111 63 0 11477 0
vsize: 46160
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 338095 0 0 0 53784 1223 0 0 25 0 1 0 833436658 47906816 10953 4294967295 134512640 134714508 3221224592 3221223232 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11696 10953 1111 63 0 11633 0
vsize: 46784
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 342239 0 0 0 54769 1238 0 0 25 0 1 0 833436658 48586752 11123 4294967295 134512640 134714508 3221224592 3221220736 1074969635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11862 11123 1111 63 0 11799 0
vsize: 47448
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 346697 0 0 0 55753 1255 0 0 25 0 1 0 833436658 49008640 11255 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11965 11255 1111 63 0 11902 0
vsize: 47860
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 350860 0 0 0 56737 1271 0 0 25 0 1 0 833436658 49614848 11403 4294967295 134512640 134714508 3221224592 3221222480 1074050934 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12113 11403 1111 63 0 12050 0
vsize: 48452
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 355118 0 0 0 57722 1286 0 0 25 0 1 0 833436658 50208768 11548 4294967295 134512640 134714508 3221224592 3221223148 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12258 11548 1111 63 0 12195 0
vsize: 49032
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 359289 0 0 0 58706 1303 0 0 25 0 1 0 833436658 50708480 11670 4294967295 134512640 134714508 3221224592 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12380 11670 1111 63 0 12317 0
vsize: 49520
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 363593 0 0 0 59690 1319 0 0 25 0 1 0 833436658 51265536 11806 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12516 11806 1111 63 0 12453 0
vsize: 50064
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 367944 0 0 0 60676 1332 0 0 25 0 1 0 833436658 51777536 11926 4294967295 134512640 134714508 3221224592 3221223264 134650219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12641 11926 1111 63 0 12578 0
vsize: 50564
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 372423 0 0 0 61661 1347 0 0 25 0 1 0 833436658 52420608 12052 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12798 12053 1111 63 0 12735 0
vsize: 51192
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 376436 0 0 0 62649 1360 0 0 25 0 1 0 833436658 52740096 12166 4294967295 134512640 134714508 3221224592 3221222776 1077377266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12876 12166 1111 63 0 12813 0
vsize: 51504
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 380676 0 0 0 63633 1376 0 0 25 0 1 0 833436658 53260288 12288 4294967295 134512640 134714508 3221224592 3221222612 1077377136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13003 12288 1111 63 0 12940 0
vsize: 52012
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 385113 0 0 0 64615 1394 0 0 25 0 1 0 833436658 53735424 12409 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13119 12409 1111 63 0 13056 0
vsize: 52476
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 389704 0 0 0 65598 1412 0 0 25 0 1 0 833436658 54202368 12523 4294967295 134512640 134714508 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13233 12523 1111 63 0 13170 0
vsize: 52932
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 394489 0 0 0 66581 1428 0 0 25 0 1 0 833436658 55410688 12814 4294967295 134512640 134714508 3221224592 3221223328 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13528 12814 1111 63 0 13465 0
vsize: 54112
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 399081 0 0 0 67565 1445 0 0 25 0 1 0 833436658 55832576 12921 4294967295 134512640 134714508 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13631 12921 1111 63 0 13568 0
vsize: 54524
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 403022 0 0 0 68550 1460 0 0 25 0 1 0 833436658 56291328 13033 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13743 13033 1111 63 0 13680 0
vsize: 54972
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 406735 0 0 0 69537 1473 0 0 25 0 1 0 833436658 56750080 13145 4294967295 134512640 134714508 3221224592 3221223168 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13855 13145 1111 63 0 13792 0
vsize: 55420
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 411244 0 0 0 70523 1487 0 0 25 0 1 0 833436658 57167872 13247 4294967295 134512640 134714508 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13957 13247 1111 63 0 13894 0
vsize: 55828
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 414966 0 0 0 71511 1500 0 0 25 0 1 0 833436658 57667584 13369 4294967295 134512640 134714508 3221224592 3221223208 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14079 13369 1111 63 0 14016 0
vsize: 56316
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 418757 0 0 0 72499 1512 0 0 25 0 1 0 833436658 58085376 13467 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14181 13467 1111 63 0 14118 0
vsize: 56724
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 422263 0 0 0 73486 1525 0 0 25 0 1 0 833436658 58646528 13578 4294967295 134512640 134714508 3221224592 3221221616 1075117985 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14318 13578 1111 63 0 14255 0
vsize: 57272
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 426355 0 0 0 74472 1540 0 0 25 0 1 0 833436658 58908672 13672 4294967295 134512640 134714508 3221224592 3221222848 1077378571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 13672 1111 63 0 14319 0
vsize: 57528
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 430155 0 0 0 75459 1552 0 0 25 0 1 0 833436658 59318272 13772 4294967295 134512640 134714508 3221224592 3221223184 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 13772 1111 63 0 14419 0
vsize: 57928
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 433694 0 0 0 76447 1565 0 0 25 0 1 0 833436658 59731968 13871 4294967295 134512640 134714508 3221224592 3221223332 134594888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14583 13871 1111 63 0 14520 0
vsize: 58332
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 437549 0 0 0 77432 1580 0 0 25 0 1 0 833436658 60125184 13967 4294967295 134512640 134714508 3221224592 3221223276 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14679 13967 1111 63 0 14616 0
vsize: 58716
[startup+800.038 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 441399 0 0 0 78417 1595 0 0 25 0 1 0 833436658 60592128 14081 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14793 14081 1111 63 0 14730 0
vsize: 59172
[startup+810.037 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 445401 0 0 0 79403 1609 0 0 25 0 1 0 833436658 60985344 14179 4294967295 134512640 134714508 3221224592 3221223104 134535020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14889 14179 1111 63 0 14826 0
vsize: 59556
[startup+820.037 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 448750 0 0 0 80391 1621 0 0 25 0 1 0 833436658 61431808 14288 4294967295 134512640 134714508 3221224592 3221222800 1074208131 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14998 14288 1111 63 0 14935 0
vsize: 59992
[startup+830.037 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 452152 0 0 0 81380 1633 0 0 25 0 1 0 833436658 61820928 14381 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15093 14381 1111 63 0 15030 0
vsize: 60372
[startup+840.038 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 455920 0 0 0 82367 1646 0 0 25 0 1 0 833436658 62251008 14488 4294967295 134512640 134714508 3221224592 3221223312 134529276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15198 14488 1111 63 0 15135 0
vsize: 60792
[startup+850.039 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 459647 0 0 0 83354 1660 0 0 25 0 1 0 833436658 62701568 14597 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15303 14593 1111 63 0 15240 0
vsize: 61232
[startup+860.039 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 463013 0 0 0 84342 1672 0 0 25 0 1 0 833436658 63115264 14696 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15409 14696 1111 63 0 15346 0
vsize: 61636
[startup+870.04 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 466571 0 0 0 85327 1687 0 0 25 0 1 0 833436658 63864832 14825 4294967295 134512640 134714508 3221224592 3221220832 1075115730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15592 14825 1111 63 0 15529 0
vsize: 62368
[startup+880.04 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 470208 0 0 0 86314 1700 0 0 25 0 1 0 833436658 63950848 14903 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15613 14903 1111 63 0 15550 0
vsize: 62452
[startup+890.041 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 473740 0 0 0 87302 1712 0 0 25 0 1 0 833436658 64356352 15002 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15712 15002 1111 63 0 15649 0
vsize: 62848
[startup+900.042 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 477252 0 0 0 88291 1724 0 0 25 0 1 0 833436658 64802816 15111 4294967295 134512640 134714508 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15821 15111 1111 63 0 15758 0
vsize: 63284
[startup+910.042 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 480930 0 0 0 89278 1737 0 0 25 0 1 0 833436658 65294336 15231 4294967295 134512640 134714508 3221224592 3221222976 1074153996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15941 15231 1111 63 0 15878 0
vsize: 63764
[startup+920.043 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 484809 0 0 0 90264 1751 0 0 25 0 1 0 833436658 65736704 15336 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16049 15336 1111 63 0 15986 0
vsize: 64196
[startup+930.042 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 488580 0 0 0 91250 1765 0 0 25 0 1 0 833436658 66113536 15431 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16141 15431 1111 63 0 16078 0
vsize: 64564
[startup+940.043 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 492168 0 0 0 92238 1777 0 0 25 0 1 0 833436658 66510848 15528 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16238 15528 1111 63 0 16175 0
vsize: 64952
[startup+950.044 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 495642 0 0 0 93225 1791 0 0 25 0 1 0 833436658 66920448 15628 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16338 15628 1111 63 0 16275 0
vsize: 65352
[startup+960.044 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 499444 0 0 0 94213 1803 0 0 25 0 1 0 833436658 67375104 15734 4294967295 134512640 134714508 3221224592 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16449 15734 1111 63 0 16386 0
vsize: 65796
[startup+970.044 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 502986 0 0 0 95199 1817 0 0 25 0 1 0 833436658 67731456 15826 4294967295 134512640 134714508 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16536 15826 1111 63 0 16473 0
vsize: 66144
[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 506876 0 0 0 96185 1831 0 0 25 0 1 0 833436658 68120576 15921 4294967295 134512640 134714508 3221224592 3221223204 134536752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16631 15921 1111 63 0 16568 0
vsize: 66524
[startup+990.046 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 510030 0 0 0 97174 1843 0 0 25 0 1 0 833436658 68513792 16017 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16727 16017 1111 63 0 16664 0
vsize: 66908
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 513522 0 0 0 98159 1858 0 0 25 0 1 0 833436658 68907008 16108 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16823 16108 1111 63 0 16760 0
vsize: 67292
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 516821 0 0 0 99150 1867 0 0 25 0 1 0 833436658 69296128 16208 4294967295 134512640 134714508 3221224592 3221223328 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16918 16208 1111 63 0 16855 0
vsize: 67672
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 520163 0 0 0 100137 1880 0 0 25 0 1 0 833436658 69910528 16331 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17068 16331 1111 63 0 17005 0
vsize: 68272
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 523269 0 0 0 101125 1892 0 0 25 0 1 0 833436658 70418432 16426 4294967295 134512640 134714508 3221224592 3221220588 1074788239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17178 16424 1111 63 0 17115 0
vsize: 68768
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 526280 0 0 0 102114 1903 0 0 25 0 1 0 833436658 70832128 16523 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17293 16523 1111 63 0 17230 0
vsize: 69172
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 529506 0 0 0 103103 1914 0 0 25 0 1 0 833436658 71106560 16619 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17360 16619 1111 63 0 17297 0
vsize: 69440
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 532685 0 0 0 104091 1926 0 0 25 0 1 0 833436658 71479296 16714 4294967295 134512640 134714508 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17451 16714 1111 63 0 17388 0
vsize: 69804
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 536004 0 0 0 105081 1937 0 0 25 0 1 0 833436658 71888896 16814 4294967295 134512640 134714508 3221224592 3221223316 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17551 16814 1111 63 0 17488 0
vsize: 70204
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 539307 0 0 0 106068 1950 0 0 25 0 1 0 833436658 72278016 16906 4294967295 134512640 134714508 3221224592 3221223264 134650219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17646 16906 1111 63 0 17583 0
vsize: 70584
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 542682 0 0 0 107055 1963 0 0 25 0 1 0 833436658 72622080 16988 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17730 16988 1111 63 0 17667 0
vsize: 70920
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 546041 0 0 0 108043 1976 0 0 25 0 1 0 833436658 72962048 17076 4294967295 134512640 134714508 3221224592 3221223328 134529126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17813 17076 1111 63 0 17750 0
vsize: 71252
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 549301 0 0 0 109030 1989 0 0 25 0 1 0 833436658 73326592 17165 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17902 17165 1111 63 0 17839 0
vsize: 71608
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 553025 0 0 0 110017 2002 0 0 25 0 1 0 833436658 73695232 17255 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17992 17255 1111 63 0 17929 0
vsize: 71968
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 556455 0 0 0 111007 2012 0 0 25 0 1 0 833436658 74092544 17352 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18089 17352 1111 63 0 18026 0
vsize: 72356
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 559528 0 0 0 111996 2023 0 0 25 0 1 0 833436658 74452992 17440 4294967295 134512640 134714508 3221224592 3221223168 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17440 1111 63 0 18114 0
vsize: 72708
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 562812 0 0 0 112986 2034 0 0 25 0 1 0 833436658 74842112 17532 4294967295 134512640 134714508 3221224592 3221223272 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18272 17532 1111 63 0 18209 0
vsize: 73088
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 565697 0 0 0 113975 2045 0 0 25 0 1 0 833436658 75218944 17627 4294967295 134512640 134714508 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18364 17627 1111 63 0 18301 0
vsize: 73456
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 568691 0 0 0 114965 2055 0 0 25 0 1 0 833436658 75681792 17740 4294967295 134512640 134714508 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18477 17740 1111 63 0 18414 0
vsize: 73908
[startup+1174.92 s]
Raw data (loadavg): 1.00 0.99 0.95 1/53 26293
Raw data (stat): 26293 (bsolo_lpr) R 26292 24172 24171 0 -1 0 568691 0 0 0 114965 2055 0 0 25 0 1 0 833436658 75681792 17740 4294967295 134512640 134714508 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18477 17740 1111 63 0 18414 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.08
CPU user time (s): 1154.44
CPU system time (s): 20.6399
CPU usage (%): 100.013
Max. virtual memory (Kb): 73908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####