PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb
MD5SUM	0f3e1a19529370afcd1348994ae2c757
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	6480
Biggest coefficient in the objective function	5242880000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	755791986840
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	5242880000
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	755791986840
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1246.02
Number of variables	11280
Total number of constraints	1307
Number of constraints which are clauses	11
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1296
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 25218

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 14:47:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19931 boxname=wulflinc31 idbench=1534 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  0f3e1a19529370afcd1348994ae2c757  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bg512142.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bg512142.opb
IDLAUNCH: 19931
/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:        873112 kB
Buffers:         10704 kB
Cached:         127016 kB
SwapCached:       2836 kB
Active:          58904 kB
Inactive:        82948 kB
HighTotal:      131008 kB
HighFree:        16212 kB
LowTotal:       903652 kB
LowFree:        856900 kB
SwapTotal:     2097892 kB
SwapFree:      2094220 kB
Dirty:             756 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13924 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 15:07:25 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 19931 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11280 variables and 1185 constraints.
c After prepocess the problem consists of 10593 variables and 1312 constraints.
c preprocess terminated 60.625 s
c Initial Lower Bound: 18478601
c Lower Bound Elapsed time: 27.034
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.91 0.95 0.94 2/55 28482
Raw data (stat): 28482 (runsolver) R 28481 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 770569327 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 8342 0 0 0 974 21 0 0 25 0 1 0 770569327 47132672 8265 4294967295 134512640 134714508 3221221776 3221220068 134566536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11507 8265 1111 63 0 11444 0
vsize: 46028
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 12805 0 0 0 1962 33 0 0 25 0 1 0 770569327 55459840 12638 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13540 12638 1111 63 0 13477 0
vsize: 54160
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 12875 0 0 0 2961 33 0 0 25 0 1 0 770569327 55730176 12704 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13606 12704 1111 63 0 13543 0
vsize: 54424
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 12875 0 0 0 3961 33 0 0 25 0 1 0 770569327 55730176 12704 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13606 12704 1111 63 0 13543 0
vsize: 54424
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 12875 0 0 0 4962 33 0 0 25 0 1 0 770569327 55730176 12704 4294967295 134512640 134714508 3221221776 3221220388 134557806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13606 12704 1111 63 0 13543 0
vsize: 54424
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 12875 0 0 0 5962 33 0 0 25 0 1 0 770569327 55730176 12704 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13606 12704 1111 63 0 13543 0
vsize: 54424
[startup+70.0048 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 14957 0 0 0 6957 38 0 0 25 0 1 0 770569327 60887040 14024 4294967295 134512640 134714508 3221221776 3221218624 1075960434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14865 14024 1111 63 0 14802 0
vsize: 59460
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 15003 0 0 0 7956 38 0 0 25 0 1 0 770569327 60977152 14049 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14887 14049 1111 63 0 14824 0
vsize: 59548
[startup+90.005 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 15045 0 0 0 8956 38 0 0 25 0 1 0 770569327 60977152 14071 4294967295 134512640 134714508 3221221776 3221217552 1074871203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14887 14071 1111 63 0 14824 0
vsize: 59548
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 16037 0 0 0 9954 41 0 0 25 0 1 0 770569327 59695104 13761 4294967295 134512640 134714508 3221221776 3221217680 1074875093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14574 13761 1111 63 0 14511 0
vsize: 58296
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 16037 0 0 0 10954 41 0 0 25 0 1 0 770569327 59695104 13761 4294967295 134512640 134714508 3221221776 3221217680 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14574 13761 1111 63 0 14511 0
vsize: 58296
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 16616 0 0 0 11953 42 0 0 25 0 1 0 770569327 60428288 14009 4294967295 134512640 134714508 3221221776 3221220224 134648130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14786 14009 1111 63 0 14723 0
vsize: 59012
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 17461 0 0 0 12948 47 0 0 25 0 1 0 770569327 62324736 14472 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15216 14472 1111 63 0 15153 0
vsize: 60864
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 21749 0 0 0 13936 59 0 0 25 0 1 0 770569327 69607424 16250 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16994 16250 1111 63 0 16931 0
vsize: 67976
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 23208 0 0 0 14930 65 0 0 25 0 1 0 770569327 73940992 17308 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18052 17308 1111 63 0 17989 0
vsize: 72208
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 26958 0 0 0 15919 76 0 0 25 0 1 0 770569327 78614528 18417 4294967295 134512640 134714508 3221221776 3221220224 134647032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19193 18417 1111 63 0 19130 0
vsize: 76772
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30606 0 0 0 16910 85 0 0 25 0 1 0 770569327 83390464 19615 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19615 1111 63 0 20296 0
vsize: 81436
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 17909 86 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 18909 87 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 19909 87 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 20909 87 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220560 134597614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 21909 88 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 22908 88 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 23908 88 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 24908 89 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 25908 89 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30609 0 0 0 26907 90 0 0 25 0 1 0 770569327 83390464 19618 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 27907 90 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 28907 90 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 29907 91 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 30907 91 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 31907 91 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 32906 92 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 33906 92 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 34906 92 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 35906 93 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 36906 93 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 37906 93 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 38906 93 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 39906 94 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 40906 94 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 41905 95 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220344 1077378425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 42905 95 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 43905 96 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 44904 96 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 45904 97 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 46904 97 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220568 134597668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 47904 97 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 48903 98 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 49903 99 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 50903 99 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 51903 99 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220428 1076530932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 52902 100 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 53902 100 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 54902 100 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 55902 101 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 56901 101 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 57901 101 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220568 134597569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 58901 102 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 59901 102 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 60901 102 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 61901 103 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 62901 103 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 63900 103 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 64900 104 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 65900 104 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 66900 105 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 67900 105 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 68900 105 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134543698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 69900 105 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 70899 106 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 71899 106 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 28482
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 72899 106 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220448 134524431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+740.121 s]
Raw data (loadavg): 1.15 1.00 0.95 3/58 28520
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 73908 107 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+750.123 s]
Raw data (loadavg): 1.20 1.02 0.96 2/55 28535
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 74908 107 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+760.301 s]
Raw data (loadavg): 1.17 1.02 0.96 2/55 28535
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 75926 108 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+770.302 s]
Raw data (loadavg): 1.14 1.02 0.96 2/55 28535
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 76926 108 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+780.302 s]
Raw data (loadavg): 1.12 1.02 0.96 2/55 28535
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 77926 108 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+790.303 s]
Raw data (loadavg): 1.10 1.02 0.96 2/55 28535
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 78926 108 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+800.303 s]
Raw data (loadavg): 1.09 1.01 0.96 2/55 28535
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 79925 109 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+810.303 s]
Raw data (loadavg): 1.07 1.01 0.96 2/55 28535
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 80925 109 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220568 134597609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+820.304 s]
Raw data (loadavg): 1.06 1.01 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 81925 110 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220560 134597624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+830.306 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 82925 110 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+840.305 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 83925 110 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+850.306 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 84925 110 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+860.306 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 85925 111 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+870.307 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 86924 111 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+880.307 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 87925 111 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+890.307 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 88924 112 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+900.308 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 89924 112 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220368 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+910.308 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 90924 112 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220416 134696260 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+920.309 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 91924 112 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+930.308 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 92924 113 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+940.309 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 93924 113 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+950.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 94924 113 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613532 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+960.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 95924 113 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+970.312 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 96924 113 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+980.312 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 97924 114 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220540 134613543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+990.311 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 98924 114 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1000.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 99924 114 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1010.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 100924 115 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220560 134597614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1020.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 101923 115 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1030.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 102923 115 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220548 134597630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1040.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28537
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 103923 116 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220524 134672949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1050.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 104923 116 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220512 134591997 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1060.31 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 105922 117 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1070.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 106922 118 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1080.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 107921 118 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1090.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 108921 118 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220432 134526276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1100.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 109921 119 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1110.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 110921 119 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1120.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 111921 119 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1130.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 112921 120 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1140.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 113921 120 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220432 134613590 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1150.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 114921 120 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1160.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 115921 120 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1170.32 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 116921 121 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1174.97 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 28539
Raw data (stat): 28482 (bsolo_lpr_cuts) R 28481 7876 7672 0 -1 0 30611 0 0 0 116921 121 0 0 25 0 1 0 770569327 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.07
CPU user time (s): 1173.82
CPU system time (s): 1.24781
CPU usage (%): 100.009
Max. virtual memory (Kb): 81436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####