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/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
MD5SUM	091959fe1286f391097654d0def293d7
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	39
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	132
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	5.13722
Number of variables	9071
Total number of constraints	25914
Number of constraints which are clauses	25190
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	724
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 24688

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 20:20:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2783 boxname=wulflinc31 idbench=310 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  091959fe1286f391097654d0def293d7  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag10.ucl.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag10.ucl.opb
IDLAUNCH: 2783
/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:        907636 kB
Buffers:         20220 kB
Cached:          86036 kB
SwapCached:       1116 kB
Active:          67040 kB
Inactive:        41640 kB
HighTotal:      131008 kB
HighFree:        44156 kB
LowTotal:       903652 kB
LowFree:        863480 kB
SwapTotal:     2097892 kB
SwapFree:      2096056 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            12548 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 20:40:16 (client local time) WITH STATUS 0 IN 1175.25 SECONDS
stats: 2783 7 1175.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 9071 variables and 25914 constraints.
c After prepocess the problem consists of 6720 variables and 20577 constraints.
c preprocess terminated 846.177 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/55 2269
Raw data (stat): 2269 (runsolver) R 2268 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 720720735 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 35283 0 0 0 909 87 0 0 25 0 1 0 720720735 147939328 35201 4294967295 134512640 134714508 3221221776 3221220304 134554872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36118 35201 1111 63 0 36055 0
vsize: 144472
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 43733 0 0 0 1891 104 0 0 25 0 1 0 720720735 182501376 43651 4294967295 134512640 134714508 3221221776 3221220008 1077377239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44556 43651 1111 63 0 44493 0
vsize: 178224
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 71664 0 0 0 2828 168 0 0 25 0 1 0 720720735 296869888 71582 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71582 1111 63 0 72415 0
vsize: 289912
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 71664 0 0 0 3828 168 0 0 25 0 1 0 720720735 296869888 71582 4294967295 134512640 134714508 3221221776 3221220284 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71582 1111 63 0 72415 0
vsize: 289912
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 71664 0 0 0 4828 168 0 0 25 0 1 0 720720735 296869888 71582 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71582 1111 63 0 72415 0
vsize: 289912
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 5819 177 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 6819 177 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 7819 177 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 8819 178 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 9819 178 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 10819 178 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 11818 179 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 12818 179 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220392 134543830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 13818 179 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 14818 179 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 15818 180 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 16818 180 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 17818 180 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 18818 180 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134539427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 19818 180 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 20818 180 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220316 134528752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 21817 181 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 22817 181 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220184 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 23817 182 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 24817 182 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220240 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 25816 182 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 26816 183 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 27816 183 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220400 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 28816 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 29816 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 30816 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 31816 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220400 134529393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 32816 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 33816 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 34817 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 35817 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 36817 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 37817 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220156 134539326 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 38817 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220568 134617118 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 39818 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220348 134584724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 40818 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 41818 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220260 134524380 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 42818 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 43818 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 44818 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 45819 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 46819 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134524117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+480.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 47819 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 48819 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 49819 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 50820 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 51820 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 52820 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+540.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 53820 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220392 134536901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+550.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 54820 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220396 134543776 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 55821 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 56821 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 57821 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+590.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 58821 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+600.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 59821 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+610.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 60821 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 61822 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+630.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 62822 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220140 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+640.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 63822 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+650.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 64822 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+660.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 65822 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 66823 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 67823 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 68823 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 69823 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 70823 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 71823 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 72824 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220240 134536655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 73824 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 74824 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+760.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 75824 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 76824 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+780.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 77825 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220140 134539251 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+790.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 78825 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220392 134543830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+800.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 79825 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+810.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 80825 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+820.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 81825 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+830.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 82826 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220248 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+840.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75044 0 0 0 83826 184 0 0 25 0 1 0 720720735 296869888 71587 4294967295 134512640 134714508 3221221776 3221220516 134630809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+850.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 84825 185 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220384 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+860.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 85823 186 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220348 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+870.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 86822 188 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+880.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 87821 188 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220316 134539296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+890.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 88819 189 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220544 134529136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+900.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 89819 189 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+910.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 90819 190 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+920.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 91818 190 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220364 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+930.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 92818 191 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+940.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 93818 191 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220316 134539296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+950.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 94818 191 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+960.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 95818 192 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220404 134696209 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+970.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 96818 192 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+980.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 97818 192 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+990.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 98818 192 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220416 134696103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 99818 192 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 100817 193 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220424 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 101817 193 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220360 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 102817 193 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220452 134542962 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 103817 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 104817 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 105817 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220336 134696489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 106817 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220416 134542902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 107818 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 108818 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220460 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 109818 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220404 134696211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 110818 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 111818 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 112818 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 113818 194 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 114818 195 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 115818 195 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220408 134696001 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 116818 195 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1175.15 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 2269
Raw data (stat): 2269 (bsolo_lpr_cuts) R 2268 7876 7672 0 -1 0 75060 0 0 0 116818 195 0 0 25 0 1 0 720720735 296869888 71603 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 0

Child status: 0
Real time (s): 1175.15
CPU time (s): 1175.25
CPU user time (s): 1173.16
CPU system time (s): 2.08668
CPU usage (%): 100.008
Max. virtual memory (Kb): 289912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####