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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
MD5SUM	9689869ef48b5a0c26d142f61d149c48
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	51200
Optimality of the best value was proved	NO
Number of terms in the objective function	123
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1061759
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268469758
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.08
Number of variables	17883
Total number of constraints	4322
Number of constraints which are clauses	426
Number of constraints which are cardinality constraints (but not clauses)	1177
Number of constraints which are nor clauses,nor cardinality constraints	2719
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 25336

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 13:27:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20191 boxname=wulflinc31 idbench=1554 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9689869ef48b5a0c26d142f61d149c48  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-railway_8_1_0.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-railway_8_1_0.opb
IDLAUNCH: 20191
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        701128 kB
Buffers:         26852 kB
Cached:         283588 kB
SwapCached:        932 kB
Active:         118256 kB
Inactive:       195452 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        700876 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14164 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 13:47:34 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 20191 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 17883 variables and 3146 constraints.
c After prepocess the problem consists of 17825 variables and 3144 constraints.
c preprocess terminated 30.764 s
c Initial Lower Bound: 50816
c Lower Bound Elapsed time: 18.6277
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.82 0.94 0.96 2/55 8648
Raw data (stat): 8648 (runsolver) R 8647 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 778731149 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.85 0.94 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 40108 0 0 0 897 99 0 0 25 0 1 0 778731149 167714816 39988 4294967295 134512640 134714508 3221221760 3221220112 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39988 1111 63 0 40883 0
vsize: 163784
[startup+20.0022 s]
Raw data (loadavg): 0.87 0.94 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 40108 0 0 0 1897 99 0 0 25 0 1 0 778731149 167714816 39988 4294967295 134512640 134714508 3221221760 3221220424 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39988 1111 63 0 40883 0
vsize: 163784
[startup+30.0021 s]
Raw data (loadavg): 0.89 0.94 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 40108 0 0 0 2897 99 0 0 25 0 1 0 778731149 167714816 39988 4294967295 134512640 134714508 3221221760 3221220432 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39988 1111 63 0 40883 0
vsize: 163784
[startup+40.0033 s]
Raw data (loadavg): 0.91 0.94 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 40374 0 0 0 3895 101 0 0 25 0 1 0 778731149 168697856 40254 4294967295 134512640 134714508 3221221760 3221219440 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41186 40254 1111 63 0 41123 0
vsize: 164744
[startup+50.0041 s]
Raw data (loadavg): 0.92 0.94 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 40523 0 0 0 4894 103 0 0 25 0 1 0 778731149 169308160 40403 4294967295 134512640 134714508 3221221760 3221219456 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41335 40403 1111 63 0 41272 0
vsize: 165340
[startup+60.0053 s]
Raw data (loadavg): 0.93 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 44804 0 0 0 5885 112 0 0 25 0 1 0 778731149 169320448 40530 4294967295 134512640 134714508 3221221760 3221220000 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40530 1111 63 0 41275 0
vsize: 165352
[startup+70.0059 s]
Raw data (loadavg): 0.94 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 45673 0 0 0 6883 114 0 0 25 0 1 0 778731149 173903872 41399 4294967295 134512640 134714508 3221221760 3221219408 1075828444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42457 41399 1111 63 0 42394 0
vsize: 169828
[startup+80.0058 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 48950 0 0 0 7876 122 0 0 25 0 1 0 778731149 169324544 40532 4294967295 134512640 134714508 3221221760 3221219880 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41339 40532 1111 63 0 41276 0
vsize: 165356
[startup+90.0067 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 53131 0 0 0 8865 133 0 0 25 0 1 0 778731149 169336832 40536 4294967295 134512640 134714508 3221221760 3221219832 1074950119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40536 1111 63 0 41279 0
vsize: 165368
[startup+100.007 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 53131 0 0 0 9864 134 0 0 25 0 1 0 778731149 169336832 40536 4294967295 134512640 134714508 3221221760 3221220160 1074031936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40536 1111 63 0 41279 0
vsize: 165368
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57307 0 0 0 10855 143 0 0 25 0 1 0 778731149 169357312 40542 4294967295 134512640 134714508 3221221760 3221220520 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40542 1111 63 0 41284 0
vsize: 165388
[startup+120.009 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57307 0 0 0 11855 143 0 0 25 0 1 0 778731149 169357312 40542 4294967295 134512640 134714508 3221221760 3221220560 134597597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40542 1111 63 0 41284 0
vsize: 165388
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57309 0 0 0 12855 143 0 0 25 0 1 0 778731149 169357312 40544 4294967295 134512640 134714508 3221221760 3221220560 134597692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40544 1111 63 0 41284 0
vsize: 165388
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57311 0 0 0 13854 144 0 0 25 0 1 0 778731149 169357312 40546 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40546 1111 63 0 41284 0
vsize: 165388
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57311 0 0 0 14854 145 0 0 25 0 1 0 778731149 169357312 40546 4294967295 134512640 134714508 3221221760 3221220540 134613543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40546 1111 63 0 41284 0
vsize: 165388
[startup+160.011 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57313 0 0 0 15854 145 0 0 25 0 1 0 778731149 169357312 40548 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40548 1111 63 0 41284 0
vsize: 165388
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57313 0 0 0 16853 146 0 0 25 0 1 0 778731149 169357312 40548 4294967295 134512640 134714508 3221221760 3221220544 134597614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40548 1111 63 0 41284 0
vsize: 165388
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57315 0 0 0 17853 147 0 0 25 0 1 0 778731149 169357312 40550 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40550 1111 63 0 41284 0
vsize: 165388
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57315 0 0 0 18852 147 0 0 25 0 1 0 778731149 169357312 40550 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40550 1111 63 0 41284 0
vsize: 165388
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 19851 148 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220552 134597609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 20851 149 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 21851 150 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 22851 150 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 23850 150 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 24850 151 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220368 134549485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 25849 152 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 26849 152 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 27848 153 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220524 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 28848 153 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 29848 154 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 30847 155 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 31846 156 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 32846 156 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 33846 156 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134613501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 34845 158 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 35845 158 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221219972 134697180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 36844 159 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134613528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 37844 159 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 38844 160 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 39843 160 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 40843 161 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 41841 163 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 42841 163 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220540 134613543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 43841 164 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 44839 165 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 45839 166 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 46839 166 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 47838 168 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220320 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 48838 168 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 49837 168 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 50837 169 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 51836 170 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 52835 171 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 53835 172 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 54834 172 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 55834 173 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 56833 174 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220480 134584759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 57833 174 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 58833 175 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57317 0 0 0 59832 175 0 0 25 0 1 0 778731149 169357312 40552 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57360 0 0 0 60832 176 0 0 25 0 1 0 778731149 169627648 40595 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41413 40595 1111 63 0 41350 0
vsize: 165652
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 57704 0 0 0 61831 177 0 0 25 0 1 0 778731149 170979328 40939 4294967295 134512640 134714508 3221221760 3221220560 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41743 40939 1111 63 0 41680 0
vsize: 166972
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 58035 0 0 0 62830 179 0 0 25 0 1 0 778731149 172326912 41269 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42072 41269 1111 63 0 42009 0
vsize: 168288
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 58347 0 0 0 63828 180 0 0 25 0 1 0 778731149 173678592 41581 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42402 41581 1111 63 0 42339 0
vsize: 169608
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 58692 0 0 0 64826 182 0 0 25 0 1 0 778731149 175030272 41926 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42732 41926 1111 63 0 42669 0
vsize: 170928
[startup+660.035 s]
Raw data (loadavg): 1.07 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 59046 0 0 0 65825 184 0 0 25 0 1 0 778731149 176537600 42278 4294967295 134512640 134714508 3221221760 3221220560 134597735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43100 42278 1111 63 0 43037 0
vsize: 172400
[startup+670.036 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 59355 0 0 0 66823 186 0 0 25 0 1 0 778731149 177754112 42587 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43397 42587 1111 63 0 43334 0
vsize: 173588
[startup+680.036 s]
Raw data (loadavg): 1.05 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 59663 0 0 0 67822 187 0 0 25 0 1 0 778731149 179105792 42895 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43727 42895 1111 63 0 43664 0
vsize: 174908
[startup+690.037 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 60003 0 0 0 68821 189 0 0 25 0 1 0 778731149 180465664 43233 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44059 43233 1111 63 0 43996 0
vsize: 176236
[startup+700.037 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 60305 0 0 0 69820 190 0 0 25 0 1 0 778731149 181682176 43535 4294967295 134512640 134714508 3221221760 3221220464 134528493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44356 43536 1111 63 0 44293 0
vsize: 177424
[startup+710.037 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 60543 0 0 0 70819 191 0 0 25 0 1 0 778731149 182628352 43773 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44587 43773 1111 63 0 44524 0
vsize: 178348
[startup+720.038 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 60825 0 0 0 71818 192 0 0 25 0 1 0 778731149 183861248 44055 4294967295 134512640 134714508 3221221760 3221220536 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44888 44055 1111 63 0 44825 0
vsize: 179552
[startup+730.037 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 61093 0 0 0 72817 194 0 0 25 0 1 0 778731149 184942592 44323 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45152 44323 1111 63 0 45089 0
vsize: 180608
[startup+740.038 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 61326 0 0 0 73817 194 0 0 25 0 1 0 778731149 185888768 44556 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45383 44556 1111 63 0 45320 0
vsize: 181532
[startup+750.038 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 61560 0 0 0 74816 195 0 0 25 0 1 0 778731149 186847232 44789 4294967295 134512640 134714508 3221221760 3221220560 134597692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45617 44789 1111 63 0 45554 0
vsize: 182468
[startup+760.039 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 61800 0 0 0 75816 195 0 0 25 0 1 0 778731149 187928576 45029 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45881 45029 1111 63 0 45818 0
vsize: 183524
[startup+770.039 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 62006 0 0 0 76815 196 0 0 25 0 1 0 778731149 188739584 45235 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46079 45235 1111 63 0 46016 0
vsize: 184316
[startup+780.039 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 62220 0 0 0 77815 196 0 0 25 0 1 0 778731149 189550592 45449 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46277 45449 1111 63 0 46214 0
vsize: 185108
[startup+790.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 62441 0 0 0 78815 197 0 0 25 0 1 0 778731149 190496768 45670 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46508 45670 1111 63 0 46445 0
vsize: 186032
[startup+800.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 62660 0 0 0 79814 198 0 0 25 0 1 0 778731149 191442944 45889 4294967295 134512640 134714508 3221221760 3221220560 134597597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46739 45889 1111 63 0 46676 0
vsize: 186956
[startup+810.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 62864 0 0 0 80813 199 0 0 25 0 1 0 778731149 192249856 46093 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46936 46093 1111 63 0 46873 0
vsize: 187744
[startup+820.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 63049 0 0 0 81812 200 0 0 25 0 1 0 778731149 193060864 46278 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47134 46278 1111 63 0 47071 0
vsize: 188536
[startup+830.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 63246 0 0 0 82812 200 0 0 25 0 1 0 778731149 193871872 46475 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47332 46475 1111 63 0 47269 0
vsize: 189328
[startup+840.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 63447 0 0 0 83812 201 0 0 25 0 1 0 778731149 194686976 46676 4294967295 134512640 134714508 3221221760 3221220544 134597624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47531 46676 1111 63 0 47468 0
vsize: 190124
[startup+850.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 63636 0 0 0 84812 201 0 0 25 0 1 0 778731149 195362816 46865 4294967295 134512640 134714508 3221221760 3221220536 134613530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47696 46865 1111 63 0 47633 0
vsize: 190784
[startup+860.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 63819 0 0 0 85811 202 0 0 25 0 1 0 778731149 196173824 47047 4294967295 134512640 134714508 3221221760 3221220560 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47894 47047 1111 63 0 47831 0
vsize: 191576
[startup+870.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 64013 0 0 0 86811 202 0 0 25 0 1 0 778731149 196984832 47241 4294967295 134512640 134714508 3221221760 3221220560 134597703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48092 47241 1111 63 0 48029 0
vsize: 192368
[startup+880.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 64226 0 0 0 87810 203 0 0 25 0 1 0 778731149 197795840 47454 4294967295 134512640 134714508 3221221760 3221219924 134697183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48290 47454 1111 63 0 48227 0
vsize: 193160
[startup+890.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 64441 0 0 0 88810 203 0 0 25 0 1 0 778731149 198742016 47669 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48521 47669 1111 63 0 48458 0
vsize: 194084
[startup+900.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 64666 0 0 0 89809 205 0 0 25 0 1 0 778731149 199688192 47892 4294967295 134512640 134714508 3221221760 3221220560 134597759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48752 47892 1111 63 0 48689 0
vsize: 195008
[startup+910.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 64889 0 0 0 90808 205 0 0 25 0 1 0 778731149 200499200 48115 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48950 48115 1111 63 0 48887 0
vsize: 195800
[startup+920.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 65101 0 0 0 91808 206 0 0 25 0 1 0 778731149 201445376 48327 4294967295 134512640 134714508 3221221760 3221220536 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49181 48327 1111 63 0 49118 0
vsize: 196724
[startup+930.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 65343 0 0 0 92807 207 0 0 25 0 1 0 778731149 202391552 48569 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49412 48569 1111 63 0 49349 0
vsize: 197648
[startup+940.046 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 65597 0 0 0 93807 207 0 0 25 0 1 0 778731149 203468800 48823 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49675 48823 1111 63 0 49612 0
vsize: 198700
[startup+950.046 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 65824 0 0 0 94806 209 0 0 25 0 1 0 778731149 204410880 49050 4294967295 134512640 134714508 3221221760 3221220532 134597630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49905 49050 1111 63 0 49842 0
vsize: 199620
[startup+960.047 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 66078 0 0 0 95805 209 0 0 25 0 1 0 778731149 205357056 49304 4294967295 134512640 134714508 3221221760 3221220540 134613500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50136 49304 1111 63 0 50073 0
vsize: 200544
[startup+970.047 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 66361 0 0 0 96805 210 0 0 25 0 1 0 778731149 206577664 49587 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50434 49587 1111 63 0 50371 0
vsize: 201736
[startup+980.048 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 66657 0 0 0 97804 212 0 0 25 0 1 0 778731149 207794176 49883 4294967295 134512640 134714508 3221221760 3221220560 134597703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50731 49883 1111 63 0 50668 0
vsize: 202924
[startup+990.049 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 66959 0 0 0 98803 212 0 0 25 0 1 0 778731149 209010688 50185 4294967295 134512640 134714508 3221221760 3221220536 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51028 50185 1111 63 0 50965 0
vsize: 204112
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 67285 0 0 0 99803 213 0 0 25 0 1 0 778731149 210403328 50507 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51368 50507 1111 63 0 51305 0
vsize: 205472
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 67630 0 0 0 100802 214 0 0 25 0 1 0 778731149 211759104 50852 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51699 50852 1111 63 0 51636 0
vsize: 206796
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 67975 0 0 0 101802 215 0 0 25 0 1 0 778731149 213245952 51197 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52062 51197 1111 63 0 51999 0
vsize: 208248
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.96 3/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 68220 0 0 0 102801 216 0 0 25 0 1 0 778731149 214237184 51436 4294967295 134512640 134714508 3221221760 3221220560 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52304 51436 1111 63 0 52241 0
vsize: 209216
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 68578 0 0 0 103798 218 0 0 25 0 1 0 778731149 215724032 51794 4294967295 134512640 134714508 3221221760 3221220536 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52667 51794 1111 63 0 52604 0
vsize: 210668
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 68892 0 0 0 104798 219 0 0 25 0 1 0 778731149 217071616 52108 4294967295 134512640 134714508 3221221760 3221220536 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52996 52108 1111 63 0 52933 0
vsize: 211984
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 69250 0 0 0 105797 220 0 0 25 0 1 0 778731149 218558464 52466 4294967295 134512640 134714508 3221221760 3221220548 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53359 52466 1111 63 0 53296 0
vsize: 213436
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 69576 0 0 0 106795 222 0 0 25 0 1 0 778731149 219811840 52791 4294967295 134512640 134714508 3221221760 3221220560 134597560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53665 52791 1111 63 0 53602 0
vsize: 214660
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 69920 0 0 0 107794 223 0 0 25 0 1 0 778731149 221294592 53135 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54027 53135 1111 63 0 53964 0
vsize: 216108
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 70242 0 0 0 108793 225 0 0 25 0 1 0 778731149 222650368 53455 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54358 53455 1111 63 0 54295 0
vsize: 217432
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 70597 0 0 0 109792 226 0 0 25 0 1 0 778731149 224002048 53810 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54688 53810 1111 63 0 54625 0
vsize: 218752
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 70929 0 0 0 110791 227 0 0 25 0 1 0 778731149 225353728 54142 4294967295 134512640 134714508 3221221760 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55018 54142 1111 63 0 54955 0
vsize: 220072
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 71189 0 0 0 111790 228 0 0 25 0 1 0 778731149 226435072 54402 4294967295 134512640 134714508 3221221760 3221220520 134613522 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55282 54402 1111 63 0 55219 0
vsize: 221128
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 71464 0 0 0 112790 229 0 0 25 0 1 0 778731149 227516416 54677 4294967295 134512640 134714508 3221221760 3221220560 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55546 54677 1111 63 0 55483 0
vsize: 222184
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 71771 0 0 0 113789 230 0 0 25 0 1 0 778731149 228868096 54984 4294967295 134512640 134714508 3221221760 3221220356 134543680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55876 54984 1111 63 0 55813 0
vsize: 223504
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 72125 0 0 0 114788 231 0 0 25 0 1 0 778731149 230285312 55334 4294967295 134512640 134714508 3221221760 3221220560 134597775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56222 55334 1111 63 0 56159 0
vsize: 224888
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 72465 0 0 0 115787 232 0 0 25 0 1 0 778731149 231772160 55674 4294967295 134512640 134714508 3221221760 3221220520 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56585 55674 1111 63 0 56522 0
vsize: 226340
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 72789 0 0 0 116786 233 0 0 25 0 1 0 778731149 232988672 55998 4294967295 134512640 134714508 3221221760 3221220560 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56882 55998 1111 63 0 56819 0
vsize: 227528
[startup+1175 s]
Raw data (loadavg): 1.00 0.99 0.96 1/54 8648
Raw data (stat): 8648 (bsolo_lpr_cuts) R 8647 7876 7672 0 -1 0 72789 0 0 0 116786 233 0 0 25 0 1 0 778731149 232988672 55998 4294967295 134512640 134714508 3221221760 3221220560 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56882 55998 1111 63 0 56819 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.14
CPU user time (s): 1172.69
CPU system time (s): 2.44963
CPU usage (%): 100.012
Max. virtual memory (Kb): 227528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####