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/miplib2003/normalized-mps-v2-13-7-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
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	SAT
Best CPU time to get the best result obtained on this benchmark	1176.04
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 27357

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 21:12:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17421 boxname=wulflinc27 idbench=1341 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 17421
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        883008 kB
Buffers:          7732 kB
Cached:         122528 kB
SwapCached:        640 kB
Active:          32820 kB
Inactive:        99908 kB
HighTotal:      131008 kB
HighFree:         5096 kB
LowTotal:       903652 kB
LowFree:        877912 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13388 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:32:03 (client local time) WITH STATUS 0 IN 1175.2 SECONDS
stats: 17421 7 1175.2 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 373.789 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 73.952
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 7719
Raw data (stat): 7719 (runsolver) R 7718 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833378459 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+10.0004 s]
Raw data (loadavg): 0.87 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 40731 0 0 0 923 74 0 0 25 0 1 0 833378459 179847168 40655 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43908 40655 1111 63 0 43845 0
vsize: 175632
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 55479 0 0 0 1895 102 0 0 25 0 1 0 833378459 240263168 55403 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58658 55403 1111 63 0 58595 0
vsize: 234632
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 56879 0 0 0 2890 107 0 0 25 0 1 0 833378459 246075392 56803 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60077 56803 1111 63 0 60014 0
vsize: 240308
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 60001 0 0 0 3883 114 0 0 25 0 1 0 833378459 249012224 59889 4294967295 134512640 134714508 3221224592 3221223208 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60794 59889 1111 63 0 60731 0
vsize: 243176
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 62705 0 0 0 4878 118 0 0 25 0 1 0 833378459 260108288 62593 4294967295 134512640 134714508 3221224592 3221222956 134539287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63503 62593 1111 63 0 63440 0
vsize: 254012
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 65160 0 0 0 5874 122 0 0 25 0 1 0 833378459 270135296 65048 4294967295 134512640 134714508 3221224592 3221223056 134542359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65951 65048 1111 63 0 65888 0
vsize: 263804
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 67541 0 0 0 6870 127 0 0 25 0 1 0 833378459 279883776 67429 4294967295 134512640 134714508 3221224592 3221223208 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68331 67429 1111 63 0 68268 0
vsize: 273324
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 69653 0 0 0 7865 132 0 0 25 0 1 0 833378459 288550912 69541 4294967295 134512640 134714508 3221224592 3221223072 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70447 69541 1111 63 0 70384 0
vsize: 281788
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 71777 0 0 0 8861 136 0 0 25 0 1 0 833378459 297213952 71665 4294967295 134512640 134714508 3221224592 3221223096 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72562 71666 1111 63 0 72499 0
vsize: 290248
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 73871 0 0 0 9857 140 0 0 25 0 1 0 833378459 305889280 73759 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74680 73759 1111 63 0 74617 0
vsize: 298720
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 75810 0 0 0 10853 144 0 0 25 0 1 0 833378459 313749504 75698 4294967295 134512640 134714508 3221224592 3221222976 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76599 75698 1111 63 0 76536 0
vsize: 306396
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 77537 0 0 0 11849 148 0 0 25 0 1 0 833378459 320802816 77425 4294967295 134512640 134714508 3221224592 3221223108 134542856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78321 77425 1111 63 0 78258 0
vsize: 313284
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 79215 0 0 0 12847 151 0 0 25 0 1 0 833378459 327712768 79103 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80008 79103 1111 63 0 79945 0
vsize: 320032
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 80939 0 0 0 13844 154 0 0 25 0 1 0 833378459 334766080 80827 4294967295 134512640 134714508 3221224592 3221223000 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81730 80827 1111 63 0 81667 0
vsize: 326920
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 82534 0 0 0 14842 157 0 0 25 0 1 0 833378459 341262336 82422 4294967295 134512640 134714508 3221224592 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83316 82422 1111 63 0 83253 0
vsize: 333264
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 84011 0 0 0 15839 160 0 0 25 0 1 0 833378459 347361280 83899 4294967295 134512640 134714508 3221224592 3221223088 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84805 83899 1111 63 0 84742 0
vsize: 339220
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 85305 0 0 0 16837 162 0 0 25 0 1 0 833378459 352645120 85193 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86095 85193 1111 63 0 86032 0
vsize: 344380
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 86566 0 0 0 17834 165 0 0 25 0 1 0 833378459 357789696 86454 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87351 86454 1111 63 0 87288 0
vsize: 349404
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 87744 0 0 0 18832 167 0 0 25 0 1 0 833378459 362668032 87632 4294967295 134512640 134714508 3221224592 3221223392 134617242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88542 87632 1111 63 0 88479 0
vsize: 354168
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 88743 0 0 0 19830 169 0 0 25 0 1 0 833378459 366735360 88631 4294967295 134512640 134714508 3221224592 3221222964 134539212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89535 88631 1111 63 0 89472 0
vsize: 358140
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 89598 0 0 0 20828 172 0 0 25 0 1 0 833378459 370262016 89486 4294967295 134512640 134714508 3221224592 3221223008 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90396 89486 1111 63 0 90333 0
vsize: 361584
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 90395 0 0 0 21826 174 0 0 25 0 1 0 833378459 373514240 90283 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91190 90283 1111 63 0 91127 0
vsize: 364760
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 91091 0 0 0 22824 176 0 0 25 0 1 0 833378459 376360960 90979 4294967295 134512640 134714508 3221224592 3221223384 134617118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91885 90979 1111 63 0 91822 0
vsize: 367540
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 91672 0 0 0 23822 178 0 0 25 0 1 0 833378459 378793984 91560 4294967295 134512640 134714508 3221224592 3221223152 134535760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92479 91560 1111 63 0 92416 0
vsize: 369916
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92088 0 0 0 24822 179 0 0 25 0 1 0 833378459 380424192 91976 4294967295 134512640 134714508 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92877 91976 1111 63 0 92814 0
vsize: 371508
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92553 0 0 0 25821 180 0 0 25 0 1 0 833378459 382324736 92441 4294967295 134512640 134714508 3221224592 3221223000 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93341 92441 1111 63 0 93278 0
vsize: 373364
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92905 0 0 0 26821 180 0 0 25 0 1 0 833378459 383819776 92793 4294967295 134512640 134714508 3221224592 3221223016 134542663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93706 92793 1111 63 0 93643 0
vsize: 374824
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92953 0 0 0 27821 181 0 0 25 0 1 0 833378459 383954944 92841 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93739 92841 1111 63 0 93676 0
vsize: 374956
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92962 0 0 0 28821 181 0 0 25 0 1 0 833378459 384090112 92850 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93772 92850 1111 63 0 93709 0
vsize: 375088
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92968 0 0 0 29821 181 0 0 25 0 1 0 833378459 384090112 92856 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93772 92856 1111 63 0 93709 0
vsize: 375088
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92976 0 0 0 30821 181 0 0 25 0 1 0 833378459 384090112 92864 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93772 92864 1111 63 0 93709 0
vsize: 375088
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92980 0 0 0 31821 181 0 0 25 0 1 0 833378459 384090112 92868 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93772 92868 1111 63 0 93709 0
vsize: 375088
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92980 0 0 0 32821 181 0 0 25 0 1 0 833378459 384090112 92868 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93772 92868 1111 63 0 93709 0
vsize: 375088
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92984 0 0 0 33822 181 0 0 25 0 1 0 833378459 384090112 92872 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93772 92872 1111 63 0 93709 0
vsize: 375088
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92989 0 0 0 34822 181 0 0 25 0 1 0 833378459 384090112 92877 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93772 92877 1111 63 0 93709 0
vsize: 375088
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92993 0 0 0 35822 181 0 0 25 0 1 0 833378459 384225280 92881 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93805 92881 1111 63 0 93742 0
vsize: 375220
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 92994 0 0 0 36822 181 0 0 25 0 1 0 833378459 384225280 92882 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93805 92882 1111 63 0 93742 0
vsize: 375220
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 94627 0 0 0 37818 185 0 0 25 0 1 0 833378459 390995968 94449 4294967295 134512640 134714508 3221224592 3221222624 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95458 94449 1111 63 0 95395 0
vsize: 381832
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 96043 0 0 0 38815 188 0 0 25 0 1 0 833378459 391757824 94793 4294967295 134512640 134714508 3221224592 3221221432 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95644 94793 1111 63 0 95581 0
vsize: 382576
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 96050 0 0 0 39815 188 0 0 25 0 1 0 833378459 391770112 94800 4294967295 134512640 134714508 3221224592 3221220556 1074873501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95647 94800 1111 63 0 95584 0
vsize: 382588
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 96093 0 0 0 40815 188 0 0 25 0 1 0 833378459 391786496 94829 4294967295 134512640 134714508 3221224592 3221220420 1074786567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95651 94829 1111 63 0 95588 0
vsize: 382604
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 96093 0 0 0 41815 188 0 0 25 0 1 0 833378459 391786496 94829 4294967295 134512640 134714508 3221224592 3221220368 1074868711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95651 94829 1111 63 0 95588 0
vsize: 382604
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 96093 0 0 0 42815 188 0 0 25 0 1 0 833378459 391786496 94829 4294967295 134512640 134714508 3221224592 3221221456 1074620369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95651 94829 1111 63 0 95588 0
vsize: 382604
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97522 0 0 0 43812 192 0 0 25 0 1 0 833378459 388399104 94068 4294967295 134512640 134714508 3221224592 3221223016 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94824 94068 1111 63 0 94761 0
vsize: 379296
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97523 0 0 0 44812 192 0 0 25 0 1 0 833378459 388399104 94069 4294967295 134512640 134714508 3221224592 3221223248 134536738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94824 94069 1111 63 0 94761 0
vsize: 379296
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97523 0 0 0 45812 192 0 0 25 0 1 0 833378459 388399104 94069 4294967295 134512640 134714508 3221224592 3221223232 134543070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94824 94069 1111 63 0 94761 0
vsize: 379296
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97559 0 0 0 46811 193 0 0 25 0 1 0 833378459 388534272 94105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94857 94105 1111 63 0 94794 0
vsize: 379428
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97586 0 0 0 47810 194 0 0 25 0 1 0 833378459 388657152 94132 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94887 94132 1111 63 0 94824 0
vsize: 379548
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97648 0 0 0 48810 195 0 0 25 0 1 0 833378459 388898816 94194 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94946 94194 1111 63 0 94883 0
vsize: 379784
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97653 0 0 0 49810 195 0 0 25 0 1 0 833378459 388947968 94199 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94958 94199 1111 63 0 94895 0
vsize: 379832
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97691 0 0 0 50809 196 0 0 25 0 1 0 833378459 389083136 94237 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94991 94237 1111 63 0 94928 0
vsize: 379964
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97725 0 0 0 51809 196 0 0 25 0 1 0 833378459 389214208 94271 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95023 94271 1111 63 0 94960 0
vsize: 380092
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97756 0 0 0 52809 197 0 0 25 0 1 0 833378459 389369856 94302 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95061 94302 1111 63 0 94998 0
vsize: 380244
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97780 0 0 0 53809 197 0 0 25 0 1 0 833378459 389398528 94289 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95068 94289 1111 63 0 95005 0
vsize: 380272
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97795 0 0 0 54808 197 0 0 25 0 1 0 833378459 389382144 94283 4294967295 134512640 134714508 3221224592 3221222988 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95064 94283 1111 63 0 95001 0
vsize: 380256
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97802 0 0 0 55808 198 0 0 25 0 1 0 833378459 389382144 94290 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95064 94290 1111 63 0 95001 0
vsize: 380256
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97802 0 0 0 56807 199 0 0 25 0 1 0 833378459 389382144 94290 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95064 94290 1111 63 0 95001 0
vsize: 380256
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97817 0 0 0 57807 200 0 0 25 0 1 0 833378459 389382144 94305 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95064 94305 1111 63 0 95001 0
vsize: 380256
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97821 0 0 0 58807 200 0 0 25 0 1 0 833378459 389382144 94309 4294967295 134512640 134714508 3221224592 3221223316 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95064 94309 1111 63 0 95001 0
vsize: 380256
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97847 0 0 0 59806 201 0 0 25 0 1 0 833378459 389414912 94323 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95072 94323 1111 63 0 95009 0
vsize: 380288
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97847 0 0 0 60806 201 0 0 25 0 1 0 833378459 389414912 94323 4294967295 134512640 134714508 3221224592 3221223264 134528645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95072 94323 1111 63 0 95009 0
vsize: 380288
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97852 0 0 0 61806 202 0 0 25 0 1 0 833378459 389550080 94328 4294967295 134512640 134714508 3221224592 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95105 94328 1111 63 0 95042 0
vsize: 380420
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97852 0 0 0 62806 202 0 0 25 0 1 0 833378459 389435392 94328 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95077 94328 1111 63 0 95014 0
vsize: 380308
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97863 0 0 0 63805 202 0 0 25 0 1 0 833378459 389574656 94339 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95111 94339 1111 63 0 95048 0
vsize: 380444
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97888 0 0 0 64805 203 0 0 25 0 1 0 833378459 389582848 94351 4294967295 134512640 134714508 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95113 94351 1111 63 0 95050 0
vsize: 380452
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97888 0 0 0 65805 203 0 0 25 0 1 0 833378459 389582848 94351 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95113 94351 1111 63 0 95050 0
vsize: 380452
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97893 0 0 0 66804 204 0 0 25 0 1 0 833378459 389582848 94356 4294967295 134512640 134714508 3221224592 3221223152 134542362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95113 94356 1111 63 0 95050 0
vsize: 380452
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97926 0 0 0 67804 205 0 0 25 0 1 0 833378459 389718016 94389 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95146 94389 1111 63 0 95083 0
vsize: 380584
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97926 0 0 0 68803 206 0 0 25 0 1 0 833378459 389718016 94389 4294967295 134512640 134714508 3221224592 3221223240 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95146 94389 1111 63 0 95083 0
vsize: 380584
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97926 0 0 0 69802 207 0 0 25 0 1 0 833378459 389718016 94389 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95146 94389 1111 63 0 95083 0
vsize: 380584
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97932 0 0 0 70801 208 0 0 25 0 1 0 833378459 389750784 94395 4294967295 134512640 134714508 3221224592 3221223136 134696473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95154 94395 1111 63 0 95091 0
vsize: 380616
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 97952 0 0 0 71800 209 0 0 25 0 1 0 833378459 389885952 94415 4294967295 134512640 134714508 3221224592 3221223196 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95187 94415 1111 63 0 95124 0
vsize: 380748
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98003 0 0 0 72799 210 0 0 25 0 1 0 833378459 389939200 94451 4294967295 134512640 134714508 3221224592 3221223216 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95200 94451 1111 63 0 95137 0
vsize: 380800
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98042 0 0 0 73798 212 0 0 25 0 1 0 833378459 390127616 94490 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95246 94490 1111 63 0 95183 0
vsize: 380984
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98070 0 0 0 74798 212 0 0 25 0 1 0 833378459 390213632 94518 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95267 94518 1111 63 0 95204 0
vsize: 381068
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98086 0 0 0 75798 212 0 0 25 0 1 0 833378459 390348800 94534 4294967295 134512640 134714508 3221224592 3221222988 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94534 1111 63 0 95237 0
vsize: 381200
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98086 0 0 0 76798 213 0 0 25 0 1 0 833378459 390275072 94533 4294967295 134512640 134714508 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95282 94533 1111 63 0 95219 0
vsize: 381128
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98133 0 0 0 77797 213 0 0 25 0 1 0 833378459 390545408 94580 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95348 94580 1111 63 0 95285 0
vsize: 381392
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98149 0 0 0 78797 213 0 0 25 0 1 0 833378459 390545408 94596 4294967295 134512640 134714508 3221224592 3221223132 134539217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95348 94596 1111 63 0 95285 0
vsize: 381392
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98149 0 0 0 79797 214 0 0 25 0 1 0 833378459 390545408 94596 4294967295 134512640 134714508 3221224592 3221223208 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95348 94596 1111 63 0 95285 0
vsize: 381392
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98149 0 0 0 80797 214 0 0 25 0 1 0 833378459 390545408 94596 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95348 94596 1111 63 0 95285 0
vsize: 381392
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98197 0 0 0 81796 215 0 0 25 0 1 0 833378459 390766592 94644 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95402 94644 1111 63 0 95339 0
vsize: 381608
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98197 0 0 0 82796 215 0 0 25 0 1 0 833378459 390766592 94644 4294967295 134512640 134714508 3221224592 3221223376 134585124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95402 94644 1111 63 0 95339 0
vsize: 381608
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98220 0 0 0 83795 216 0 0 25 0 1 0 833378459 390844416 94667 4294967295 134512640 134714508 3221224592 3221223216 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95421 94667 1111 63 0 95358 0
vsize: 381684
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98239 0 0 0 84795 217 0 0 25 0 1 0 833378459 390987776 94686 4294967295 134512640 134714508 3221224592 3221223232 134696297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98239 0 0 0 85795 217 0 0 25 0 1 0 833378459 390987776 94686 4294967295 134512640 134714508 3221224592 3221223148 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98241 0 0 0 86794 218 0 0 25 0 1 0 833378459 390987776 94688 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95456 94688 1111 63 0 95393 0
vsize: 381824
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98241 0 0 0 87793 219 0 0 25 0 1 0 833378459 390987776 94688 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95456 94688 1111 63 0 95393 0
vsize: 381824
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98241 0 0 0 88793 219 0 0 25 0 1 0 833378459 390975488 94688 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95453 94688 1111 63 0 95390 0
vsize: 381812
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98241 0 0 0 89793 220 0 0 25 0 1 0 833378459 390975488 94688 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95453 94688 1111 63 0 95390 0
vsize: 381812
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98274 0 0 0 90792 220 0 0 25 0 1 0 833378459 391110656 94721 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95486 94721 1111 63 0 95423 0
vsize: 381944
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98281 0 0 0 91792 221 0 0 25 0 1 0 833378459 391106560 94728 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95485 94728 1111 63 0 95422 0
vsize: 381940
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98306 0 0 0 92791 222 0 0 25 0 1 0 833378459 391225344 94753 4294967295 134512640 134714508 3221224592 3221223384 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95514 94753 1111 63 0 95451 0
vsize: 382056
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98307 0 0 0 93791 223 0 0 25 0 1 0 833378459 391225344 94754 4294967295 134512640 134714508 3221224592 3221223180 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95514 94754 1111 63 0 95451 0
vsize: 382056
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98366 0 0 0 94790 223 0 0 25 0 1 0 833378459 391454720 94812 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95570 94812 1111 63 0 95507 0
vsize: 382280
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98375 0 0 0 95790 224 0 0 25 0 1 0 833378459 391454720 94821 4294967295 134512640 134714508 3221224592 3221223232 134536655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95570 94821 1111 63 0 95507 0
vsize: 382280
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98375 0 0 0 96790 224 0 0 25 0 1 0 833378459 391454720 94821 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95570 94821 1111 63 0 95507 0
vsize: 382280
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98393 0 0 0 97790 224 0 0 25 0 1 0 833378459 391581696 94839 4294967295 134512640 134714508 3221224592 3221223232 134696080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94839 1111 63 0 95538 0
vsize: 382404
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98393 0 0 0 98790 224 0 0 25 0 1 0 833378459 391536640 94839 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95590 94839 1111 63 0 95527 0
vsize: 382360
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98416 0 0 0 99790 225 0 0 25 0 1 0 833378459 391667712 94862 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98416 0 0 0 100789 225 0 0 25 0 1 0 833378459 391667712 94862 4294967295 134512640 134714508 3221224592 3221223332 134591993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98416 0 0 0 101789 226 0 0 25 0 1 0 833378459 391667712 94862 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98416 0 0 0 102789 226 0 0 25 0 1 0 833378459 391667712 94862 4294967295 134512640 134714508 3221224592 3221223200 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98416 0 0 0 103788 227 0 0 25 0 1 0 833378459 391667712 94862 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 104788 227 0 0 25 0 1 0 833378459 391798784 94875 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95654 94875 1111 63 0 95591 0
vsize: 382616
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 105788 228 0 0 25 0 1 0 833378459 391778304 94875 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 106788 228 0 0 25 0 1 0 833378459 391778304 94875 4294967295 134512640 134714508 3221224592 3221223176 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 107788 228 0 0 25 0 1 0 833378459 391778304 94875 4294967295 134512640 134714508 3221224592 3221223348 134592339 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 108788 228 0 0 25 0 1 0 833378459 391778304 94875 4294967295 134512640 134714508 3221224592 3221223360 134592098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 109788 229 0 0 25 0 1 0 833378459 391778304 94875 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 110788 229 0 0 25 0 1 0 833378459 391778304 94875 4294967295 134512640 134714508 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 111788 229 0 0 25 0 1 0 833378459 391778304 94875 4294967295 134512640 134714508 3221224592 3221223176 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 112788 229 0 0 25 0 1 0 833378459 391778304 94875 4294967295 134512640 134714508 3221224592 3221223184 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98429 0 0 0 113787 230 0 0 25 0 1 0 833378459 391778304 94875 4294967295 134512640 134714508 3221224592 3221223296 134528543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98439 0 0 0 114787 230 0 0 25 0 1 0 833378459 391778304 94885 4294967295 134512640 134714508 3221224592 3221223192 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 382596
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98439 0 0 0 115787 231 0 0 25 0 1 0 833378459 391778304 94885 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 382596
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98439 0 0 0 116787 231 0 0 25 0 1 0 833378459 391778304 94885 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 382596
[startup+1175.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 7719
Raw data (stat): 7719 (bsolo_lpr) R 7718 3394 3393 0 -1 0 98439 0 0 0 116787 231 0 0 25 0 1 0 833378459 391778304 94885 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.2
CPU user time (s): 1172.7
CPU system time (s): 2.49362
CPU usage (%): 100.013
Max. virtual memory (Kb): 382616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####