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/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM	85cf0fb6ed84e77eea7ef88259fe2fe8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	16.5575
Number of variables	4644
Total number of constraints	35898
Number of constraints which are clauses	30228
Number of constraints which are cardinality constraints (but not clauses)	5592
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 24943

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 04:28:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3242 boxname=wulflinc31 idbench=361 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  85cf0fb6ed84e77eea7ef88259fe2fe8  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:3-13,25,26.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:3-13,25,26.opb
IDLAUNCH: 3242
/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:        817564 kB
Buffers:         40604 kB
Cached:         154664 kB
SwapCached:       1932 kB
Active:         159924 kB
Inactive:        38508 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817312 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12960 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 04:47:47 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 3242 7 1175.08 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 4644 variables and 31428 constraints.
c After prepocess the problem consists of 4644 variables and 31428 constraints.
c preprocess terminated 56.96 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.97 0.99 2/55 31217
Raw data (stat): 31217 (runsolver) R 31216 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 749569156 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 42578 0 0 0 885 109 0 0 25 0 1 0 749569156 52654080 11996 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12855 11996 1111 63 0 12792 0
vsize: 51420
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 73246 0 0 0 1808 186 0 0 25 0 1 0 749569156 73453568 17047 4294967295 134512640 134714508 3221221776 3221220292 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17933 17047 1111 63 0 17870 0
vsize: 71732
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 87338 0 0 0 2776 218 0 0 25 0 1 0 749569156 70627328 16384 4294967295 134512640 134714508 3221221776 3221220260 134539580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17243 16384 1111 63 0 17180 0
vsize: 68972
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 101024 0 0 0 3743 252 0 0 25 0 1 0 749569156 70627328 16384 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17243 16384 1111 63 0 17180 0
vsize: 68972
[startup+50.004 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 121702 0 0 0 4691 304 0 0 25 0 1 0 749569156 71671808 16629 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17534 16634 1111 63 0 17471 0
vsize: 69992
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141524 0 0 0 5643 353 0 0 25 0 1 0 749569156 70631424 16400 4294967295 134512640 134714508 3221221776 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17244 16400 1111 63 0 17181 0
vsize: 68976
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 6640 354 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220416 134696064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 7640 355 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220344 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 8639 356 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 9639 357 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 10638 357 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 11638 358 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220488 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 12636 359 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 13636 360 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 14636 361 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 15635 362 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220272 134697368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 16634 362 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 17634 363 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 18634 363 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 19633 364 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 20633 364 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 21632 365 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 22632 366 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220164 1077379572 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 23631 367 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220180 134697180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 24631 367 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141526 0 0 0 25630 368 0 0 25 0 1 0 749569156 70631424 16402 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141533 0 0 0 26629 369 0 0 25 0 1 0 749569156 70766592 16409 4294967295 134512640 134714508 3221221776 3221220568 134586033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17277 16409 1111 63 0 17214 0
vsize: 69108
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141704 0 0 0 27628 371 0 0 25 0 1 0 749569156 71442432 16580 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17442 16580 1111 63 0 17379 0
vsize: 69768
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 141906 0 0 0 28627 372 0 0 25 0 1 0 749569156 72208384 16782 4294967295 134512640 134714508 3221221776 3221220492 134552548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17629 16782 1111 63 0 17566 0
vsize: 70516
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142029 0 0 0 29627 372 0 0 25 0 1 0 749569156 72736768 16905 4294967295 134512640 134714508 3221221776 3221220548 134529375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17758 16905 1111 63 0 17695 0
vsize: 71032
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142163 0 0 0 30626 373 0 0 25 0 1 0 749569156 73277440 17039 4294967295 134512640 134714508 3221221776 3221220328 134539340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17890 17039 1111 63 0 17827 0
vsize: 71560
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142280 0 0 0 31625 374 0 0 25 0 1 0 749569156 73818112 17156 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17156 1111 63 0 17959 0
vsize: 72088
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142403 0 0 0 32624 375 0 0 25 0 1 0 749569156 74330112 17279 4294967295 134512640 134714508 3221221776 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18147 17279 1111 63 0 18084 0
vsize: 72588
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142496 0 0 0 33623 377 0 0 25 0 1 0 749569156 74719232 17372 4294967295 134512640 134714508 3221221776 3221220472 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18242 17372 1111 63 0 18179 0
vsize: 72968
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142619 0 0 0 34622 378 0 0 25 0 1 0 749569156 75124736 17495 4294967295 134512640 134714508 3221221776 3221220492 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18341 17495 1111 63 0 18278 0
vsize: 73364
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142632 0 0 0 35621 379 0 0 25 0 1 0 749569156 75259904 17508 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18374 17508 1111 63 0 18311 0
vsize: 73496
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142691 0 0 0 36621 380 0 0 25 0 1 0 749569156 75530240 17567 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18440 17567 1111 63 0 18377 0
vsize: 73760
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142803 0 0 0 37620 380 0 0 25 0 1 0 749569156 75935744 17679 4294967295 134512640 134714508 3221221776 3221220464 134523193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18539 17679 1111 63 0 18476 0
vsize: 74156
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142826 0 0 0 38620 381 0 0 25 0 1 0 749569156 76070912 17702 4294967295 134512640 134714508 3221221776 3221220308 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17702 1111 63 0 18509 0
vsize: 74288
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142875 0 0 0 39620 381 0 0 25 0 1 0 749569156 76201984 17751 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18604 17751 1111 63 0 18541 0
vsize: 74416
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142910 0 0 0 40619 382 0 0 25 0 1 0 749569156 76337152 17786 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18637 17786 1111 63 0 18574 0
vsize: 74548
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142985 0 0 0 41619 383 0 0 25 0 1 0 749569156 76607488 17861 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18703 17861 1111 63 0 18640 0
vsize: 74812
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 142988 0 0 0 42618 383 0 0 25 0 1 0 749569156 76742656 17864 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18736 17864 1111 63 0 18673 0
vsize: 74944
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 143037 0 0 0 43618 384 0 0 25 0 1 0 749569156 76877824 17913 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18769 17913 1111 63 0 18706 0
vsize: 75076
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 143113 0 0 0 44618 384 0 0 25 0 1 0 749569156 77148160 17989 4294967295 134512640 134714508 3221221776 3221220544 134529157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18835 17989 1111 63 0 18772 0
vsize: 75340
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 143194 0 0 0 45617 385 0 0 25 0 1 0 749569156 77553664 18070 4294967295 134512640 134714508 3221221776 3221220364 134551980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18934 18070 1111 63 0 18871 0
vsize: 75736
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 143417 0 0 0 46615 387 0 0 25 0 1 0 749569156 78471168 18293 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19158 18293 1111 63 0 19095 0
vsize: 76632
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 143646 0 0 0 47613 390 0 0 25 0 1 0 749569156 79396864 18522 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19384 18522 1111 63 0 19321 0
vsize: 77536
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 143839 0 0 0 48612 391 0 0 25 0 1 0 749569156 80207872 18715 4294967295 134512640 134714508 3221221776 3221220384 134549332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19582 18715 1111 63 0 19519 0
vsize: 78328
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144036 0 0 0 49610 393 0 0 25 0 1 0 749569156 81018880 18912 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19780 18912 1111 63 0 19717 0
vsize: 79120
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144150 0 0 0 50609 394 0 0 25 0 1 0 749569156 81408000 19026 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19875 19026 1111 63 0 19812 0
vsize: 79500
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144180 0 0 0 51609 394 0 0 25 0 1 0 749569156 81543168 19056 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19908 19056 1111 63 0 19845 0
vsize: 79632
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144228 0 0 0 52608 395 0 0 25 0 1 0 749569156 81809408 19104 4294967295 134512640 134714508 3221221776 3221220364 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19973 19104 1111 63 0 19910 0
vsize: 79892
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144350 0 0 0 53607 396 0 0 25 0 1 0 749569156 82198528 19226 4294967295 134512640 134714508 3221221776 3221220400 1077377136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20068 19226 1111 63 0 20005 0
vsize: 80272
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144413 0 0 0 54607 397 0 0 25 0 1 0 749569156 82468864 19289 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20134 19289 1111 63 0 20071 0
vsize: 80536
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144502 0 0 0 55606 398 0 0 25 0 1 0 749569156 82870272 19378 4294967295 134512640 134714508 3221221776 3221220352 134696218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20232 19378 1111 63 0 20169 0
vsize: 80928
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144608 0 0 0 56605 399 0 0 25 0 1 0 749569156 83296256 19484 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20336 19484 1111 63 0 20273 0
vsize: 81344
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144660 0 0 0 57605 399 0 0 25 0 1 0 749569156 83566592 19536 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20402 19536 1111 63 0 20339 0
vsize: 81608
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144708 0 0 0 58604 400 0 0 25 0 1 0 749569156 83701760 19584 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19584 1111 63 0 20372 0
vsize: 81740
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144734 0 0 0 59604 401 0 0 25 0 1 0 749569156 83836928 19610 4294967295 134512640 134714508 3221221776 3221220380 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20468 19610 1111 63 0 20405 0
vsize: 81872
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144787 0 0 0 60603 402 0 0 25 0 1 0 749569156 84107264 19663 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20534 19663 1111 63 0 20471 0
vsize: 82136
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144815 0 0 0 61603 402 0 0 25 0 1 0 749569156 84107264 19691 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20534 19691 1111 63 0 20471 0
vsize: 82136
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144833 0 0 0 62602 403 0 0 25 0 1 0 749569156 84242432 19709 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20567 19709 1111 63 0 20504 0
vsize: 82268
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 144880 0 0 0 63602 403 0 0 25 0 1 0 749569156 84377600 19756 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20600 19756 1111 63 0 20537 0
vsize: 82400
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145017 0 0 0 64601 404 0 0 25 0 1 0 749569156 85053440 19893 4294967295 134512640 134714508 3221221776 3221220340 134552069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20765 19893 1111 63 0 20702 0
vsize: 83060
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145084 0 0 0 65600 405 0 0 25 0 1 0 749569156 85323776 19960 4294967295 134512640 134714508 3221221776 3221220520 134591822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20831 19960 1111 63 0 20768 0
vsize: 83324
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145106 0 0 0 66600 406 0 0 25 0 1 0 749569156 85323776 19982 4294967295 134512640 134714508 3221221776 3221220516 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20831 19982 1111 63 0 20768 0
vsize: 83324
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145157 0 0 0 67599 407 0 0 25 0 1 0 749569156 85590016 20033 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20896 20033 1111 63 0 20833 0
vsize: 83584
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145180 0 0 0 68598 407 0 0 25 0 1 0 749569156 85725184 20056 4294967295 134512640 134714508 3221221776 3221220352 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20929 20056 1111 63 0 20866 0
vsize: 83716
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145212 0 0 0 69597 408 0 0 25 0 1 0 749569156 85860352 20088 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20962 20088 1111 63 0 20899 0
vsize: 83848
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145263 0 0 0 70597 409 0 0 25 0 1 0 749569156 85995520 20139 4294967295 134512640 134714508 3221221776 3221220400 134696252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20995 20139 1111 63 0 20932 0
vsize: 83980
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145288 0 0 0 71596 410 0 0 25 0 1 0 749569156 86130688 20164 4294967295 134512640 134714508 3221221776 3221220396 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21028 20164 1111 63 0 20965 0
vsize: 84112
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145336 0 0 0 72595 412 0 0 25 0 1 0 749569156 86265856 20212 4294967295 134512640 134714508 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21061 20212 1111 63 0 20998 0
vsize: 84244
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145336 0 0 0 73595 412 0 0 25 0 1 0 749569156 86265856 20212 4294967295 134512640 134714508 3221221776 3221220672 134588477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21061 20212 1111 63 0 20998 0
vsize: 84244
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145420 0 0 0 74594 412 0 0 25 0 1 0 749569156 86650880 20296 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21155 20296 1111 63 0 21092 0
vsize: 84620
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145442 0 0 0 75594 413 0 0 25 0 1 0 749569156 86740992 20318 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21177 20318 1111 63 0 21114 0
vsize: 84708
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145442 0 0 0 76593 414 0 0 25 0 1 0 749569156 86740992 20318 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21177 20318 1111 63 0 21114 0
vsize: 84708
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145472 0 0 0 77593 415 0 0 25 0 1 0 749569156 86876160 20348 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21210 20348 1111 63 0 21147 0
vsize: 84840
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145514 0 0 0 78592 415 0 0 25 0 1 0 749569156 87007232 20390 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21242 20390 1111 63 0 21179 0
vsize: 84968
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145553 0 0 0 79591 416 0 0 25 0 1 0 749569156 87142400 20429 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21275 20429 1111 63 0 21212 0
vsize: 85100
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145553 0 0 0 80591 417 0 0 25 0 1 0 749569156 87142400 20429 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21275 20429 1111 63 0 21212 0
vsize: 85100
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145553 0 0 0 81591 417 0 0 25 0 1 0 749569156 87142400 20429 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21275 20429 1111 63 0 21212 0
vsize: 85100
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145614 0 0 0 82590 418 0 0 25 0 1 0 749569156 87392256 20490 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21336 20490 1111 63 0 21273 0
vsize: 85344
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145618 0 0 0 83590 418 0 0 25 0 1 0 749569156 87392256 20494 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21336 20494 1111 63 0 21273 0
vsize: 85344
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145666 0 0 0 84589 419 0 0 25 0 1 0 749569156 87662592 20542 4294967295 134512640 134714508 3221221776 3221220284 134535952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21402 20542 1111 63 0 21339 0
vsize: 85608
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145740 0 0 0 85589 420 0 0 25 0 1 0 749569156 87932928 20616 4294967295 134512640 134714508 3221221776 3221220368 134696260 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21468 20616 1111 63 0 21405 0
vsize: 85872
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145770 0 0 0 86588 421 0 0 25 0 1 0 749569156 88068096 20646 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21501 20646 1111 63 0 21438 0
vsize: 86004
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145790 0 0 0 87588 421 0 0 25 0 1 0 749569156 88203264 20666 4294967295 134512640 134714508 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21534 20666 1111 63 0 21471 0
vsize: 86136
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145810 0 0 0 88587 422 0 0 25 0 1 0 749569156 88203264 20686 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21534 20686 1111 63 0 21471 0
vsize: 86136
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145856 0 0 0 89586 423 0 0 25 0 1 0 749569156 88436736 20732 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20732 1111 63 0 21528 0
vsize: 86364
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145867 0 0 0 90586 424 0 0 25 0 1 0 749569156 88436736 20743 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20743 1111 63 0 21528 0
vsize: 86364
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145882 0 0 0 91585 424 0 0 25 0 1 0 749569156 88571904 20758 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21624 20758 1111 63 0 21561 0
vsize: 86496
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145892 0 0 0 92585 425 0 0 25 0 1 0 749569156 88543232 20768 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21617 20768 1111 63 0 21554 0
vsize: 86468
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145936 0 0 0 93584 425 0 0 25 0 1 0 749569156 88813568 20812 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21683 20812 1111 63 0 21620 0
vsize: 86732
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145955 0 0 0 94584 426 0 0 25 0 1 0 749569156 88809472 20831 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21682 20831 1111 63 0 21619 0
vsize: 86728
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145961 0 0 0 95583 427 0 0 25 0 1 0 749569156 88809472 20837 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21682 20837 1111 63 0 21619 0
vsize: 86728
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 145978 0 0 0 96583 428 0 0 25 0 1 0 749569156 88944640 20854 4294967295 134512640 134714508 3221221776 3221220512 134529126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21715 20854 1111 63 0 21652 0
vsize: 86860
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146001 0 0 0 97583 428 0 0 25 0 1 0 749569156 89079808 20877 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21748 20877 1111 63 0 21685 0
vsize: 86992
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146010 0 0 0 98582 428 0 0 25 0 1 0 749569156 89079808 20886 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21748 20886 1111 63 0 21685 0
vsize: 86992
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146010 0 0 0 99582 429 0 0 25 0 1 0 749569156 89079808 20886 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21748 20886 1111 63 0 21685 0
vsize: 86992
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146025 0 0 0 100582 429 0 0 25 0 1 0 749569156 89079808 20901 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21748 20901 1111 63 0 21685 0
vsize: 86992
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146039 0 0 0 101582 430 0 0 25 0 1 0 749569156 89214976 20915 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21781 20915 1111 63 0 21718 0
vsize: 87124
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146067 0 0 0 102581 430 0 0 25 0 1 0 749569156 89350144 20943 4294967295 134512640 134714508 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21814 20943 1111 63 0 21751 0
vsize: 87256
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146172 0 0 0 103580 431 0 0 25 0 1 0 749569156 89706496 21048 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21901 21048 1111 63 0 21838 0
vsize: 87604
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146468 0 0 0 104579 432 0 0 25 0 1 0 749569156 90923008 21344 4294967295 134512640 134714508 3221221776 3221220384 134549398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22198 21344 1111 63 0 22135 0
vsize: 88792
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146577 0 0 0 105579 433 0 0 25 0 1 0 749569156 91439104 21453 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22324 21453 1111 63 0 22261 0
vsize: 89296
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146700 0 0 0 106578 434 0 0 25 0 1 0 749569156 91844608 21576 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22423 21576 1111 63 0 22360 0
vsize: 89692
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146752 0 0 0 107577 435 0 0 25 0 1 0 749569156 92110848 21628 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22488 21628 1111 63 0 22425 0
vsize: 89952
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146846 0 0 0 108576 436 0 0 25 0 1 0 749569156 92516352 21722 4294967295 134512640 134714508 3221221776 3221220524 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22587 21722 1111 63 0 22524 0
vsize: 90348
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146939 0 0 0 109576 437 0 0 25 0 1 0 749569156 92901376 21815 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22681 21815 1111 63 0 22618 0
vsize: 90724
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146973 0 0 0 110575 438 0 0 25 0 1 0 749569156 93036544 21849 4294967295 134512640 134714508 3221221776 3221220404 134696201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22714 21849 1111 63 0 22651 0
vsize: 90856
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146973 0 0 0 111575 438 0 0 25 0 1 0 749569156 93036544 21849 4294967295 134512640 134714508 3221221776 3221220544 134592134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22714 21849 1111 63 0 22651 0
vsize: 90856
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 146975 0 0 0 112574 439 0 0 25 0 1 0 749569156 93036544 21851 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22714 21851 1111 63 0 22651 0
vsize: 90856
[startup+1140.02 s]
Raw data (loadavg): 1.15 1.00 1.00 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 147049 0 0 0 113574 439 0 0 25 0 1 0 749569156 93306880 21925 4294967295 134512640 134714508 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22780 21925 1111 63 0 22717 0
vsize: 91120
[startup+1150.02 s]
Raw data (loadavg): 1.13 1.00 1.00 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 147067 0 0 0 114573 440 0 0 25 0 1 0 749569156 93405184 21943 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22804 21943 1111 63 0 22741 0
vsize: 91216
[startup+1160.02 s]
Raw data (loadavg): 1.11 1.00 1.00 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 147104 0 0 0 115573 441 0 0 25 0 1 0 749569156 93540352 21980 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22837 21980 1111 63 0 22774 0
vsize: 91348
[startup+1170.02 s]
Raw data (loadavg): 1.09 1.00 1.00 2/55 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 147166 0 0 0 116572 442 0 0 25 0 1 0 749569156 93810688 22042 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22903 22042 1111 63 0 22840 0
vsize: 91612
[startup+1174.95 s]
Raw data (loadavg): 1.08 1.00 1.00 1/54 31217
Raw data (stat): 31217 (bsolo_lpr_cuts) R 31216 7876 7672 0 -1 0 147166 0 0 0 116572 442 0 0 25 0 1 0 749569156 93810688 22042 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22903 22042 1111 63 0 22840 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.08
CPU user time (s): 1170.61
CPU system time (s): 4.46732
CPU usage (%): 100.011
Max. virtual memory (Kb): 91612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####