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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUM	7fcbcb2a8848112bb780308c9eb60989
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4241
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	3334110
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	7195
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	555
Trace number 26610

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 16:22:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12404 boxname=wulflinc26 idbench=955 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  7fcbcb2a8848112bb780308c9eb60989  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-aflow30a.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-aflow30a.opb
IDLAUNCH: 12404
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        491532 kB
Buffers:         34668 kB
Cached:         477304 kB
SwapCached:        680 kB
Active:          26432 kB
Inactive:       488236 kB
HighTotal:      131008 kB
HighFree:        16772 kB
LowTotal:       903652 kB
LowFree:        474760 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           6036 kB
Slab:            22932 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:42:11 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 12404 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 7195 variables and 958 constraints.
c After prepocess the problem consists of 7170 variables and 994 constraints.
c preprocess terminated 133.425 s
c Initial Lower Bound: 986
c Lower Bound Elapsed time: 2.98475
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 21714
Raw data (stat): 21714 (runsolver) R 21713 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831651076 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 31992 0 0 0 921 75 0 0 25 0 1 0 831651076 62439424 14363 4294967295 134512640 134714508 3221224576 3221222992 134542723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14363 1111 63 0 15181 0
vsize: 60976
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 39284 0 0 0 1905 92 0 0 25 0 1 0 831651076 87941120 20571 4294967295 134512640 134714508 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21470 20571 1111 63 0 21407 0
vsize: 85880
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 44371 0 0 0 2895 102 0 0 25 0 1 0 831651076 107704320 25395 4294967295 134512640 134714508 3221224576 3221223364 134617159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26295 25395 1111 63 0 26232 0
vsize: 105180
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46205 0 0 0 3892 105 0 0 25 0 1 0 831651076 114573312 27078 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46205 0 0 0 4893 105 0 0 25 0 1 0 831651076 114573312 27078 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46205 0 0 0 5893 105 0 0 25 0 1 0 831651076 114573312 27078 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+70.0005 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46205 0 0 0 6893 105 0 0 25 0 1 0 831651076 114573312 27078 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46205 0 0 0 7893 105 0 0 25 0 1 0 831651076 114573312 27078 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+90.0008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46205 0 0 0 8893 105 0 0 25 0 1 0 831651076 114573312 27078 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46207 0 0 0 9893 105 0 0 25 0 1 0 831651076 114573312 27080 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27080 1111 63 0 27909 0
vsize: 111888
[startup+110.001 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46211 0 0 0 10894 105 0 0 25 0 1 0 831651076 114573312 27084 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27084 1111 63 0 27909 0
vsize: 111888
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46215 0 0 0 11894 105 0 0 25 0 1 0 831651076 114573312 27088 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27088 1111 63 0 27909 0
vsize: 111888
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 46217 0 0 0 12894 105 0 0 25 0 1 0 831651076 114573312 27090 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27090 1111 63 0 27909 0
vsize: 111888
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 51232 0 0 0 13883 115 0 0 25 0 1 0 831651076 121012224 28811 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29544 28811 1111 63 0 29481 0
vsize: 118176
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55712 0 0 0 14873 125 0 0 25 0 1 0 831651076 121466880 28931 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29655 28931 1111 63 0 29592 0
vsize: 118620
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55717 0 0 0 15873 126 0 0 25 0 1 0 831651076 121466880 28936 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29655 28936 1111 63 0 29592 0
vsize: 118620
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 16872 127 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 17872 127 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 18872 127 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 19871 128 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+210.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 20871 129 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+220.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 21870 130 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223264 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 22870 130 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+240 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 23870 130 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 24870 130 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+260.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 25870 131 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223328 134592373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+270 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 26870 131 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223216 134695995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+280 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 27869 131 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+290 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 28869 132 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+300.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 29869 132 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+310.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 30868 133 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+320.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 31868 134 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223144 1077377168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 32867 134 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+340.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 33867 135 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+350.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 34867 135 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+360.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 35866 136 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+370 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 36865 137 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+380 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 37865 137 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+390.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 38865 138 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+400 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 39864 139 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+410 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 40864 139 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+420 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 41864 139 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+430 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 42864 139 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+440 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 43864 140 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+450 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 44864 140 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+460 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 45864 140 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+470 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 46863 141 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223264 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+480.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 47863 141 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 1077377147 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+490.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 48862 143 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+500.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 49862 143 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 50861 144 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+520.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 51861 145 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223304 134543830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+530.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 52860 145 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 53860 146 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+550.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 54859 147 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 55859 147 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223304 134558801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+570.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 56859 147 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+580.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 57859 148 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+590.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 58859 148 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223200 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+600.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 59858 149 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+610.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 60858 150 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+620.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 61857 150 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 62857 151 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223216 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+640.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 63857 151 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+650.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 64856 152 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+660.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 65856 152 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223168 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+670.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 66855 153 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+680.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 67855 154 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223168 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+690.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 68855 154 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+700.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 69854 154 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 70854 155 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+720.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 71853 156 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+730.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 72853 156 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223168 134696103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+740.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 73853 157 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 74853 158 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 75852 159 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 76852 160 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223208 134696334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+780.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 77852 160 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+790.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 78851 162 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 79850 162 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223136 134696530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 80850 163 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+820.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 81849 164 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223352 134600349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 82849 164 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+840.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 83848 165 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 84847 166 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223168 134543735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 85846 167 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 86846 168 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223168 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+880.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 87845 168 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+890.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 88844 169 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 89844 170 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+910.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 90843 172 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223168 134542760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+920.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 91842 173 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+930.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 92841 174 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223192 134542657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+940.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 93840 175 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 94839 176 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223168 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+960.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 95838 177 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223376 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 96837 178 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223116 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+980.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 97837 179 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223192 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+990.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 98837 179 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 99836 180 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 100836 180 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223124 134696707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 101835 181 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 102835 182 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 103834 182 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223216 134536657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 104834 183 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 105833 184 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223168 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 106833 184 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 107832 186 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 108831 186 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223232 134536600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 109831 187 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223300 134591760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 110830 188 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223308 134536922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 111830 189 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223144 1077377291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 112829 189 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221222892 134613956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 113828 190 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 114828 191 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223172 134543731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 115827 192 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 116826 193 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223304 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 21714
Raw data (stat): 21714 (bsolo_lpr_cuts) R 21713 20687 20686 0 -1 0 55722 0 0 0 116826 193 0 0 25 0 1 0 831651076 121454592 28938 4294967295 134512640 134714508 3221224576 3221223304 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.07
CPU user time (s): 1173.08
CPU system time (s): 1.9877
CPU usage (%): 100.015
Max. virtual memory (Kb): 118620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####