PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 05:51:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16863 boxname=wulflinc31 idbench=1298 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  56b5875081183b5ab8f7e29cbac05646  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 16863
/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:        924960 kB
Buffers:         16416 kB
Cached:          70264 kB
SwapCached:        972 kB
Active:          64120 kB
Inactive:        24700 kB
HighTotal:      131008 kB
HighFree:        72072 kB
LowTotal:       903652 kB
LowFree:        852888 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15268 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 06:10:48 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 16863 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12846 variables and 1008 constraints.
c After prepocess the problem consists of 8035 variables and 1801 constraints.
c preprocess terminated 644.331 s
c Initial Lower Bound: -3677
c Lower Bound Elapsed time: 1.7445
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.97 2/55 2727
Raw data (stat): 2727 (runsolver) R 2726 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 819195178 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.0011 s]
Raw data (loadavg): 0.93 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 3720 0 0 0 984 11 0 0 25 0 1 0 819195178 28168192 3643 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6877 3643 1111 63 0 6814 0
vsize: 27508
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 11704 0 0 0 1965 31 0 0 25 0 1 0 819195178 60788736 11627 4294967295 134512640 134714508 3221221776 3221218220 1077359235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14841 11627 1111 63 0 14778 0
vsize: 59364
[startup+30.0032 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 2947 48 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+40.0041 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 3947 49 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+50.0061 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 4947 49 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+60.007 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 5946 49 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+70.0088 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 6946 50 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+80.0099 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 7946 50 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+90.0108 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 8946 50 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+100.012 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 9945 51 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+110.013 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 10945 51 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+120.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 11945 51 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 12945 51 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+140.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 13945 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 14945 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 15945 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 16946 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+180.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 17946 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 18946 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+200.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 19946 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+210.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 20946 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 21947 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+230.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 22947 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+240.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 23947 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+250.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 24947 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 25947 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+270.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 26948 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 27948 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+290.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 28948 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+300.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 29948 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+310.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 30948 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+320.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 31949 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+330.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 32949 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+340.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 33949 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+350.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 34949 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+360.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 35949 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+370.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 36950 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+380.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 37950 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220500 134618161 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+390.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 38950 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18135 0 0 0 39950 52 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+410.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 22718 0 0 0 40937 65 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+420.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 91614 0 0 0 41751 252 0 0 25 0 1 0 819195178 77180928 17926 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18881 17929 1111 63 0 18818 0
vsize: 75372
[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 167162 0 0 0 42536 467 0 0 25 0 1 0 819195178 77180928 17916 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18843 17922 1111 63 0 18780 0
vsize: 75372
[startup+440.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 242695 0 0 0 43323 681 0 0 25 0 1 0 819195178 77025280 17891 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18843 17896 1111 63 0 18780 0
vsize: 75220
[startup+450.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 318290 0 0 0 44111 893 0 0 25 0 1 0 819195178 77180928 17928 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18881 17932 1111 63 0 18818 0
vsize: 75372
[startup+460.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 393826 0 0 0 44895 1109 0 0 25 0 1 0 819195178 77180928 17906 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18843 17912 1111 63 0 18780 0
vsize: 75372
[startup+470.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 469410 0 0 0 45689 1315 0 0 25 0 1 0 819195178 77336576 17932 4294967295 134512640 134714508 3221221776 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18881 17938 1111 63 0 18818 0
vsize: 75524
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 544994 0 0 0 46474 1530 0 0 25 0 1 0 819195178 77336576 17958 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18881 17964 1111 63 0 18818 0
vsize: 75524
[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 620561 0 0 0 47260 1745 0 0 25 0 1 0 819195178 77336576 17967 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18881 17967 1111 63 0 18818 0
vsize: 75524
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 696119 0 0 0 48044 1961 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+510.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 771677 0 0 0 48828 2176 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+520.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 847235 0 0 0 49616 2389 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+530.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 922793 0 0 0 50396 2610 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+540.448 s]
Raw data (loadavg): 1.07 0.99 0.98 3/58 2767
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1000850 0 0 0 51215 2830 0 0 25 0 1 0 819195178 76873728 17820 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17826 1111 63 0 18705 0
vsize: 75072
[startup+550.616 s]
Raw data (loadavg): 1.22 1.02 0.99 3/58 2776
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1077535 0 0 0 52012 3051 0 0 25 0 1 0 819195178 76562432 17771 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18692 17777 1111 63 0 18629 0
vsize: 74768
[startup+560.616 s]
Raw data (loadavg): 1.26 1.04 0.99 2/55 2780
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1152995 0 0 0 52798 3265 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+570.617 s]
Raw data (loadavg): 1.22 1.03 0.99 2/55 2780
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1228573 0 0 0 53581 3482 0 0 25 0 1 0 819195178 76255232 17693 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18617 17699 1111 63 0 18554 0
vsize: 74468
[startup+580.617 s]
Raw data (loadavg): 1.18 1.03 0.99 2/55 2780
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1304258 0 0 0 54364 3699 0 0 25 0 1 0 819195178 76873728 17820 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17826 1111 63 0 18705 0
vsize: 75072
[startup+590.618 s]
Raw data (loadavg): 1.15 1.03 0.99 2/55 2780
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1336157 0 0 0 55274 3789 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+600.619 s]
Raw data (loadavg): 1.13 1.03 0.99 2/55 2780
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1336157 0 0 0 56274 3789 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+610.619 s]
Raw data (loadavg): 1.11 1.03 0.99 2/55 2780
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1336157 0 0 0 57274 3789 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+620.62 s]
Raw data (loadavg): 1.09 1.03 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1336157 0 0 0 58275 3789 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+630.62 s]
Raw data (loadavg): 1.08 1.03 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1336157 0 0 0 59275 3789 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+640.621 s]
Raw data (loadavg): 1.07 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1336157 0 0 0 60275 3789 0 0 25 0 1 0 819195178 76103680 17673 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17673 1111 63 0 18517 0
vsize: 74320
[startup+650.622 s]
Raw data (loadavg): 1.06 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340026 0 0 0 61265 3799 0 0 25 0 1 0 819195178 78139392 18320 4294967295 134512640 134714508 3221221776 3221220176 1074031958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19115 18321 1111 63 0 19052 0
vsize: 76308
[startup+660.622 s]
Raw data (loadavg): 1.05 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340747 0 0 0 62263 3801 0 0 25 0 1 0 819195178 77901824 18262 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18262 1111 63 0 18956 0
vsize: 76076
[startup+670.623 s]
Raw data (loadavg): 1.04 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340750 0 0 0 63263 3801 0 0 25 0 1 0 819195178 77901824 18265 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18265 1111 63 0 18956 0
vsize: 76076
[startup+680.624 s]
Raw data (loadavg): 1.03 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340750 0 0 0 64263 3802 0 0 25 0 1 0 819195178 77901824 18265 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18265 1111 63 0 18956 0
vsize: 76076
[startup+690.623 s]
Raw data (loadavg): 1.03 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340750 0 0 0 65263 3802 0 0 25 0 1 0 819195178 77901824 18265 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18265 1111 63 0 18956 0
vsize: 76076
[startup+700.623 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340750 0 0 0 66262 3803 0 0 25 0 1 0 819195178 77901824 18265 4294967295 134512640 134714508 3221221776 3221220536 134613522 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18265 1111 63 0 18956 0
vsize: 76076
[startup+710.624 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340752 0 0 0 67262 3803 0 0 25 0 1 0 819195178 77901824 18267 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18267 1111 63 0 18956 0
vsize: 76076
[startup+720.625 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340754 0 0 0 68261 3804 0 0 25 0 1 0 819195178 77901824 18269 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18269 1111 63 0 18956 0
vsize: 76076
[startup+730.626 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 69260 3805 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220612 134600243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+740.626 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 70259 3807 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+750.627 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 71258 3808 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+760.627 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 72258 3809 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+770.628 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 73257 3810 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+780.629 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 74257 3810 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+790.629 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 75256 3811 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220612 134600243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+800.63 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 76255 3812 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+810.63 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 77254 3813 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+820.632 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 78254 3814 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+830.633 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 79253 3815 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+840.634 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 80253 3815 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+850.635 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 81252 3816 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+860.634 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 82251 3817 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220656 134577101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+870.635 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2782
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 83250 3818 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220600 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+880.635 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 84250 3819 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+890.635 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 85249 3820 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+900.636 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 86248 3821 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220600 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+910.637 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 87247 3822 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+920.638 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 88246 3823 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+930.638 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 89246 3824 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+940.638 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 90245 3825 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220656 134577072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+950.639 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 91245 3826 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+960.639 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 92244 3827 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+970.639 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 93243 3828 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597690 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+980.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 94242 3829 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220656 134577072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+990.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 95241 3830 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1000.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 96240 3831 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220656 134577072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1010.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 97240 3832 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220536 134613522 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1020.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 98239 3833 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1030.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 99238 3834 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1040.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 100237 3835 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1050.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 101237 3835 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1060.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 102236 3836 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220656 134577116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1070.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 103235 3837 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220536 134613515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1080.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 104234 3839 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220656 134577104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1090.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 105234 3839 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1100.64 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 106233 3841 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1110.65 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 107232 3841 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1120.65 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 108231 3842 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1130.65 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 109231 3843 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1140.65 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 110230 3844 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1150.65 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 111229 3845 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1160.65 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 112229 3845 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1170.65 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 113228 3846 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 76076
[startup+1174.95 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 2784
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 1340758 0 0 0 113228 3846 0 0 25 0 1 0 819195178 77901824 18273 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 18273 1111 63 0 18956 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.06
CPU user time (s): 1136.55
CPU system time (s): 38.5071
CPU usage (%): 100.009
Max. virtual memory (Kb): 76308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####