PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM	cb52c3dd346b4d656b5e715b686fba39
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8401
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.27
Number of variables	10724
Total number of constraints	12778
Number of constraints which are clauses	140
Number of constraints which are cardinality constraints (but not clauses)	12255
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 28318

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 01:36:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13599 boxname=wulflinc2 idbench=1047 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  cb52c3dd346b4d656b5e715b686fba39  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mitre.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mitre.opb
IDLAUNCH: 13599
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        917960 kB
Buffers:          6696 kB
Cached:          89304 kB
SwapCached:        696 kB
Active:          14368 kB
Inactive:        84048 kB
HighTotal:      131008 kB
HighFree:        95284 kB
LowTotal:       903652 kB
LowFree:        822676 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12532 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:55:39 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 13599 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10724 variables and 2045 constraints.
c After prepocess the problem consists of 7047 variables and 2003 constraints.
c preprocess terminated 925.769 s
c Initial Lower Bound: 7475
c Lower Bound Elapsed time: 2.176
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.95 0.97 0.93 2/54 6893
Raw data (stat): 6893 (runsolver) R 6892 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776747550 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.0011 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 39446 0 0 0 910 86 0 0 25 0 1 0 776747550 174673920 39370 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42645 39370 1111 63 0 42582 0
vsize: 170580
[startup+20.0009 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 66372 0 0 0 1860 137 0 0 25 0 1 0 776747550 284950528 66296 4294967295 134512640 134714508 3221224592 3221221068 1077196341 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69568 66296 1111 63 0 69505 0
vsize: 278272
[startup+30.0017 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 74649 0 0 0 2834 162 0 0 25 0 1 0 776747550 285720576 68858 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69756 68858 1111 63 0 69693 0
vsize: 279024
[startup+40.0019 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 166282 0 0 0 3605 391 0 0 25 0 1 0 776747550 286580736 69036 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69966 69036 1111 63 0 69903 0
vsize: 279864
[startup+50.0021 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 229572 0 0 0 4446 551 0 0 25 0 1 0 776747550 292122624 70421 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71319 70421 1111 63 0 71256 0
vsize: 285276
[startup+60.0029 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 229572 0 0 0 5445 552 0 0 25 0 1 0 776747550 292122624 70421 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71319 70421 1111 63 0 71256 0
vsize: 285276
[startup+70.0044 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 229931 0 0 0 6444 553 0 0 25 0 1 0 776747550 292384768 70485 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71383 70485 1111 63 0 71320 0
vsize: 285532
[startup+80.0052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 232943 0 0 0 7436 561 0 0 25 0 1 0 776747550 293928960 70862 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71760 70862 1111 63 0 71697 0
vsize: 287040
[startup+90.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 233531 0 0 0 8434 563 0 0 25 0 1 0 776747550 295387136 71218 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72116 71218 1111 63 0 72053 0
vsize: 288464
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 234187 0 0 0 9432 565 0 0 25 0 1 0 776747550 296288256 71438 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72336 71438 1111 63 0 72273 0
vsize: 289344
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 243417 0 0 0 10409 588 0 0 25 0 1 0 776747550 296288256 71438 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72336 71438 1111 63 0 72273 0
vsize: 289344
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 247454 0 0 0 11399 598 0 0 25 0 1 0 776747550 298221568 71910 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72808 71910 1111 63 0 72745 0
vsize: 291232
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 254192 0 0 0 12382 616 0 0 25 0 1 0 776747550 299335680 72182 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73080 72182 1111 63 0 73017 0
vsize: 292320
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 255427 0 0 0 13376 621 0 0 25 0 1 0 776747550 300707840 72517 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73415 72517 1111 63 0 73352 0
vsize: 293660
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 256107 0 0 0 14374 624 0 0 25 0 1 0 776747550 302641152 72988 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73887 72988 1111 63 0 73824 0
vsize: 295548
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 257809 0 0 0 15369 628 0 0 25 0 1 0 776747550 302690304 73001 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73899 73001 1111 63 0 73836 0
vsize: 295596
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 264684 0 0 0 16351 647 0 0 25 0 1 0 776747550 302866432 73044 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73942 73044 1111 63 0 73879 0
vsize: 295768
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 271842 0 0 0 17331 667 0 0 25 0 1 0 776747550 302866432 73044 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73942 73044 1111 63 0 73879 0
vsize: 295768
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 276303 0 0 0 18320 678 0 0 25 0 1 0 776747550 303468544 73191 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74089 73191 1111 63 0 74026 0
vsize: 296356
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 277387 0 0 0 19316 681 0 0 25 0 1 0 776747550 305012736 73568 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74466 73568 1111 63 0 74403 0
vsize: 297864
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 278581 0 0 0 20312 685 0 0 25 0 1 0 776747550 308187136 74342 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75241 74342 1111 63 0 75178 0
vsize: 300964
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 278882 0 0 0 21311 686 0 0 25 0 1 0 776747550 308187136 74343 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75241 74343 1111 63 0 75178 0
vsize: 300964
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 279820 0 0 0 22309 688 0 0 25 0 1 0 776747550 308617216 74448 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75346 74448 1111 63 0 75283 0
vsize: 301384
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 280260 0 0 0 23307 690 0 0 25 0 1 0 776747550 308617216 74448 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75346 74448 1111 63 0 75283 0
vsize: 301384
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 282433 0 0 0 24301 696 0 0 25 0 1 0 776747550 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 282433 0 0 0 25300 696 0 0 25 0 1 0 776747550 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 282433 0 0 0 26300 697 0 0 25 0 1 0 776747550 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 282433 0 0 0 27300 697 0 0 25 0 1 0 776747550 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 282433 0 0 0 28300 697 0 0 25 0 1 0 776747550 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 282433 0 0 0 29299 698 0 0 25 0 1 0 776747550 314195968 75809 4294967295 134512640 134714508 3221224592 3221223076 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 284391 0 0 0 30293 704 0 0 25 0 1 0 776747550 314195968 75810 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 290126 0 0 0 31278 719 0 0 25 0 1 0 776747550 314195968 75810 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 299347 0 0 0 32256 741 0 0 25 0 1 0 776747550 314675200 75927 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76825 75927 1111 63 0 76762 0
vsize: 307300
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 308082 0 0 0 33233 764 0 0 25 0 1 0 776747550 314675200 75927 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76825 75927 1111 63 0 76762 0
vsize: 307300
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 311651 0 0 0 34223 774 0 0 25 0 1 0 776747550 315969536 76242 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77141 76242 1111 63 0 77078 0
vsize: 308564
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 311832 0 0 0 35222 775 0 0 25 0 1 0 776747550 315969536 76243 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77141 76243 1111 63 0 77078 0
vsize: 308564
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 313405 0 0 0 36217 779 0 0 25 0 1 0 776747550 315969536 76243 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77141 76243 1111 63 0 77078 0
vsize: 308564
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 316962 0 0 0 37207 790 0 0 25 0 1 0 776747550 316653568 76389 4294967295 134512640 134714508 3221224592 3221223260 134518020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77308 76389 1111 63 0 77245 0
vsize: 309232
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 317891 0 0 0 38204 793 0 0 25 0 1 0 776747550 317939712 76724 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77622 76724 1111 63 0 77559 0
vsize: 310488
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 318004 0 0 0 39204 793 0 0 25 0 1 0 776747550 318242816 76797 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77696 76797 1111 63 0 77633 0
vsize: 310784
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 318171 0 0 0 40203 794 0 0 25 0 1 0 776747550 318840832 76944 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77842 76944 1111 63 0 77779 0
vsize: 311368
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 318920 0 0 0 41200 796 0 0 25 0 1 0 776747550 319959040 77217 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78115 77217 1111 63 0 78052 0
vsize: 312460
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 319943 0 0 0 42197 800 0 0 25 0 1 0 776747550 320303104 77300 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78199 77300 1111 63 0 78136 0
vsize: 312796
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 320314 0 0 0 43195 801 0 0 25 0 1 0 776747550 320303104 77301 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78199 77301 1111 63 0 78136 0
vsize: 312796
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 321412 0 0 0 44191 805 0 0 25 0 1 0 776747550 321032192 77478 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77478 1111 63 0 78314 0
vsize: 313508
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 321513 0 0 0 45191 806 0 0 25 0 1 0 776747550 321032192 77479 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77479 1111 63 0 78314 0
vsize: 313508
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 321673 0 0 0 46190 807 0 0 25 0 1 0 776747550 321032192 77479 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77479 1111 63 0 78314 0
vsize: 313508
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 322337 0 0 0 47189 808 0 0 25 0 1 0 776747550 321716224 77646 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78544 77646 1111 63 0 78481 0
vsize: 314176
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 322769 0 0 0 48187 810 0 0 25 0 1 0 776747550 322879488 77929 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78828 77929 1111 63 0 78765 0
vsize: 315312
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 322832 0 0 0 49186 810 0 0 25 0 1 0 776747550 323137536 77992 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77992 1111 63 0 78828 0
vsize: 315564
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 323073 0 0 0 50186 811 0 0 25 0 1 0 776747550 323137536 77993 4294967295 134512640 134714508 3221224592 3221223264 134607050 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77993 1111 63 0 78828 0
vsize: 315564
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 323756 0 0 0 51184 813 0 0 25 0 1 0 776747550 323313664 78036 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78934 78036 1111 63 0 78871 0
vsize: 315736
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 324185 0 0 0 52182 814 0 0 25 0 1 0 776747550 324214784 78255 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79154 78255 1111 63 0 79091 0
vsize: 316616
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 325023 0 0 0 53180 817 0 0 25 0 1 0 776747550 327606272 79083 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79982 79083 1111 63 0 79919 0
vsize: 319928
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 325222 0 0 0 54179 818 0 0 25 0 1 0 776747550 328421376 79282 4294967295 134512640 134714508 3221224592 3221223320 134672913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80181 79282 1111 63 0 80118 0
vsize: 320724
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 325222 0 0 0 55178 818 0 0 25 0 1 0 776747550 328421376 79282 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80181 79282 1111 63 0 80118 0
vsize: 320724
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 325629 0 0 0 56177 819 0 0 25 0 1 0 776747550 329879552 79638 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80537 79638 1111 63 0 80474 0
vsize: 322148
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 326113 0 0 0 57176 820 0 0 25 0 1 0 776747550 330178560 79712 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80610 79712 1111 63 0 80547 0
vsize: 322440
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 326113 0 0 0 58176 821 0 0 25 0 1 0 776747550 330178560 79712 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80610 79712 1111 63 0 80547 0
vsize: 322440
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 327613 0 0 0 59171 825 0 0 25 0 1 0 776747550 330178560 79712 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80610 79712 1111 63 0 80547 0
vsize: 322440
[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 328455 0 0 0 60168 828 0 0 25 0 1 0 776747550 330608640 79816 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80715 79816 1111 63 0 80652 0
vsize: 322860
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 328950 0 0 0 61166 831 0 0 25 0 1 0 776747550 330608640 79817 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80715 79817 1111 63 0 80652 0
vsize: 322860
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 329989 0 0 0 62162 834 0 0 25 0 1 0 776747550 330608640 79817 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80715 79817 1111 63 0 80652 0
vsize: 322860
[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 330323 0 0 0 63161 835 0 0 25 0 1 0 776747550 331808768 80110 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81008 80110 1111 63 0 80945 0
vsize: 324032
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 331412 0 0 0 64158 838 0 0 25 0 1 0 776747550 336273408 81199 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81199 1111 63 0 82035 0
vsize: 328392
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 331412 0 0 0 65158 838 0 0 25 0 1 0 776747550 336273408 81199 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81199 1111 63 0 82035 0
vsize: 328392
[startup+670.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 331412 0 0 0 66158 839 0 0 25 0 1 0 776747550 336273408 81199 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81199 1111 63 0 82035 0
vsize: 328392
[startup+680.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 331463 0 0 0 67158 839 0 0 25 0 1 0 776747550 336273408 81200 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+690.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 331655 0 0 0 68157 840 0 0 25 0 1 0 776747550 336273408 81200 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+700.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 331983 0 0 0 69156 842 0 0 25 0 1 0 776747550 336273408 81200 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+710.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 332381 0 0 0 70154 843 0 0 25 0 1 0 776747550 336273408 81200 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+720.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 333167 0 0 0 71152 846 0 0 25 0 1 0 776747550 338030592 81629 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82527 81629 1111 63 0 82464 0
vsize: 330108
[startup+730.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 333589 0 0 0 72151 847 0 0 25 0 1 0 776747550 339103744 81891 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+740.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 333939 0 0 0 73149 848 0 0 25 0 1 0 776747550 339103744 81891 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+750.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 333939 0 0 0 74149 848 0 0 25 0 1 0 776747550 339103744 81891 4294967295 134512640 134714508 3221224592 3221223320 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+760.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 333939 0 0 0 75149 849 0 0 25 0 1 0 776747550 339103744 81891 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+770.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 334137 0 0 0 76148 849 0 0 25 0 1 0 776747550 339918848 82089 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82089 1111 63 0 82925 0
vsize: 331952
[startup+780.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 334137 0 0 0 77147 850 0 0 25 0 1 0 776747550 339918848 82089 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82089 1111 63 0 82925 0
vsize: 331952
[startup+790.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 335463 0 0 0 78144 854 0 0 25 0 1 0 776747550 339918848 82090 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+800.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 338708 0 0 0 79134 864 0 0 25 0 1 0 776747550 339918848 82090 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+810.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 343060 0 0 0 80123 875 0 0 25 0 1 0 776747550 339918848 82090 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+820.058 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 348802 0 0 0 81108 890 0 0 25 0 1 0 776747550 339918848 82090 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+830.058 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 353153 0 0 0 82096 902 0 0 25 0 1 0 776747550 340140032 82144 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83042 82144 1111 63 0 82979 0
vsize: 332168
[startup+840.058 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 356280 0 0 0 83087 911 0 0 25 0 1 0 776747550 340361216 82198 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83096 82198 1111 63 0 83033 0
vsize: 332384
[startup+850.059 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 356763 0 0 0 84086 912 0 0 25 0 1 0 776747550 340660224 82271 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83169 82271 1111 63 0 83106 0
vsize: 332676
[startup+860.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 357151 0 0 0 85085 913 0 0 25 0 1 0 776747550 341262336 82418 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83316 82418 1111 63 0 83253 0
vsize: 333264
[startup+870.059 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 357564 0 0 0 86084 915 0 0 25 0 1 0 776747550 341561344 82491 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+880.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 357564 0 0 0 87083 915 0 0 25 0 1 0 776747550 341561344 82491 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+890.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 357564 0 0 0 88083 915 0 0 25 0 1 0 776747550 341561344 82491 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+900.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 357564 0 0 0 89083 916 0 0 25 0 1 0 776747550 341561344 82491 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+910.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 357564 0 0 0 90083 916 0 0 25 0 1 0 776747550 341561344 82491 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+920.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 357564 0 0 0 91082 917 0 0 25 0 1 0 776747550 341561344 82491 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 357632 0 0 0 92081 917 0 0 25 0 1 0 776747550 341561344 82559 4294967295 134512640 134714508 3221224592 3221221616 1074139093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82559 1111 63 0 83326 0
vsize: 333556
[startup+940.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358170 0 0 0 93080 919 0 0 25 0 1 0 776747550 341561344 82641 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+950.059 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358170 0 0 0 94079 919 0 0 25 0 1 0 776747550 341561344 82641 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+960.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358170 0 0 0 95079 920 0 0 25 0 1 0 776747550 341561344 82641 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+970.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358170 0 0 0 96078 920 0 0 25 0 1 0 776747550 341561344 82641 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+980.059 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 97078 921 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223356 134613500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+990.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 98077 921 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 99077 922 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 100077 922 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 101076 923 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 102076 923 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 103076 924 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 104075 924 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 105075 925 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358171 0 0 0 106075 925 0 0 25 0 1 0 776747550 341561344 82642 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82642 1111 63 0 83326 0
vsize: 333556
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 107074 926 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 108074 927 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 109073 927 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 110072 928 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 111072 929 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 112071 930 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223352 134613515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 113070 931 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223364 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 114069 932 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 115068 933 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223368 134613501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 116068 934 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 333556
[startup+1175.2 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 6893
Raw data (stat): 6893 (bsolo_lpr) R 6892 31399 31398 0 -1 0 358175 0 0 0 116068 934 0 0 25 0 1 0 776747550 341561344 82646 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82646 1111 63 0 83326 0
vsize: 0

Child status: 0
Real time (s): 1175.2
CPU time (s): 1175.16
CPU user time (s): 1165.66
CPU system time (s): 9.50155
CPU usage (%): 99.9965
Max. virtual memory (Kb): 333556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####