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-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.119981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 25926

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        898144 kB
Buffers:         32300 kB
Cached:          81104 kB
SwapCached:        972 kB
Active:          87928 kB
Inactive:        27648 kB
HighTotal:      131008 kB
HighFree:        61208 kB
LowTotal:       903652 kB
LowFree:        836936 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            15308 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 12:37:07 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 16641 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 397.014 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 90.602
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/55 6754
Raw data (stat): 6754 (runsolver) R 6753 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 821513389 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 36691 0 0 0 914 78 0 0 25 0 1 0 821513389 163332096 36614 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39876 36614 1111 63 0 39813 0
vsize: 159504
[startup+20.002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 55047 0 0 0 1879 112 0 0 25 0 1 0 821513389 238579712 54970 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58247 54970 1111 63 0 58184 0
vsize: 232988
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 55937 0 0 0 2875 116 0 0 25 0 1 0 821513389 242229248 55860 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59138 55860 1111 63 0 59075 0
vsize: 236552
[startup+40.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 56795 0 0 0 3872 120 0 0 25 0 1 0 821513389 245743616 56718 4294967295 134512640 134714508 3221221776 3221220052 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59996 56718 1111 63 0 59933 0
vsize: 239984
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 58956 0 0 0 4865 126 0 0 25 0 1 0 821513389 244760576 58836 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59756 58836 1111 63 0 59693 0
vsize: 239024
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 61681 0 0 0 5859 132 0 0 25 0 1 0 821513389 255856640 61561 4294967295 134512640 134714508 3221221776 3221220268 134539582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62465 61561 1111 63 0 62402 0
vsize: 249860
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 64257 0 0 0 6854 137 0 0 25 0 1 0 821513389 266424320 64137 4294967295 134512640 134714508 3221221776 3221220512 134625553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65045 64138 1111 63 0 64982 0
vsize: 260180
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 66483 0 0 0 7850 141 0 0 25 0 1 0 821513389 275505152 66363 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67262 66363 1111 63 0 67199 0
vsize: 269048
[startup+90.0065 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 68810 0 0 0 8845 146 0 0 25 0 1 0 821513389 285114368 68690 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69608 68690 1111 63 0 69545 0
vsize: 278432
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 70878 0 0 0 9841 150 0 0 25 0 1 0 821513389 293515264 70758 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71659 70760 1111 63 0 71596 0
vsize: 286636
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 72929 0 0 0 10837 155 0 0 25 0 1 0 821513389 301907968 72809 4294967295 134512640 134714508 3221221776 3221220140 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73708 72809 1111 63 0 73645 0
vsize: 294832
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 74774 0 0 0 11833 159 0 0 25 0 1 0 821513389 309501952 74654 4294967295 134512640 134714508 3221221776 3221220288 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75562 74654 1111 63 0 75499 0
vsize: 302248
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 76660 0 0 0 12828 164 0 0 25 0 1 0 821513389 317218816 76540 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77446 76540 1111 63 0 77383 0
vsize: 309784
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 78328 0 0 0 13825 168 0 0 25 0 1 0 821513389 323989504 78208 4294967295 134512640 134714508 3221221776 3221220260 134539580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79099 78208 1111 63 0 79036 0
vsize: 316396
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 80010 0 0 0 14822 171 0 0 25 0 1 0 821513389 330899456 79890 4294967295 134512640 134714508 3221221776 3221220268 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80786 79890 1111 63 0 80723 0
vsize: 323144
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 81740 0 0 0 15819 174 0 0 25 0 1 0 821513389 338083840 81620 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82540 81620 1111 63 0 82477 0
vsize: 330160
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 83150 0 0 0 16817 177 0 0 25 0 1 0 821513389 343773184 83030 4294967295 134512640 134714508 3221221776 3221220184 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83929 83030 1111 63 0 83866 0
vsize: 335716
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 84550 0 0 0 17813 180 0 0 25 0 1 0 821513389 349597696 84430 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85351 84430 1111 63 0 85288 0
vsize: 341404
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 85817 0 0 0 18810 184 0 0 25 0 1 0 821513389 354754560 85697 4294967295 134512640 134714508 3221221776 3221220236 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86610 85697 1111 63 0 86547 0
vsize: 346440
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 86931 0 0 0 19808 186 0 0 25 0 1 0 821513389 359358464 86811 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87734 86811 1111 63 0 87671 0
vsize: 350936
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 88093 0 0 0 20806 188 0 0 25 0 1 0 821513389 364093440 87973 4294967295 134512640 134714508 3221221776 3221220256 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88890 87973 1111 63 0 88827 0
vsize: 355560
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 89016 0 0 0 21804 190 0 0 25 0 1 0 821513389 367890432 88896 4294967295 134512640 134714508 3221221776 3221220336 134588000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89817 88896 1111 63 0 89754 0
vsize: 359268
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 89909 0 0 0 22803 192 0 0 25 0 1 0 821513389 371556352 89789 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90712 89789 1111 63 0 90649 0
vsize: 362848
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 90583 0 0 0 23801 194 0 0 25 0 1 0 821513389 374267904 90463 4294967295 134512640 134714508 3221221776 3221220504 134672921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91374 90463 1111 63 0 91311 0
vsize: 365496
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 91206 0 0 0 24799 195 0 0 25 0 1 0 821513389 376848384 91086 4294967295 134512640 134714508 3221221776 3221220528 134630822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92004 91086 1111 63 0 91941 0
vsize: 368016
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 91791 0 0 0 25798 197 0 0 25 0 1 0 821513389 379162624 91671 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92569 91671 1111 63 0 92506 0
vsize: 370276
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 92211 0 0 0 26797 198 0 0 25 0 1 0 821513389 380919808 92091 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92998 92091 1111 63 0 92935 0
vsize: 371992
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 92705 0 0 0 27796 199 0 0 25 0 1 0 821513389 382959616 92585 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93496 92585 1111 63 0 93433 0
vsize: 373984
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 92968 0 0 0 28796 200 0 0 25 0 1 0 821513389 384045056 92848 4294967295 134512640 134714508 3221221776 3221220428 134558608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93761 92848 1111 63 0 93698 0
vsize: 375044
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 92980 0 0 0 29796 200 0 0 25 0 1 0 821513389 384045056 92860 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93761 92860 1111 63 0 93698 0
vsize: 375044
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 92989 0 0 0 30796 200 0 0 25 0 1 0 821513389 384045056 92869 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93761 92869 1111 63 0 93698 0
vsize: 375044
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 92996 0 0 0 31796 200 0 0 25 0 1 0 821513389 384180224 92876 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93794 92876 1111 63 0 93731 0
vsize: 375176
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 93003 0 0 0 32796 201 0 0 25 0 1 0 821513389 384180224 92883 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93794 92883 1111 63 0 93731 0
vsize: 375176
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 93006 0 0 0 33796 201 0 0 25 0 1 0 821513389 384180224 92886 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93794 92886 1111 63 0 93731 0
vsize: 375176
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 93008 0 0 0 34796 201 0 0 25 0 1 0 821513389 384180224 92888 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93794 92888 1111 63 0 93731 0
vsize: 375176
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 93011 0 0 0 35796 201 0 0 25 0 1 0 821513389 384180224 92891 4294967295 134512640 134714508 3221221776 3221220448 134627252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93794 92891 1111 63 0 93731 0
vsize: 375176
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 93016 0 0 0 36796 201 0 0 25 0 1 0 821513389 384180224 92896 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93794 92896 1111 63 0 93731 0
vsize: 375176
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 93019 0 0 0 37796 201 0 0 25 0 1 0 821513389 384180224 92899 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93794 92899 1111 63 0 93731 0
vsize: 375176
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 93021 0 0 0 38797 201 0 0 25 0 1 0 821513389 384180224 92901 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93794 92901 1111 63 0 93731 0
vsize: 375176
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 93913 0 0 0 39794 204 0 0 25 0 1 0 821513389 387538944 93726 4294967295 134512640 134714508 3221221776 3221219088 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94614 93726 1111 63 0 94551 0
vsize: 378456
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 96036 0 0 0 40789 208 0 0 25 0 1 0 821513389 391655424 94777 4294967295 134512640 134714508 3221221776 3221217924 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95619 94777 1111 63 0 95556 0
vsize: 382476
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 96110 0 0 0 41789 208 0 0 25 0 1 0 821513389 391794688 94830 4294967295 134512640 134714508 3221221776 3221217740 1074873504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95653 94830 1111 63 0 95590 0
vsize: 382612
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 96110 0 0 0 42789 208 0 0 25 0 1 0 821513389 391794688 94830 4294967295 134512640 134714508 3221221776 3221217680 1074875081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95653 94830 1111 63 0 95590 0
vsize: 382612
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 96110 0 0 0 43789 209 0 0 25 0 1 0 821513389 391794688 94830 4294967295 134512640 134714508 3221221776 3221217700 1074875789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95653 94830 1111 63 0 95590 0
vsize: 382612
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 96140 0 0 0 44789 209 0 0 25 0 1 0 821513389 391794688 94846 4294967295 134512640 134714508 3221221776 3221217632 1075965248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95653 94846 1111 63 0 95590 0
vsize: 382612
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 96140 0 0 0 45790 209 0 0 25 0 1 0 821513389 391794688 94846 4294967295 134512640 134714508 3221221776 3221217900 1075564316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95653 94846 1111 63 0 95590 0
vsize: 382612
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 96140 0 0 0 46790 209 0 0 25 0 1 0 821513389 391794688 94846 4294967295 134512640 134714508 3221221776 3221217872 1074882552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95653 94846 1111 63 0 95590 0
vsize: 382612
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97552 0 0 0 47786 212 0 0 25 0 1 0 821513389 388464640 94077 4294967295 134512640 134714508 3221221776 3221220284 134652113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94840 94077 1111 63 0 94777 0
vsize: 379360
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97553 0 0 0 48785 213 0 0 25 0 1 0 821513389 388464640 94078 4294967295 134512640 134714508 3221221776 3221220336 134542344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94840 94078 1111 63 0 94777 0
vsize: 379360
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97553 0 0 0 49784 214 0 0 25 0 1 0 821513389 388464640 94078 4294967295 134512640 134714508 3221221776 3221220452 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94840 94078 1111 63 0 94777 0
vsize: 379360
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97596 0 0 0 50783 215 0 0 25 0 1 0 821513389 388714496 94121 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94901 94121 1111 63 0 94838 0
vsize: 379604
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97630 0 0 0 51782 217 0 0 25 0 1 0 821513389 388849664 94155 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94934 94155 1111 63 0 94871 0
vsize: 379736
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97684 0 0 0 52781 218 0 0 25 0 1 0 821513389 389103616 94209 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94996 94209 1111 63 0 94933 0
vsize: 379984
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97702 0 0 0 53781 219 0 0 25 0 1 0 821513389 389103616 94227 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94996 94227 1111 63 0 94933 0
vsize: 379984
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97736 0 0 0 54780 220 0 0 25 0 1 0 821513389 389226496 94261 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95026 94261 1111 63 0 94963 0
vsize: 380104
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97835 0 0 0 55778 221 0 0 25 0 1 0 821513389 389685248 94360 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95138 94360 1111 63 0 95075 0
vsize: 380552
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97886 0 0 0 56778 222 0 0 25 0 1 0 821513389 389922816 94411 4294967295 134512640 134714508 3221221776 3221220448 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95196 94411 1111 63 0 95133 0
vsize: 380784
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97896 0 0 0 57777 223 0 0 25 0 1 0 821513389 389898240 94421 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95190 94421 1111 63 0 95127 0
vsize: 380760
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97943 0 0 0 58777 223 0 0 25 0 1 0 821513389 389939200 94442 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95200 94442 1111 63 0 95137 0
vsize: 380800
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 97950 0 0 0 59777 223 0 0 25 0 1 0 821513389 390074368 94449 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95233 94449 1111 63 0 95170 0
vsize: 380932
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98008 0 0 0 60776 224 0 0 25 0 1 0 821513389 390197248 94499 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95263 94499 1111 63 0 95200 0
vsize: 381052
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98008 0 0 0 61776 225 0 0 25 0 1 0 821513389 390197248 94499 4294967295 134512640 134714508 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95263 94499 1111 63 0 95200 0
vsize: 381052
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98024 0 0 0 62775 226 0 0 25 0 1 0 821513389 390225920 94496 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95270 94496 1111 63 0 95207 0
vsize: 381080
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98059 0 0 0 63775 227 0 0 25 0 1 0 821513389 390225920 94512 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95270 94512 1111 63 0 95207 0
vsize: 381080
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98077 0 0 0 64774 227 0 0 25 0 1 0 821513389 390361088 94526 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95303 94526 1111 63 0 95240 0
vsize: 381212
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98077 0 0 0 65774 228 0 0 25 0 1 0 821513389 390332416 94526 4294967295 134512640 134714508 3221221776 3221220576 134597692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95296 94526 1111 63 0 95233 0
vsize: 381184
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98086 0 0 0 66773 229 0 0 25 0 1 0 821513389 390332416 94535 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95296 94535 1111 63 0 95233 0
vsize: 381184
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98086 0 0 0 67773 229 0 0 25 0 1 0 821513389 390332416 94535 4294967295 134512640 134714508 3221221776 3221220560 134529331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95296 94535 1111 63 0 95233 0
vsize: 381184
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98086 0 0 0 68772 230 0 0 25 0 1 0 821513389 390332416 94535 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95296 94535 1111 63 0 95233 0
vsize: 381184
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98086 0 0 0 69772 231 0 0 25 0 1 0 821513389 390332416 94535 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95296 94535 1111 63 0 95233 0
vsize: 381184
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98141 0 0 0 70771 232 0 0 25 0 1 0 821513389 390602752 94590 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95362 94590 1111 63 0 95299 0
vsize: 381448
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98162 0 0 0 71771 232 0 0 25 0 1 0 821513389 390737920 94611 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98162 0 0 0 72770 233 0 0 25 0 1 0 821513389 390737920 94611 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98162 0 0 0 73770 233 0 0 25 0 1 0 821513389 390737920 94611 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98162 0 0 0 74770 233 0 0 25 0 1 0 821513389 390737920 94611 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98162 0 0 0 75770 234 0 0 25 0 1 0 821513389 390737920 94611 4294967295 134512640 134714508 3221221776 3221220380 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98162 0 0 0 76769 234 0 0 25 0 1 0 821513389 390737920 94611 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95395 94611 1111 63 0 95332 0
vsize: 381580
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98187 0 0 0 77769 235 0 0 25 0 1 0 821513389 390737920 94636 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95395 94636 1111 63 0 95332 0
vsize: 381580
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98222 0 0 0 78768 236 0 0 25 0 1 0 821513389 391008256 94671 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95461 94671 1111 63 0 95398 0
vsize: 381844
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98236 0 0 0 79768 237 0 0 25 0 1 0 821513389 390946816 94685 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95446 94685 1111 63 0 95383 0
vsize: 381784
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98243 0 0 0 80767 237 0 0 25 0 1 0 821513389 391004160 94692 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95460 94692 1111 63 0 95397 0
vsize: 381840
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98251 0 0 0 81767 238 0 0 25 0 1 0 821513389 391004160 94700 4294967295 134512640 134714508 3221221776 3221220336 134696577 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95460 94700 1111 63 0 95397 0
vsize: 381840
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98259 0 0 0 82767 238 0 0 25 0 1 0 821513389 391139328 94708 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95493 94708 1111 63 0 95430 0
vsize: 381972
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98296 0 0 0 83767 238 0 0 25 0 1 0 821513389 391159808 94740 4294967295 134512640 134714508 3221221776 3221220440 134552678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95498 94740 1111 63 0 95435 0
vsize: 381992
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98296 0 0 0 84767 239 0 0 25 0 1 0 821513389 391159808 94740 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95498 94740 1111 63 0 95435 0
vsize: 381992
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98316 0 0 0 85766 239 0 0 25 0 1 0 821513389 391176192 94744 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95502 94744 1111 63 0 95439 0
vsize: 382008
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98316 0 0 0 86766 240 0 0 25 0 1 0 821513389 391176192 94744 4294967295 134512640 134714508 3221221776 3221220336 134696546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95502 94744 1111 63 0 95439 0
vsize: 382008
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98354 0 0 0 87766 240 0 0 25 0 1 0 821513389 391450624 94782 4294967295 134512640 134714508 3221221776 3221220448 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95569 94782 1111 63 0 95506 0
vsize: 382276
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98398 0 0 0 88765 241 0 0 25 0 1 0 821513389 391585792 94826 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95602 94826 1111 63 0 95539 0
vsize: 382408
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98398 0 0 0 89765 242 0 0 25 0 1 0 821513389 391585792 94826 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95602 94826 1111 63 0 95539 0
vsize: 382408
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98398 0 0 0 90765 242 0 0 25 0 1 0 821513389 391585792 94826 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95602 94826 1111 63 0 95539 0
vsize: 382408
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98398 0 0 0 91764 242 0 0 25 0 1 0 821513389 391585792 94826 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95602 94826 1111 63 0 95539 0
vsize: 382408
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98428 0 0 0 92763 244 0 0 25 0 1 0 821513389 391585792 94844 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95602 94844 1111 63 0 95539 0
vsize: 382408
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98428 0 0 0 93763 244 0 0 25 0 1 0 821513389 391585792 94844 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95602 94844 1111 63 0 95539 0
vsize: 382408
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98480 0 0 0 94762 245 0 0 25 0 1 0 821513389 391856128 94896 4294967295 134512640 134714508 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98480 0 0 0 95762 245 0 0 25 0 1 0 821513389 391856128 94896 4294967295 134512640 134714508 3221221776 3221220380 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98480 0 0 0 96761 246 0 0 25 0 1 0 821513389 391856128 94896 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98480 0 0 0 97760 247 0 0 25 0 1 0 821513389 391856128 94896 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98480 0 0 0 98760 248 0 0 25 0 1 0 821513389 391856128 94896 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98480 0 0 0 99759 249 0 0 25 0 1 0 821513389 391856128 94896 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95668 94896 1111 63 0 95605 0
vsize: 382672
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98480 0 0 0 100759 249 0 0 25 0 1 0 821513389 391811072 94896 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95657 94896 1111 63 0 95594 0
vsize: 382628
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98513 0 0 0 101759 249 0 0 25 0 1 0 821513389 391995392 94910 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95702 94910 1111 63 0 95639 0
vsize: 382808
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98513 0 0 0 102759 250 0 0 25 0 1 0 821513389 391995392 94910 4294967295 134512640 134714508 3221221776 3221220408 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95702 94910 1111 63 0 95639 0
vsize: 382808
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98513 0 0 0 103758 250 0 0 25 0 1 0 821513389 391852032 94908 4294967295 134512640 134714508 3221221776 3221220416 134542892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94908 1111 63 0 95604 0
vsize: 382668
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98513 0 0 0 104758 251 0 0 25 0 1 0 821513389 391852032 94908 4294967295 134512640 134714508 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94908 1111 63 0 95604 0
vsize: 382668
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98513 0 0 0 105758 251 0 0 25 0 1 0 821513389 391630848 94855 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95613 94855 1111 63 0 95550 0
vsize: 382452
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98513 0 0 0 106758 252 0 0 25 0 1 0 821513389 391630848 94855 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95613 94855 1111 63 0 95550 0
vsize: 382452
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98538 0 0 0 107758 252 0 0 25 0 1 0 821513389 391831552 94880 4294967295 134512640 134714508 3221221776 3221220316 134539217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95662 94880 1111 63 0 95599 0
vsize: 382648
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98602 0 0 0 108757 253 0 0 25 0 1 0 821513389 392028160 94944 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95710 94944 1111 63 0 95647 0
vsize: 382840
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98602 0 0 0 109757 253 0 0 25 0 1 0 821513389 392028160 94944 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95710 94944 1111 63 0 95647 0
vsize: 382840
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98602 0 0 0 110757 253 0 0 25 0 1 0 821513389 391950336 94933 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98602 0 0 0 111757 254 0 0 25 0 1 0 821513389 391950336 94933 4294967295 134512640 134714508 3221221776 3221220188 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98602 0 0 0 112757 254 0 0 25 0 1 0 821513389 391950336 94933 4294967295 134512640 134714508 3221221776 3221220368 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98602 0 0 0 113757 254 0 0 25 0 1 0 821513389 391950336 94933 4294967295 134512640 134714508 3221221776 3221220416 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98602 0 0 0 114757 255 0 0 25 0 1 0 821513389 391950336 94933 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95691 94933 1111 63 0 95628 0
vsize: 382764
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98609 0 0 0 115756 255 0 0 25 0 1 0 821513389 392085504 94940 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95724 94940 1111 63 0 95661 0
vsize: 382896
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98628 0 0 0 116756 255 0 0 25 0 1 0 821513389 392085504 94959 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95724 94959 1111 63 0 95661 0
vsize: 382896
[startup+1175.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6754
Raw data (stat): 6754 (bsolo_lpr) R 6753 7876 7672 0 -1 0 98628 0 0 0 116756 255 0 0 25 0 1 0 821513389 392085504 94959 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95724 94959 1111 63 0 95661 0
vsize: 0

Child status: 0
Real time (s): 1175.12
CPU time (s): 1175.19
CPU user time (s): 1172.46
CPU system time (s): 2.73158
CPU usage (%): 100.006
Max. virtual memory (Kb): 382896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####