PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb
MD5SUM	962e64054cef66ff1ace4918a032c24a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1983976
Optimality of the best value was proved	NO
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	3584
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	160
Trace number 27219

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-24 20:13:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17915 boxname=wulflinc13 idbench=1379 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  962e64054cef66ff1ace4918a032c24a  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-pp08a.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-pp08a.opb
IDLAUNCH: 17915
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        903868 kB
Buffers:          5048 kB
Cached:         105732 kB
SwapCached:        604 kB
Active:          23424 kB
Inactive:        89980 kB
HighTotal:      131008 kB
HighFree:        21224 kB
LowTotal:       903652 kB
LowFree:        882644 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6144 kB
Slab:            11720 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:33:00 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 17915 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3584 variables and 200 constraints.
c After prepocess the problem consists of 3288 variables and 219 constraints.
c preprocess terminated 1.385 s
c Initial Lower Bound: 351789
c Lower Bound Elapsed time: 0.45
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 4726
Raw data (stat): 4726 (runsolver) R 4725 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774814644 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.9998 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 9069 0 0 0 974 23 0 0 25 0 1 0 774814644 21798912 4575 4294967295 134512640 134714508 3221224592 3221220856 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5322 4575 1111 63 0 5259 0
vsize: 21288
[startup+19.9994 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 15232 0 0 0 1960 38 0 0 25 0 1 0 774814644 21778432 4575 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5317 4575 1111 63 0 5254 0
vsize: 21268
[startup+29.9998 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 21122 0 0 0 2946 52 0 0 25 0 1 0 774814644 21159936 4453 4294967295 134512640 134714508 3221224592 3221222264 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4453 1111 63 0 5103 0
vsize: 20664
[startup+39.9997 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 27291 0 0 0 3931 67 0 0 25 0 1 0 774814644 21159936 4453 4294967295 134512640 134714508 3221224592 3221222848 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4453 1111 63 0 5103 0
vsize: 20664
[startup+50.0004 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 33178 0 0 0 4915 83 0 0 25 0 1 0 774814644 21159936 4453 4294967295 134512640 134714508 3221224592 3221221888 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4453 1111 63 0 5103 0
vsize: 20664
[startup+59.9998 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 38177 0 0 0 5902 96 0 0 25 0 1 0 774814644 21159936 4454 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4454 1111 63 0 5103 0
vsize: 20664
[startup+69.9998 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 43386 0 0 0 6889 109 0 0 25 0 1 0 774814644 21159936 4454 4294967295 134512640 134714508 3221224592 3221221784 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4454 1111 63 0 5103 0
vsize: 20664
[startup+80.0004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 49175 0 0 0 7875 124 0 0 25 0 1 0 774814644 21843968 4567 4294967295 134512640 134714508 3221224592 3221220556 1074860667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5333 4567 1111 63 0 5270 0
vsize: 21332
[startup+89.9998 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 54616 0 0 0 8861 138 0 0 25 0 1 0 774814644 21835776 4565 4294967295 134512640 134714508 3221224592 3221221596 1074621104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5331 4565 1111 63 0 5268 0
vsize: 21324
[startup+99.9997 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 59492 0 0 0 9849 150 0 0 25 0 1 0 774814644 21610496 4490 4294967295 134512640 134714508 3221224592 3221222320 1075828228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5276 4490 1111 63 0 5213 0
vsize: 21104
[startup+110 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 64163 0 0 0 10837 162 0 0 25 0 1 0 774814644 21262336 4480 4294967295 134512640 134714508 3221224592 3221222592 1074918566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5191 4480 1111 63 0 5128 0
vsize: 20764
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 68784 0 0 0 11826 174 0 0 25 0 1 0 774814644 21159936 4458 4294967295 134512640 134714508 3221224592 3221221920 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4458 1111 63 0 5103 0
vsize: 20664
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 73441 0 0 0 12814 186 0 0 25 0 1 0 774814644 21159936 4458 4294967295 134512640 134714508 3221224592 3221221920 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4458 1111 63 0 5103 0
vsize: 20664
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 77949 0 0 0 13801 198 0 0 25 0 1 0 774814644 21258240 4484 4294967295 134512640 134714508 3221224592 3221222592 1074916822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4484 1111 63 0 5127 0
vsize: 20760
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 82515 0 0 0 14788 211 0 0 25 0 1 0 774814644 21159936 4460 4294967295 134512640 134714508 3221224592 3221221872 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4460 1111 63 0 5103 0
vsize: 20664
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 87139 0 0 0 15778 222 0 0 25 0 1 0 774814644 21778432 4557 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5317 4557 1111 63 0 5254 0
vsize: 21268
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 91865 0 0 0 16765 235 0 0 25 0 1 0 774814644 21708800 4565 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5300 4565 1111 63 0 5237 0
vsize: 21200
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 96621 0 0 0 17753 247 0 0 25 0 1 0 774814644 21676032 4549 4294967295 134512640 134714508 3221224592 3221220800 1074815476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5292 4549 1111 63 0 5229 0
vsize: 21168
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 101752 0 0 0 18739 262 0 0 25 0 1 0 774814644 21532672 4476 4294967295 134512640 134714508 3221224592 3221222320 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4476 1111 63 0 5194 0
vsize: 21028
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 107049 0 0 0 19726 275 0 0 25 0 1 0 774814644 21778432 4527 4294967295 134512640 134714508 3221224592 3221221660 1074831225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5317 4527 1111 63 0 5254 0
vsize: 21268
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 112175 0 0 0 20714 287 0 0 25 0 1 0 774814644 21159936 4460 4294967295 134512640 134714508 3221224592 3221221544 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4460 1111 63 0 5103 0
vsize: 20664
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 117054 0 0 0 21701 300 0 0 25 0 1 0 774814644 21749760 4541 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 4541 1111 63 0 5247 0
vsize: 21240
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 121588 0 0 0 22689 312 0 0 25 0 1 0 774814644 21749760 4542 4294967295 134512640 134714508 3221224592 3221220736 1074970929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 4542 1111 63 0 5247 0
vsize: 21240
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 126137 0 0 0 23676 325 0 0 25 0 1 0 774814644 21745664 4524 4294967295 134512640 134714508 3221224592 3221221576 1074831385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5309 4524 1111 63 0 5246 0
vsize: 21236
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 130658 0 0 0 24664 338 0 0 25 0 1 0 774814644 21159936 4461 4294967295 134512640 134714508 3221224592 3221223056 1074121092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4461 1111 63 0 5103 0
vsize: 20664
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 135088 0 0 0 25653 349 0 0 25 0 1 0 774814644 21159936 4461 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4461 1111 63 0 5103 0
vsize: 20664
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 139361 0 0 0 26642 360 0 0 25 0 1 0 774814644 21729280 4519 4294967295 134512640 134714508 3221224592 3221221632 1075860545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5305 4519 1111 63 0 5242 0
vsize: 21220
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 143349 0 0 0 27631 371 0 0 25 0 1 0 774814644 21159936 4461 4294967295 134512640 134714508 3221224592 3221222592 1074919726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4461 1111 63 0 5103 0
vsize: 20664
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 146863 0 0 0 28620 382 0 0 25 0 1 0 774814644 21405696 4462 4294967295 134512640 134714508 3221224592 3221222416 1075823585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5226 4462 1111 63 0 5163 0
vsize: 20904
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 150304 0 0 0 29611 392 0 0 25 0 1 0 774814644 21159936 4461 4294967295 134512640 134714508 3221224592 3221222448 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4461 1111 63 0 5103 0
vsize: 20664
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 153860 0 0 0 30601 401 0 0 25 0 1 0 774814644 21618688 4517 4294967295 134512640 134714508 3221224592 3221220588 1074860948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5278 4517 1111 63 0 5215 0
vsize: 21112
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 157427 0 0 0 31591 412 0 0 25 0 1 0 774814644 21159936 4461 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4461 1111 63 0 5103 0
vsize: 20664
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 161078 0 0 0 32580 423 0 0 25 0 1 0 774814644 21159936 4462 4294967295 134512640 134714508 3221224592 3221222168 1074138163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4462 1111 63 0 5103 0
vsize: 20664
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 165976 0 0 0 33567 436 0 0 25 0 1 0 774814644 21811200 4556 4294967295 134512640 134714508 3221224592 3221220736 1074970836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 4556 1111 63 0 5262 0
vsize: 21300
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 172826 0 0 0 34552 451 0 0 25 0 1 0 774814644 21925888 4585 4294967295 134512640 134714508 3221224592 3221220556 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5353 4585 1111 63 0 5290 0
vsize: 21412
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 180833 0 0 0 35532 472 0 0 25 0 1 0 774814644 21233664 4480 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5184 4480 1111 63 0 5121 0
vsize: 20736
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 188464 0 0 0 36515 489 0 0 25 0 1 0 774814644 21536768 4543 4294967295 134512640 134714508 3221224592 3221222592 1074918623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5258 4543 1111 63 0 5195 0
vsize: 21032
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 195470 0 0 0 37497 507 0 0 25 0 1 0 774814644 21159936 4462 4294967295 134512640 134714508 3221224592 3221221920 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4462 1111 63 0 5103 0
vsize: 20664
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 203062 0 0 0 38480 524 0 0 25 0 1 0 774814644 21159936 4462 4294967295 134512640 134714508 3221224592 3221222400 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4462 1111 63 0 5103 0
vsize: 20664
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 212090 0 0 0 39458 546 0 0 25 0 1 0 774814644 21159936 4462 4294967295 134512640 134714508 3221224592 3221221896 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4462 1111 63 0 5103 0
vsize: 20664
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 220020 0 0 0 40438 566 0 0 25 0 1 0 774814644 21159936 4462 4294967295 134512640 134714508 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4462 1111 63 0 5103 0
vsize: 20664
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 228915 0 0 0 41417 588 0 0 25 0 1 0 774814644 21159936 4462 4294967295 134512640 134714508 3221224592 3221221888 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5166 4462 1111 63 0 5103 0
vsize: 20664
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 237767 0 0 0 42398 607 0 0 25 0 1 0 774814644 21942272 4616 4294967295 134512640 134714508 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5357 4616 1111 63 0 5294 0
vsize: 21428
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 246554 0 0 0 43376 629 0 0 25 0 1 0 774814644 21934080 4614 4294967295 134512640 134714508 3221224592 3221220832 1075088564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5355 4614 1111 63 0 5292 0
vsize: 21420
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 255764 0 0 0 44353 653 0 0 25 0 1 0 774814644 21929984 4619 4294967295 134512640 134714508 3221224592 3221220736 1074968739 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5354 4619 1111 63 0 5291 0
vsize: 21416
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 264433 0 0 0 45333 673 0 0 25 0 1 0 774814644 21458944 4519 4294967295 134512640 134714508 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5239 4523 1111 63 0 5176 0
vsize: 20956
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 272957 0 0 0 46312 694 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 281827 0 0 0 47292 714 0 0 25 0 1 0 774814644 21508096 4547 4294967295 134512640 134714508 3221224592 3221222592 1074918771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5251 4547 1111 63 0 5188 0
vsize: 21004
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 290606 0 0 0 48271 735 0 0 25 0 1 0 774814644 22081536 4631 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5391 4631 1111 63 0 5328 0
vsize: 21564
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 299483 0 0 0 49248 758 0 0 25 0 1 0 774814644 21811200 4553 4294967295 134512640 134714508 3221224592 3221221536 1074620258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 4553 1111 63 0 5262 0
vsize: 21300
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 308407 0 0 0 50226 780 0 0 25 0 1 0 774814644 21975040 4627 4294967295 134512640 134714508 3221224592 3221220556 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5365 4627 1111 63 0 5302 0
vsize: 21460
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 317516 0 0 0 51205 802 0 0 25 0 1 0 774814644 21319680 4501 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5205 4501 1111 63 0 5142 0
vsize: 20820
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 326714 0 0 0 52182 825 0 0 25 0 1 0 774814644 21991424 4630 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5369 4630 1111 63 0 5306 0
vsize: 21476
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 335750 0 0 0 53158 849 0 0 25 0 1 0 774814644 21319680 4501 4294967295 134512640 134714508 3221224592 3221223056 1074121015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5205 4501 1111 63 0 5142 0
vsize: 20820
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 344638 0 0 0 54135 873 0 0 25 0 1 0 774814644 21995520 4630 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5370 4630 1111 63 0 5307 0
vsize: 21480
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 353750 0 0 0 55114 893 0 0 25 0 1 0 774814644 21872640 4562 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 4562 1111 63 0 5277 0
vsize: 21360
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 363020 0 0 0 56092 916 0 0 25 0 1 0 774814644 22016000 4637 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5375 4637 1111 63 0 5312 0
vsize: 21500
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 372467 0 0 0 57068 939 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221222560 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 382410 0 0 0 58046 962 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221221888 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 392569 0 0 0 59023 985 0 0 25 0 1 0 774814644 21680128 4557 4294967295 134512640 134714508 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5293 4557 1111 63 0 5230 0
vsize: 21172
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 402343 0 0 0 60000 1009 0 0 25 0 1 0 774814644 22028288 4641 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 4641 1111 63 0 5315 0
vsize: 21512
[startup+620.004 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 411950 0 0 0 60976 1033 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221221800 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+630.005 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 421676 0 0 0 61950 1059 0 0 25 0 1 0 774814644 21909504 4572 4294967295 134512640 134714508 3221224592 3221222512 1075799640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5349 4572 1111 63 0 5286 0
vsize: 21396
[startup+640.004 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 431410 0 0 0 62926 1083 0 0 25 0 1 0 774814644 21544960 4552 4294967295 134512640 134714508 3221224592 3221222552 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5260 4552 1111 63 0 5197 0
vsize: 21040
[startup+650.004 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 440921 0 0 0 63903 1106 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221221848 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+660.005 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 450453 0 0 0 64880 1129 0 0 25 0 1 0 774814644 22032384 4644 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5379 4644 1111 63 0 5316 0
vsize: 21516
[startup+670.004 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 460114 0 0 0 65857 1152 0 0 25 0 1 0 774814644 22032384 4643 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5379 4643 1111 63 0 5316 0
vsize: 21516
[startup+680.004 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 469693 0 0 0 66833 1176 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221221888 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+690.004 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 479467 0 0 0 67812 1198 0 0 25 0 1 0 774814644 22044672 4647 4294967295 134512640 134714508 3221224592 3221220820 1075114975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5382 4647 1111 63 0 5319 0
vsize: 21528
[startup+700.004 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 489017 0 0 0 68790 1220 0 0 25 0 1 0 774814644 22052864 4646 4294967295 134512640 134714508 3221224592 3221221024 1075895997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5384 4646 1111 63 0 5321 0
vsize: 21536
[startup+710.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 498543 0 0 0 69768 1243 0 0 25 0 1 0 774814644 22069248 4650 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4650 1111 63 0 5325 0
vsize: 21552
[startup+720.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 507855 0 0 0 70746 1264 0 0 25 0 1 0 774814644 22061056 4636 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5386 4636 1111 63 0 5323 0
vsize: 21544
[startup+730.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 517116 0 0 0 71724 1286 0 0 25 0 1 0 774814644 22065152 4649 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5387 4649 1111 63 0 5324 0
vsize: 21548
[startup+740.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 526426 0 0 0 72703 1308 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+750.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 535878 0 0 0 73680 1331 0 0 25 0 1 0 774814644 21946368 4579 4294967295 134512640 134714508 3221224592 3221222320 1075828608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5358 4579 1111 63 0 5295 0
vsize: 21432
[startup+760.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 545521 0 0 0 74656 1355 0 0 25 0 1 0 774814644 22155264 4640 4294967295 134512640 134714508 3221224592 3221221056 1074786160 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5409 4640 1111 63 0 5346 0
vsize: 21636
[startup+770.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 555437 0 0 0 75634 1377 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221222368 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+780.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 564895 0 0 0 76612 1399 0 0 25 0 1 0 774814644 22073344 4649 4294967295 134512640 134714508 3221224592 3221221168 1076049608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4649 1111 63 0 5326 0
vsize: 21556
[startup+790.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 574418 0 0 0 77587 1425 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221222208 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+800.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 584197 0 0 0 78563 1449 0 0 25 0 1 0 774814644 21925888 4610 4294967295 134512640 134714508 3221224592 3221221696 1074138576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5353 4610 1111 63 0 5290 0
vsize: 21412
[startup+810.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 593913 0 0 0 79540 1472 0 0 25 0 1 0 774814644 22093824 4653 4294967295 134512640 134714508 3221224592 3221221616 1074810488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5394 4653 1111 63 0 5331 0
vsize: 21576
[startup+820.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 603300 0 0 0 80516 1496 0 0 25 0 1 0 774814644 21241856 4482 4294967295 134512640 134714508 3221224592 3221221512 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5186 4482 1111 63 0 5123 0
vsize: 20744
[startup+830.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 612833 0 0 0 81492 1521 0 0 25 0 1 0 774814644 22216704 4656 4294967295 134512640 134714508 3221224592 3221220856 1075115505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5424 4656 1111 63 0 5361 0
vsize: 21696
[startup+840.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 622071 0 0 0 82468 1544 0 0 25 0 1 0 774814644 22212608 4655 4294967295 134512640 134714508 3221224592 3221221760 1074824213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5423 4655 1111 63 0 5360 0
vsize: 21692
[startup+850.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 631365 0 0 0 83448 1565 0 0 25 0 1 0 774814644 21319680 4501 4294967295 134512640 134714508 3221224592 3221221936 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5205 4501 1111 63 0 5142 0
vsize: 20820
[startup+860.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 640215 0 0 0 84428 1585 0 0 25 0 1 0 774814644 22212608 4656 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5423 4656 1111 63 0 5360 0
vsize: 21692
[startup+870.005 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 649045 0 0 0 85404 1609 0 0 25 0 1 0 774814644 22204416 4655 4294967295 134512640 134714508 3221224592 3221220664 1074950204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5421 4655 1111 63 0 5358 0
vsize: 21684
[startup+880.005 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 657576 0 0 0 86384 1630 0 0 25 0 1 0 774814644 21397504 4520 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 4520 1111 63 0 5161 0
vsize: 20896
[startup+890.005 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 666633 0 0 0 87360 1653 0 0 25 0 1 0 774814644 21667840 4580 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5290 4580 1111 63 0 5227 0
vsize: 21160
[startup+900.006 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 676023 0 0 0 88337 1677 0 0 25 0 1 0 774814644 21643264 4542 4294967295 134512640 134714508 3221224592 3221222552 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5284 4547 1111 63 0 5221 0
vsize: 21136
[startup+910.006 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 685633 0 0 0 89314 1700 0 0 25 0 1 0 774814644 21319680 4501 4294967295 134512640 134714508 3221224592 3221221872 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5205 4501 1111 63 0 5142 0
vsize: 20820
[startup+920.006 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 695713 0 0 0 90289 1726 0 0 25 0 1 0 774814644 22118400 4659 4294967295 134512640 134714508 3221224592 3221220752 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5400 4659 1111 63 0 5337 0
vsize: 21600
[startup+930.007 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 705358 0 0 0 91268 1747 0 0 25 0 1 0 774814644 21622784 4575 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5279 4575 1111 63 0 5216 0
vsize: 21116
[startup+940.007 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 715095 0 0 0 92244 1770 0 0 25 0 1 0 774814644 21622784 4575 4294967295 134512640 134714508 3221224592 3221222724 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5279 4575 1111 63 0 5216 0
vsize: 21116
[startup+950.008 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 725005 0 0 0 93219 1796 0 0 25 0 1 0 774814644 21319680 4501 4294967295 134512640 134714508 3221224592 3221222368 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5205 4501 1111 63 0 5142 0
vsize: 20820
[startup+960.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 735014 0 0 0 94195 1820 0 0 25 0 1 0 774814644 21397504 4520 4294967295 134512640 134714508 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5224 4520 1111 63 0 5161 0
vsize: 20896
[startup+970.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 745085 0 0 0 95169 1846 0 0 25 0 1 0 774814644 21700608 4564 4294967295 134512640 134714508 3221224592 3221221696 1074138853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5298 4564 1111 63 0 5235 0
vsize: 21192
[startup+980.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 755183 0 0 0 96144 1871 0 0 25 0 1 0 774814644 21483520 4541 4294967295 134512640 134714508 3221224592 3221222504 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5291 4542 1111 63 0 5228 0
vsize: 20980
[startup+990.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 763887 0 0 0 97125 1891 0 0 25 0 1 0 774814644 21401600 4521 4294967295 134512640 134714508 3221224592 3221222136 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5225 4521 1111 63 0 5162 0
vsize: 20900
[startup+1000.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 772501 0 0 0 98104 1912 0 0 25 0 1 0 774814644 22138880 4650 4294967295 134512640 134714508 3221224592 3221221360 1076083891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5405 4650 1111 63 0 5342 0
vsize: 21620
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 781778 0 0 0 99082 1934 0 0 25 0 1 0 774814644 21893120 4599 4294967295 134512640 134714508 3221224592 3221221536 1074620304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4599 1111 63 0 5282 0
vsize: 21380
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 791317 0 0 0 100056 1960 0 0 25 0 1 0 774814644 22069248 4595 4294967295 134512640 134714508 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4595 1111 63 0 5325 0
vsize: 21552
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 800660 0 0 0 101035 1982 0 0 25 0 1 0 774814644 21704704 4595 4294967295 134512640 134714508 3221224592 3221223056 1074121052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5299 4595 1111 63 0 5236 0
vsize: 21196
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 809363 0 0 0 102013 2004 0 0 25 0 1 0 774814644 22048768 4590 4294967295 134512640 134714508 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 4590 1111 63 0 5320 0
vsize: 21532
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 818376 0 0 0 102991 2026 0 0 25 0 1 0 774814644 22159360 4669 4294967295 134512640 134714508 3221224592 3221220556 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4669 1111 63 0 5347 0
vsize: 21640
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 827747 0 0 0 103967 2050 0 0 25 0 1 0 774814644 21401600 4521 4294967295 134512640 134714508 3221224592 3221222160 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5225 4521 1111 63 0 5162 0
vsize: 20900
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 837293 0 0 0 104946 2071 0 0 25 0 1 0 774814644 22138880 4658 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5405 4663 1111 63 0 5342 0
vsize: 21620
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 846711 0 0 0 105924 2094 0 0 25 0 1 0 774814644 22130688 4662 4294967295 134512640 134714508 3221224592 3221221616 1074810486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5403 4662 1111 63 0 5340 0
vsize: 21612
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 855365 0 0 0 106902 2116 0 0 25 0 1 0 774814644 22167552 4671 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5412 4671 1111 63 0 5349 0
vsize: 21648
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 863803 0 0 0 107881 2137 0 0 25 0 1 0 774814644 21401600 4521 4294967295 134512640 134714508 3221224592 3221222524 1074205872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5225 4521 1111 63 0 5162 0
vsize: 20900
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 873672 0 0 0 108856 2162 0 0 25 0 1 0 774814644 21401600 4521 4294967295 134512640 134714508 3221224592 3221221820 1074143405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5225 4521 1111 63 0 5162 0
vsize: 20900
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 883580 0 0 0 109830 2188 0 0 25 0 1 0 774814644 21712896 4597 4294967295 134512640 134714508 3221224592 3221222592 1074916807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5301 4597 1111 63 0 5238 0
vsize: 21204
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 893875 0 0 0 110804 2215 0 0 25 0 1 0 774814644 21401600 4521 4294967295 134512640 134714508 3221224592 3221222476 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5225 4521 1111 63 0 5162 0
vsize: 20900
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 904106 0 0 0 111778 2241 0 0 25 0 1 0 774814644 22085632 4615 4294967295 134512640 134714508 3221224592 3221222320 1075828538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5392 4615 1111 63 0 5329 0
vsize: 21568
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 913856 0 0 0 112755 2264 0 0 25 0 1 0 774814644 21757952 4584 4294967295 134512640 134714508 3221224592 3221222552 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5312 4589 1111 63 0 5249 0
vsize: 21248
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 921949 0 0 0 113737 2282 0 0 25 0 1 0 774814644 21790720 4616 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5320 4616 1111 63 0 5257 0
vsize: 21280
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 929750 0 0 0 114719 2300 0 0 25 0 1 0 774814644 22089728 4614 4294967295 134512640 134714508 3221224592 3221222512 1075799685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5393 4614 1111 63 0 5330 0
vsize: 21572
[startup+1174.9 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 4726
Raw data (stat): 4726 (bsolo_lpr) R 4725 1269 1268 0 -1 0 929750 0 0 0 114719 2300 0 0 25 0 1 0 774814644 22089728 4614 4294967295 134512640 134714508 3221224592 3221222512 1075799685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5393 4614 1111 63 0 5330 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.09
CPU user time (s): 1151.98
CPU system time (s): 23.1125
CPU usage (%): 100.016
Max. virtual memory (Kb): 21696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####