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-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
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	4250
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	4250
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	4250
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	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
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	2
Maximum length of a constraint	17
Trace number 23788

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 20:23:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1163 boxname=wulflinc31 idbench=130 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc31/normalized-g125.17.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-g125.17.opb
IDLAUNCH: 1163
/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:        903392 kB
Buffers:         44708 kB
Cached:          63964 kB
SwapCached:        944 kB
Active:          90380 kB
Inactive:        20728 kB
HighTotal:      131008 kB
HighFree:        66108 kB
LowTotal:       903652 kB
LowFree:        837284 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14608 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 20:43:45 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 1163 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4250 variables and 68397 constraints.
c After prepocess the problem consists of 4250 variables and 68577 constraints.
c preprocess terminated 476.534 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 6074
Raw data (stat): 6074 (runsolver) R 6073 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 660251983 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 41852 0 0 0 882 114 0 0 25 0 1 0 660251983 174600192 41764 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42627 41764 1111 63 0 42564 0
vsize: 170508
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 97030 0 0 0 1745 251 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 141270 0 0 0 2637 359 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 177815 0 0 0 3548 448 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220208 134523173 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 199083 0 0 0 4496 501 0 0 25 0 1 0 660251983 181424128 43421 4294967295 134512640 134714508 3221221776 3221220260 1077378771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44293 43421 1111 63 0 44230 0
vsize: 177172
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 212888 0 0 0 5463 534 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 6404 592 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 7405 592 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 8405 592 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 9405 592 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 10405 592 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 11405 592 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 12406 592 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 13406 592 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220200 1077377331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 14406 592 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 15405 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220172 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 16405 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220304 134542892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 17405 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 18405 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220184 134543638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 19405 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 20405 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 21405 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 22405 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 23406 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 24406 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 25406 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 26406 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 27406 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220288 134542863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 28406 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 29407 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220280 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 30407 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 31407 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 32407 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220336 134535795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 33407 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 34408 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 35408 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 36408 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220564 134617275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 37408 593 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220336 134535760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 38408 594 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 39408 594 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220280 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 40408 594 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 41408 594 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 42408 594 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220428 134558618 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 43408 594 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 44408 594 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 236582 0 0 0 45408 594 0 0 25 0 1 0 660251983 174620672 41776 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42632 41776 1111 63 0 42569 0
vsize: 170528
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237119 0 0 0 46407 596 0 0 25 0 1 0 660251983 176816128 42313 4294967295 134512640 134714508 3221221776 3221220552 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43168 42313 1111 63 0 43105 0
vsize: 172672
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237344 0 0 0 47407 596 0 0 25 0 1 0 660251983 178200576 42538 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43506 42538 1111 63 0 43443 0
vsize: 174024
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237490 0 0 0 48405 598 0 0 25 0 1 0 660251983 178810880 42684 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43655 42684 1111 63 0 43592 0
vsize: 174620
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237648 0 0 0 49404 599 0 0 25 0 1 0 660251983 179343360 42829 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43785 42829 1111 63 0 43722 0
vsize: 175140
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237680 0 0 0 50403 600 0 0 25 0 1 0 660251983 179466240 42861 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43815 42861 1111 63 0 43752 0
vsize: 175260
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237711 0 0 0 51403 601 0 0 25 0 1 0 660251983 179589120 42892 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43845 42892 1111 63 0 43782 0
vsize: 175380
[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237738 0 0 0 52402 601 0 0 25 0 1 0 660251983 179695616 42919 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43871 42919 1111 63 0 43808 0
vsize: 175484
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237810 0 0 0 53401 602 0 0 25 0 1 0 660251983 179986432 42991 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43942 42991 1111 63 0 43879 0
vsize: 175768
[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237834 0 0 0 54401 603 0 0 25 0 1 0 660251983 180076544 43015 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43964 43015 1111 63 0 43901 0
vsize: 175856
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237856 0 0 0 55401 603 0 0 25 0 1 0 660251983 180162560 43037 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43985 43037 1111 63 0 43922 0
vsize: 175940
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237884 0 0 0 56400 604 0 0 25 0 1 0 660251983 180277248 43065 4294967295 134512640 134714508 3221221776 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44013 43065 1111 63 0 43950 0
vsize: 176052
[startup+580.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237904 0 0 0 57400 605 0 0 25 0 1 0 660251983 180355072 43085 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44032 43085 1111 63 0 43969 0
vsize: 176128
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237923 0 0 0 58400 605 0 0 25 0 1 0 660251983 180428800 43104 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44050 43104 1111 63 0 43987 0
vsize: 176200
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 237941 0 0 0 59399 605 0 0 25 0 1 0 660251983 180498432 43122 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44067 43122 1111 63 0 44004 0
vsize: 176268
[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238031 0 0 0 60398 607 0 0 25 0 1 0 660251983 180862976 43212 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44156 43212 1111 63 0 44093 0
vsize: 176624
[startup+620.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238047 0 0 0 61398 607 0 0 25 0 1 0 660251983 180924416 43228 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44171 43228 1111 63 0 44108 0
vsize: 176684
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238061 0 0 0 62398 608 0 0 25 0 1 0 660251983 180981760 43242 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44185 43242 1111 63 0 44122 0
vsize: 176740
[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238075 0 0 0 63397 608 0 0 25 0 1 0 660251983 181035008 43256 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44198 43256 1111 63 0 44135 0
vsize: 176792
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238090 0 0 0 64397 609 0 0 25 0 1 0 660251983 181092352 43271 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44212 43271 1111 63 0 44149 0
vsize: 176848
[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238105 0 0 0 65397 609 0 0 25 0 1 0 660251983 181153792 43286 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44227 43286 1111 63 0 44164 0
vsize: 176908
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238119 0 0 0 66396 610 0 0 25 0 1 0 660251983 181207040 43300 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44240 43300 1111 63 0 44177 0
vsize: 176960
[startup+680.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238269 0 0 0 67396 610 0 0 25 0 1 0 660251983 181469184 43365 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44304 43365 1111 63 0 44241 0
vsize: 177216
[startup+690.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238282 0 0 0 68396 611 0 0 25 0 1 0 660251983 181522432 43378 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44317 43378 1111 63 0 44254 0
vsize: 177268
[startup+700.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238295 0 0 0 69396 611 0 0 25 0 1 0 660251983 181571584 43391 4294967295 134512640 134714508 3221221776 3221219680 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44329 43391 1111 63 0 44266 0
vsize: 177316
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238310 0 0 0 70395 611 0 0 25 0 1 0 660251983 181628928 43406 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44343 43406 1111 63 0 44280 0
vsize: 177372
[startup+720.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238322 0 0 0 71395 612 0 0 25 0 1 0 660251983 181678080 43418 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44355 43418 1111 63 0 44292 0
vsize: 177420
[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238335 0 0 0 72394 613 0 0 25 0 1 0 660251983 181727232 43431 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44367 43431 1111 63 0 44304 0
vsize: 177468
[startup+740.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238347 0 0 0 73394 613 0 0 25 0 1 0 660251983 181776384 43443 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44379 43443 1111 63 0 44316 0
vsize: 177516
[startup+750.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238358 0 0 0 74394 613 0 0 25 0 1 0 660251983 181817344 43454 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44389 43454 1111 63 0 44326 0
vsize: 177556
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238370 0 0 0 75394 614 0 0 25 0 1 0 660251983 181866496 43466 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44401 43466 1111 63 0 44338 0
vsize: 177604
[startup+770.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238427 0 0 0 76394 614 0 0 25 0 1 0 660251983 182095872 43523 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44457 43523 1111 63 0 44394 0
vsize: 177828
[startup+780.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238437 0 0 0 77394 614 0 0 25 0 1 0 660251983 182136832 43533 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44467 43533 1111 63 0 44404 0
vsize: 177868
[startup+790.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238449 0 0 0 78394 615 0 0 25 0 1 0 660251983 182181888 43545 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44478 43545 1111 63 0 44415 0
vsize: 177912
[startup+800.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238459 0 0 0 79393 615 0 0 25 0 1 0 660251983 182222848 43555 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44488 43555 1111 63 0 44425 0
vsize: 177952
[startup+810.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238471 0 0 0 80393 616 0 0 25 0 1 0 660251983 182267904 43567 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44499 43567 1111 63 0 44436 0
vsize: 177996
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238480 0 0 0 81393 616 0 0 25 0 1 0 660251983 182304768 43576 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44508 43576 1111 63 0 44445 0
vsize: 178032
[startup+830.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238491 0 0 0 82393 616 0 0 25 0 1 0 660251983 182345728 43587 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44518 43587 1111 63 0 44455 0
vsize: 178072
[startup+840.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238500 0 0 0 83393 616 0 0 25 0 1 0 660251983 182382592 43596 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44527 43596 1111 63 0 44464 0
vsize: 178108
[startup+850.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238512 0 0 0 84393 617 0 0 25 0 1 0 660251983 182427648 43608 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44538 43608 1111 63 0 44475 0
vsize: 178152
[startup+860.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238521 0 0 0 85392 617 0 0 25 0 1 0 660251983 182464512 43617 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44547 43617 1111 63 0 44484 0
vsize: 178188
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238531 0 0 0 86392 618 0 0 25 0 1 0 660251983 182501376 43627 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44556 43627 1111 63 0 44493 0
vsize: 178224
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238540 0 0 0 87392 618 0 0 25 0 1 0 660251983 182538240 43636 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44565 43636 1111 63 0 44502 0
vsize: 178260
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238550 0 0 0 88392 619 0 0 25 0 1 0 660251983 182575104 43646 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44574 43646 1111 63 0 44511 0
vsize: 178296
[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238719 0 0 0 89391 620 0 0 25 0 1 0 660251983 182980608 43745 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44673 43745 1111 63 0 44610 0
vsize: 178692
[startup+910.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238729 0 0 0 90391 620 0 0 25 0 1 0 660251983 183017472 43755 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44682 43755 1111 63 0 44619 0
vsize: 178728
[startup+920.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238739 0 0 0 91391 620 0 0 25 0 1 0 660251983 183058432 43765 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44692 43765 1111 63 0 44629 0
vsize: 178768
[startup+930.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238751 0 0 0 92391 620 0 0 25 0 1 0 660251983 183103488 43777 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44703 43777 1111 63 0 44640 0
vsize: 178812
[startup+940.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238760 0 0 0 93391 620 0 0 25 0 1 0 660251983 183140352 43786 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44712 43786 1111 63 0 44649 0
vsize: 178848
[startup+950.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238769 0 0 0 94390 621 0 0 25 0 1 0 660251983 183177216 43795 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44721 43795 1111 63 0 44658 0
vsize: 178884
[startup+960.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238780 0 0 0 95390 622 0 0 25 0 1 0 660251983 183218176 43806 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44731 43806 1111 63 0 44668 0
vsize: 178924
[startup+970.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238789 0 0 0 96390 622 0 0 25 0 1 0 660251983 183255040 43815 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44740 43815 1111 63 0 44677 0
vsize: 178960
[startup+980.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238799 0 0 0 97389 623 0 0 25 0 1 0 660251983 183291904 43825 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44749 43825 1111 63 0 44686 0
vsize: 178996
[startup+990.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238808 0 0 0 98389 623 0 0 25 0 1 0 660251983 183328768 43834 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44758 43834 1111 63 0 44695 0
vsize: 179032
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238816 0 0 0 99389 624 0 0 25 0 1 0 660251983 183361536 43842 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44766 43842 1111 63 0 44703 0
vsize: 179064
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238824 0 0 0 100389 624 0 0 25 0 1 0 660251983 183390208 43850 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44773 43850 1111 63 0 44710 0
vsize: 179092
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238833 0 0 0 101388 624 0 0 25 0 1 0 660251983 183427072 43859 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44782 43859 1111 63 0 44719 0
vsize: 179128
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238843 0 0 0 102388 625 0 0 25 0 1 0 660251983 183463936 43869 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44791 43869 1111 63 0 44728 0
vsize: 179164
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238851 0 0 0 103388 625 0 0 25 0 1 0 660251983 183496704 43877 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44799 43877 1111 63 0 44736 0
vsize: 179196
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238858 0 0 0 104388 626 0 0 25 0 1 0 660251983 183525376 43884 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44806 43884 1111 63 0 44743 0
vsize: 179224
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238868 0 0 0 105388 626 0 0 25 0 1 0 660251983 183562240 43894 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44815 43894 1111 63 0 44752 0
vsize: 179260
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238876 0 0 0 106388 626 0 0 25 0 1 0 660251983 183595008 43902 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44823 43902 1111 63 0 44760 0
vsize: 179292
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238883 0 0 0 107388 626 0 0 25 0 1 0 660251983 183623680 43909 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44830 43909 1111 63 0 44767 0
vsize: 179320
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238893 0 0 0 108387 627 0 0 25 0 1 0 660251983 183660544 43919 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44839 43919 1111 63 0 44776 0
vsize: 179356
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238982 0 0 0 109387 627 0 0 25 0 1 0 660251983 184025088 44008 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44928 44008 1111 63 0 44865 0
vsize: 179712
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238990 0 0 0 110387 627 0 0 25 0 1 0 660251983 184053760 44016 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44935 44016 1111 63 0 44872 0
vsize: 179740
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 238998 0 0 0 111387 627 0 0 25 0 1 0 660251983 184086528 44024 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44943 44024 1111 63 0 44880 0
vsize: 179772
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 239005 0 0 0 112387 628 0 0 25 0 1 0 660251983 184115200 44031 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44950 44031 1111 63 0 44887 0
vsize: 179800
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 239014 0 0 0 113387 628 0 0 25 0 1 0 660251983 184147968 44040 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44958 44040 1111 63 0 44895 0
vsize: 179832
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 239021 0 0 0 114387 628 0 0 25 0 1 0 660251983 184176640 44047 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44965 44047 1111 63 0 44902 0
vsize: 179860
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 239027 0 0 0 115387 628 0 0 25 0 1 0 660251983 184201216 44053 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44971 44053 1111 63 0 44908 0
vsize: 179884
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 239036 0 0 0 116387 629 0 0 25 0 1 0 660251983 184233984 44062 4294967295 134512640 134714508 3221221776 3221220008 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44979 44062 1111 63 0 44916 0
vsize: 179916
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 239042 0 0 0 117387 629 0 0 25 0 1 0 660251983 184258560 44068 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44985 44068 1111 63 0 44922 0
vsize: 179940
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 239049 0 0 0 118387 629 0 0 25 0 1 0 660251983 184287232 44075 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44992 44075 1111 63 0 44929 0
vsize: 179968
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) R 6073 7876 7672 0 -1 0 239056 0 0 0 119386 629 0 0 25 0 1 0 660251983 184311808 44082 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44998 44082 1111 63 0 44935 0
vsize: 179992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 6074
Raw data (stat): 6074 (bsolo_lpr_cuts) Z 6073 7876 7672 0 -1 1036 239056 0 0 0 119387 637 0 0 25 0 1 0 660251983 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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.12
CPU time (s): 1200.25
CPU user time (s): 1193.87
CPU system time (s): 6.37903
CPU usage (%): 100.01
Max. virtual memory (Kb): 179992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####