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-hanoi5.opb
MD5SUM	430910c9a5d64dfdcfdaccb49935c3d0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1931
Optimality of the best value was proved	NO
Number of terms in the objective function	3862
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	3862
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3862
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	21.5857
Number of variables	3862
Total number of constraints	16399
Number of constraints which are clauses	16399
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	8
Trace number 23813

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 03:11:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1208 boxname=wulflinc31 idbench=135 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  430910c9a5d64dfdcfdaccb49935c3d0  /oldhome/oroussel/tmp/wulflinc31/normalized-hanoi5.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-hanoi5.opb
IDLAUNCH: 1208
/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:        922568 kB
Buffers:         18736 kB
Cached:          68448 kB
SwapCached:       3596 kB
Active:          52292 kB
Inactive:        40036 kB
HighTotal:      131008 kB
HighFree:        59332 kB
LowTotal:       903652 kB
LowFree:        863236 kB
SwapTotal:     2097892 kB
SwapFree:      2093676 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14096 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 03:31:10 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 1208 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3862 variables and 16399 constraints.
c After prepocess the problem consists of 2600 variables and 11416 constraints.
c preprocess terminated 964.344 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.93 0.98 0.99 2/54 8834
Raw data (stat): 8834 (runsolver) R 8833 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 662696780 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.0004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 18500 0 0 0 944 51 0 0 25 0 1 0 662696780 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19283 18413 1111 63 0 19220 0
vsize: 77132
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 18500 0 0 0 1944 51 0 0 25 0 1 0 662696780 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19283 18413 1111 63 0 19220 0
vsize: 77132
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 18500 0 0 0 2944 51 0 0 25 0 1 0 662696780 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19283 18413 1111 63 0 19220 0
vsize: 77132
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 18500 0 0 0 3945 51 0 0 25 0 1 0 662696780 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19283 18413 1111 63 0 19220 0
vsize: 77132
[startup+50.003 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 18500 0 0 0 4945 51 0 0 25 0 1 0 662696780 78983168 18413 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19283 18413 1111 63 0 19220 0
vsize: 77132
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 19036 0 0 0 5944 52 0 0 25 0 1 0 662696780 81178624 18949 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19819 18949 1111 63 0 19756 0
vsize: 79276
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 19036 0 0 0 6944 52 0 0 25 0 1 0 662696780 81178624 18949 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19819 18949 1111 63 0 19756 0
vsize: 79276
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 19036 0 0 0 7944 52 0 0 25 0 1 0 662696780 81178624 18949 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19819 18949 1111 63 0 19756 0
vsize: 79276
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 8940 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220372 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 9940 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 10940 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 11940 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 12941 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 13941 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 14941 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 15941 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 16941 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220216 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 17942 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 18942 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 19942 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 20942 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 21942 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 22943 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 23943 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 24943 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220520 134672911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 25943 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 26943 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 27943 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 28943 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 29944 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 30944 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 31944 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 32944 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 33944 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 34945 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 35945 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 36945 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 37945 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 38945 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 39946 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 40946 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 41946 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220216 1077377254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 42946 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 43946 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220216 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20727 0 0 0 44946 57 0 0 25 0 1 0 662696780 88104960 20640 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20640 1111 63 0 21447 0
vsize: 86040
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20885 0 0 0 45946 57 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20929 0 0 0 46947 57 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 20929 0 0 0 47947 57 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 21262 0 0 0 48946 58 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220344 1077377612 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+500.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 21389 0 0 0 49946 59 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 21574 0 0 0 50946 59 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 21693 0 0 0 51946 59 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 22364 0 0 0 52944 61 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 22824 0 0 0 53943 62 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220416 134557598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 22824 0 0 0 54943 62 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 23998 0 0 0 55941 65 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 24580 0 0 0 56939 66 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 24770 0 0 0 57939 67 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 25682 0 0 0 58937 69 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 26330 0 0 0 59935 71 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 27395 0 0 0 60933 73 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 27897 0 0 0 61932 75 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+630.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 29433 0 0 0 62928 79 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 30809 0 0 0 63925 82 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 31067 0 0 0 64924 83 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 32230 0 0 0 65922 86 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+670.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 33957 0 0 0 66918 90 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+680.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 35343 0 0 0 67914 94 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+690.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 36132 0 0 0 68913 95 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+700.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 38361 0 0 0 69908 100 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+710.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 40446 0 0 0 70903 106 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220216 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 41247 0 0 0 71901 108 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+730.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 42690 0 0 0 72896 112 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+740.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 45299 0 0 0 73890 119 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+750.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 47692 0 0 0 74884 126 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 48768 0 0 0 75881 128 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+770.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 52023 0 0 0 76872 137 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 54990 0 0 0 77865 145 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 56379 0 0 0 78862 148 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 58157 0 0 0 79857 153 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 62111 0 0 0 80847 163 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 65586 0 0 0 81839 172 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 67183 0 0 0 82834 177 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 71821 0 0 0 83823 188 0 0 25 0 1 0 662696780 88104960 20660 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20660 1111 63 0 21447 0
vsize: 86040
[startup+850.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 74940 0 0 0 84817 194 0 0 25 0 1 0 662696780 94752768 22262 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23133 22262 1111 63 0 23070 0
vsize: 92532
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 75306 0 0 0 85816 195 0 0 25 0 1 0 662696780 96251904 22628 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23499 22628 1111 63 0 23436 0
vsize: 93996
[startup+870.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 86815 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+880.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 87815 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 88815 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+900.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 89815 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+910.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 90815 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+920.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 91816 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+930.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 92816 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 93816 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+950.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 94816 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+960.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76088 0 0 0 95816 197 0 0 25 0 1 0 662696780 99373056 23410 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23410 1111 63 0 24198 0
vsize: 97044
[startup+970.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76113 0 0 0 96816 197 0 0 25 0 1 0 662696780 99373056 23435 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23435 1111 63 0 24198 0
vsize: 97044
[startup+980.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76113 0 0 0 97816 197 0 0 25 0 1 0 662696780 99373056 23435 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 23435 1111 63 0 24198 0
vsize: 97044
[startup+990.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76461 0 0 0 98816 198 0 0 25 0 1 0 662696780 101552128 23783 4294967295 134512640 134714508 3221221792 3221217776 1074790909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24793 23783 1111 63 0 24730 0
vsize: 99172
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 76616 0 0 0 99815 198 0 0 25 0 1 0 662696780 101658624 23938 4294967295 134512640 134714508 3221221792 3221217704 1075964781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24819 23938 1111 63 0 24756 0
vsize: 99276
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77001 0 0 0 100814 199 0 0 25 0 1 0 662696780 101658624 23959 4294967295 134512640 134714508 3221221792 3221217936 1075895656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24819 23959 1111 63 0 24756 0
vsize: 99276
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77042 0 0 0 101814 200 0 0 25 0 1 0 662696780 101892096 24000 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24876 24000 1111 63 0 24813 0
vsize: 99504
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77073 0 0 0 102814 200 0 0 25 0 1 0 662696780 102023168 24031 4294967295 134512640 134714508 3221221792 3221217672 1075964775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24908 24031 1111 63 0 24845 0
vsize: 99632
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77114 0 0 0 103814 200 0 0 25 0 1 0 662696780 102150144 24072 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24939 24072 1111 63 0 24876 0
vsize: 99756
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77193 0 0 0 104814 200 0 0 25 0 1 0 662696780 102440960 24151 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25010 24151 1111 63 0 24947 0
vsize: 100040
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77232 0 0 0 105814 200 0 0 25 0 1 0 662696780 102588416 24190 4294967295 134512640 134714508 3221221792 3221217840 1075112086 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25046 24190 1111 63 0 24983 0
vsize: 100184
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77233 0 0 0 106815 200 0 0 25 0 1 0 662696780 102588416 24191 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25046 24191 1111 63 0 24983 0
vsize: 100184
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77254 0 0 0 107815 201 0 0 25 0 1 0 662696780 102752256 24212 4294967295 134512640 134714508 3221221792 3221217704 1075964778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25086 24212 1111 63 0 25023 0
vsize: 100344
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77305 0 0 0 108814 201 0 0 25 0 1 0 662696780 102920192 24263 4294967295 134512640 134714508 3221221792 3221217840 1075112103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24263 1111 63 0 25064 0
vsize: 100508
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77308 0 0 0 109815 201 0 0 25 0 1 0 662696780 102920192 24266 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24266 1111 63 0 25064 0
vsize: 100508
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77308 0 0 0 110815 201 0 0 25 0 1 0 662696780 102920192 24266 4294967295 134512640 134714508 3221221792 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24266 1111 63 0 25064 0
vsize: 100508
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77309 0 0 0 111815 201 0 0 25 0 1 0 662696780 102920192 24267 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24267 1111 63 0 25064 0
vsize: 100508
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77309 0 0 0 112815 201 0 0 25 0 1 0 662696780 102920192 24267 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24267 1111 63 0 25064 0
vsize: 100508
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77309 0 0 0 113815 201 0 0 25 0 1 0 662696780 102920192 24267 4294967295 134512640 134714508 3221221792 3221217680 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24267 1111 63 0 25064 0
vsize: 100508
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77309 0 0 0 114815 201 0 0 25 0 1 0 662696780 102920192 24267 4294967295 134512640 134714508 3221221792 3221217984 1074960961 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24267 1111 63 0 25064 0
vsize: 100508
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77309 0 0 0 115815 201 0 0 25 0 1 0 662696780 102920192 24267 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24267 1111 63 0 25064 0
vsize: 100508
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77309 0 0 0 116816 201 0 0 25 0 1 0 662696780 102920192 24267 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24267 1111 63 0 25064 0
vsize: 100508
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77309 0 0 0 117816 201 0 0 25 0 1 0 662696780 102920192 24267 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24267 1111 63 0 25064 0
vsize: 100508
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77309 0 0 0 118816 201 0 0 25 0 1 0 662696780 102920192 24267 4294967295 134512640 134714508 3221221792 3221217960 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24267 1111 63 0 25064 0
vsize: 100508
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) R 8833 7876 7672 0 -1 0 77309 0 0 0 119816 201 0 0 25 0 1 0 662696780 102920192 24267 4294967295 134512640 134714508 3221221792 3221217872 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25127 24267 1111 63 0 25064 0
vsize: 100508
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 8834
Raw data (stat): 8834 (bsolo_lpr_cuts) Z 8833 7876 7672 0 -1 1036 77309 0 0 0 119816 205 0 0 25 0 1 0 662696780 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.09
CPU time (s): 1200.23
CPU user time (s): 1198.17
CPU system time (s): 2.05869
CPU usage (%): 100.011
Max. virtual memory (Kb): 100508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####