PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb
MD5SUM	154c7c542b6df7aab333fa859438b34f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65634210
Optimality of the best value was proved	NO
Number of terms in the objective function	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1662757407
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1662757407
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1252.14
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 27207

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        766848 kB
Buffers:         36792 kB
Cached:         210092 kB
SwapCached:        568 kB
Active:          69708 kB
Inactive:       179600 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        766596 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            12736 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:26:18 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 17994 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9680 variables and 732 constraints.
c After prepocess the problem consists of 7700 variables and 954 constraints.
c preprocess terminated 6.985 s
c Initial Lower Bound: 17980473
c Lower Bound Elapsed time: 1.82
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.85 0.95 0.90 2/54 3624
Raw data (stat): 3624 (runsolver) R 3623 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774761291 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.0009 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 12084 0 0 0 967 30 0 0 25 0 1 0 774761291 49692672 11355 4294967295 134512640 134714508 3221224576 3221222648 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12132 11355 1111 63 0 12069 0
vsize: 48528
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15217 0 0 0 1960 37 0 0 25 0 1 0 774761291 52576256 12062 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12062 1111 63 0 12773 0
vsize: 51344
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15220 0 0 0 2959 37 0 0 25 0 1 0 774761291 52576256 12065 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12065 1111 63 0 12773 0
vsize: 51344
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15220 0 0 0 3959 38 0 0 25 0 1 0 774761291 52576256 12065 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12065 1111 63 0 12773 0
vsize: 51344
[startup+50.0016 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15220 0 0 0 4959 38 0 0 25 0 1 0 774761291 52576256 12065 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12065 1111 63 0 12773 0
vsize: 51344
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15222 0 0 0 5958 39 0 0 25 0 1 0 774761291 52576256 12067 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15222 0 0 0 6958 39 0 0 25 0 1 0 774761291 52576256 12067 4294967295 134512640 134714508 3221224576 3221223356 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+80.0081 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15222 0 0 0 7958 40 0 0 25 0 1 0 774761291 52576256 12067 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+90.0079 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15222 0 0 0 8958 40 0 0 25 0 1 0 774761291 52576256 12067 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+100.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15222 0 0 0 9958 41 0 0 25 0 1 0 774761291 52576256 12067 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+110.015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15222 0 0 0 10958 41 0 0 25 0 1 0 774761291 52576256 12067 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+120.119 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15222 0 0 0 11968 42 0 0 25 0 1 0 774761291 52576256 12067 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+130.12 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15223 0 0 0 12967 43 0 0 25 0 1 0 774761291 52576256 12068 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12068 1111 63 0 12773 0
vsize: 51344
[startup+140.124 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15223 0 0 0 13967 44 0 0 25 0 1 0 774761291 52576256 12068 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12068 1111 63 0 12773 0
vsize: 51344
[startup+150.132 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15223 0 0 0 14967 44 0 0 25 0 1 0 774761291 52576256 12068 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12836 12068 1111 63 0 12773 0
vsize: 51344
[startup+160.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 15440 0 0 0 15966 46 0 0 25 0 1 0 774761291 53522432 12285 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13067 12285 1111 63 0 13004 0
vsize: 52268
[startup+170.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16312 0 0 0 16963 48 0 0 25 0 1 0 774761291 57036800 13157 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13925 13157 1111 63 0 13862 0
vsize: 55700
[startup+180.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16317 0 0 0 17963 49 0 0 25 0 1 0 774761291 57171968 13162 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13958 13162 1111 63 0 13895 0
vsize: 55832
[startup+190.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16341 0 0 0 18963 50 0 0 25 0 1 0 774761291 57171968 13186 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13958 13186 1111 63 0 13895 0
vsize: 55832
[startup+200.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16358 0 0 0 19962 50 0 0 25 0 1 0 774761291 57307136 13203 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13991 13203 1111 63 0 13928 0
vsize: 55964
[startup+210.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16392 0 0 0 20962 52 0 0 25 0 1 0 774761291 57442304 13237 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14024 13237 1111 63 0 13961 0
vsize: 56096
[startup+220.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16403 0 0 0 21962 52 0 0 25 0 1 0 774761291 57442304 13248 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14024 13248 1111 63 0 13961 0
vsize: 56096
[startup+230.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16421 0 0 0 22962 53 0 0 25 0 1 0 774761291 57577472 13266 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14057 13266 1111 63 0 13994 0
vsize: 56228
[startup+240.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16423 0 0 0 23961 54 0 0 25 0 1 0 774761291 57577472 13268 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14057 13268 1111 63 0 13994 0
vsize: 56228
[startup+250.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16430 0 0 0 24960 55 0 0 25 0 1 0 774761291 57577472 13275 4294967295 134512640 134714508 3221224576 3221223360 134597675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14057 13275 1111 63 0 13994 0
vsize: 56228
[startup+260.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16436 0 0 0 25960 55 0 0 25 0 1 0 774761291 57577472 13281 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14057 13281 1111 63 0 13994 0
vsize: 56228
[startup+270.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16448 0 0 0 26960 55 0 0 25 0 1 0 774761291 57577472 13293 4294967295 134512640 134714508 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14057 13293 1111 63 0 13994 0
vsize: 56228
[startup+280.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16449 0 0 0 27960 56 0 0 25 0 1 0 774761291 57712640 13294 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14090 13294 1111 63 0 14027 0
vsize: 56360
[startup+290.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16463 0 0 0 28960 56 0 0 25 0 1 0 774761291 57712640 13308 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14090 13308 1111 63 0 14027 0
vsize: 56360
[startup+300.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16466 0 0 0 29960 56 0 0 25 0 1 0 774761291 57712640 13311 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14090 13311 1111 63 0 14027 0
vsize: 56360
[startup+310.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16479 0 0 0 30959 57 0 0 25 0 1 0 774761291 57712640 13324 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14090 13324 1111 63 0 14027 0
vsize: 56360
[startup+320.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16483 0 0 0 31959 58 0 0 25 0 1 0 774761291 57847808 13328 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13328 1111 63 0 14060 0
vsize: 56492
[startup+330.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16489 0 0 0 32958 58 0 0 25 0 1 0 774761291 57847808 13334 4294967295 134512640 134714508 3221224576 3221223336 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13334 1111 63 0 14060 0
vsize: 56492
[startup+340.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16491 0 0 0 33958 59 0 0 25 0 1 0 774761291 57847808 13336 4294967295 134512640 134714508 3221224576 3221223376 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13336 1111 63 0 14060 0
vsize: 56492
[startup+350.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16495 0 0 0 34957 59 0 0 25 0 1 0 774761291 57847808 13340 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13340 1111 63 0 14060 0
vsize: 56492
[startup+360.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16497 0 0 0 35957 60 0 0 25 0 1 0 774761291 57847808 13342 4294967295 134512640 134714508 3221224576 3221223376 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13342 1111 63 0 14060 0
vsize: 56492
[startup+370.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16509 0 0 0 36957 61 0 0 25 0 1 0 774761291 57847808 13354 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13354 1111 63 0 14060 0
vsize: 56492
[startup+380.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16509 0 0 0 37956 61 0 0 25 0 1 0 774761291 57847808 13354 4294967295 134512640 134714508 3221224576 3221223376 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13354 1111 63 0 14060 0
vsize: 56492
[startup+390.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16510 0 0 0 38956 62 0 0 25 0 1 0 774761291 57847808 13355 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13355 1111 63 0 14060 0
vsize: 56492
[startup+400.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16511 0 0 0 39956 62 0 0 25 0 1 0 774761291 57847808 13356 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13356 1111 63 0 14060 0
vsize: 56492
[startup+410.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16521 0 0 0 40955 63 0 0 25 0 1 0 774761291 57982976 13366 4294967295 134512640 134714508 3221224576 3221223376 134597604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14156 13366 1111 63 0 14093 0
vsize: 56624
[startup+420.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16526 0 0 0 41954 64 0 0 25 0 1 0 774761291 57982976 13371 4294967295 134512640 134714508 3221224576 3221223352 134613519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14156 13371 1111 63 0 14093 0
vsize: 56624
[startup+430.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16534 0 0 0 42954 65 0 0 25 0 1 0 774761291 57982976 13379 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14156 13379 1111 63 0 14093 0
vsize: 56624
[startup+440.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16543 0 0 0 43953 65 0 0 25 0 1 0 774761291 57982976 13388 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14156 13388 1111 63 0 14093 0
vsize: 56624
[startup+450.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16550 0 0 0 44952 67 0 0 25 0 1 0 774761291 58118144 13395 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14189 13395 1111 63 0 14126 0
vsize: 56756
[startup+460.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16559 0 0 0 45952 67 0 0 25 0 1 0 774761291 58118144 13404 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14189 13404 1111 63 0 14126 0
vsize: 56756
[startup+470.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16568 0 0 0 46952 68 0 0 25 0 1 0 774761291 58118144 13413 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14189 13413 1111 63 0 14126 0
vsize: 56756
[startup+480.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16575 0 0 0 47951 68 0 0 25 0 1 0 774761291 58118144 13420 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14189 13420 1111 63 0 14126 0
vsize: 56756
[startup+490.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16584 0 0 0 48951 69 0 0 25 0 1 0 774761291 58253312 13429 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14222 13429 1111 63 0 14159 0
vsize: 56888
[startup+500.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16592 0 0 0 49951 69 0 0 25 0 1 0 774761291 58253312 13437 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14222 13437 1111 63 0 14159 0
vsize: 56888
[startup+510.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16600 0 0 0 50950 70 0 0 25 0 1 0 774761291 58253312 13445 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14222 13445 1111 63 0 14159 0
vsize: 56888
[startup+520.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16609 0 0 0 51950 71 0 0 25 0 1 0 774761291 58253312 13454 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14222 13454 1111 63 0 14159 0
vsize: 56888
[startup+530.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16617 0 0 0 52949 72 0 0 25 0 1 0 774761291 58388480 13462 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14255 13462 1111 63 0 14192 0
vsize: 57020
[startup+540.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16625 0 0 0 53948 73 0 0 25 0 1 0 774761291 58388480 13470 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14255 13470 1111 63 0 14192 0
vsize: 57020
[startup+550.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16633 0 0 0 54947 74 0 0 25 0 1 0 774761291 58388480 13478 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14255 13478 1111 63 0 14192 0
vsize: 57020
[startup+560.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16640 0 0 0 55946 75 0 0 25 0 1 0 774761291 58388480 13485 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14255 13485 1111 63 0 14192 0
vsize: 57020
[startup+570.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16649 0 0 0 56946 75 0 0 25 0 1 0 774761291 58523648 13494 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14288 13494 1111 63 0 14225 0
vsize: 57152
[startup+580.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16657 0 0 0 57945 76 0 0 25 0 1 0 774761291 58523648 13502 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14288 13502 1111 63 0 14225 0
vsize: 57152
[startup+590.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16665 0 0 0 58945 76 0 0 25 0 1 0 774761291 58523648 13510 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14288 13510 1111 63 0 14225 0
vsize: 57152
[startup+600.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16675 0 0 0 59945 77 0 0 25 0 1 0 774761291 58523648 13520 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14288 13520 1111 63 0 14225 0
vsize: 57152
[startup+610.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16683 0 0 0 60945 77 0 0 25 0 1 0 774761291 58658816 13528 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14321 13528 1111 63 0 14258 0
vsize: 57284
[startup+620.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16692 0 0 0 61944 77 0 0 25 0 1 0 774761291 58658816 13537 4294967295 134512640 134714508 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14321 13537 1111 63 0 14258 0
vsize: 57284
[startup+630.161 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16700 0 0 0 62944 78 0 0 25 0 1 0 774761291 58658816 13545 4294967295 134512640 134714508 3221224576 3221223344 134597631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14321 13545 1111 63 0 14258 0
vsize: 57284
[startup+640.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16707 0 0 0 63944 78 0 0 25 0 1 0 774761291 58658816 13552 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14321 13552 1111 63 0 14258 0
vsize: 57284
[startup+650.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16716 0 0 0 64944 78 0 0 25 0 1 0 774761291 58793984 13561 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14354 13561 1111 63 0 14291 0
vsize: 57416
[startup+660.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16723 0 0 0 65944 79 0 0 25 0 1 0 774761291 58793984 13568 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14354 13568 1111 63 0 14291 0
vsize: 57416
[startup+670.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16730 0 0 0 66944 79 0 0 25 0 1 0 774761291 58793984 13575 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14354 13575 1111 63 0 14291 0
vsize: 57416
[startup+680.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16739 0 0 0 67944 80 0 0 25 0 1 0 774761291 58793984 13584 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14354 13584 1111 63 0 14291 0
vsize: 57416
[startup+690.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16746 0 0 0 68944 80 0 0 25 0 1 0 774761291 58929152 13591 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14387 13591 1111 63 0 14324 0
vsize: 57548
[startup+700.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16755 0 0 0 69943 81 0 0 25 0 1 0 774761291 58929152 13600 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14387 13600 1111 63 0 14324 0
vsize: 57548
[startup+710.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16763 0 0 0 70943 81 0 0 25 0 1 0 774761291 58929152 13608 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14387 13608 1111 63 0 14324 0
vsize: 57548
[startup+720.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16770 0 0 0 71942 82 0 0 25 0 1 0 774761291 58929152 13615 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14387 13615 1111 63 0 14324 0
vsize: 57548
[startup+730.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16776 0 0 0 72942 83 0 0 25 0 1 0 774761291 58929152 13621 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14387 13621 1111 63 0 14324 0
vsize: 57548
[startup+740.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16990 0 0 0 73941 84 0 0 25 0 1 0 774761291 59875328 13835 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14618 13835 1111 63 0 14555 0
vsize: 58472
[startup+750.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16992 0 0 0 74940 85 0 0 25 0 1 0 774761291 59875328 13837 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14618 13837 1111 63 0 14555 0
vsize: 58472
[startup+760.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 16992 0 0 0 75940 85 0 0 25 0 1 0 774761291 59875328 13837 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14618 13837 1111 63 0 14555 0
vsize: 58472
[startup+770.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17014 0 0 0 76939 86 0 0 25 0 1 0 774761291 60010496 13859 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14651 13859 1111 63 0 14588 0
vsize: 58604
[startup+780.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17034 0 0 0 77939 86 0 0 25 0 1 0 774761291 60010496 13879 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14651 13879 1111 63 0 14588 0
vsize: 58604
[startup+790.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17055 0 0 0 78939 87 0 0 25 0 1 0 774761291 60145664 13900 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14684 13900 1111 63 0 14621 0
vsize: 58736
[startup+800.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17072 0 0 0 79939 87 0 0 25 0 1 0 774761291 60145664 13917 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14684 13917 1111 63 0 14621 0
vsize: 58736
[startup+810.171 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17093 0 0 0 80939 87 0 0 25 0 1 0 774761291 60280832 13938 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14717 13938 1111 63 0 14654 0
vsize: 58868
[startup+820.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17103 0 0 0 81938 88 0 0 25 0 1 0 774761291 60280832 13948 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14717 13948 1111 63 0 14654 0
vsize: 58868
[startup+830.172 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17113 0 0 0 82938 88 0 0 25 0 1 0 774761291 60416000 13958 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14750 13958 1111 63 0 14687 0
vsize: 59000
[startup+840.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17137 0 0 0 83938 89 0 0 25 0 1 0 774761291 60416000 13982 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14750 13982 1111 63 0 14687 0
vsize: 59000
[startup+850.172 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17146 0 0 0 84937 90 0 0 25 0 1 0 774761291 60551168 13991 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14783 13991 1111 63 0 14720 0
vsize: 59132
[startup+860.172 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17158 0 0 0 85937 90 0 0 25 0 1 0 774761291 60551168 14003 4294967295 134512640 134714508 3221224576 3221223364 134597610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14783 14003 1111 63 0 14720 0
vsize: 59132
[startup+870.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17186 0 0 0 86936 91 0 0 25 0 1 0 774761291 60682240 14031 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14815 14031 1111 63 0 14752 0
vsize: 59260
[startup+880.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17208 0 0 0 87936 91 0 0 25 0 1 0 774761291 60817408 14053 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14848 14053 1111 63 0 14785 0
vsize: 59392
[startup+890.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17238 0 0 0 88936 92 0 0 25 0 1 0 774761291 60817408 14083 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14848 14083 1111 63 0 14785 0
vsize: 59392
[startup+900.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17266 0 0 0 89935 93 0 0 25 0 1 0 774761291 60952576 14111 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14881 14111 1111 63 0 14818 0
vsize: 59524
[startup+910.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17292 0 0 0 90935 93 0 0 25 0 1 0 774761291 61087744 14137 4294967295 134512640 134714508 3221224576 3221223360 134597675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14914 14137 1111 63 0 14851 0
vsize: 59656
[startup+920.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17322 0 0 0 91935 94 0 0 25 0 1 0 774761291 61222912 14167 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14947 14167 1111 63 0 14884 0
vsize: 59788
[startup+930.175 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17351 0 0 0 92934 94 0 0 25 0 1 0 774761291 61358080 14196 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14980 14196 1111 63 0 14917 0
vsize: 59920
[startup+940.175 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17377 0 0 0 93934 95 0 0 25 0 1 0 774761291 61493248 14222 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15013 14222 1111 63 0 14950 0
vsize: 60052
[startup+950.176 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17401 0 0 0 94933 96 0 0 25 0 1 0 774761291 61493248 14246 4294967295 134512640 134714508 3221224576 3221223352 134613530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15013 14246 1111 63 0 14950 0
vsize: 60052
[startup+960.176 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17430 0 0 0 95933 97 0 0 25 0 1 0 774761291 61628416 14275 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15046 14275 1111 63 0 14983 0
vsize: 60184
[startup+970.176 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17460 0 0 0 96933 97 0 0 25 0 1 0 774761291 61763584 14305 4294967295 134512640 134714508 3221224576 3221223364 134597610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15079 14305 1111 63 0 15016 0
vsize: 60316
[startup+980.177 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17479 0 0 0 97932 97 0 0 25 0 1 0 774761291 61898752 14324 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15112 14324 1111 63 0 15049 0
vsize: 60448
[startup+990.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17501 0 0 0 98932 98 0 0 25 0 1 0 774761291 61898752 14346 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15112 14346 1111 63 0 15049 0
vsize: 60448
[startup+1000.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17503 0 0 0 99932 98 0 0 25 0 1 0 774761291 61898752 14348 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15112 14348 1111 63 0 15049 0
vsize: 60448
[startup+1010.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17511 0 0 0 100932 98 0 0 25 0 1 0 774761291 62033920 14356 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15145 14356 1111 63 0 15082 0
vsize: 60580
[startup+1020.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17531 0 0 0 101932 99 0 0 25 0 1 0 774761291 62033920 14376 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15145 14376 1111 63 0 15082 0
vsize: 60580
[startup+1030.18 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17549 0 0 0 102932 99 0 0 25 0 1 0 774761291 62164992 14394 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15177 14394 1111 63 0 15114 0
vsize: 60708
[startup+1040.18 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17567 0 0 0 103931 99 0 0 25 0 1 0 774761291 62164992 14412 4294967295 134512640 134714508 3221224576 3221223364 134597610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15177 14412 1111 63 0 15114 0
vsize: 60708
[startup+1050.18 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17584 0 0 0 104931 100 0 0 25 0 1 0 774761291 62300160 14429 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15210 14429 1111 63 0 15147 0
vsize: 60840
[startup+1060.18 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17603 0 0 0 105931 100 0 0 25 0 1 0 774761291 62435328 14448 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15243 14448 1111 63 0 15180 0
vsize: 60972
[startup+1070.18 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17621 0 0 0 106930 101 0 0 25 0 1 0 774761291 62435328 14466 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15243 14466 1111 63 0 15180 0
vsize: 60972
[startup+1080.18 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17638 0 0 0 107929 101 0 0 25 0 1 0 774761291 62570496 14483 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15276 14483 1111 63 0 15213 0
vsize: 61104
[startup+1090.18 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17656 0 0 0 108929 102 0 0 25 0 1 0 774761291 62570496 14501 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15276 14501 1111 63 0 15213 0
vsize: 61104
[startup+1100.18 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17669 0 0 0 109929 102 0 0 25 0 1 0 774761291 62705664 14514 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15309 14514 1111 63 0 15246 0
vsize: 61236
[startup+1110.18 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17685 0 0 0 110929 102 0 0 25 0 1 0 774761291 62705664 14530 4294967295 134512640 134714508 3221224576 3221223352 134613519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15309 14530 1111 63 0 15246 0
vsize: 61236
[startup+1120.18 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17705 0 0 0 111928 104 0 0 25 0 1 0 774761291 62840832 14550 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15342 14550 1111 63 0 15279 0
vsize: 61368
[startup+1130.18 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17722 0 0 0 112927 104 0 0 25 0 1 0 774761291 62840832 14567 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15342 14567 1111 63 0 15279 0
vsize: 61368
[startup+1140.18 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17739 0 0 0 113927 105 0 0 25 0 1 0 774761291 62976000 14584 4294967295 134512640 134714508 3221224576 3221223352 134613526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15375 14584 1111 63 0 15312 0
vsize: 61500
[startup+1150.18 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17750 0 0 0 114926 106 0 0 25 0 1 0 774761291 62976000 14595 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15375 14595 1111 63 0 15312 0
vsize: 61500
[startup+1160.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17770 0 0 0 115925 107 0 0 25 0 1 0 774761291 63111168 14615 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15408 14615 1111 63 0 15345 0
vsize: 61632
[startup+1170.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17790 0 0 0 116925 107 0 0 25 0 1 0 774761291 63111168 14635 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15408 14635 1111 63 0 15345 0
vsize: 61632
[startup+1174.89 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 3624
Raw data (stat): 3624 (bsolo_lpr_cuts) R 3623 32284 32283 0 -1 0 17790 0 0 0 116925 107 0 0 25 0 1 0 774761291 63111168 14635 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15408 14635 1111 63 0 15345 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.04
CPU user time (s): 1173.93
CPU system time (s): 1.11283
CPU usage (%): 100.013
Max. virtual memory (Kb): 61632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####