PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	eb50800dc2fc522dd2f29a347fbab1da
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	454.966
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	82
Trace number 28213

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-25 01:05:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13938 boxname=wulflinc21 idbench=1073 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  eb50800dc2fc522dd2f29a347fbab1da  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 13938
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 3
cpu MHz		: 451.161
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:        436316 kB
Buffers:         13324 kB
Cached:         554308 kB
SwapCached:        984 kB
Active:          18468 kB
Inactive:       551308 kB
HighTotal:      131008 kB
HighFree:        10920 kB
LowTotal:       903652 kB
LowFree:        425396 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            23080 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:25:56 (client local time) WITH STATUS 0 IN 1210.03 SECONDS
stats: 13938 7 1210.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1909 variables and 372 constraints.
c preprocess terminated 77.382 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.2305
c Use computed LB before first solution.
#### 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): 1.07 1.02 1.00 2/55 7324
Raw data (stat): 7324 (runsolver) R 7323 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 712048951 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99992 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 6441 0 6 0 961 16 0 0 25 0 1 0 712048951 29597696 6369 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7226 6369 1111 63 0 7163 0
vsize: 28904
[startup+20.0006 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 6486 0 6 0 1961 17 0 0 25 0 1 0 712048951 29761536 6414 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6414 1111 63 0 7203 0
vsize: 29064
[startup+30.0012 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 6513 0 6 0 2961 17 0 0 25 0 1 0 712048951 29835264 6441 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 6441 1111 63 0 7221 0
vsize: 29136
[startup+40.0009 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 6537 0 6 0 3961 17 0 0 25 0 1 0 712048951 29904896 6458 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7301 6458 1111 63 0 7238 0
vsize: 29204
[startup+50.0016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 6598 0 6 0 4961 17 0 0 25 0 1 0 712048951 30126080 6499 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6499 1111 63 0 7292 0
vsize: 29420
[startup+60.0013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 6612 0 6 0 5961 17 0 0 25 0 1 0 712048951 30126080 6512 4294967295 134512640 134714508 3221224592 3221223316 134618161 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6512 1111 63 0 7292 0
vsize: 29420
[startup+70.0019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 6612 0 6 0 6962 17 0 0 25 0 1 0 712048951 30126080 6512 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6512 1111 63 0 7292 0
vsize: 29420
[startup+80.0027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 7134 0 9 0 7949 19 0 0 25 0 1 0 712048951 30314496 6701 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6701 1111 63 0 7338 0
vsize: 29604
[startup+90.0022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 8550 0 9 0 8944 23 0 0 25 0 1 0 712048951 30314496 6701 4294967295 134512640 134714508 3221224592 3221222712 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6701 1111 63 0 7338 0
vsize: 29604
[startup+100.002 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 9974 0 9 0 9940 27 0 0 25 0 1 0 712048951 30687232 6739 4294967295 134512640 134714508 3221224592 3221220800 1076079362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7492 6739 1111 63 0 7429 0
vsize: 29968
[startup+110.002 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 11263 0 9 0 10935 33 0 0 25 0 1 0 712048951 30314496 6704 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6704 1111 63 0 7338 0
vsize: 29604
[startup+120.002 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 12329 0 9 0 11932 36 0 0 25 0 1 0 712048951 30314496 6704 4294967295 134512640 134714508 3221224592 3221222880 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6704 1111 63 0 7338 0
vsize: 29604
[startup+130.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 12404 0 9 0 12931 37 0 0 25 0 1 0 712048951 30314496 6704 4294967295 134512640 134714508 3221224592 3221222224 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6704 1111 63 0 7338 0
vsize: 29604
[startup+140.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 12500 0 9 0 13930 38 0 0 25 0 1 0 712048951 30502912 6706 4294967295 134512640 134714508 3221224592 3221220752 1074794697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6706 1111 63 0 7384 0
vsize: 29788
[startup+150.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 12555 0 9 0 14930 39 0 0 25 0 1 0 712048951 30314496 6705 4294967295 134512640 134714508 3221224592 3221221784 1074138303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+160.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 12651 0 9 0 15929 40 0 0 25 0 1 0 712048951 30314496 6705 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+170.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 12757 0 9 0 16928 41 0 0 25 0 1 0 712048951 30314496 6705 4294967295 134512640 134714508 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+180.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 12861 0 9 0 17927 42 0 0 25 0 1 0 712048951 30314496 6705 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+190.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 12965 0 9 0 18927 42 0 0 25 0 1 0 712048951 30314496 6705 4294967295 134512640 134714508 3221224592 3221222896 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+200.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13069 0 9 0 19926 43 0 0 25 0 1 0 712048951 30314496 6705 4294967295 134512640 134714508 3221224592 3221222992 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+210 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13171 0 9 0 20925 45 0 0 25 0 1 0 712048951 30314496 6705 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+220 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13277 0 9 0 21923 47 0 0 25 0 1 0 712048951 30502912 6707 4294967295 134512640 134714508 3221224592 3221220556 1074860828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6707 1111 63 0 7384 0
vsize: 29788
[startup+230 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13377 0 9 0 22923 47 0 0 25 0 1 0 712048951 30314496 6705 4294967295 134512640 134714508 3221224592 3221222224 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+239.999 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13487 0 9 0 23922 48 0 0 25 0 1 0 712048951 30314496 6705 4294967295 134512640 134714508 3221224592 3221222240 1075818322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+249.999 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13508 0 9 0 24921 49 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222336 1075645388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+259.999 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13588 0 9 0 25920 50 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222520 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+269.998 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13588 0 9 0 26920 50 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222328 1074138163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+279.998 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13599 0 9 0 27920 51 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221223008 1074116190 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+289.998 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13731 0 9 0 28919 52 0 0 25 0 1 0 712048951 30502912 6707 4294967295 134512640 134714508 3221224592 3221220820 1075114960 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6707 1111 63 0 7384 0
vsize: 29788
[startup+299.998 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13734 0 9 0 29919 52 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+309.997 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13734 0 9 0 30919 52 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222592 1074918526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+319.997 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 13866 0 9 0 31918 53 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222976 1074153543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+329.998 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 14042 0 9 0 32918 54 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221221848 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+339.997 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 14087 0 9 0 33917 55 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221221712 1074865242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+349.997 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 14266 0 9 0 34915 56 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222560 1074247416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+359.997 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 14435 0 9 0 35914 58 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222304 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+369.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 14631 0 9 0 36912 60 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222808 1074138147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+379.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 14834 0 9 0 37911 61 0 0 25 0 1 0 712048951 30314496 6706 4294967295 134512640 134714508 3221224592 3221222880 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+389.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 15018 0 9 0 38909 63 0 0 25 0 1 0 712048951 30466048 6711 4294967295 134512640 134714508 3221224592 3221222240 1075818175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6711 1111 63 0 7375 0
vsize: 29752
[startup+399.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 15225 0 9 0 39908 65 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+409.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 15415 0 9 0 40906 67 0 0 25 0 1 0 712048951 30466048 6711 4294967295 134512640 134714508 3221224592 3221222416 1075823510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6711 1111 63 0 7375 0
vsize: 29752
[startup+419.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 15595 0 9 0 41904 69 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222880 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+429.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 15848 0 9 0 42901 72 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222092 1073978416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+439.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 16189 0 9 0 43899 74 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+449.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17156 0 9 0 44895 78 0 0 25 0 1 0 712048951 30392320 6729 4294967295 134512640 134714508 3221224592 3221221696 1074138695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6729 1111 63 0 7357 0
vsize: 29680
[startup+459.996 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17934 0 9 0 45893 80 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222496 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+469.995 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17937 0 9 0 46893 81 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+479.995 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17937 0 9 0 47893 81 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221223216 134649158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+489.994 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17937 0 9 0 48892 82 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221223040 1074039475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+499.995 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17937 0 9 0 49892 82 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222864 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+509.995 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17937 0 9 0 50892 83 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222336 1075636583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+519.995 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17937 0 9 0 51891 83 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222992 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+529.995 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17937 0 9 0 52891 84 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222944 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+539.995 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17937 0 9 0 53890 85 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222192 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+549.995 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17960 0 9 0 54890 85 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222416 1075823496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+560.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17960 0 9 0 55900 86 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222512 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+570.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17960 0 9 0 56900 86 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+580.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17960 0 9 0 57899 87 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222320 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+590.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17960 0 9 0 58899 87 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222712 1074138322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+600.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 17960 0 9 0 59898 88 0 0 25 0 1 0 712048951 30314496 6710 4294967295 134512640 134714508 3221224592 3221222464 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+610.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 26451 0 9 0 60877 110 0 0 25 0 1 0 712048951 30478336 6750 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6750 1111 63 0 7378 0
vsize: 29764
[startup+620.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 46024 0 9 0 61826 161 0 0 25 0 1 0 712048951 31555584 7013 4294967295 134512640 134714508 3221224592 3221222320 1075635647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7704 7013 1111 63 0 7641 0
vsize: 30816
[startup+630.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 65250 0 9 0 62782 205 0 0 25 0 1 0 712048951 31952896 7110 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7801 7110 1111 63 0 7738 0
vsize: 31204
[startup+640.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 76967 0 9 0 63753 234 0 0 25 0 1 0 712048951 32751616 7306 4294967295 134512640 134714508 3221224592 3221223008 1074116460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7996 7306 1111 63 0 7933 0
vsize: 31984
[startup+650.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 94849 0 9 0 64706 281 0 0 25 0 1 0 712048951 33697792 7537 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8227 7537 1111 63 0 8164 0
vsize: 32908
[startup+660.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 117863 0 9 0 65655 332 0 0 25 0 1 0 712048951 35692544 7960 4294967295 134512640 134714508 3221224592 3221222512 1075799488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8714 7960 1111 63 0 8651 0
vsize: 34856
[startup+670.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 140237 0 9 0 66603 384 0 0 25 0 1 0 712048951 37810176 8437 4294967295 134512640 134714508 3221224592 3221221632 1075860555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9231 8437 1111 63 0 9168 0
vsize: 36924
[startup+680.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 163716 0 9 0 67552 436 0 0 25 0 1 0 712048951 38936576 8793 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9465 8775 1111 63 0 9402 0
vsize: 38024
[startup+690.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 187022 0 9 0 68497 490 0 0 25 0 1 0 712048951 40292352 9121 4294967295 134512640 134714508 3221224592 3221223056 1074119510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9837 9121 1111 63 0 9774 0
vsize: 39348
[startup+700.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 208960 0 9 0 69448 540 0 0 25 0 1 0 712048951 42352640 9637 4294967295 134512640 134714508 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10340 9637 1111 63 0 10277 0
vsize: 41360
[startup+710.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 231454 0 9 0 70394 594 0 0 25 0 1 0 712048951 44130304 10008 4294967295 134512640 134714508 3221224592 3221222320 1075828232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10774 10008 1111 63 0 10711 0
vsize: 43096
[startup+720.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 253511 0 9 0 71342 646 0 0 25 0 1 0 712048951 45260800 10347 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11050 10347 1111 63 0 10987 0
vsize: 44200
[startup+730.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 276310 0 9 0 72285 703 0 0 25 0 1 0 712048951 46723072 10704 4294967295 134512640 134714508 3221224592 3221223264 134543724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11407 10704 1111 63 0 11344 0
vsize: 45628
[startup+740.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 298139 0 9 0 73234 754 0 0 25 0 1 0 712048951 48295936 11072 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11791 11078 1111 63 0 11728 0
vsize: 47164
[startup+750.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 320301 0 9 0 74178 810 0 0 25 0 1 0 712048951 50999296 11642 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12451 11642 1111 63 0 12388 0
vsize: 49804
[startup+760.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 343430 0 9 0 75124 865 0 0 25 0 1 0 712048951 52469760 12015 4294967295 134512640 134714508 3221224592 3221222632 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12810 12015 1111 63 0 12747 0
vsize: 51240
[startup+770.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 366718 0 9 0 76071 918 0 0 25 0 1 0 712048951 54009856 12373 4294967295 134512640 134714508 3221224592 3221222568 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13236 12380 1111 63 0 13173 0
vsize: 52744
[startup+780.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 390091 0 9 0 77014 975 0 0 25 0 1 0 712048951 55689216 12751 4294967295 134512640 134714508 3221224592 3221222704 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13596 12751 1111 63 0 13533 0
vsize: 54384
[startup+790.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 413266 0 9 0 77958 1031 0 0 25 0 1 0 712048951 56987648 13109 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13913 13109 1111 63 0 13850 0
vsize: 55652
[startup+800.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 436316 0 9 0 78906 1084 0 0 25 0 1 0 712048951 58318848 13482 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14238 13482 1111 63 0 14175 0
vsize: 56952
[startup+810.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 459337 0 9 0 79851 1138 0 0 25 0 1 0 712048951 59801600 13857 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14633 13858 1111 63 0 14570 0
vsize: 58400
[startup+820.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 482415 0 9 0 80799 1191 0 0 25 0 1 0 712048951 61423616 14236 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15088 14239 1111 63 0 15025 0
vsize: 59984
[startup+830.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 505511 0 9 0 81744 1246 0 0 25 0 1 0 712048951 62697472 14564 4294967295 134512640 134714508 3221224592 3221222848 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15307 14564 1111 63 0 15244 0
vsize: 61228
[startup+840.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 528679 0 9 0 82688 1302 0 0 25 0 1 0 712048951 64262144 14946 4294967295 134512640 134714508 3221224592 3221223296 134652495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15689 14946 1111 63 0 15626 0
vsize: 62756
[startup+850.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 548503 0 9 0 83644 1346 0 0 25 0 1 0 712048951 68907008 15785 4294967295 134512640 134714508 3221224592 3221221248 1075966471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16823 15785 1111 63 0 16760 0
vsize: 67292
[startup+860.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 571767 0 9 0 84588 1402 0 0 25 0 1 0 712048951 70156288 16132 4294967295 134512640 134714508 3221224592 3221222512 1075799747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17128 16132 1111 63 0 17065 0
vsize: 68512
[startup+870.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 594930 0 9 0 85539 1451 0 0 25 0 1 0 712048951 71290880 16472 4294967295 134512640 134714508 3221224592 3221222480 1073978442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17405 16472 1111 63 0 17342 0
vsize: 69620
[startup+880.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 617387 0 9 0 86488 1502 0 0 25 0 1 0 712048951 72953856 16884 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17811 16884 1111 63 0 17748 0
vsize: 71244
[startup+890.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 640981 0 9 0 87434 1557 0 0 25 0 1 0 712048951 74530816 17230 4294967295 134512640 134714508 3221224592 3221222624 1075088422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18151 17229 1111 63 0 18088 0
vsize: 72784
[startup+900.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 664131 0 9 0 88378 1613 0 0 25 0 1 0 712048951 75939840 17596 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18520 17595 1111 63 0 18457 0
vsize: 74160
[startup+910.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 687322 0 9 0 89324 1668 0 0 25 0 1 0 712048951 77225984 17952 4294967295 134512640 134714508 3221224592 3221223056 1074121040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 17952 1111 63 0 18791 0
vsize: 75416
[startup+920.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 710220 0 9 0 90266 1725 0 0 25 0 1 0 712048951 78589952 18314 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19187 18314 1111 63 0 19124 0
vsize: 76748
[startup+930.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 733042 0 9 0 91215 1776 0 0 25 0 1 0 712048951 80318464 18673 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19609 18673 1111 63 0 19546 0
vsize: 78436
[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 756333 0 9 0 92161 1831 0 0 25 0 1 0 712048951 81776640 19030 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19965 19030 1111 63 0 19902 0
vsize: 79860
[startup+950.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 779318 0 9 0 93103 1889 0 0 25 0 1 0 712048951 83009536 19394 4294967295 134512640 134714508 3221224592 3221222320 1075635922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20266 19394 1111 63 0 20203 0
vsize: 81064
[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 802582 0 9 0 94048 1945 0 0 25 0 1 0 712048951 84627456 19760 4294967295 134512640 134714508 3221224592 3221222656 1075961610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20661 19760 1111 63 0 20598 0
vsize: 82644
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 826247 0 9 0 94994 1998 0 0 25 0 1 0 712048951 85872640 20129 4294967295 134512640 134714508 3221224592 3221222336 1075646924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20965 20129 1111 63 0 20902 0
vsize: 83860
[startup+980.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 848872 0 9 0 95942 2050 0 0 25 0 1 0 712048951 87506944 20465 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21364 20465 1111 63 0 21301 0
vsize: 85456
[startup+990.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 871904 0 9 0 96888 2105 0 0 25 0 1 0 712048951 88756224 20814 4294967295 134512640 134714508 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21669 20814 1111 63 0 21606 0
vsize: 86676
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 895218 0 9 0 97834 2159 0 0 25 0 1 0 712048951 90378240 21200 4294967295 134512640 134714508 3221224592 3221222624 1075088330 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22065 21200 1111 63 0 22002 0
vsize: 88260
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 918151 0 9 0 98781 2213 0 0 25 0 1 0 712048951 91590656 21561 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22361 21561 1111 63 0 22298 0
vsize: 89444
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 939915 0 9 0 99730 2264 0 0 25 0 1 0 712048951 93814784 22012 4294967295 134512640 134714508 3221224592 3221220556 1074860634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22904 22012 1111 63 0 22841 0
vsize: 91616
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 962753 0 9 0 100675 2319 0 0 25 0 1 0 712048951 94560256 22286 4294967295 134512640 134714508 3221224592 3221222704 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23086 22286 1111 63 0 23023 0
vsize: 92344
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 986214 0 9 0 101626 2368 0 0 25 0 1 0 712048951 96149504 22654 4294967295 134512640 134714508 3221224592 3221223008 1074116576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23474 22656 1111 63 0 23411 0
vsize: 93896
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 997380 0 9 0 102597 2397 0 0 25 0 1 0 712048951 102977536 23812 4294967295 134512640 134714508 3221224592 3221222568 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25141 23812 1111 63 0 25078 0
vsize: 100564
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1019187 0 9 0 103548 2447 0 0 25 0 1 0 712048951 104509440 24179 4294967295 134512640 134714508 3221224592 3221222944 1074142734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25515 24179 1111 63 0 25452 0
vsize: 102060
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1041660 0 9 0 104497 2497 0 0 25 0 1 0 712048951 106139648 24570 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25913 24570 1111 63 0 25850 0
vsize: 103652
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054073 0 9 0 105468 2526 0 0 25 0 1 0 712048951 107966464 25017 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26359 25017 1111 63 0 26296 0
vsize: 105436
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054199 0 9 0 106467 2528 0 0 25 0 1 0 712048951 108482560 25143 4294967295 134512640 134714508 3221224592 3221222600 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26485 25143 1111 63 0 26422 0
vsize: 105940
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054287 0 9 0 107466 2529 0 0 25 0 1 0 712048951 108974080 25231 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26605 25231 1111 63 0 26542 0
vsize: 106420
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054375 0 9 0 108465 2530 0 0 25 0 1 0 712048951 109256704 25319 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26674 25319 1111 63 0 26611 0
vsize: 106696
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054458 0 9 0 109465 2531 0 0 25 0 1 0 712048951 109674496 25402 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26776 25402 1111 63 0 26713 0
vsize: 107104
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054512 0 9 0 110465 2531 0 0 25 0 1 0 712048951 109895680 25456 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26830 25456 1111 63 0 26767 0
vsize: 107320
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054563 0 9 0 111464 2532 0 0 25 0 1 0 712048951 110092288 25507 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26878 25507 1111 63 0 26815 0
vsize: 107512
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054609 0 9 0 112464 2532 0 0 25 0 1 0 712048951 110280704 25553 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26924 25553 1111 63 0 26861 0
vsize: 107696
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054706 0 9 0 113464 2533 0 0 25 0 1 0 712048951 110690304 25650 4294967295 134512640 134714508 3221224592 3221222336 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27024 25650 1111 63 0 26961 0
vsize: 108096
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054747 0 9 0 114463 2533 0 0 25 0 1 0 712048951 110858240 25691 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27065 25691 1111 63 0 27002 0
vsize: 108260
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054784 0 9 0 115463 2533 0 0 25 0 1 0 712048951 111009792 25728 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27102 25728 1111 63 0 27039 0
vsize: 108408
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054822 0 9 0 116463 2533 0 0 25 0 1 0 712048951 111165440 25766 4294967295 134512640 134714508 3221224592 3221222656 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27140 25766 1111 63 0 27077 0
vsize: 108560
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1054892 0 9 0 117463 2534 0 0 25 0 1 0 712048951 111452160 25836 4294967295 134512640 134714508 3221224592 3221222704 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27210 25836 1111 63 0 27147 0
vsize: 108840
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) R 7323 32363 32362 0 -1 0 1056785 0 9 0 118459 2538 0 0 25 0 1 0 712048951 119074816 27729 4294967295 134512640 134714508 3221224592 3221222552 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29071 27729 1111 63 0 29008 0
vsize: 116284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7326
Raw data (stat): 7324 (bsolo_lpr_cuts) Z 7323 32363 32362 0 -1 1036 1056785 0 9 0 118459 2543 0 0 25 0 1 0 712048951 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1210.15
CPU time (s): 1210.03
CPU user time (s): 1184.6
CPU system time (s): 25.4351
CPU usage (%): 99.9904
Max. virtual memory (Kb): 116284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####