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:1-12,16.opb
MD5SUM	41edd2db35f2c8eb6d4b1f0a68a60338
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	102
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	6.63699
Number of variables	4662
Total number of constraints	36387
Number of constraints which are clauses	30696
Number of constraints which are cardinality constraints (but not clauses)	5613
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 24948

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 05:35:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3251 boxname=wulflinc31 idbench=362 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  41edd2db35f2c8eb6d4b1f0a68a60338  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-12,16.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-12,16.opb
IDLAUNCH: 3251
/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:        816224 kB
Buffers:         40704 kB
Cached:         155924 kB
SwapCached:       1932 kB
Active:         161144 kB
Inactive:        38612 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        815888 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12912 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 05:54:42 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 3251 7 1175.07 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 4662 variables and 31899 constraints.
c After prepocess the problem consists of 4662 variables and 31899 constraints.
c preprocess terminated 47.022 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.95 0.98 2/55 31752
Raw data (stat): 31752 (runsolver) R 31751 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 749970652 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 27371 0 0 0 922 73 0 0 25 0 1 0 749970652 64008192 14768 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15627 14768 1111 63 0 15564 0
vsize: 62508
[startup+20.0025 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 32501 0 0 0 1910 85 0 0 25 0 1 0 749970652 71659520 16636 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16636 1111 63 0 17432 0
vsize: 69980
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 34445 0 0 0 2905 91 0 0 25 0 1 0 749970652 72404992 16818 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17677 16818 1111 63 0 17614 0
vsize: 70708
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35898 0 0 0 3901 95 0 0 25 0 1 0 749970652 71659520 16636 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16636 1111 63 0 17432 0
vsize: 69980
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35913 0 0 0 4900 95 0 0 25 0 1 0 749970652 71659520 16651 4294967295 134512640 134714508 3221221776 3221220416 134539432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16651 1111 63 0 17432 0
vsize: 69980
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 5898 98 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+70.006 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 6897 99 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+80.0069 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 7895 100 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220256 134697333 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+90.0074 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 8894 101 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 9893 103 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220320 134696713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 10892 104 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220496 134584759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 11891 105 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 12890 106 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 13890 107 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 14889 107 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220360 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 15889 108 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220368 134539471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 16888 109 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 17886 111 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 18886 112 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 19884 113 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 20884 114 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220408 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 21883 115 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220448 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 22883 115 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 23882 116 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 24882 117 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220380 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 25882 117 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220540 134673068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 26881 118 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 27880 119 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 28880 119 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220404 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 29880 119 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 30879 120 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 31879 120 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220536 134543557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 32878 121 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220416 134696064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 33878 122 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220276 134697484 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 34877 123 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 35876 124 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 36875 125 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 37875 125 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220480 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 38875 126 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 39874 126 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 40874 126 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220504 134558807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 41874 127 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 42874 127 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 43874 127 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220476 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 44873 128 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 45873 128 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 46873 128 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 47873 129 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220408 134696001 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 48873 129 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 49873 130 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220332 134539259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 50873 130 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 51872 130 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 52872 130 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 53873 131 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 54873 131 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 55873 131 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 56872 131 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 57872 132 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 58872 132 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 59871 133 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 60871 133 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 61871 134 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 62871 134 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 63870 135 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221219452 134613764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 64870 136 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220516 134613679 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 65869 136 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220464 134534089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 66868 137 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220332 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 67868 138 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 68868 138 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220380 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 69868 138 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 70867 139 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35915 0 0 0 71867 140 0 0 25 0 1 0 749970652 71659520 16653 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17495 16653 1111 63 0 17432 0
vsize: 69980
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35931 0 0 0 72867 140 0 0 25 0 1 0 749970652 71794688 16669 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17528 16669 1111 63 0 17465 0
vsize: 70112
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 35998 0 0 0 73867 140 0 0 25 0 1 0 749970652 72065024 16736 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17594 16736 1111 63 0 17531 0
vsize: 70376
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36037 0 0 0 74867 141 0 0 25 0 1 0 749970652 72200192 16775 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17627 16775 1111 63 0 17564 0
vsize: 70508
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36037 0 0 0 75867 141 0 0 25 0 1 0 749970652 72200192 16775 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17627 16775 1111 63 0 17564 0
vsize: 70508
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36037 0 0 0 76867 141 0 0 25 0 1 0 749970652 72200192 16775 4294967295 134512640 134714508 3221221776 3221220508 134518100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17627 16775 1111 63 0 17564 0
vsize: 70508
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36104 0 0 0 77866 141 0 0 25 0 1 0 749970652 72470528 16842 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17693 16842 1111 63 0 17630 0
vsize: 70772
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36104 0 0 0 78866 142 0 0 25 0 1 0 749970652 72470528 16842 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17693 16842 1111 63 0 17630 0
vsize: 70772
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36215 0 0 0 79865 143 0 0 25 0 1 0 749970652 72998912 16953 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17822 16953 1111 63 0 17759 0
vsize: 71288
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36271 0 0 0 80865 143 0 0 25 0 1 0 749970652 73134080 17009 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17855 17009 1111 63 0 17792 0
vsize: 71420
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36272 0 0 0 81865 143 0 0 25 0 1 0 749970652 73134080 17010 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17855 17010 1111 63 0 17792 0
vsize: 71420
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36311 0 0 0 82864 144 0 0 25 0 1 0 749970652 73383936 17049 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17916 17049 1111 63 0 17853 0
vsize: 71664
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36358 0 0 0 83864 145 0 0 25 0 1 0 749970652 73519104 17096 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17949 17096 1111 63 0 17886 0
vsize: 71796
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36358 0 0 0 84864 145 0 0 25 0 1 0 749970652 73519104 17096 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17949 17096 1111 63 0 17886 0
vsize: 71796
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36358 0 0 0 85864 146 0 0 25 0 1 0 749970652 73519104 17096 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17949 17096 1111 63 0 17886 0
vsize: 71796
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36405 0 0 0 86863 146 0 0 25 0 1 0 749970652 73789440 17143 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18015 17143 1111 63 0 17952 0
vsize: 72060
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36440 0 0 0 87863 146 0 0 25 0 1 0 749970652 73834496 17178 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18026 17178 1111 63 0 17963 0
vsize: 72104
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36446 0 0 0 88863 147 0 0 25 0 1 0 749970652 73834496 17184 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18026 17184 1111 63 0 17963 0
vsize: 72104
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36458 0 0 0 89863 147 0 0 25 0 1 0 749970652 73969664 17196 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18059 17196 1111 63 0 17996 0
vsize: 72236
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36547 0 0 0 90863 147 0 0 25 0 1 0 749970652 74375168 17285 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18158 17285 1111 63 0 18095 0
vsize: 72632
[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36547 0 0 0 91862 148 0 0 25 0 1 0 749970652 74366976 17285 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18156 17285 1111 63 0 18093 0
vsize: 72624
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36547 0 0 0 92862 148 0 0 25 0 1 0 749970652 74362880 17285 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18155 17285 1111 63 0 18092 0
vsize: 72620
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36547 0 0 0 93862 148 0 0 25 0 1 0 749970652 74362880 17285 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18155 17285 1111 63 0 18092 0
vsize: 72620
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36592 0 0 0 94862 149 0 0 25 0 1 0 749970652 74485760 17330 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18185 17330 1111 63 0 18122 0
vsize: 72740
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36615 0 0 0 95862 149 0 0 25 0 1 0 749970652 74620928 17353 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18218 17353 1111 63 0 18155 0
vsize: 72872
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36635 0 0 0 96861 150 0 0 25 0 1 0 749970652 74620928 17373 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18218 17373 1111 63 0 18155 0
vsize: 72872
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36650 0 0 0 97861 151 0 0 25 0 1 0 749970652 74743808 17388 4294967295 134512640 134714508 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18248 17388 1111 63 0 18185 0
vsize: 72992
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36650 0 0 0 98860 151 0 0 25 0 1 0 749970652 74743808 17388 4294967295 134512640 134714508 3221221776 3221220396 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18248 17388 1111 63 0 18185 0
vsize: 72992
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36690 0 0 0 99860 152 0 0 25 0 1 0 749970652 74878976 17428 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18281 17428 1111 63 0 18218 0
vsize: 73124
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36690 0 0 0 100860 152 0 0 25 0 1 0 749970652 74878976 17428 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18281 17428 1111 63 0 18218 0
vsize: 73124
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36742 0 0 0 101859 153 0 0 25 0 1 0 749970652 75149312 17480 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17480 1111 63 0 18284 0
vsize: 73388
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36764 0 0 0 102859 154 0 0 25 0 1 0 749970652 75149312 17502 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17502 1111 63 0 18284 0
vsize: 73388
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36782 0 0 0 103858 154 0 0 25 0 1 0 749970652 75272192 17520 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17520 1111 63 0 18314 0
vsize: 73508
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36790 0 0 0 104858 154 0 0 25 0 1 0 749970652 75272192 17528 4294967295 134512640 134714508 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17528 1111 63 0 18314 0
vsize: 73508
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36865 0 0 0 105858 155 0 0 25 0 1 0 749970652 75677696 17603 4294967295 134512640 134714508 3221221776 3221220416 134539434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18476 17603 1111 63 0 18413 0
vsize: 73904
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36865 0 0 0 106857 156 0 0 25 0 1 0 749970652 75448320 17578 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18420 17578 1111 63 0 18357 0
vsize: 73680
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36888 0 0 0 107857 156 0 0 25 0 1 0 749970652 75665408 17601 4294967295 134512640 134714508 3221221776 3221220284 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18473 17601 1111 63 0 18410 0
vsize: 73892
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 36965 0 0 0 108856 157 0 0 25 0 1 0 749970652 75800576 17655 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17655 1111 63 0 18443 0
vsize: 74024
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 37009 0 0 0 109856 158 0 0 25 0 1 0 749970652 76070912 17699 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17699 1111 63 0 18509 0
vsize: 74288
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 37009 0 0 0 110856 158 0 0 25 0 1 0 749970652 76070912 17699 4294967295 134512640 134714508 3221221776 3221220448 134652816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17699 1111 63 0 18509 0
vsize: 74288
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 37009 0 0 0 111855 159 0 0 25 0 1 0 749970652 76070912 17699 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17699 1111 63 0 18509 0
vsize: 74288
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 37009 0 0 0 112855 159 0 0 25 0 1 0 749970652 76070912 17699 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17699 1111 63 0 18509 0
vsize: 74288
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 37040 0 0 0 113855 160 0 0 25 0 1 0 749970652 76070912 17730 4294967295 134512640 134714508 3221221776 3221220172 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17730 1111 63 0 18509 0
vsize: 74288
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 37063 0 0 0 114854 160 0 0 25 0 1 0 749970652 76206080 17753 4294967295 134512640 134714508 3221221776 3221220444 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18605 17753 1111 63 0 18542 0
vsize: 74420
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 37088 0 0 0 115854 160 0 0 25 0 1 0 749970652 76333056 17778 4294967295 134512640 134714508 3221221776 3221220416 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18636 17778 1111 63 0 18573 0
vsize: 74544
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 37109 0 0 0 116854 161 0 0 25 0 1 0 749970652 76468224 17799 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18669 17799 1111 63 0 18606 0
vsize: 74676
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 31752
Raw data (stat): 31752 (bsolo_lpr_cuts) R 31751 7876 7672 0 -1 0 37109 0 0 0 116854 161 0 0 25 0 1 0 749970652 76468224 17799 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18669 17799 1111 63 0 18606 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.07
CPU user time (s): 1173.43
CPU system time (s): 1.64775
CPU usage (%): 100.009
Max. virtual memory (Kb): 74676
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####