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/miplib3/normalized-mps-v2-13-7-fiber.opb
MD5SUM	cc38717029ffa5880438a73ef1ac0ab0
Bench Category	optimization, medium integers (OPTMEDINT)
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	72966962
Number of bits of the biggest number in a constraint	27
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	90.2693
Number of variables	2134
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	51
Trace number 27137

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 19:28:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18331 boxname=wulflinc21 idbench=1411 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  cc38717029ffa5880438a73ef1ac0ab0  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-fiber.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-fiber.opb
IDLAUNCH: 18331
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        636776 kB
Buffers:         18664 kB
Cached:         358556 kB
SwapCached:       1064 kB
Active:          95524 kB
Inactive:       284268 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        636524 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            12468 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:47:50 (client local time) WITH STATUS 0 IN 1175.58 SECONDS
stats: 18331 7 1175.58 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2134 variables and 711 constraints.
c After prepocess the problem consists of 1934 variables and 590 constraints.
c preprocess terminated 1.201 s
c Initial Lower Bound: 15612078
c Lower Bound Elapsed time: 0.2603
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.56 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 5104
Raw data (stat): 5104 (runsolver) R 5103 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 710023709 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.95 0.90 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 13309 0 2 0 960 34 0 0 25 0 1 0 710023709 42778624 9745 4294967295 134512640 134714508 3221224592 3221222592 1074918220 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10444 9745 1111 63 0 10381 0
vsize: 41776
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 16978 0 2 0 1950 43 0 0 25 0 1 0 710023709 42868736 9731 4294967295 134512640 134714508 3221224592 3221222552 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10466 9735 1111 63 0 10403 0
vsize: 41864
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 20800 0 3 0 2938 54 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+40.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 24581 0 3 0 3928 65 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+49.9998 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 28515 0 3 0 4918 75 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222472 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+59.9995 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 32305 0 3 0 5907 86 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222580 1074138456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10465 9724 1111 63 0 10402 0
vsize: 41676
[startup+69.9992 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 36233 0 3 0 6896 97 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222944 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+79.9988 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 40104 0 3 0 7889 104 0 0 25 0 1 0 710023709 43044864 9747 4294967295 134512640 134714508 3221224592 3221222320 1075828612 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10509 9747 1111 63 0 10446 0
vsize: 42036
[startup+89.9985 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 44165 0 3 0 8881 112 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+99.9982 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 48797 0 3 0 9869 124 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+109.999 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 53166 0 3 0 10858 136 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+119.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 57875 0 3 0 11847 146 0 0 25 0 1 0 710023709 42909696 9763 4294967295 134512640 134714508 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10476 9768 1111 63 0 10413 0
vsize: 41904
[startup+129.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 62330 0 3 0 12837 157 0 0 25 0 1 0 710023709 43556864 9856 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10634 9856 1111 63 0 10571 0
vsize: 42536
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 67115 0 3 0 13825 169 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222976 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+149.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 71860 0 3 0 14814 181 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222452 1074153336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+159.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 76815 0 3 0 15802 192 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 81442 0 3 0 16792 203 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 86693 0 3 0 17779 216 0 0 25 0 1 0 710023709 42917888 9756 4294967295 134512640 134714508 3221224592 3221221872 1074140026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 9760 1111 63 0 10415 0
vsize: 41912
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 92057 0 3 0 18767 228 0 0 25 0 1 0 710023709 43560960 9853 4294967295 134512640 134714508 3221224592 3221220960 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10635 9853 1111 63 0 10572 0
vsize: 42540
[startup+199.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 97340 0 3 0 19754 241 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222400 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 102684 0 3 0 20742 254 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 108115 0 3 0 21729 267 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222880 1073986877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+229.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 113740 0 3 0 22713 283 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222928 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 119364 0 3 0 23698 298 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222944 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+249.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 124798 0 3 0 24683 313 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+259.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 130554 0 3 0 25670 326 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 136335 0 3 0 26656 341 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222360 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 142348 0 3 0 27641 355 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 148749 0 3 0 28628 369 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222560 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+299.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 154944 0 3 0 29614 383 0 0 25 0 1 0 710023709 43552768 9871 4294967295 134512640 134714508 3221224592 3221221024 1075895987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10633 9871 1111 63 0 10570 0
vsize: 42532
[startup+309.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 161461 0 3 0 30596 401 0 0 25 0 1 0 710023709 42876928 9766 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10468 9766 1111 63 0 10405 0
vsize: 41872
[startup+319.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 168466 0 3 0 31580 418 0 0 25 0 1 0 710023709 42876928 9771 4294967295 134512640 134714508 3221224592 3221222592 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10468 9771 1111 63 0 10405 0
vsize: 41872
[startup+329.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 175779 0 3 0 32564 434 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222856 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+339.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 182946 0 3 0 33549 449 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222640 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+349.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 190120 0 3 0 34532 466 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 197396 0 3 0 35515 484 0 0 25 0 1 0 710023709 42876928 9771 4294967295 134512640 134714508 3221224592 3221223056 1074121052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10468 9771 1111 63 0 10405 0
vsize: 41872
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 204582 0 3 0 36497 502 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222956 1074207648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 211832 0 3 0 37479 520 0 0 25 0 1 0 710023709 43659264 9826 4294967295 134512640 134714508 3221224592 3221221632 1075860321 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10659 9826 1111 63 0 10596 0
vsize: 42636
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 219073 0 3 0 38463 537 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222448 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 226175 0 3 0 39446 554 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222976 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 233348 0 3 0 40428 572 0 0 25 0 1 0 710023709 42872832 9770 4294967295 134512640 134714508 3221224592 3221222592 1074916807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10467 9770 1111 63 0 10404 0
vsize: 41868
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 240628 0 3 0 41410 590 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222928 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 247541 0 3 0 42392 608 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222928 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 254377 0 3 0 43376 624 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222976 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 261283 0 3 0 44358 642 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 268153 0 3 0 45342 659 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222856 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 274973 0 3 0 46325 676 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 281861 0 3 0 47309 692 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+490.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 289068 0 3 0 48300 711 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222840 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+500.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 296113 0 3 0 49283 728 0 0 25 0 1 0 710023709 43147264 9773 4294967295 134512640 134714508 3221224592 3221222240 1075817673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10534 9773 1111 63 0 10471 0
vsize: 42136
[startup+510.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 303296 0 3 0 50266 746 0 0 25 0 1 0 710023709 42676224 9722 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9722 1111 63 0 10356 0
vsize: 41676
[startup+520.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 309959 0 3 0 51251 761 0 0 25 0 1 0 710023709 42921984 9782 4294967295 134512640 134714508 3221224592 3221222872 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10479 9782 1111 63 0 10416 0
vsize: 41916
[startup+530.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 317219 0 3 0 52233 779 0 0 25 0 1 0 710023709 42860544 9736 4294967295 134512640 134714508 3221224592 3221222944 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10464 9736 1111 63 0 10401 0
vsize: 41856
[startup+540.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 324890 0 3 0 53214 798 0 0 25 0 1 0 710023709 43081728 9784 4294967295 134512640 134714508 3221224592 3221222336 1075646682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10518 9784 1111 63 0 10455 0
vsize: 42072
[startup+550.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 332452 0 3 0 54198 815 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222496 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+560.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 340252 0 3 0 55180 833 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+570.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 347746 0 3 0 56163 850 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222928 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+580.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 355500 0 3 0 57144 869 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+590.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 362989 0 3 0 58127 886 0 0 25 0 1 0 710023709 43286528 9829 4294967295 134512640 134714508 3221224592 3221222320 1075828392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10568 9829 1111 63 0 10505 0
vsize: 42272
[startup+600.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 370575 0 3 0 59110 903 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222888 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+610.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 378203 0 3 0 60095 919 0 0 25 0 1 0 710023709 43880448 9936 4294967295 134512640 134714508 3221224592 3221220884 1075116295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10713 9936 1111 63 0 10650 0
vsize: 42852
[startup+620.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 385808 0 3 0 61075 939 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222928 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+630.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 393463 0 3 0 62055 959 0 0 25 0 1 0 710023709 43876352 9883 4294967295 134512640 134714508 3221224592 3221221248 1075966528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10712 9883 1111 63 0 10649 0
vsize: 42848
[startup+640.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 401060 0 3 0 63037 977 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222448 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+650.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 408683 0 3 0 64017 997 0 0 25 0 1 0 710023709 43876352 9934 4294967295 134512640 134714508 3221224592 3221220588 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10712 9934 1111 63 0 10649 0
vsize: 42848
[startup+660.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 416220 0 3 0 64999 1015 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222928 1074153543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+670.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 423644 0 3 0 65982 1033 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222684 1077404777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+680.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 431154 0 3 0 66964 1051 0 0 25 0 1 0 710023709 43868160 9880 4294967295 134512640 134714508 3221224592 3221221596 1074621037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10710 9880 1111 63 0 10647 0
vsize: 42840
[startup+690.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 438674 0 3 0 67947 1068 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+700.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 446323 0 3 0 68929 1085 0 0 25 0 1 0 710023709 43876352 9935 4294967295 134512640 134714508 3221224592 3221220764 1075560035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10712 9936 1111 63 0 10649 0
vsize: 42848
[startup+710.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 453911 0 3 0 69911 1103 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+720.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 461500 0 3 0 70893 1122 0 0 25 0 1 0 710023709 43110400 9828 4294967295 134512640 134714508 3221224592 3221222592 1074916908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9828 1111 63 0 10462 0
vsize: 42100
[startup+730.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 469135 0 3 0 71875 1140 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+740.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 476776 0 3 0 72855 1160 0 0 25 0 1 0 710023709 42921984 9782 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10479 9782 1111 63 0 10416 0
vsize: 41916
[startup+750.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 484204 0 3 0 73837 1179 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+760.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 491835 0 3 0 74820 1196 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+770.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 499470 0 3 0 75802 1214 0 0 25 0 1 0 710023709 43876352 9935 4294967295 134512640 134714508 3221224592 3221220540 1074788921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10712 9935 1111 63 0 10649 0
vsize: 42848
[startup+780.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 507015 0 3 0 76786 1230 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+790.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 514594 0 3 0 77767 1249 0 0 25 0 1 0 710023709 43868160 9935 4294967295 134512640 134714508 3221224592 3221221712 1074834321 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10710 9935 1111 63 0 10647 0
vsize: 42840
[startup+800.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 522107 0 3 0 78750 1267 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+810.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 529617 0 3 0 79732 1284 0 0 25 0 1 0 710023709 43282432 9828 4294967295 134512640 134714508 3221224592 3221222320 1075828496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10567 9828 1111 63 0 10504 0
vsize: 42268
[startup+820.111 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 537154 0 3 0 80713 1305 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222472 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+830.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 544583 0 3 0 81697 1320 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222448 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+840.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 552196 0 3 0 82681 1336 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222640 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+850.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 559785 0 3 0 83664 1353 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+860.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 567218 0 3 0 84649 1369 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+870.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 574619 0 3 0 85631 1387 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+880.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 582267 0 3 0 86614 1404 0 0 25 0 1 0 710023709 43864064 9931 4294967295 134512640 134714508 3221224592 3221220864 1074807353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10709 9931 1111 63 0 10646 0
vsize: 42836
[startup+890.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 589726 0 3 0 87595 1423 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+900.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 597282 0 3 0 88577 1441 0 0 25 0 1 0 710023709 43110400 9828 4294967295 134512640 134714508 3221224592 3221222592 1074916908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9828 1111 63 0 10462 0
vsize: 42100
[startup+910.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 604928 0 3 0 89559 1459 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222944 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+920.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 612451 0 3 0 90542 1477 0 0 25 0 1 0 710023709 43290624 9830 4294967295 134512640 134714508 3221224592 3221222320 1075828462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10569 9830 1111 63 0 10506 0
vsize: 42276
[startup+930.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 620038 0 3 0 91526 1493 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+940.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 627647 0 3 0 92510 1509 0 0 25 0 1 0 710023709 43868160 9933 4294967295 134512640 134714508 3221224592 3221220588 1074860977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10710 9933 1111 63 0 10647 0
vsize: 42840
[startup+950.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 635122 0 3 0 93493 1527 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+960.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 642510 0 3 0 94477 1542 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+970.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 650123 0 3 0 95459 1561 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+980.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 657543 0 3 0 96442 1578 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222924 1074207648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+990.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 665098 0 3 0 97425 1595 0 0 25 0 1 0 710023709 42921984 9782 4294967295 134512640 134714508 3221224592 3221222504 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10518 9783 1111 63 0 10455 0
vsize: 41916
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 672540 0 3 0 98408 1612 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 680169 0 3 0 99390 1631 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222464 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 687846 0 3 0 100373 1648 0 0 25 0 1 0 710023709 43073536 9795 4294967295 134512640 134714508 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10516 9801 1111 63 0 10453 0
vsize: 42064
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 695362 0 3 0 101356 1665 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 702827 0 3 0 102339 1682 0 0 25 0 1 0 710023709 43106304 9827 4294967295 134512640 134714508 3221224592 3221222592 1074918472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10524 9827 1111 63 0 10461 0
vsize: 42096
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 710360 0 3 0 103322 1699 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 717978 0 3 0 104303 1719 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222688 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 725393 0 3 0 105286 1735 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 732980 0 3 0 106269 1753 0 0 25 0 1 0 710023709 43868160 9931 4294967295 134512640 134714508 3221224592 3221221616 1074810490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10710 9931 1111 63 0 10647 0
vsize: 42840
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 740528 0 3 0 107251 1771 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222464 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 748081 0 3 0 108235 1787 0 0 25 0 1 0 710023709 43241472 9828 4294967295 134512640 134714508 3221224592 3221221676 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10557 9828 1111 63 0 10494 0
vsize: 42228
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 755727 0 3 0 109218 1804 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 763449 0 3 0 110202 1821 0 0 25 0 1 0 710023709 43106304 9827 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10524 9827 1111 63 0 10461 0
vsize: 42096
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 771222 0 3 0 111183 1839 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222976 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 779113 0 3 0 112165 1858 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 786913 0 3 0 113146 1877 0 0 25 0 1 0 710023709 43233280 9826 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10666 9832 1111 63 0 10603 0
vsize: 42220
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 794524 0 3 0 114128 1895 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222944 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 801421 0 3 0 115113 1910 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222472 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 41832
[startup+1175.45 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5104
Raw data (stat): 5104 (bsolo_lpr) R 5103 32363 32362 0 -1 0 801421 0 3 0 115113 1910 0 0 25 0 1 0 710023709 42835968 9761 4294967295 134512640 134714508 3221224592 3221222472 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10458 9761 1111 63 0 10395 0
vsize: 0

Child status: 0
Real time (s): 1175.45
CPU time (s): 1175.58
CPU user time (s): 1156.37
CPU system time (s): 19.2151
CPU usage (%): 100.011
Max. virtual memory (Kb): 42852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####