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/miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUM	02cc3bacd8064c2ceecf74a8d0a8ab0f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	95.3155
Number of variables	2574
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 28495

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 02:40:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12533 boxname=wulflinc31 idbench=965 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  02cc3bacd8064c2ceecf74a8d0a8ab0f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 12533
/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:        254612 kB
Buffers:         12020 kB
Cached:         740912 kB
SwapCached:       1120 kB
Active:          76844 kB
Inactive:       678448 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        254360 kB
SwapTotal:     2097892 kB
SwapFree:      2096052 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            19256 kB
Committed_AS:    63796 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:00:33 (client local time) WITH STATUS 0 IN 1175.98 SECONDS
stats: 12533 7 1175.98 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2574 variables and 711 constraints.
c After prepocess the problem consists of 2066 variables and 590 constraints.
c preprocess terminated 1.211 s
c Initial Lower Bound: 15608777
c Lower Bound Elapsed time: 0.2834
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.95 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.95 0.90 2/55 8950
Raw data (stat): 8950 (runsolver) R 8949 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835335513 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.0002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 8950
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 13821 0 0 0 964 33 0 0 25 0 1 0 835335513 43687936 9914 4294967295 134512640 134714508 3221224592 3221221872 1074140035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10666 9919 1111 63 0 10603 0
vsize: 42664
[startup+20.003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 8950
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 19350 0 0 0 1952 45 0 0 25 0 1 0 835335513 44138496 10009 4294967295 134512640 134714508 3221224592 3221220820 1075115092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10776 10009 1111 63 0 10713 0
vsize: 43104
[startup+30.0042 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 8950
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 25096 0 0 0 2939 59 0 0 25 0 1 0 835335513 43159552 9834 4294967295 134512640 134714508 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10537 9834 1111 63 0 10474 0
vsize: 42148
[startup+40.0042 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 8950
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 31674 0 0 0 3923 74 0 0 25 0 1 0 835335513 43229184 9855 4294967295 134512640 134714508 3221224592 3221222420 1074057892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10554 9855 1111 63 0 10491 0
vsize: 42216
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 8950
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 38290 0 0 0 4909 89 0 0 25 0 1 0 835335513 43229184 9855 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10554 9855 1111 63 0 10491 0
vsize: 42216
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 8952
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 44899 0 0 0 5896 102 0 0 25 0 1 0 835335513 43229184 9855 4294967295 134512640 134714508 3221224592 3221222360 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10554 9855 1111 63 0 10491 0
vsize: 42216
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 8952
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 50766 0 0 0 6881 117 0 0 25 0 1 0 835335513 43229184 9855 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10554 9855 1111 63 0 10491 0
vsize: 42216
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 8952
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 57292 0 0 0 7867 132 0 0 25 0 1 0 835335513 43229184 9855 4294967295 134512640 134714508 3221224592 3221223200 134650027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10554 9855 1111 63 0 10491 0
vsize: 42216
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 8952
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 63702 0 0 0 8850 148 0 0 25 0 1 0 835335513 43425792 9903 4294967295 134512640 134714508 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10602 9903 1111 63 0 10539 0
vsize: 42408
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 8952
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 69490 0 0 0 9837 162 0 0 25 0 1 0 835335513 43425792 9903 4294967295 134512640 134714508 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10602 9903 1111 63 0 10539 0
vsize: 42408
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 8952
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 76179 0 0 0 10820 179 0 0 25 0 1 0 835335513 43536384 9930 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9930 1111 63 0 10566 0
vsize: 42516
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8954
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 82616 0 0 0 11805 194 0 0 25 0 1 0 835335513 43536384 9930 4294967295 134512640 134714508 3221224592 3221222912 1074207500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9930 1111 63 0 10566 0
vsize: 42516
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8954
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 89264 0 0 0 12788 211 0 0 25 0 1 0 835335513 43581440 9941 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10640 9941 1111 63 0 10577 0
vsize: 42560
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8954
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 95718 0 0 0 13771 229 0 0 25 0 1 0 835335513 43749376 9951 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10681 9951 1111 63 0 10618 0
vsize: 42724
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8954
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 102348 0 0 0 14754 246 0 0 25 0 1 0 835335513 43683840 9966 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10665 9966 1111 63 0 10602 0
vsize: 42660
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8954
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 108698 0 0 0 15737 263 0 0 25 0 1 0 835335513 43819008 9968 4294967295 134512640 134714508 3221224592 3221223244 134673068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10698 9968 1111 63 0 10635 0
vsize: 42792
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8954
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 115771 0 0 0 16719 282 0 0 25 0 1 0 835335513 44752896 10159 4294967295 134512640 134714508 3221224592 3221220752 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10926 10159 1111 63 0 10863 0
vsize: 43704
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8956
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 122629 0 0 0 17703 297 0 0 25 0 1 0 835335513 43798528 9994 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10693 9994 1111 63 0 10630 0
vsize: 42772
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8956
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 128746 0 0 0 18690 311 0 0 25 0 1 0 835335513 44081152 10063 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10736 10037 1111 63 0 10673 0
vsize: 43048
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8956
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 135228 0 0 0 19675 325 0 0 25 0 1 0 835335513 43905024 10020 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10719 10020 1111 63 0 10656 0
vsize: 42876
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8956
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 141613 0 0 0 20661 340 0 0 25 0 1 0 835335513 44220416 10097 4294967295 134512640 134714508 3221224592 3221222592 1074918192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10796 10097 1111 63 0 10733 0
vsize: 43184
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8956
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 148684 0 0 0 21645 356 0 0 25 0 1 0 835335513 43986944 10040 4294967295 134512640 134714508 3221224592 3221222392 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10739 10040 1111 63 0 10676 0
vsize: 42956
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8956
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 155905 0 0 0 22628 374 0 0 25 0 1 0 835335513 45101056 10241 4294967295 134512640 134714508 3221224592 3221220832 1075115696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11011 10241 1111 63 0 10948 0
vsize: 44044
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8958
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 162974 0 0 0 23612 390 0 0 25 0 1 0 835335513 43986944 10040 4294967295 134512640 134714508 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10739 10040 1111 63 0 10676 0
vsize: 42956
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8958
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 169607 0 0 0 24596 405 0 0 25 0 1 0 835335513 44449792 10124 4294967295 134512640 134714508 3221224592 3221221712 1074865668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10852 10124 1111 63 0 10789 0
vsize: 43408
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8958
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 175845 0 0 0 25582 420 0 0 25 0 1 0 835335513 44052480 10056 4294967295 134512640 134714508 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10755 10056 1111 63 0 10692 0
vsize: 43020
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8958
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 182829 0 0 0 26565 437 0 0 25 0 1 0 835335513 45154304 10259 4294967295 134512640 134714508 3221224592 3221221632 1075860054 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11024 10259 1111 63 0 10961 0
vsize: 44096
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8958
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 189599 0 0 0 27549 453 0 0 25 0 1 0 835335513 44224512 10067 4294967295 134512640 134714508 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10797 10067 1111 63 0 10734 0
vsize: 43188
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8958
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 196693 0 0 0 28532 470 0 0 25 0 1 0 835335513 44089344 10065 4294967295 134512640 134714508 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10764 10065 1111 63 0 10701 0
vsize: 43056
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8960
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 202720 0 0 0 29519 484 0 0 25 0 1 0 835335513 44089344 10065 4294967295 134512640 134714508 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10764 10065 1111 63 0 10701 0
vsize: 43056
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8960
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 208395 0 0 0 30505 498 0 0 25 0 1 0 835335513 44089344 10065 4294967295 134512640 134714508 3221224592 3221221528 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10764 10065 1111 63 0 10701 0
vsize: 43056
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8960
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 214874 0 0 0 31489 514 0 0 25 0 1 0 835335513 44089344 10065 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10764 10065 1111 63 0 10701 0
vsize: 43056
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8960
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 221831 0 0 0 32472 531 0 0 25 0 1 0 835335513 45219840 10270 4294967295 134512640 134714508 3221224592 3221220588 1074860977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11040 10270 1111 63 0 10977 0
vsize: 44160
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8960
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 228501 0 0 0 33457 547 0 0 25 0 1 0 835335513 44138496 10077 4294967295 134512640 134714508 3221224592 3221222400 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10776 10077 1111 63 0 10713 0
vsize: 43104
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8960
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 234611 0 0 0 34441 562 0 0 25 0 1 0 835335513 44273664 10093 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10809 10099 1111 63 0 10746 0
vsize: 43236
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8962
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 242004 0 0 0 35425 579 0 0 25 0 1 0 835335513 44625920 10159 4294967295 134512640 134714508 3221224592 3221221712 1074865625 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10895 10159 1111 63 0 10832 0
vsize: 43580
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8962
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 249536 0 0 0 36407 596 0 0 25 0 1 0 835335513 44306432 10087 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10817 10087 1111 63 0 10754 0
vsize: 43268
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8962
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 255924 0 0 0 37393 611 0 0 25 0 1 0 835335513 44871680 10186 4294967295 134512640 134714508 3221224592 3221222704 1074867325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10955 10186 1111 63 0 10892 0
vsize: 43820
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8962
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 261199 0 0 0 38380 624 0 0 25 0 1 0 835335513 44380160 10136 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10835 10136 1111 63 0 10772 0
vsize: 43340
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8962
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 267087 0 0 0 39368 637 0 0 25 0 1 0 835335513 44417024 10145 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10844 10145 1111 63 0 10781 0
vsize: 43376
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8962
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 273528 0 0 0 40353 652 0 0 25 0 1 0 835335513 44736512 10206 4294967295 134512640 134714508 3221224592 3221222592 1074918533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10922 10206 1111 63 0 10859 0
vsize: 43688
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8964
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 280389 0 0 0 41336 669 0 0 25 0 1 0 835335513 45432832 10322 4294967295 134512640 134714508 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11092 10322 1111 63 0 11029 0
vsize: 44368
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8964
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 286687 0 0 0 42321 684 0 0 25 0 1 0 835335513 44417024 10145 4294967295 134512640 134714508 3221224592 3221222944 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10844 10145 1111 63 0 10781 0
vsize: 43376
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8964
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 292838 0 0 0 43307 698 0 0 25 0 1 0 835335513 44417024 10145 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10844 10145 1111 63 0 10781 0
vsize: 43376
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8964
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 299627 0 0 0 44292 713 0 0 25 0 1 0 835335513 44453888 10154 4294967295 134512640 134714508 3221224592 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10853 10154 1111 63 0 10790 0
vsize: 43412
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8964
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 306694 0 0 0 45275 731 0 0 25 0 1 0 835335513 44617728 10166 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10893 10166 1111 63 0 10830 0
vsize: 43572
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8964
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 312850 0 0 0 46259 747 0 0 25 0 1 0 835335513 44453888 10154 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10853 10154 1111 63 0 10790 0
vsize: 43412
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8966
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 319352 0 0 0 47243 763 0 0 25 0 1 0 835335513 44453888 10154 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10853 10154 1111 63 0 10790 0
vsize: 43412
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8966
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 326286 0 0 0 48228 778 0 0 25 0 1 0 835335513 44453888 10154 4294967295 134512640 134714508 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10853 10154 1111 63 0 10790 0
vsize: 43412
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8966
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 333546 0 0 0 49211 796 0 0 25 0 1 0 835335513 44699648 10181 4294967295 134512640 134714508 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10913 10181 1111 63 0 10850 0
vsize: 43652
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8966
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 340352 0 0 0 50193 813 0 0 25 0 1 0 835335513 45142016 10252 4294967295 134512640 134714508 3221224592 3221222512 1075799528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11021 10252 1111 63 0 10958 0
vsize: 44084
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8966
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 346279 0 0 0 51180 827 0 0 25 0 1 0 835335513 44621824 10195 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 10195 1111 63 0 10831 0
vsize: 43576
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8966
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 352767 0 0 0 52164 842 0 0 25 0 1 0 835335513 44621824 10195 4294967295 134512640 134714508 3221224592 3221222928 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 10195 1111 63 0 10831 0
vsize: 43576
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8968
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 359161 0 0 0 53148 859 0 0 25 0 1 0 835335513 45170688 10259 4294967295 134512640 134714508 3221224592 3221222512 1075799826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11028 10259 1111 63 0 10965 0
vsize: 44112
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8968
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 365742 0 0 0 54134 873 0 0 25 0 1 0 835335513 45613056 10367 4294967295 134512640 134714508 3221224592 3221221132 1075118208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11136 10367 1111 63 0 11073 0
vsize: 44544
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8968
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 372259 0 0 0 55118 889 0 0 25 0 1 0 835335513 45228032 10273 4294967295 134512640 134714508 3221224592 3221222704 1074867296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11042 10273 1111 63 0 10979 0
vsize: 44168
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8968
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 378687 0 0 0 56102 905 0 0 25 0 1 0 835335513 44904448 10249 4294967295 134512640 134714508 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10963 10249 1111 63 0 10900 0
vsize: 43852
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8968
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 385587 0 0 0 57087 921 0 0 25 0 1 0 835335513 44691456 10212 4294967295 134512640 134714508 3221224592 3221222576 1074052264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10911 10212 1111 63 0 10848 0
vsize: 43644
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8968
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 392706 0 0 0 58071 937 0 0 25 0 1 0 835335513 44777472 10233 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10932 10233 1111 63 0 10869 0
vsize: 43728
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8970
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 398820 0 0 0 59059 949 0 0 25 0 1 0 835335513 44777472 10233 4294967295 134512640 134714508 3221224592 3221222400 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10932 10233 1111 63 0 10869 0
vsize: 43728
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8970
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 405191 0 0 0 60045 963 0 0 25 0 1 0 835335513 44777472 10233 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10932 10233 1111 63 0 10869 0
vsize: 43728
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8970
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 411902 0 0 0 61030 978 0 0 25 0 1 0 835335513 44777472 10233 4294967295 134512640 134714508 3221224592 3221222896 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10932 10233 1111 63 0 10869 0
vsize: 43728
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8970
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 419024 0 0 0 62013 996 0 0 25 0 1 0 835335513 45359104 10357 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11074 10357 1111 63 0 11011 0
vsize: 44296
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8970
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 425933 0 0 0 62996 1012 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8970
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 432146 0 0 0 63982 1027 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222944 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8972
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 438247 0 0 0 64968 1041 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222348 1074138112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8972
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 444118 0 0 0 65954 1055 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8972
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 450144 0 0 0 66941 1069 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8972
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 456165 0 0 0 67927 1083 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8972
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 462309 0 0 0 68913 1096 0 0 25 0 1 0 835335513 45101056 10306 4294967295 134512640 134714508 3221224592 3221222992 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11011 10306 1111 63 0 10948 0
vsize: 44044
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8972
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 468408 0 0 0 69899 1110 0 0 25 0 1 0 835335513 44892160 10261 4294967295 134512640 134714508 3221224592 3221221904 1075006827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10960 10261 1111 63 0 10897 0
vsize: 43840
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8974
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 474543 0 0 0 70884 1126 0 0 25 0 1 0 835335513 45211648 10307 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11038 10307 1111 63 0 10975 0
vsize: 44152
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8974
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 480562 0 0 0 71869 1141 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8974
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 486689 0 0 0 72854 1157 0 0 25 0 1 0 835335513 45367296 10341 4294967295 134512640 134714508 3221224592 3221221872 1074140378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11076 10347 1111 63 0 11013 0
vsize: 44304
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8974
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 493282 0 0 0 73837 1174 0 0 25 0 1 0 835335513 44892160 10261 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10960 10261 1111 63 0 10897 0
vsize: 43840
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8974
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 499537 0 0 0 74823 1188 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8974
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 505999 0 0 0 75808 1203 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8976
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 512462 0 0 0 76791 1220 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221221552 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8976
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 518869 0 0 0 77777 1235 0 0 25 0 1 0 835335513 45076480 10266 4294967295 134512640 134714508 3221224592 3221222272 1075895015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11005 10266 1111 63 0 10942 0
vsize: 44020
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8976
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 525127 0 0 0 78763 1249 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8976
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 531496 0 0 0 79748 1264 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222312 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8976
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 538006 0 0 0 80732 1280 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8976
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 544824 0 0 0 81716 1296 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222944 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8978
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 551308 0 0 0 82700 1313 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8978
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 558059 0 0 0 83684 1329 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8978
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 564921 0 0 0 84669 1344 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222408 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8978
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 571597 0 0 0 85653 1360 0 0 25 0 1 0 835335513 45056000 10301 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11000 10301 1111 63 0 10937 0
vsize: 44000
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8978
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 578008 0 0 0 86637 1376 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8978
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 584251 0 0 0 87623 1391 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8980
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 590466 0 0 0 88607 1406 0 0 25 0 1 0 835335513 45371392 10310 4294967295 134512640 134714508 3221224592 3221222672 1075963584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11077 10310 1111 63 0 11014 0
vsize: 44308
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8980
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 596636 0 0 0 89592 1422 0 0 25 0 1 0 835335513 44822528 10244 4294967295 134512640 134714508 3221224592 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10244 1111 63 0 10880 0
vsize: 43772
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8980
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 603639 0 0 0 90575 1439 0 0 25 0 1 0 835335513 44851200 10251 4294967295 134512640 134714508 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10950 10251 1111 63 0 10887 0
vsize: 43800
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8980
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 609976 0 0 0 91560 1454 0 0 25 0 1 0 835335513 45899776 10427 4294967295 134512640 134714508 3221224592 3221220952 1075522565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11206 10427 1111 63 0 11143 0
vsize: 44824
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8980
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 616240 0 0 0 92545 1469 0 0 25 0 1 0 835335513 45375488 10332 4294967295 134512640 134714508 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11078 10335 1111 63 0 11015 0
vsize: 44312
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8980
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 622815 0 0 0 93529 1485 0 0 25 0 1 0 835335513 44851200 10251 4294967295 134512640 134714508 3221224592 3221221980 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10950 10251 1111 63 0 10887 0
vsize: 43800
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8982
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 629485 0 0 0 94513 1502 0 0 25 0 1 0 835335513 45174784 10330 4294967295 134512640 134714508 3221224592 3221222592 1074918562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11029 10330 1111 63 0 10966 0
vsize: 44116
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8982
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 636641 0 0 0 95496 1519 0 0 25 0 1 0 835335513 45920256 10445 4294967295 134512640 134714508 3221224592 3221220960 1075894562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11211 10445 1111 63 0 11148 0
vsize: 44844
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8982
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 643731 0 0 0 96480 1536 0 0 25 0 1 0 835335513 44883968 10259 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10958 10259 1111 63 0 10895 0
vsize: 43832
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8982
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 650761 0 0 0 97465 1550 0 0 25 0 1 0 835335513 45350912 10328 4294967295 134512640 134714508 3221224592 3221222320 1075828500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11072 10328 1111 63 0 11009 0
vsize: 44288
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8982
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 657576 0 0 0 98450 1566 0 0 25 0 1 0 835335513 44883968 10259 4294967295 134512640 134714508 3221224592 3221222944 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10958 10259 1111 63 0 10895 0
vsize: 43832
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8982
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 664448 0 0 0 99434 1581 0 0 25 0 1 0 835335513 44883968 10259 4294967295 134512640 134714508 3221224592 3221222520 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10958 10259 1111 63 0 10895 0
vsize: 43832
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8984
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 671426 0 0 0 100419 1596 0 0 25 0 1 0 835335513 44883968 10259 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10958 10259 1111 63 0 10895 0
vsize: 43832
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8984
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 678074 0 0 0 101404 1612 0 0 25 0 1 0 835335513 45166592 10288 4294967295 134512640 134714508 3221224592 3221222336 1075640367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11027 10288 1111 63 0 10964 0
vsize: 44108
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8984
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 684871 0 0 0 102388 1628 0 0 25 0 1 0 835335513 44883968 10259 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10958 10259 1111 63 0 10895 0
vsize: 43832
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8984
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 691846 0 0 0 103372 1644 0 0 25 0 1 0 835335513 44892160 10261 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10960 10261 1111 63 0 10897 0
vsize: 43840
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8984
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 698737 0 0 0 104355 1662 0 0 25 0 1 0 835335513 45285376 10357 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11056 10357 1111 63 0 10993 0
vsize: 44224
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8984
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 705417 0 0 0 105340 1677 0 0 25 0 1 0 835335513 45039616 10297 4294967295 134512640 134714508 3221224592 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10996 10297 1111 63 0 10933 0
vsize: 43984
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8986
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 712484 0 0 0 106325 1692 0 0 25 0 1 0 835335513 45142016 10322 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11021 10322 1111 63 0 10958 0
vsize: 44084
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8986
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 718543 0 0 0 107310 1707 0 0 25 0 1 0 835335513 45314048 10364 4294967295 134512640 134714508 3221224592 3221222592 1074916673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11063 10364 1111 63 0 11000 0
vsize: 44252
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8986
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 725143 0 0 0 108294 1723 0 0 25 0 1 0 835335513 45277184 10320 4294967295 134512640 134714508 3221224592 3221221936 1074839088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11091 10324 1111 63 0 11028 0
vsize: 44216
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8986
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 731332 0 0 0 109282 1735 0 0 25 0 1 0 835335513 45117440 10316 4294967295 134512640 134714508 3221224592 3221222944 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11015 10316 1111 63 0 10952 0
vsize: 44060
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8986
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 737131 0 0 0 110267 1750 0 0 25 0 1 0 835335513 45117440 10316 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11015 10316 1111 63 0 10952 0
vsize: 44060
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8986
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 742958 0 0 0 111253 1765 0 0 25 0 1 0 835335513 45821952 10376 4294967295 134512640 134714508 3221224592 3221221536 1074620038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11187 10376 1111 63 0 11124 0
vsize: 44748
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8988
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 748746 0 0 0 112240 1778 0 0 25 0 1 0 835335513 45117440 10316 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11015 10316 1111 63 0 10952 0
vsize: 44060
[startup+1150.04 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 9028
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 754274 0 0 0 113219 1798 0 0 25 0 1 0 835335513 45117440 10316 4294967295 134512640 134714508 3221224592 3221222416 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11015 10316 1111 63 0 10952 0
vsize: 44060
[startup+1160.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 9041
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 760116 0 0 0 114204 1813 0 0 25 0 1 0 835335513 45686784 10385 4294967295 134512640 134714508 3221224592 3221222512 1075799638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11154 10385 1111 63 0 11091 0
vsize: 44616
[startup+1170.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 9041
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 766082 0 0 0 115191 1827 0 0 25 0 1 0 835335513 46047232 10479 4294967295 134512640 134714508 3221224592 3221220832 1075115724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11242 10479 1111 63 0 11179 0
vsize: 44968
[startup+1175.83 s]
Raw data (loadavg): 1.05 0.99 0.91 1/54 9041
Raw data (stat): 8950 (bsolo_lpr) R 8949 29618 29617 0 -1 0 766082 0 0 0 115191 1827 0 0 25 0 1 0 835335513 46047232 10479 4294967295 134512640 134714508 3221224592 3221220832 1075115724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11242 10479 1111 63 0 11179 0
vsize: 0

Child status: 0
Real time (s): 1175.83
CPU time (s): 1175.98
CPU user time (s): 1157.62
CPU system time (s): 18.3602
CPU usage (%): 100.012
Max. virtual memory (Kb): 44968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####