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/miplib/normalized-mps-v2-13-7-fixnet4.opb
MD5SUM	c6a26aa8aefc43a120ecaff31b506c53
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4227509
Optimality of the best value was proved	NO
Number of terms in the objective function	9638
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	2427493442
Number of bits of the sum of numbers in the objective function	32
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	2427493442
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.06
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 25893

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 07:05:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16824 boxname=wulflinc31 idbench=1295 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c6a26aa8aefc43a120ecaff31b506c53  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet4.opb
IDLAUNCH: 16824
/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:        916728 kB
Buffers:         22664 kB
Cached:          72448 kB
SwapCached:        972 kB
Active:          65080 kB
Inactive:        32132 kB
HighTotal:      131008 kB
HighFree:        69888 kB
LowTotal:       903652 kB
LowFree:        846840 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15140 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 07:24:39 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 16824 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 788 constraints.
c preprocess terminated 847.182 s
c Initial Lower Bound: 555087
c Lower Bound Elapsed time: 1.47725
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.92 1.00 0.99 2/55 3337
Raw data (stat): 3337 (runsolver) R 3336 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 819638353 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0005 s]
Raw data (loadavg): 0.93 1.00 0.99 2/55 3337
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 5040 0 0 0 983 13 0 0 25 0 1 0 819638353 33648640 4963 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8215 4963 1111 63 0 8152 0
vsize: 32860
[startup+20.0003 s]
Raw data (loadavg): 0.94 1.00 0.99 2/55 3337
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 10507 0 0 0 1972 23 0 0 25 0 1 0 819638353 56061952 10430 4294967295 134512640 134714508 3221221776 3221218252 1077191430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13687 10430 1111 63 0 13624 0
vsize: 54748
[startup+30.0153 s]
Raw data (loadavg): 0.95 1.00 0.99 2/55 3337
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 17685 0 0 0 2953 43 0 0 25 0 1 0 819638353 75276288 17484 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18378 17484 1111 63 0 18315 0
vsize: 73512
[startup+40.0153 s]
Raw data (loadavg): 0.96 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 17748 0 0 0 3953 43 0 0 25 0 1 0 819638353 75276288 17484 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18378 17484 1111 63 0 18315 0
vsize: 73512
[startup+50.0161 s]
Raw data (loadavg): 0.96 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 17811 0 0 0 4953 44 0 0 25 0 1 0 819638353 75276288 17484 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18378 17484 1111 63 0 18315 0
vsize: 73512
[startup+60.0162 s]
Raw data (loadavg): 0.97 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 17896 0 0 0 5953 44 0 0 25 0 1 0 819638353 75276288 17484 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18378 17484 1111 63 0 18315 0
vsize: 73512
[startup+70.0162 s]
Raw data (loadavg): 0.97 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 18049 0 0 0 6953 44 0 0 25 0 1 0 819638353 75276288 17484 4294967295 134512640 134714508 3221221776 3221220364 1076647540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18378 17484 1111 63 0 18315 0
vsize: 73512
[startup+80.017 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 18049 0 0 0 7952 44 0 0 25 0 1 0 819638353 75276288 17484 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18378 17484 1111 63 0 18315 0
vsize: 73512
[startup+90.0169 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 18239 0 0 0 8952 45 0 0 25 0 1 0 819638353 75276288 17484 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18378 17484 1111 63 0 18315 0
vsize: 73512
[startup+100.018 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 18499 0 0 0 9951 46 0 0 25 0 1 0 819638353 75276288 17484 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18378 17484 1111 63 0 18315 0
vsize: 73512
[startup+110.019 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 18629 0 0 0 10951 46 0 0 25 0 1 0 819638353 75276288 17484 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18378 17484 1111 63 0 18315 0
vsize: 73512
[startup+120.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 19723 0 0 0 11947 50 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+130.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 21025 0 0 0 12942 56 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+140.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 23648 0 0 0 13934 63 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+150.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 26739 0 0 0 14925 73 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+160.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 30773 0 0 0 15912 86 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+170.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 35049 0 0 0 16898 100 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+180.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 40315 0 0 0 17883 115 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+190.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 45641 0 0 0 18868 130 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+200.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 52134 0 0 0 19850 148 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+210.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 58756 0 0 0 20832 167 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+220.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 65291 0 0 0 21812 187 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+230.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 73242 0 0 0 22790 210 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+240.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 81394 0 0 0 23766 233 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+250.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 89491 0 0 0 24742 258 0 0 25 0 1 0 819638353 75284480 17486 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18380 17486 1111 63 0 18317 0
vsize: 73520
[startup+260.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 91387 0 0 0 25737 263 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+270.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 91457 0 0 0 26737 263 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+280.032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 91598 0 0 0 27737 264 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+290.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 91734 0 0 0 28737 264 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+300.033 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 91870 0 0 0 29737 265 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+310.033 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 92017 0 0 0 30736 265 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+320.033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 92251 0 0 0 31736 266 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+330.035 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 92355 0 0 0 32736 266 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+340.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 92563 0 0 0 33736 267 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+350.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 92823 0 0 0 34735 267 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+360.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 94054 0 0 0 35732 271 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+370.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 95265 0 0 0 36727 276 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+380.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 96302 0 0 0 37722 281 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+390.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 97630 0 0 0 38717 287 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+400.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 100310 0 0 0 39709 294 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+410.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 102973 0 0 0 40700 303 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 107614 0 0 0 41687 317 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 113059 0 0 0 42670 334 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+440.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 118446 0 0 0 43654 350 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 123804 0 0 0 44637 367 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+460.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 129198 0 0 0 45621 384 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+470.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 134643 0 0 0 46605 400 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 141162 0 0 0 47586 419 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 148059 0 0 0 48565 440 0 0 25 0 1 0 819638353 75964416 17620 4294967295 134512640 134714508 3221221776 3221220260 1077378730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18546 17620 1111 63 0 18483 0
vsize: 74184
[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 154707 0 0 0 49546 459 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 162260 0 0 0 50525 481 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 170189 0 0 0 51501 505 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+530.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 178289 0 0 0 52477 529 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 186334 0 0 0 53452 554 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 194527 0 0 0 54428 579 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 204112 0 0 0 55401 605 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 213726 0 0 0 56376 631 0 0 25 0 1 0 819638353 75804672 17581 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18507 17585 1111 63 0 18444 0
vsize: 74028
[startup+580.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 223391 0 0 0 57351 656 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+590.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 232773 0 0 0 58324 683 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 243370 0 0 0 59293 714 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 254177 0 0 0 60262 745 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 265013 0 0 0 61230 778 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 275791 0 0 0 62199 809 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 286938 0 0 0 63168 840 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 298997 0 0 0 64132 876 0 0 25 0 1 0 819638353 75804672 17583 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18507 17589 1111 63 0 18444 0
vsize: 74028
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 311064 0 0 0 65097 911 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 323027 0 0 0 66065 944 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 335164 0 0 0 67029 980 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 348058 0 0 0 67990 1019 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 361573 0 0 0 68952 1057 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 375182 0 0 0 69913 1096 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 388733 0 0 0 70876 1134 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 402429 0 0 0 71836 1174 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 415857 0 0 0 72798 1212 0 0 25 0 1 0 819638353 75644928 17574 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17574 1111 63 0 18405 0
vsize: 73872
[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 428766 0 0 0 73760 1251 0 0 25 0 1 0 819638353 76165120 17698 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18595 17698 1111 63 0 18532 0
vsize: 74380
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 428825 0 0 0 74760 1251 0 0 25 0 1 0 819638353 76165120 17701 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18595 17701 1111 63 0 18532 0
vsize: 74380
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 428853 0 0 0 75760 1251 0 0 25 0 1 0 819638353 76165120 17701 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18595 17701 1111 63 0 18532 0
vsize: 74380
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 428937 0 0 0 76760 1251 0 0 25 0 1 0 819638353 76165120 17701 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18595 17701 1111 63 0 18532 0
vsize: 74380
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 429000 0 0 0 77760 1251 0 0 25 0 1 0 819638353 76165120 17701 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18595 17701 1111 63 0 18532 0
vsize: 74380
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 429042 0 0 0 78760 1252 0 0 25 0 1 0 819638353 76165120 17701 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18595 17701 1111 63 0 18532 0
vsize: 74380
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 429265 0 0 0 79759 1252 0 0 25 0 1 0 819638353 76918784 17882 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18779 17882 1111 63 0 18716 0
vsize: 75116
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 429265 0 0 0 80759 1252 0 0 25 0 1 0 819638353 76918784 17882 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18779 17882 1111 63 0 18716 0
vsize: 75116
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 429265 0 0 0 81759 1252 0 0 25 0 1 0 819638353 76918784 17882 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18779 17882 1111 63 0 18716 0
vsize: 75116
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 429265 0 0 0 82760 1252 0 0 25 0 1 0 819638353 76918784 17882 4294967295 134512640 134714508 3221221776 3221220416 134584866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18779 17882 1111 63 0 18716 0
vsize: 75116
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 430249 0 0 0 83757 1255 0 0 25 0 1 0 819638353 77205504 18095 4294967295 134512640 134714508 3221221776 3221220212 134647127 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18849 18095 1111 63 0 18786 0
vsize: 75396
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432147 0 0 0 84753 1259 0 0 25 0 1 0 819638353 77320192 18125 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18125 1111 63 0 18814 0
vsize: 75508
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432149 0 0 0 85753 1259 0 0 25 0 1 0 819638353 77320192 18127 4294967295 134512640 134714508 3221221776 3221220556 134613500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18127 1111 63 0 18814 0
vsize: 75508
[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432152 0 0 0 86752 1260 0 0 25 0 1 0 819638353 77320192 18130 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18130 1111 63 0 18814 0
vsize: 75508
[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432152 0 0 0 87752 1261 0 0 25 0 1 0 819638353 77320192 18130 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18130 1111 63 0 18814 0
vsize: 75508
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432152 0 0 0 88751 1262 0 0 25 0 1 0 819638353 77320192 18130 4294967295 134512640 134714508 3221221776 3221220600 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18130 1111 63 0 18814 0
vsize: 75508
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432152 0 0 0 89751 1262 0 0 25 0 1 0 819638353 77320192 18130 4294967295 134512640 134714508 3221221776 3221220556 134600348 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18130 1111 63 0 18814 0
vsize: 75508
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432152 0 0 0 90750 1263 0 0 25 0 1 0 819638353 77320192 18130 4294967295 134512640 134714508 3221221776 3221220576 134597779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18130 1111 63 0 18814 0
vsize: 75508
[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432152 0 0 0 91750 1263 0 0 25 0 1 0 819638353 77320192 18130 4294967295 134512640 134714508 3221221776 3221220368 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18130 1111 63 0 18814 0
vsize: 75508
[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432152 0 0 0 92749 1264 0 0 25 0 1 0 819638353 77320192 18130 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18130 1111 63 0 18814 0
vsize: 75508
[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432152 0 0 0 93749 1264 0 0 25 0 1 0 819638353 77320192 18130 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18130 1111 63 0 18814 0
vsize: 75508
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 94748 1265 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+970.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 95748 1266 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 96748 1266 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 97748 1267 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 98747 1267 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 99747 1268 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 100747 1268 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 101747 1268 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220576 134597654 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 102747 1269 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 103746 1269 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220576 134597692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 104746 1270 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 105746 1270 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 106745 1270 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 107745 1271 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 108744 1272 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220656 134577072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 109744 1272 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 110743 1273 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 111744 1274 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 112743 1275 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220600 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 113743 1275 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220552 134613513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 114742 1276 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 115742 1276 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 75508
[startup+1174.95 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3339
Raw data (stat): 3337 (bsolo_lpr_cuts) R 3336 7876 7672 0 -1 0 432154 0 0 0 115742 1276 0 0 25 0 1 0 819638353 77320192 18132 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 18132 1111 63 0 18814 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.06
CPU user time (s): 1162.26
CPU system time (s): 12.7981
CPU usage (%): 100.009
Max. virtual memory (Kb): 75508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####