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/miplib3/normalized-mps-v2-13-7-gen.opb
MD5SUM	650632b92fbb7592f9a040d6375b78e9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8814
Biggest coefficient in the objective function	3375324200960
Number of bits for the biggest coefficient in the objective function	42
Sum of the numbers in the objective function	2061624536571104
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	3375324200960
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	2061624536571104
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.116981
Number of variables	12846
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	192
Trace number 41576

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 15:58:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29630 boxname=wulflinc4 idbench=1414 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  650632b92fbb7592f9a040d6375b78e9  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 29630
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        909548 kB
Buffers:           124 kB
Cached:         104756 kB
SwapCached:        792 kB
Active:          24440 kB
Inactive:        82268 kB
HighTotal:      131008 kB
HighFree:        23324 kB
LowTotal:       903652 kB
LowFree:        886224 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4804 kB
Slab:            12672 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:18:01 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 29630 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12846 variables and 1008 constraints.
c After prepocess the problem consists of 8035 variables and 1894 constraints.
c preprocess terminated 612.684 s
c Initial Lower Bound: -3677
c Lower Bound Elapsed time: 1.714
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.98 0.97 0.91 1/54 18275
Raw data (stat): 18275 (runsolver) R 18274 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911526989 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18275
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 3962 0 0 0 988 9 0 0 25 0 1 0 911526989 29159424 3882 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7119 3882 1111 63 0 7056 0
vsize: 28476
[startup+20.0006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18275
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 11870 0 0 0 1968 28 0 0 25 0 1 0 911526989 61460480 11790 4294967295 134512640 134716908 3221224560 3221221036 1077191814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15005 11790 1111 63 0 14942 0
vsize: 60020
[startup+30.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18275
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 2952 44 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+40.0013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18275
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 3952 44 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223196 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+50.0013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18275
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 4953 44 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+60.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18275
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 5953 44 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+70.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18275
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 6953 44 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+80.0028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18275
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 7953 45 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+90.0026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18275
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 8953 45 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+100.009 s]
Raw data (loadavg): 1.23 1.02 0.93 2/56 18310
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 9953 45 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+110.012 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 18328
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 10952 46 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+120.014 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 18328
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 11952 46 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+130.014 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 18328
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 12952 46 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+140.014 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 18328
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 13952 47 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+150.015 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 18328
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 14951 47 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+160.016 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 18328
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 15951 47 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+170.016 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 16951 48 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+180.017 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 17950 48 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+190.017 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 18950 48 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+200.018 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 19950 49 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+210.018 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 20950 49 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223296 134630826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+220.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 21950 49 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+230.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 22949 50 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+240.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 23949 50 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+250.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 24948 50 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+260.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 25948 51 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+270.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 26948 51 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+280.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 27947 52 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+290.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 28947 52 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+300.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 29946 52 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+310.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 30946 53 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 31946 53 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 32946 53 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 33946 53 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 34945 53 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+360.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 35945 53 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 36945 54 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 18136 0 0 0 37944 54 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 20959 0 0 0 38937 61 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223280 134618231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 92867 0 0 0 39766 233 0 0 25 0 1 0 911526989 76406784 17719 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18654 17725 1111 63 0 18591 0
vsize: 74616
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 174552 0 0 0 40566 433 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18330
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 256284 0 0 0 41357 642 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 337837 0 0 0 42153 846 0 0 25 0 1 0 911526989 76713984 17786 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18729 17793 1111 63 0 18666 0
vsize: 74916
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 419454 0 0 0 42948 1051 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 501186 0 0 0 43736 1263 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 582918 0 0 0 44535 1464 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221222996 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 664497 0 0 0 45342 1657 0 0 25 0 1 0 911526989 76713984 17812 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17817 1111 63 0 18704 0
vsize: 74916
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 746203 0 0 0 46138 1861 0 0 25 0 1 0 911526989 76713984 17786 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18729 17792 1111 63 0 18666 0
vsize: 74916
[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 827820 0 0 0 46932 2067 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 909552 0 0 0 47735 2264 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 991142 0 0 0 48532 2467 0 0 25 0 1 0 911526989 76869632 17823 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17830 1111 63 0 18704 0
vsize: 75068
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1072722 0 0 0 49329 2670 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1154454 0 0 0 50122 2878 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1236186 0 0 0 50918 3082 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1317918 0 0 0 51707 3293 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1336146 0 0 0 52662 3337 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1336146 0 0 0 53662 3338 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223232 134627260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1336146 0 0 0 54662 3338 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1336146 0 0 0 55662 3338 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1336146 0 0 0 56662 3339 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223212 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1336146 0 0 0 57662 3339 0 0 25 0 1 0 911526989 76099584 17671 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341949 0 0 0 58649 3352 0 0 25 0 1 0 911526989 87617536 20632 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20632 1111 63 0 21328 0
vsize: 85564
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341950 0 0 0 59648 3353 0 0 25 0 1 0 911526989 87617536 20633 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20633 1111 63 0 21328 0
vsize: 85564
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 60648 3353 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 61648 3353 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 62648 3353 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 63648 3354 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 64648 3354 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 65647 3355 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 66647 3355 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 67647 3355 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 68647 3356 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223388 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 69647 3356 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 70646 3357 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 71646 3357 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 72646 3357 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223336 134613551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 73646 3358 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223396 134600243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 74646 3358 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 75646 3359 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 76646 3359 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 77645 3359 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341952 0 0 0 78644 3360 0 0 25 0 1 0 911526989 87617536 20635 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20635 1111 63 0 21328 0
vsize: 85564
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341954 0 0 0 79644 3360 0 0 25 0 1 0 911526989 87617536 20637 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20637 1111 63 0 21328 0
vsize: 85564
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341958 0 0 0 80644 3361 0 0 25 0 1 0 911526989 87617536 20641 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20641 1111 63 0 21328 0
vsize: 85564
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 81643 3363 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 82642 3364 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 83641 3365 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223424 134576750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 84641 3365 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 85640 3366 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 86639 3367 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 87638 3368 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 88638 3369 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223392 134600260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 89637 3370 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 90636 3371 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 91635 3372 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223420 134600261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 92634 3373 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 93633 3374 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 94632 3375 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 95631 3376 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223336 134613517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 96630 3377 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 97630 3378 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 98628 3379 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 99626 3381 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 100626 3382 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 101625 3383 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223420 134600220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 102624 3384 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 103624 3385 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 104624 3385 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 105623 3386 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 106623 3386 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223360 134597690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 107623 3387 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 108622 3387 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223392 134600260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 109622 3388 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223360 134597685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 110621 3389 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223336 134613551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 111620 3390 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 112619 3391 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 113618 3392 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 85564
[startup+1175 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 18332
Raw data (stat): 18275 (bsolo_lpr_cuts-) R 18274 21152 21151 0 -1 0 1341960 0 0 0 113618 3392 0 0 25 0 1 0 911526989 87617536 20643 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21391 20643 1111 63 0 21328 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.05
CPU user time (s): 1141.08
CPU system time (s): 33.9718
CPU usage (%): 100.005
Max. virtual memory (Kb): 85564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####