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/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.51
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 26657

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 16:36:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12156 boxname=wulflinc30 idbench=936 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6f47095f2d417d23ced995954e641689  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 12156
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        476336 kB
Buffers:          2048 kB
Cached:         524328 kB
SwapCached:        556 kB
Active:           9456 kB
Inactive:       519080 kB
HighTotal:      131008 kB
HighFree:        28168 kB
LowTotal:       903652 kB
LowFree:        448168 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            23992 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:55:46 (client local time) WITH STATUS 0 IN 1179.65 SECONDS
stats: 12156 7 1179.65 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.739 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.0275
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1179.52 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): 1.14 1.70 1.37 2/54 24036
Raw data (stat): 24036 (runsolver) R 24035 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831720656 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+9.99995 s]
Raw data (loadavg): 1.12 1.67 1.36 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 8681 0 17 0 902 30 0 0 25 0 1 0 831720656 20500480 4304 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5005 4304 1111 63 0 4942 0
vsize: 20020
[startup+20.0002 s]
Raw data (loadavg): 1.10 1.65 1.36 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 15001 0 17 0 1876 56 0 0 25 0 1 0 831720656 25272320 5473 4294967295 134512640 134714508 3221224592 3221222824 1077377685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6170 5473 1111 63 0 6107 0
vsize: 24680
[startup+30.0003 s]
Raw data (loadavg): 1.08 1.63 1.36 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 22011 0 17 0 2853 79 0 0 25 0 1 0 831720656 30711808 6795 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7498 6795 1111 63 0 7435 0
vsize: 29992
[startup+40.0011 s]
Raw data (loadavg): 1.07 1.61 1.35 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 28806 0 17 0 3828 105 0 0 25 0 1 0 831720656 35618816 7944 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8696 7944 1111 63 0 8633 0
vsize: 34784
[startup+50.0016 s]
Raw data (loadavg): 1.06 1.59 1.35 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 35634 0 17 0 4802 130 0 0 25 0 1 0 831720656 41594880 9366 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10155 9366 1111 63 0 10092 0
vsize: 40620
[startup+60.0017 s]
Raw data (loadavg): 1.05 1.57 1.34 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 42980 0 17 0 5777 156 0 0 25 0 1 0 831720656 45436928 10326 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11093 10326 1111 63 0 11030 0
vsize: 44372
[startup+70.0022 s]
Raw data (loadavg): 1.04 1.55 1.34 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 51404 0 17 0 6750 183 0 0 25 0 1 0 831720656 50253824 11507 4294967295 134512640 134714508 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12269 11507 1111 63 0 12206 0
vsize: 49076
[startup+80.0023 s]
Raw data (loadavg): 1.03 1.53 1.34 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 60125 0 17 0 7725 208 0 0 25 0 1 0 831720656 56807424 12862 4294967295 134512640 134714508 3221224592 3221222864 1074056202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13869 12862 1111 63 0 13806 0
vsize: 55476
[startup+90.0031 s]
Raw data (loadavg): 1.03 1.51 1.33 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 69461 0 17 0 8694 239 0 0 25 0 1 0 831720656 60489728 13779 4294967295 134512640 134714508 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14768 13779 1111 63 0 14705 0
vsize: 59072
[startup+100.003 s]
Raw data (loadavg): 1.02 1.49 1.33 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 78063 0 17 0 9670 264 0 0 25 0 1 0 831720656 63553536 14467 4294967295 134512640 134714508 3221224592 3221220864 1074807748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15430 14459 1111 63 0 15367 0
vsize: 62064
[startup+110.003 s]
Raw data (loadavg): 1.02 1.48 1.32 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 89843 0 17 0 10636 298 0 0 25 0 1 0 831720656 66949120 15383 4294967295 134512640 134714508 3221224592 3221223136 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16345 15383 1111 63 0 16282 0
vsize: 65380
[startup+120.003 s]
Raw data (loadavg): 1.02 1.46 1.32 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 101344 0 17 0 11605 329 0 0 25 0 1 0 831720656 70361088 16239 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17178 16239 1111 63 0 17115 0
vsize: 68712
[startup+130.003 s]
Raw data (loadavg): 1.01 1.45 1.32 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 112826 0 17 0 12572 362 0 0 25 0 1 0 831720656 74072064 17193 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18084 17193 1111 63 0 18021 0
vsize: 72336
[startup+140.004 s]
Raw data (loadavg): 1.01 1.43 1.31 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 124072 0 17 0 13541 393 0 0 25 0 1 0 831720656 77713408 18081 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18973 18081 1111 63 0 18910 0
vsize: 75892
[startup+150.005 s]
Raw data (loadavg): 1.01 1.42 1.31 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 135707 0 17 0 14509 425 0 0 25 0 1 0 831720656 81301504 19013 4294967295 134512640 134714508 3221224592 3221222056 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19849 19013 1111 63 0 19786 0
vsize: 79396
[startup+160.004 s]
Raw data (loadavg): 1.01 1.40 1.31 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 147226 0 17 0 15476 458 0 0 25 0 1 0 831720656 84746240 19828 4294967295 134512640 134714508 3221224592 3221222568 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20690 19828 1111 63 0 20627 0
vsize: 82760
[startup+170.004 s]
Raw data (loadavg): 1.01 1.39 1.30 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 159448 0 17 0 16443 492 0 0 25 0 1 0 831720656 94228480 21534 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23005 21534 1111 63 0 22942 0
vsize: 92020
[startup+180.004 s]
Raw data (loadavg): 1.00 1.37 1.30 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 170034 0 17 0 17413 522 0 0 25 0 1 0 831720656 96788480 22158 4294967295 134512640 134714508 3221224592 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23630 22158 1111 63 0 23567 0
vsize: 94520
[startup+190.004 s]
Raw data (loadavg): 1.00 1.36 1.29 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 178118 0 17 0 18391 544 0 0 25 0 1 0 831720656 99319808 22700 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24248 22700 1111 63 0 24185 0
vsize: 96992
[startup+200.004 s]
Raw data (loadavg): 1.00 1.35 1.29 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 188289 0 17 0 19363 573 0 0 25 0 1 0 831720656 101937152 23466 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24887 23466 1111 63 0 24824 0
vsize: 99548
[startup+210.004 s]
Raw data (loadavg): 1.00 1.34 1.29 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 198546 0 17 0 20335 600 0 0 25 0 1 0 831720656 104443904 24063 4294967295 134512640 134714508 3221224592 3221222448 1077378647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25499 24063 1111 63 0 25436 0
vsize: 101996
[startup+220.004 s]
Raw data (loadavg): 1.00 1.33 1.28 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 210067 0 17 0 21303 633 0 0 25 0 1 0 831720656 107556864 24852 4294967295 134512640 134714508 3221224592 3221222512 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26259 24852 1111 63 0 26196 0
vsize: 105036
[startup+230.004 s]
Raw data (loadavg): 1.00 1.31 1.28 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 220811 0 17 0 22274 662 0 0 25 0 1 0 831720656 110080000 25462 4294967295 134512640 134714508 3221224592 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26875 25462 1111 63 0 26812 0
vsize: 107500
[startup+240.004 s]
Raw data (loadavg): 1.00 1.30 1.27 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 227322 0 17 0 23256 680 0 0 25 0 1 0 831720656 111943680 25934 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27330 25934 1111 63 0 27267 0
vsize: 109320
[startup+250.005 s]
Raw data (loadavg): 1.00 1.29 1.27 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 238670 0 17 0 24222 714 0 0 25 0 1 0 831720656 114360320 26559 4294967295 134512640 134714508 3221224592 3221222568 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27920 26559 1111 63 0 27857 0
vsize: 111680
[startup+260.007 s]
Raw data (loadavg): 1.00 1.28 1.27 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 249632 0 17 0 25191 745 0 0 25 0 1 0 831720656 117391360 27287 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28660 27287 1111 63 0 28597 0
vsize: 114640
[startup+270.007 s]
Raw data (loadavg): 1.00 1.27 1.26 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 261647 0 17 0 26157 779 0 0 25 0 1 0 831720656 120770560 28136 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29485 28136 1111 63 0 29422 0
vsize: 117940
[startup+280.007 s]
Raw data (loadavg): 1.00 1.26 1.26 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 273265 0 17 0 27124 813 0 0 25 0 1 0 831720656 123072512 28692 4294967295 134512640 134714508 3221224592 3221222844 1077404777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30047 28692 1111 63 0 29984 0
vsize: 120188
[startup+290.007 s]
Raw data (loadavg): 1.00 1.26 1.26 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 284229 0 17 0 28093 844 0 0 25 0 1 0 831720656 126238720 29490 4294967295 134512640 134714508 3221224592 3221222216 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30820 29490 1111 63 0 30757 0
vsize: 123280
[startup+300.007 s]
Raw data (loadavg): 1.00 1.25 1.26 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 295486 0 17 0 29059 878 0 0 25 0 1 0 831720656 129613824 30316 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31644 30316 1111 63 0 31581 0
vsize: 126576
[startup+310.006 s]
Raw data (loadavg): 1.00 1.24 1.25 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 305843 0 17 0 30029 908 0 0 25 0 1 0 831720656 132780032 31116 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32417 31116 1111 63 0 32354 0
vsize: 129668
[startup+320.007 s]
Raw data (loadavg): 1.00 1.23 1.25 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 312100 0 17 0 31013 925 0 0 25 0 1 0 831720656 134615040 31557 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32865 31557 1111 63 0 32802 0
vsize: 131460
[startup+330.007 s]
Raw data (loadavg): 1.00 1.22 1.25 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 323123 0 17 0 31982 956 0 0 25 0 1 0 831720656 138612736 32467 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33841 32467 1111 63 0 33778 0
vsize: 135364
[startup+340.007 s]
Raw data (loadavg): 1.00 1.21 1.24 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 333218 0 17 0 32951 987 0 0 25 0 1 0 831720656 141467648 33250 4294967295 134512640 134714508 3221224592 3221222460 1074050752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34538 33250 1111 63 0 34475 0
vsize: 138152
[startup+350.007 s]
Raw data (loadavg): 1.00 1.21 1.24 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 344818 0 17 0 33914 1024 0 0 25 0 1 0 831720656 144789504 34057 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35349 34057 1111 63 0 35286 0
vsize: 141396
[startup+360.007 s]
Raw data (loadavg): 1.00 1.20 1.24 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 355960 0 17 0 34883 1055 0 0 25 0 1 0 831720656 147476480 34735 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36005 34735 1111 63 0 35942 0
vsize: 144020
[startup+370.007 s]
Raw data (loadavg): 1.00 1.19 1.24 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 360018 0 17 0 35873 1066 0 0 25 0 1 0 831720656 149958656 35266 4294967295 134512640 134714508 3221224592 3221222252 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36611 35273 1111 63 0 36548 0
vsize: 146444
[startup+380.007 s]
Raw data (loadavg): 1.00 1.18 1.23 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 362449 0 17 0 36868 1070 0 0 25 0 1 0 831720656 149725184 35299 4294967295 134512640 134714508 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+390.007 s]
Raw data (loadavg): 1.00 1.18 1.23 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 362449 0 17 0 37868 1070 0 0 25 0 1 0 831720656 149725184 35299 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+400.008 s]
Raw data (loadavg): 1.00 1.17 1.23 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 362449 0 17 0 38869 1070 0 0 25 0 1 0 831720656 149725184 35299 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+410.008 s]
Raw data (loadavg): 1.00 1.17 1.22 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 362449 0 17 0 39869 1070 0 0 25 0 1 0 831720656 149725184 35299 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+420.009 s]
Raw data (loadavg): 1.00 1.16 1.22 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 362449 0 17 0 40869 1070 0 0 25 0 1 0 831720656 149725184 35299 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+430.009 s]
Raw data (loadavg): 1.00 1.15 1.22 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 362616 0 17 0 41868 1072 0 0 25 0 1 0 831720656 149671936 35286 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36541 35286 1111 63 0 36478 0
vsize: 146164
[startup+440.009 s]
Raw data (loadavg): 1.00 1.15 1.21 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 370457 0 17 0 42848 1092 0 0 25 0 1 0 831720656 149901312 35340 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36597 35340 1111 63 0 36534 0
vsize: 146388
[startup+450.009 s]
Raw data (loadavg): 1.00 1.14 1.21 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 385623 0 17 0 43814 1126 0 0 25 0 1 0 831720656 153608192 36216 4294967295 134512640 134714508 3221224592 3221222880 1074153713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37502 36216 1111 63 0 37439 0
vsize: 150008
[startup+460.008 s]
Raw data (loadavg): 1.00 1.14 1.21 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 398135 0 17 0 44785 1155 0 0 25 0 1 0 831720656 168202240 38501 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41065 38501 1111 63 0 41002 0
vsize: 164260
[startup+470.01 s]
Raw data (loadavg): 1.00 1.13 1.21 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 408755 0 17 0 45761 1180 0 0 25 0 1 0 831720656 169631744 38830 4294967295 134512640 134714508 3221224592 3221222520 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41414 38830 1111 63 0 41351 0
vsize: 165656
[startup+480.01 s]
Raw data (loadavg): 1.00 1.13 1.20 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 424563 0 17 0 46724 1216 0 0 25 0 1 0 831720656 172716032 39567 4294967295 134512640 134714508 3221224592 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42167 39567 1111 63 0 42104 0
vsize: 168668
[startup+490.009 s]
Raw data (loadavg): 1.00 1.12 1.20 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 436747 0 17 0 47693 1248 0 0 25 0 1 0 831720656 175411200 40277 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42825 40277 1111 63 0 42762 0
vsize: 171300
[startup+500.01 s]
Raw data (loadavg): 1.00 1.12 1.20 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 441105 0 17 0 48680 1260 0 0 25 0 1 0 831720656 175718400 40344 4294967295 134512640 134714508 3221224592 3221222136 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42900 40348 1111 63 0 42837 0
vsize: 171600
[startup+510.01 s]
Raw data (loadavg): 1.00 1.11 1.19 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 451360 0 17 0 49653 1288 0 0 25 0 1 0 831720656 178069504 40918 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43474 40918 1111 63 0 43411 0
vsize: 173896
[startup+520.01 s]
Raw data (loadavg): 1.00 1.11 1.19 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 461146 0 17 0 50628 1314 0 0 25 0 1 0 831720656 179625984 41299 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43854 41299 1111 63 0 43791 0
vsize: 175416
[startup+530.01 s]
Raw data (loadavg): 1.00 1.11 1.19 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 467683 0 17 0 51611 1330 0 0 25 0 1 0 831720656 180772864 41611 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44134 41611 1111 63 0 44071 0
vsize: 176536
[startup+540.01 s]
Raw data (loadavg): 1.00 1.10 1.19 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 474913 0 17 0 52592 1350 0 0 25 0 1 0 831720656 181682176 41835 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44744 41840 1111 63 0 44681 0
vsize: 177424
[startup+550.011 s]
Raw data (loadavg): 1.00 1.10 1.18 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 490361 0 17 0 53554 1387 0 0 25 0 1 0 831720656 185638912 42409 4294967295 134512640 134714508 3221224592 3221221648 1075276343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45322 42409 1111 63 0 45259 0
vsize: 181288
[startup+560.011 s]
Raw data (loadavg): 1.00 1.09 1.18 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 506322 0 17 0 54515 1427 0 0 25 0 1 0 831720656 186765312 43045 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45597 43045 1111 63 0 45534 0
vsize: 182388
[startup+570.012 s]
Raw data (loadavg): 1.00 1.09 1.18 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 522602 0 17 0 55472 1470 0 0 25 0 1 0 831720656 189534208 43728 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46273 43728 1111 63 0 46210 0
vsize: 185092
[startup+580.011 s]
Raw data (loadavg): 1.00 1.09 1.18 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 531801 0 17 0 56448 1494 0 0 25 0 1 0 831720656 192327680 44032 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46955 44032 1111 63 0 46892 0
vsize: 187820
[startup+590.011 s]
Raw data (loadavg): 1.00 1.08 1.17 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 548136 0 17 0 57406 1536 0 0 25 0 1 0 831720656 193007616 44620 4294967295 134512640 134714508 3221224592 3221222944 1073986742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47121 44620 1111 63 0 47058 0
vsize: 188484
[startup+600.017 s]
Raw data (loadavg): 1.00 1.08 1.17 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 564515 0 17 0 58363 1581 0 0 25 0 1 0 831720656 195813376 45291 4294967295 134512640 134714508 3221224592 3221222320 1075828218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47806 45291 1111 63 0 47743 0
vsize: 191224
[startup+610.021 s]
Raw data (loadavg): 1.00 1.08 1.17 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 568821 0 17 0 59353 1591 0 0 25 0 1 0 831720656 196612096 45501 4294967295 134512640 134714508 3221224592 3221222944 1074142933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48001 45501 1111 63 0 47938 0
vsize: 192004
[startup+620.022 s]
Raw data (loadavg): 1.00 1.08 1.17 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 582751 0 17 0 60320 1624 0 0 25 0 1 0 831720656 199491584 46170 4294967295 134512640 134714508 3221224592 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48704 46170 1111 63 0 48641 0
vsize: 194816
[startup+630.021 s]
Raw data (loadavg): 1.00 1.07 1.17 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 594733 0 17 0 61288 1656 0 0 25 0 1 0 831720656 200962048 46532 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49063 46532 1111 63 0 49000 0
vsize: 196252
[startup+640.021 s]
Raw data (loadavg): 1.00 1.07 1.16 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 609842 0 17 0 62252 1693 0 0 25 0 1 0 831720656 203313152 47090 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49637 47090 1111 63 0 49574 0
vsize: 198548
[startup+650.021 s]
Raw data (loadavg): 1.00 1.07 1.16 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 624026 0 17 0 63214 1730 0 0 25 0 1 0 831720656 205881344 47768 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50264 47768 1111 63 0 50201 0
vsize: 201056
[startup+660.021 s]
Raw data (loadavg): 1.00 1.06 1.16 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 639354 0 17 0 64177 1768 0 0 25 0 1 0 831720656 208949248 48522 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51013 48522 1111 63 0 50950 0
vsize: 204052
[startup+670.021 s]
Raw data (loadavg): 1.00 1.06 1.16 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 650445 0 17 0 65148 1797 0 0 25 0 1 0 831720656 211673088 49229 4294967295 134512640 134714508 3221224592 3221223376 134622395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51678 49229 1111 63 0 51615 0
vsize: 206712
[startup+680.021 s]
Raw data (loadavg): 1.00 1.06 1.16 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 661910 0 17 0 66118 1827 0 0 25 0 1 0 831720656 213647360 49672 4294967295 134512640 134714508 3221224592 3221222896 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52160 49672 1111 63 0 52097 0
vsize: 208640
[startup+690.021 s]
Raw data (loadavg): 1.00 1.06 1.15 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 678092 0 17 0 67073 1872 0 0 25 0 1 0 831720656 217276416 50570 4294967295 134512640 134714508 3221224592 3221223056 1074121040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53046 50570 1111 63 0 52983 0
vsize: 212184
[startup+700.021 s]
Raw data (loadavg): 1.00 1.05 1.15 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 686014 0 17 0 68054 1891 0 0 25 0 1 0 831720656 219619328 51141 4294967295 134512640 134714508 3221224592 3221223408 134622248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53618 51141 1111 63 0 53555 0
vsize: 214472
[startup+710.021 s]
Raw data (loadavg): 1.00 1.05 1.15 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 694358 0 17 0 69034 1912 0 0 25 0 1 0 831720656 222183424 51344 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54244 51344 1111 63 0 54181 0
vsize: 216976
[startup+720.022 s]
Raw data (loadavg): 1.00 1.05 1.15 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 703047 0 17 0 70009 1936 0 0 25 0 1 0 831720656 222187520 51730 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54245 51730 1111 63 0 54182 0
vsize: 216980
[startup+730.022 s]
Raw data (loadavg): 1.00 1.05 1.15 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 717755 0 17 0 70969 1976 0 0 25 0 1 0 831720656 225099776 52488 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54956 52488 1111 63 0 54893 0
vsize: 219824
[startup+740.022 s]
Raw data (loadavg): 1.00 1.05 1.14 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 724933 0 17 0 71949 1997 0 0 25 0 1 0 831720656 227471360 53059 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55535 53059 1111 63 0 55472 0
vsize: 222140
[startup+750.023 s]
Raw data (loadavg): 1.00 1.04 1.14 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 727281 0 17 0 72944 2002 0 0 25 0 1 0 831720656 227573760 53094 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+760.023 s]
Raw data (loadavg): 1.00 1.04 1.14 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 727281 0 17 0 73944 2002 0 0 25 0 1 0 831720656 227573760 53094 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+770.023 s]
Raw data (loadavg): 1.00 1.04 1.14 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 727281 0 17 0 74944 2002 0 0 25 0 1 0 831720656 227573760 53094 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+780.024 s]
Raw data (loadavg): 1.00 1.04 1.14 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 727281 0 17 0 75944 2002 0 0 25 0 1 0 831720656 227573760 53094 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+790.023 s]
Raw data (loadavg): 1.00 1.04 1.14 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 727281 0 17 0 76945 2002 0 0 25 0 1 0 831720656 227573760 53094 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+800.023 s]
Raw data (loadavg): 1.00 1.03 1.13 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 728051 0 17 0 77942 2006 0 0 25 0 1 0 831720656 229232640 53468 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55965 53468 1111 63 0 55902 0
vsize: 223860
[startup+810.023 s]
Raw data (loadavg): 1.00 1.03 1.13 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 741710 0 17 0 78908 2039 0 0 25 0 1 0 831720656 229294080 53488 4294967295 134512640 134714508 3221224592 3221222504 1074138322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55980 53488 1111 63 0 55917 0
vsize: 223920
[startup+820.023 s]
Raw data (loadavg): 1.00 1.03 1.13 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 757238 0 17 0 79870 2077 0 0 25 0 1 0 831720656 232525824 54192 4294967295 134512640 134714508 3221224592 3221222840 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56769 54192 1111 63 0 56706 0
vsize: 227076
[startup+830.024 s]
Raw data (loadavg): 1.00 1.03 1.13 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 770080 0 17 0 80839 2109 0 0 25 0 1 0 831720656 234786816 54753 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57321 54753 1111 63 0 57258 0
vsize: 229284
[startup+840.024 s]
Raw data (loadavg): 1.00 1.03 1.13 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 786066 0 17 0 81800 2148 0 0 25 0 1 0 831720656 237289472 55394 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57932 55394 1111 63 0 57869 0
vsize: 231728
[startup+850.024 s]
Raw data (loadavg): 1.00 1.03 1.12 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 802142 0 17 0 82758 2190 0 0 25 0 1 0 831720656 240177152 56080 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58637 56080 1111 63 0 58574 0
vsize: 234548
[startup+860.024 s]
Raw data (loadavg): 1.00 1.03 1.12 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 814010 0 17 0 83732 2217 0 0 25 0 1 0 831720656 242098176 56598 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59106 56598 1111 63 0 59043 0
vsize: 236424
[startup+870.025 s]
Raw data (loadavg): 1.00 1.02 1.12 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 828236 0 17 0 84697 2251 0 0 25 0 1 0 831720656 244695040 57230 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59740 57230 1111 63 0 59677 0
vsize: 238960
[startup+880.025 s]
Raw data (loadavg): 1.00 1.02 1.12 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 843543 0 17 0 85656 2293 0 0 25 0 1 0 831720656 247910400 57958 4294967295 134512640 134714508 3221224592 3221222728 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60525 57958 1111 63 0 60462 0
vsize: 242100
[startup+890.025 s]
Raw data (loadavg): 1.00 1.02 1.12 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 846140 0 17 0 86649 2300 0 0 25 0 1 0 831720656 249630720 58386 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60945 58386 1111 63 0 60882 0
vsize: 243780
[startup+900.026 s]
Raw data (loadavg): 1.00 1.02 1.11 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 846216 0 17 0 87648 2301 0 0 25 0 1 0 831720656 249925632 58462 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61017 58462 1111 63 0 60954 0
vsize: 244068
[startup+910.027 s]
Raw data (loadavg): 1.00 1.02 1.11 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 847096 0 17 0 88646 2303 0 0 25 0 1 0 831720656 252391424 59065 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61619 59065 1111 63 0 61556 0
vsize: 246476
[startup+920.027 s]
Raw data (loadavg): 1.00 1.02 1.11 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 850212 0 17 0 89640 2309 0 0 25 0 1 0 831720656 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+930.027 s]
Raw data (loadavg): 1.00 1.02 1.11 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 850212 0 17 0 90640 2310 0 0 25 0 1 0 831720656 250048512 58495 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+940.026 s]
Raw data (loadavg): 1.00 1.02 1.11 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 850212 0 17 0 91640 2310 0 0 25 0 1 0 831720656 250048512 58495 4294967295 134512640 134714508 3221224592 3221223328 134622851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+950.026 s]
Raw data (loadavg): 1.00 1.02 1.10 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 850212 0 17 0 92640 2310 0 0 25 0 1 0 831720656 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+960.026 s]
Raw data (loadavg): 1.00 1.02 1.10 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 850212 0 17 0 93641 2310 0 0 25 0 1 0 831720656 250048512 58495 4294967295 134512640 134714508 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+970.026 s]
Raw data (loadavg): 1.00 1.02 1.10 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 850212 0 17 0 94641 2310 0 0 25 0 1 0 831720656 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+980.029 s]
Raw data (loadavg): 1.00 1.01 1.10 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 850212 0 17 0 95641 2310 0 0 25 0 1 0 831720656 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+990.029 s]
Raw data (loadavg): 1.00 1.01 1.10 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 851230 0 17 0 96639 2312 0 0 25 0 1 0 831720656 251514880 58227 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61405 58227 1111 63 0 61342 0
vsize: 245620
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.01 1.09 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 865932 0 17 0 97600 2352 0 0 25 0 1 0 831720656 251662336 58831 4294967295 134512640 134714508 3221224592 3221222512 1075802510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61441 58831 1111 63 0 61378 0
vsize: 245764
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.01 1.09 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 881397 0 17 0 98557 2394 0 0 25 0 1 0 831720656 254447616 59524 4294967295 134512640 134714508 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62121 59524 1111 63 0 62058 0
vsize: 248484
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.01 1.09 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 891588 0 17 0 99532 2420 0 0 25 0 1 0 831720656 257781760 60374 4294967295 134512640 134714508 3221224592 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62935 60374 1111 63 0 62872 0
vsize: 251740
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.01 1.09 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 892263 0 17 0 100530 2422 0 0 25 0 1 0 831720656 259624960 60822 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63385 60822 1111 63 0 63322 0
vsize: 253540
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.01 1.09 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 894397 0 17 0 101526 2426 0 0 25 0 1 0 831720656 258043904 60447 4294967295 134512640 134714508 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.01 1.09 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 894397 0 17 0 102526 2427 0 0 25 0 1 0 831720656 258043904 60447 4294967295 134512640 134714508 3221224592 3221223328 134622796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.01 1.09 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 894397 0 17 0 103526 2427 0 0 25 0 1 0 831720656 258043904 60447 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.01 1.09 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 894397 0 17 0 104526 2427 0 0 25 0 1 0 831720656 258043904 60447 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 901611 0 17 0 105506 2447 0 0 25 0 1 0 831720656 258494464 60552 4294967295 134512640 134714508 3221224592 3221223296 134652516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63109 60552 1111 63 0 63046 0
vsize: 252436
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 917070 0 17 0 106467 2486 0 0 25 0 1 0 831720656 264601600 61470 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64600 61470 1111 63 0 64537 0
vsize: 258400
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 917793 0 17 0 107464 2489 0 0 25 0 1 0 831720656 263340032 61788 4294967295 134512640 134714508 3221224592 3221222848 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64292 61788 1111 63 0 64229 0
vsize: 257168
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 918455 0 17 0 108463 2491 0 0 25 0 1 0 831720656 265166848 62228 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64738 62228 1111 63 0 64675 0
vsize: 258952
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 920957 0 17 0 109457 2497 0 0 25 0 1 0 831720656 263372800 61796 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 920957 0 17 0 110457 2497 0 0 25 0 1 0 831720656 263372800 61796 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 920957 0 17 0 111457 2497 0 0 25 0 1 0 831720656 263372800 61796 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 920957 0 17 0 112457 2497 0 0 25 0 1 0 831720656 263372800 61796 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 924056 0 17 0 113450 2504 0 0 25 0 1 0 831720656 265146368 61589 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64101 61583 1111 63 0 64038 0
vsize: 258932
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 0 940219 0 17 0 114408 2546 0 0 25 0 1 0 831720656 265773056 62348 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64886 62348 1111 63 0 64823 0
vsize: 259544
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 4 947383 0 17 0 115387 2567 0 0 25 0 1 0 831720656 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.07 1/53 24036
Raw data (stat): 24036 (bsolo_lpr) R 24035 22056 22055 0 -1 4 947383 0 17 0 115387 2567 0 0 25 0 1 0 831720656 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0

Child status: 0
Real time (s): 1180.13
CPU time (s): 1179.65
CPU user time (s): 1153.88
CPU system time (s): 25.7701
CPU usage (%): 99.9592
Max. virtual memory (Kb): 259544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####