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-fixnet6.opb
MD5SUM	1b379137169731592d0d61cac8bf57af
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
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	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
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	1243.61
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 27503

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 22:14:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16837 boxname=wulflinc28 idbench=1296 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1b379137169731592d0d61cac8bf57af  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 16837
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        889120 kB
Buffers:         10520 kB
Cached:         113888 kB
SwapCached:       1052 kB
Active:          20512 kB
Inactive:       106460 kB
HighTotal:      131008 kB
HighFree:        15176 kB
LowTotal:       903652 kB
LowFree:        873944 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5448 kB
Slab:            13092 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:34:26 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 16837 7 1175.05 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 789 constraints.
c preprocess terminated 753.378 s
c Initial Lower Bound: 172728
c Lower Bound Elapsed time: 1.11525
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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 29289
Raw data (stat): 29289 (runsolver) R 29288 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833764574 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.99976 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 6831 0 0 0 982 15 0 0 25 0 1 0 833764574 40984576 6755 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10006 6756 1111 63 0 9943 0
vsize: 40024
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 17641 0 0 0 1958 39 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+30.0002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 17725 0 0 0 2958 39 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 17788 0 0 0 3958 39 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 17941 0 0 0 4958 40 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 18026 0 0 0 5958 40 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 18060 0 0 0 6958 40 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 18450 0 0 0 7957 41 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 18580 0 0 0 8957 42 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223248 134606845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 19920 0 0 0 9953 46 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 22329 0 0 0 10946 54 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 26982 0 0 0 11933 67 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 31429 0 0 0 12922 78 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 36225 0 0 0 13909 90 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 42369 0 0 0 14894 106 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 48598 0 0 0 15877 123 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 56277 0 0 0 16857 143 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 64652 0 0 0 17834 167 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 73597 0 0 0 18811 190 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223120 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 82806 0 0 0 19787 214 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 92653 0 0 0 20762 239 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 103162 0 0 0 21734 267 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 113837 0 0 0 22708 294 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 125965 0 0 0 23678 324 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 138035 0 0 0 24647 355 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 150366 0 0 0 25615 387 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223012 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 163102 0 0 0 26581 421 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 176493 0 0 0 27547 455 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 189794 0 0 0 28514 489 0 0 25 0 1 0 833764574 75227136 17471 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 198680 0 0 0 29493 510 0 0 25 0 1 0 833764574 75702272 17586 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18482 17586 1111 63 0 18419 0
vsize: 73928
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 198743 0 0 0 30493 511 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 198802 0 0 0 31493 511 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 198930 0 0 0 32492 511 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 199090 0 0 0 33492 511 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 199278 0 0 0 34492 512 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 199434 0 0 0 35492 512 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 200033 0 0 0 36490 514 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 201469 0 0 0 37485 520 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 202615 0 0 0 38481 524 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 204836 0 0 0 39474 531 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 207586 0 0 0 40465 540 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 210468 0 0 0 41456 549 0 0 25 0 1 0 833764574 75710464 17589 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 213199 0 0 0 42449 557 0 0 25 0 1 0 833764574 75796480 17607 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17607 1111 63 0 18442 0
vsize: 74020
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 214205 0 0 0 43445 561 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 215670 0 0 0 44439 567 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 217042 0 0 0 45434 572 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 219776 0 0 0 46426 580 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 222845 0 0 0 47417 590 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 227100 0 0 0 48406 601 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 231521 0 0 0 49393 614 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 236055 0 0 0 50379 628 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 240934 0 0 0 51366 641 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 246795 0 0 0 52350 657 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 252720 0 0 0 53335 672 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 258668 0 0 0 54320 687 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 264931 0 0 0 55304 704 0 0 25 0 1 0 833764574 75952128 17621 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17626 1111 63 0 18480 0
vsize: 74172
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 272555 0 0 0 56285 722 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 279913 0 0 0 57264 744 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 287242 0 0 0 58247 761 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 294877 0 0 0 59227 782 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302206 0 0 0 60207 801 0 0 25 0 1 0 833764574 75796480 17610 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302692 0 0 0 61207 802 0 0 25 0 1 0 833764574 76115968 17688 4294967295 134512640 134714508 3221224576 3221223216 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18583 17688 1111 63 0 18520 0
vsize: 74332
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 62206 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 63207 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 64207 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 65207 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 66207 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 67207 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 68208 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 69208 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 70208 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223248 134607046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 71208 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 72208 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 73208 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 302873 0 0 0 74209 803 0 0 25 0 1 0 833764574 76869632 17869 4294967295 134512640 134714508 3221224576 3221223248 134627241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305488 0 0 0 75203 808 0 0 25 0 1 0 833764574 77123584 18078 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18078 1111 63 0 18766 0
vsize: 75316
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305492 0 0 0 76202 809 0 0 25 0 1 0 833764574 77123584 18082 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18082 1111 63 0 18766 0
vsize: 75316
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 77201 810 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 78200 811 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 79199 812 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 80198 813 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 81197 814 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 82197 815 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 83196 815 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 84195 817 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 85195 817 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223340 134613543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 86194 818 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 87194 818 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 88194 819 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 89193 820 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 90193 820 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 91192 821 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 92191 822 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 93191 823 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 94191 823 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 95190 824 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+970.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 96190 824 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 97189 825 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 98189 825 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 99189 826 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 100188 827 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 101187 828 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 102187 829 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223364 134597610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 103186 830 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 104186 830 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 105185 830 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 106185 831 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 107185 832 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 108184 833 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 109183 833 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223324 134672920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 110183 834 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 111182 835 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 112181 836 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 113180 837 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 114180 838 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 115179 839 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 116179 839 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223368 134597668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1174.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29289
Raw data (stat): 29289 (bsolo_lpr_cuts) R 29288 24821 24820 0 -1 0 305495 0 0 0 116179 839 0 0 25 0 1 0 833764574 77123584 18085 4294967295 134512640 134714508 3221224576 3221223368 134597668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.05
CPU user time (s): 1166.61
CPU system time (s): 8.43372
CPU usage (%): 100.015
Max. virtual memory (Kb): 75316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####