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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb
MD5SUM	4ad922a0ad53056b410be6ab5caa6b5b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6352
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	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13489
Number of constraints which are clauses	13489
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3
Trace number 24188

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 00:12:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1883 boxname=wulflinc31 idbench=210 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4ad922a0ad53056b410be6ab5caa6b5b  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4.opb
IDLAUNCH: 1883
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        136328 kB
Buffers:         42576 kB
Cached:         821060 kB
SwapCached:        644 kB
Active:         495468 kB
Inactive:       370524 kB
HighTotal:      131008 kB
HighFree:          476 kB
LowTotal:       903652 kB
LowFree:        135852 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26656 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 00:32:48 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 1883 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13489 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.95 2/54 18485
Raw data (stat): 18485 (runsolver) R 18484 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 696190429 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 24956 0 0 0 936 59 0 0 25 0 1 0 696190429 105385984 24864 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25729 24864 1111 63 0 25666 0
vsize: 102916
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 24956 0 0 0 1937 59 0 0 25 0 1 0 696190429 105385984 24864 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25729 24864 1111 63 0 25666 0
vsize: 102916
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 24956 0 0 0 2937 59 0 0 25 0 1 0 696190429 105385984 24864 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25729 24864 1111 63 0 25666 0
vsize: 102916
[startup+40.0037 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 25321 0 0 0 3936 60 0 0 25 0 1 0 696190429 106733568 25193 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26058 25193 1111 63 0 25995 0
vsize: 104232
[startup+50.0046 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 25321 0 0 0 4937 60 0 0 25 0 1 0 696190429 106733568 25193 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26058 25193 1111 63 0 25995 0
vsize: 104232
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 25321 0 0 0 5937 60 0 0 25 0 1 0 696190429 106733568 25193 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26058 25193 1111 63 0 25995 0
vsize: 104232
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 26444 0 0 0 6934 63 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 26444 0 0 0 7934 63 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 26444 0 0 0 8934 63 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 26444 0 0 0 9934 63 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 26444 0 0 0 10935 63 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 26444 0 0 0 11935 63 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 27128 0 0 0 12934 64 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220200 1077377203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 27128 0 0 0 13934 64 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 27128 0 0 0 14934 64 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 28278 0 0 0 15931 67 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 28278 0 0 0 16932 67 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 28278 0 0 0 17932 67 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 29857 0 0 0 18929 70 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 29857 0 0 0 19929 70 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 29857 0 0 0 20929 70 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 31839 0 0 0 21925 75 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 31839 0 0 0 22925 75 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 31839 0 0 0 23925 75 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 34341 0 0 0 24919 81 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 34341 0 0 0 25919 81 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 34341 0 0 0 26919 81 0 0 25 0 1 0 696190429 111058944 26250 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27114 26250 1111 63 0 27051 0
vsize: 108456
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 36083 0 0 0 27916 85 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 37949 0 0 0 28911 89 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 40090 0 0 0 29906 95 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 47036 0 0 0 30889 112 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220576 134617372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 62197 0 0 0 31853 148 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 74329 0 0 0 32825 177 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 86869 0 0 0 33796 206 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 105040 0 0 0 34751 251 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 122102 0 0 0 35710 292 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 139001 0 0 0 36670 333 0 0 25 0 1 0 696190429 111091712 26258 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27122 26258 1111 63 0 27059 0
vsize: 108488
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 163071 0 0 0 37611 391 0 0 25 0 1 0 696190429 111173632 26278 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27142 26278 1111 63 0 27079 0
vsize: 108568
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 184950 0 0 0 38557 446 0 0 25 0 1 0 696190429 111173632 26278 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27142 26278 1111 63 0 27079 0
vsize: 108568
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 208236 0 0 0 39500 503 0 0 25 0 1 0 696190429 111173632 26278 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27142 26278 1111 63 0 27079 0
vsize: 108568
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 235990 0 0 0 40430 573 0 0 25 0 1 0 696190429 111173632 26278 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27142 26278 1111 63 0 27079 0
vsize: 108568
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 252621 0 0 0 41391 612 0 0 25 0 1 0 696190429 113774592 26913 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27777 26913 1111 63 0 27714 0
vsize: 111108
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 256435 0 0 0 42381 622 0 0 25 0 1 0 696190429 113774592 26913 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27777 26913 1111 63 0 27714 0
vsize: 111108
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 260400 0 0 0 43372 631 0 0 25 0 1 0 696190429 114827264 27170 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28034 27170 1111 63 0 27971 0
vsize: 112136
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 262996 0 0 0 44366 638 0 0 25 0 1 0 696190429 114827264 27170 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28034 27170 1111 63 0 27971 0
vsize: 112136
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 263072 0 0 0 45366 638 0 0 25 0 1 0 696190429 114827264 27170 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28034 27170 1111 63 0 27971 0
vsize: 112136
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 263487 0 0 0 46365 639 0 0 25 0 1 0 696190429 114933760 27189 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28060 27189 1111 63 0 27997 0
vsize: 112240
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 263893 0 0 0 47364 640 0 0 25 0 1 0 696190429 115089408 27209 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28098 27209 1111 63 0 28035 0
vsize: 112392
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 263900 0 0 0 48364 640 0 0 25 0 1 0 696190429 115089408 27216 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28098 27216 1111 63 0 28035 0
vsize: 112392
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 264102 0 0 0 49364 641 0 0 25 0 1 0 696190429 115093504 27235 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28099 27235 1111 63 0 28036 0
vsize: 112396
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 264339 0 0 0 50364 641 0 0 25 0 1 0 696190429 115093504 27235 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28099 27235 1111 63 0 28036 0
vsize: 112396
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 265161 0 0 0 51362 643 0 0 25 0 1 0 696190429 115093504 27235 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28099 27235 1111 63 0 28036 0
vsize: 112396
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 266207 0 0 0 52360 646 0 0 25 0 1 0 696190429 115355648 27299 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28163 27299 1111 63 0 28100 0
vsize: 112652
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 266207 0 0 0 53360 646 0 0 25 0 1 0 696190429 115355648 27299 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28163 27299 1111 63 0 28100 0
vsize: 112652
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 266207 0 0 0 54360 646 0 0 25 0 1 0 696190429 115355648 27299 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28163 27299 1111 63 0 28100 0
vsize: 112652
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 266801 0 0 0 55359 647 0 0 25 0 1 0 696190429 115355648 27299 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28163 27299 1111 63 0 28100 0
vsize: 112652
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 267861 0 0 0 56356 650 0 0 25 0 1 0 696190429 115355648 27299 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28163 27299 1111 63 0 28100 0
vsize: 112652
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 269367 0 0 0 57352 654 0 0 25 0 1 0 696190429 115355648 27299 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28163 27299 1111 63 0 28100 0
vsize: 112652
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 271111 0 0 0 58349 657 0 0 25 0 1 0 696190429 115355648 27299 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28163 27299 1111 63 0 28100 0
vsize: 112652
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 273024 0 0 0 59344 662 0 0 25 0 1 0 696190429 115355648 27299 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28163 27299 1111 63 0 28100 0
vsize: 112652
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 284563 0 0 0 60315 691 0 0 25 0 1 0 696190429 115355648 27299 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28163 27299 1111 63 0 28100 0
vsize: 112652
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 291237 0 0 0 61300 706 0 0 25 0 1 0 696190429 117473280 27816 4294967295 134512640 134714508 3221221776 3221220412 134554926 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28680 27816 1111 63 0 28617 0
vsize: 114720
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 291237 0 0 0 62301 706 0 0 25 0 1 0 696190429 117473280 27816 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28680 27816 1111 63 0 28617 0
vsize: 114720
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 292499 0 0 0 63297 710 0 0 25 0 1 0 696190429 117473280 27816 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28680 27816 1111 63 0 28617 0
vsize: 114720
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 309605 0 0 0 64255 753 0 0 25 0 1 0 696190429 118190080 27991 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28855 27991 1111 63 0 28792 0
vsize: 115420
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 313967 0 0 0 65244 764 0 0 25 0 1 0 696190429 118190080 27991 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28855 27991 1111 63 0 28792 0
vsize: 115420
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 319737 0 0 0 66229 778 0 0 25 0 1 0 696190429 118190080 27991 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28855 27991 1111 63 0 28792 0
vsize: 115420
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 333492 0 0 0 67197 811 0 0 25 0 1 0 696190429 118190080 27991 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28855 27991 1111 63 0 28792 0
vsize: 115420
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 345864 0 0 0 68166 842 0 0 25 0 1 0 696190429 118190080 27991 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28855 27991 1111 63 0 28792 0
vsize: 115420
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 350750 0 0 0 69156 853 0 0 25 0 1 0 696190429 119668736 28339 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29216 28339 1111 63 0 29153 0
vsize: 116864
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 70153 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 71154 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 72154 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 73154 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 74154 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 75154 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 76155 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 77155 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 78155 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 79155 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 80155 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 351780 0 0 0 81155 855 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 353230 0 0 0 82152 859 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 353230 0 0 0 83152 859 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 353230 0 0 0 84152 859 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 353230 0 0 0 85152 859 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 353230 0 0 0 86153 859 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 353230 0 0 0 87153 859 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 357048 0 0 0 88143 869 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220260 1077374134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 357048 0 0 0 89143 869 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 357048 0 0 0 90144 869 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 357048 0 0 0 91144 869 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 357048 0 0 0 92144 869 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 357048 0 0 0 93144 869 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 357676 0 0 0 94143 870 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 357676 0 0 0 95143 870 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 357676 0 0 0 96143 870 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 360254 0 0 0 97138 876 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 360254 0 0 0 98138 876 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 360254 0 0 0 99138 876 0 0 25 0 1 0 696190429 122245120 28981 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29845 28981 1111 63 0 29782 0
vsize: 119380
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 362630 0 0 0 100133 881 0 0 25 0 1 0 696190429 124284928 29479 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30343 29479 1111 63 0 30280 0
vsize: 121372
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 362630 0 0 0 101133 881 0 0 25 0 1 0 696190429 124284928 29479 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30343 29479 1111 63 0 30280 0
vsize: 121372
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 362630 0 0 0 102133 881 0 0 25 0 1 0 696190429 124284928 29479 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30343 29479 1111 63 0 30280 0
vsize: 121372
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 365262 0 0 0 103127 888 0 0 25 0 1 0 696190429 124284928 29479 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30343 29479 1111 63 0 30280 0
vsize: 121372
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 365262 0 0 0 104127 888 0 0 25 0 1 0 696190429 124284928 29479 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30343 29479 1111 63 0 30280 0
vsize: 121372
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 365262 0 0 0 105127 888 0 0 25 0 1 0 696190429 124284928 29479 4294967295 134512640 134714508 3221221776 3221220556 134630764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30343 29479 1111 63 0 30280 0
vsize: 121372
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 366532 0 0 0 106124 891 0 0 25 0 1 0 696190429 124284928 29479 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30343 29479 1111 63 0 30280 0
vsize: 121372
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 376174 0 0 0 107100 916 0 0 25 0 1 0 696190429 124723200 29586 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30450 29586 1111 63 0 30387 0
vsize: 121800
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 376732 0 0 0 108098 917 0 0 25 0 1 0 696190429 124723200 29586 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30450 29586 1111 63 0 30387 0
vsize: 121800
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 376732 0 0 0 109099 917 0 0 25 0 1 0 696190429 124723200 29586 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30450 29586 1111 63 0 30387 0
vsize: 121800
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 383116 0 0 0 110083 934 0 0 25 0 1 0 696190429 127623168 30262 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31158 30262 1111 63 0 31095 0
vsize: 124632
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 391641 0 0 0 111061 955 0 0 25 0 1 0 696190429 124723200 29586 4294967295 134512640 134714508 3221221776 3221220228 1077378635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30450 29586 1111 63 0 30387 0
vsize: 121800
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 394654 0 0 0 112055 962 0 0 25 0 1 0 696190429 124723200 29586 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30450 29586 1111 63 0 30387 0
vsize: 121800
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 397730 0 0 0 113048 969 0 0 25 0 1 0 696190429 124723200 29586 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30450 29586 1111 63 0 30387 0
vsize: 121800
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 405354 0 0 0 114030 987 0 0 25 0 1 0 696190429 126689280 30066 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30930 30066 1111 63 0 30867 0
vsize: 123720
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 405354 0 0 0 115031 987 0 0 25 0 1 0 696190429 126689280 30066 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30930 30066 1111 63 0 30867 0
vsize: 123720
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 405354 0 0 0 116031 987 0 0 25 0 1 0 696190429 126689280 30066 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30930 30066 1111 63 0 30867 0
vsize: 123720
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 407160 0 0 0 117026 992 0 0 25 0 1 0 696190429 126689280 30066 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30930 30066 1111 63 0 30867 0
vsize: 123720
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 407160 0 0 0 118026 992 0 0 25 0 1 0 696190429 126689280 30066 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30930 30066 1111 63 0 30867 0
vsize: 123720
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) R 18484 7876 7672 0 -1 0 407160 0 0 0 119026 992 0 0 25 0 1 0 696190429 126689280 30066 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30930 30066 1111 63 0 30867 0
vsize: 123720
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 18485
Raw data (stat): 18485 (bsolo_lpr_cuts) Z 18484 7876 7672 0 -1 1036 407160 0 0 0 119026 997 0 0 25 0 1 0 696190429 0 0 4294967295 0 0 0 0 0 0 0 1 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): 1200.1
CPU time (s): 1200.25
CPU user time (s): 1190.27
CPU system time (s): 9.97748
CPU usage (%): 100.012
Max. virtual memory (Kb): 124632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####