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,3-13,19.opb
MD5SUM	fa67033d6a242cf79309b3804f79a4fe
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	15.8556
Number of variables	4608
Total number of constraints	34956
Number of constraints which are clauses	29328
Number of constraints which are cardinality constraints (but not clauses)	5550
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 24938

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 03:22:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3233 boxname=wulflinc31 idbench=360 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1,3-13,19.opb
IDLAUNCH: 3233
/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:        818300 kB
Buffers:         40504 kB
Cached:         153880 kB
SwapCached:       1932 kB
Active:         158776 kB
Inactive:        38832 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        818048 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12952 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 03:41:39 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 3233 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 4608 variables and 30522 constraints.
c After prepocess the problem consists of 4608 variables and 30522 constraints.
c preprocess terminated 46.501 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/55 30677
Raw data (stat): 30677 (runsolver) R 30676 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 749172292 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.0014 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 47244 0 0 0 878 117 0 0 25 0 1 0 749172292 56676352 12946 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13837 12946 1111 63 0 13774 0
vsize: 55348
[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 72411 0 0 0 1818 178 0 0 25 0 1 0 749172292 70549504 16365 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16365 1111 63 0 17161 0
vsize: 68896
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 84695 0 0 0 2788 208 0 0 25 0 1 0 749172292 70549504 16365 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16365 1111 63 0 17161 0
vsize: 68896
[startup+40.0034 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87210 0 0 0 3781 215 0 0 25 0 1 0 749172292 70549504 16365 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16365 1111 63 0 17161 0
vsize: 68896
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87225 0 0 0 4780 216 0 0 25 0 1 0 749172292 70549504 16380 4294967295 134512640 134714508 3221221776 3221220348 134539217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16380 1111 63 0 17161 0
vsize: 68896
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 5778 218 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+70.004 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 6776 221 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220416 134695995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 7775 222 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 8774 223 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 9773 224 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 10771 226 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220508 134532458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 11770 227 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 12769 228 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 13768 230 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 14767 230 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 15766 232 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220336 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 16765 232 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 17764 233 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220416 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 18764 234 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 19762 236 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 20761 237 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 21760 238 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220432 134536591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 22759 239 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 23758 240 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 24757 242 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220436 134613611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 25755 243 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87227 0 0 0 26754 245 0 0 25 0 1 0 749172292 70549504 16382 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87299 0 0 0 27752 247 0 0 25 0 1 0 749172292 70955008 16454 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17323 16454 1111 63 0 17260 0
vsize: 69292
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87440 0 0 0 28751 248 0 0 25 0 1 0 749172292 71495680 16595 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17455 16595 1111 63 0 17392 0
vsize: 69820
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87564 0 0 0 29750 250 0 0 25 0 1 0 749172292 72036352 16719 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17587 16719 1111 63 0 17524 0
vsize: 70348
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87682 0 0 0 30749 251 0 0 25 0 1 0 749172292 72441856 16837 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17686 16837 1111 63 0 17623 0
vsize: 70744
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87764 0 0 0 31748 252 0 0 25 0 1 0 749172292 72839168 16919 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17783 16919 1111 63 0 17720 0
vsize: 71132
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87865 0 0 0 32747 253 0 0 25 0 1 0 749172292 73244672 17020 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17882 17020 1111 63 0 17819 0
vsize: 71528
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87896 0 0 0 33746 254 0 0 25 0 1 0 749172292 73379840 17051 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 17051 1111 63 0 17852 0
vsize: 71660
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 87998 0 0 0 34745 255 0 0 25 0 1 0 749172292 73785344 17153 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18014 17153 1111 63 0 17951 0
vsize: 72056
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88035 0 0 0 35743 257 0 0 25 0 1 0 749172292 73920512 17190 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18047 17190 1111 63 0 17984 0
vsize: 72188
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88152 0 0 0 36742 258 0 0 25 0 1 0 749172292 74461184 17307 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18179 17307 1111 63 0 18116 0
vsize: 72716
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88245 0 0 0 37741 260 0 0 25 0 1 0 749172292 74731520 17400 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18245 17400 1111 63 0 18182 0
vsize: 72980
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88339 0 0 0 38740 261 0 0 25 0 1 0 749172292 75137024 17494 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18344 17494 1111 63 0 18281 0
vsize: 73376
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88394 0 0 0 39739 261 0 0 25 0 1 0 749172292 75407360 17549 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18410 17549 1111 63 0 18347 0
vsize: 73640
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88470 0 0 0 40738 263 0 0 25 0 1 0 749172292 75677696 17625 4294967295 134512640 134714508 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18476 17625 1111 63 0 18413 0
vsize: 73904
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88533 0 0 0 41737 264 0 0 25 0 1 0 749172292 75915264 17688 4294967295 134512640 134714508 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18534 17688 1111 63 0 18471 0
vsize: 74136
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88611 0 0 0 42736 265 0 0 25 0 1 0 749172292 76316672 17766 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18632 17766 1111 63 0 18569 0
vsize: 74528
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88658 0 0 0 43735 266 0 0 25 0 1 0 749172292 76451840 17813 4294967295 134512640 134714508 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18665 17813 1111 63 0 18602 0
vsize: 74660
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88758 0 0 0 44734 268 0 0 25 0 1 0 749172292 76828672 17913 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18757 17913 1111 63 0 18694 0
vsize: 75028
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88818 0 0 0 45732 269 0 0 25 0 1 0 749172292 77099008 17973 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18823 17973 1111 63 0 18760 0
vsize: 75292
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 88937 0 0 0 46732 270 0 0 25 0 1 0 749172292 77574144 18092 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18939 18092 1111 63 0 18876 0
vsize: 75756
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89010 0 0 0 47731 271 0 0 25 0 1 0 749172292 77971456 18165 4294967295 134512640 134714508 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19036 18165 1111 63 0 18973 0
vsize: 76144
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89114 0 0 0 48730 272 0 0 25 0 1 0 749172292 78376960 18269 4294967295 134512640 134714508 3221221776 3221220532 134592078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19135 18269 1111 63 0 19072 0
vsize: 76540
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89240 0 0 0 49729 273 0 0 25 0 1 0 749172292 78917632 18395 4294967295 134512640 134714508 3221221776 3221220408 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19267 18395 1111 63 0 19204 0
vsize: 77068
[startup+510.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89378 0 0 0 50728 274 0 0 25 0 1 0 749172292 79458304 18533 4294967295 134512640 134714508 3221221776 3221220560 134529401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19399 18533 1111 63 0 19336 0
vsize: 77596
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89462 0 0 0 51727 275 0 0 25 0 1 0 749172292 79712256 18617 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19461 18617 1111 63 0 19398 0
vsize: 77844
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89573 0 0 0 52726 276 0 0 25 0 1 0 749172292 80252928 18728 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19593 18728 1111 63 0 19530 0
vsize: 78372
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89652 0 0 0 53726 277 0 0 25 0 1 0 749172292 80523264 18807 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19659 18807 1111 63 0 19596 0
vsize: 78636
[startup+550.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89797 0 0 0 54724 279 0 0 25 0 1 0 749172292 81199104 18952 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19824 18952 1111 63 0 19761 0
vsize: 79296
[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89899 0 0 0 55724 280 0 0 25 0 1 0 749172292 81596416 19054 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19921 19054 1111 63 0 19858 0
vsize: 79684
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 89956 0 0 0 56722 281 0 0 25 0 1 0 749172292 81731584 19111 4294967295 134512640 134714508 3221221776 3221220260 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19954 19111 1111 63 0 19891 0
vsize: 79816
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90052 0 0 0 57721 282 0 0 25 0 1 0 749172292 82128896 19207 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20051 19207 1111 63 0 19988 0
vsize: 80204
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90110 0 0 0 58720 284 0 0 25 0 1 0 749172292 82399232 19265 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20117 19265 1111 63 0 20054 0
vsize: 80468
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90165 0 0 0 59720 284 0 0 25 0 1 0 749172292 82665472 19320 4294967295 134512640 134714508 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20182 19320 1111 63 0 20119 0
vsize: 80728
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90243 0 0 0 60719 285 0 0 25 0 1 0 749172292 82923520 19398 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20245 19398 1111 63 0 20182 0
vsize: 80980
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90304 0 0 0 61717 286 0 0 25 0 1 0 749172292 83193856 19459 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19459 1111 63 0 20248 0
vsize: 81244
[startup+630.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90366 0 0 0 62717 288 0 0 25 0 1 0 749172292 83406848 19521 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20363 19521 1111 63 0 20300 0
vsize: 81452
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90466 0 0 0 63716 289 0 0 25 0 1 0 749172292 83947520 19621 4294967295 134512640 134714508 3221221776 3221220480 134528623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20495 19621 1111 63 0 20432 0
vsize: 81980
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90557 0 0 0 64714 290 0 0 25 0 1 0 749172292 84201472 19712 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20557 19712 1111 63 0 20494 0
vsize: 82228
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90671 0 0 0 65713 291 0 0 25 0 1 0 749172292 84742144 19826 4294967295 134512640 134714508 3221221776 3221220416 134696066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20689 19826 1111 63 0 20626 0
vsize: 82756
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90705 0 0 0 66713 292 0 0 25 0 1 0 749172292 84869120 19860 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20720 19860 1111 63 0 20657 0
vsize: 82880
[startup+680.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90773 0 0 0 67712 293 0 0 25 0 1 0 749172292 85139456 19928 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20786 19928 1111 63 0 20723 0
vsize: 83144
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90823 0 0 0 68711 294 0 0 25 0 1 0 749172292 85409792 19978 4294967295 134512640 134714508 3221221776 3221220492 134523156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20852 19978 1111 63 0 20789 0
vsize: 83408
[startup+700.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 90925 0 0 0 69710 296 0 0 25 0 1 0 749172292 85790720 20080 4294967295 134512640 134714508 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20945 20080 1111 63 0 20882 0
vsize: 83780
[startup+710.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91020 0 0 0 70708 297 0 0 25 0 1 0 749172292 86196224 20175 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21044 20175 1111 63 0 20981 0
vsize: 84176
[startup+720.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91054 0 0 0 71707 298 0 0 25 0 1 0 749172292 86323200 20209 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21075 20209 1111 63 0 21012 0
vsize: 84300
[startup+730.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91177 0 0 0 72706 300 0 0 25 0 1 0 749172292 86859776 20332 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21206 20332 1111 63 0 21143 0
vsize: 84824
[startup+740.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91263 0 0 0 73706 300 0 0 25 0 1 0 749172292 87097344 20418 4294967295 134512640 134714508 3221221776 3221220416 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21264 20418 1111 63 0 21201 0
vsize: 85056
[startup+750.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91316 0 0 0 74705 301 0 0 25 0 1 0 749172292 87363584 20471 4294967295 134512640 134714508 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21329 20471 1111 63 0 21266 0
vsize: 85316
[startup+760.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91382 0 0 0 75704 302 0 0 25 0 1 0 749172292 87633920 20537 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21395 20537 1111 63 0 21332 0
vsize: 85580
[startup+770.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91464 0 0 0 76702 304 0 0 25 0 1 0 749172292 87904256 20619 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21461 20619 1111 63 0 21398 0
vsize: 85844
[startup+780.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91529 0 0 0 77701 305 0 0 25 0 1 0 749172292 88174592 20684 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21527 20684 1111 63 0 21464 0
vsize: 86108
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91602 0 0 0 78701 306 0 0 25 0 1 0 749172292 88571904 20757 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21624 20757 1111 63 0 21561 0
vsize: 86496
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91625 0 0 0 79699 307 0 0 25 0 1 0 749172292 88571904 20780 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21624 20780 1111 63 0 21561 0
vsize: 86496
[startup+810.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91682 0 0 0 80699 308 0 0 25 0 1 0 749172292 88829952 20837 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21687 20837 1111 63 0 21624 0
vsize: 86748
[startup+820.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91739 0 0 0 81698 309 0 0 25 0 1 0 749172292 89100288 20894 4294967295 134512640 134714508 3221221776 3221220480 134528680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21753 20894 1111 63 0 21690 0
vsize: 87012
[startup+830.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91778 0 0 0 82697 310 0 0 25 0 1 0 749172292 89227264 20933 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21784 20933 1111 63 0 21721 0
vsize: 87136
[startup+840.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91830 0 0 0 83696 311 0 0 25 0 1 0 749172292 89473024 20985 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21844 20985 1111 63 0 21781 0
vsize: 87376
[startup+850.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91859 0 0 0 84694 313 0 0 25 0 1 0 749172292 89604096 21014 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21876 21014 1111 63 0 21813 0
vsize: 87504
[startup+860.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91941 0 0 0 85692 315 0 0 25 0 1 0 749172292 89870336 21096 4294967295 134512640 134714508 3221221776 3221220368 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21941 21096 1111 63 0 21878 0
vsize: 87764
[startup+870.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 91946 0 0 0 86691 316 0 0 25 0 1 0 749172292 90005504 21101 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21974 21101 1111 63 0 21911 0
vsize: 87896
[startup+880.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92001 0 0 0 87691 316 0 0 25 0 1 0 749172292 90140672 21156 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22007 21156 1111 63 0 21944 0
vsize: 88028
[startup+890.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92032 0 0 0 88691 317 0 0 25 0 1 0 749172292 90275840 21187 4294967295 134512640 134714508 3221221776 3221220432 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22040 21187 1111 63 0 21977 0
vsize: 88160
[startup+900.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92091 0 0 0 89690 318 0 0 25 0 1 0 749172292 90537984 21246 4294967295 134512640 134714508 3221221776 3221220416 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22104 21246 1111 63 0 22041 0
vsize: 88416
[startup+910.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92141 0 0 0 90690 318 0 0 25 0 1 0 749172292 90779648 21296 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22163 21296 1111 63 0 22100 0
vsize: 88652
[startup+920.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92215 0 0 0 91690 318 0 0 25 0 1 0 749172292 91049984 21370 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22229 21370 1111 63 0 22166 0
vsize: 88916
[startup+930.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92215 0 0 0 92690 319 0 0 25 0 1 0 749172292 91049984 21370 4294967295 134512640 134714508 3221221776 3221220356 134549712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22229 21370 1111 63 0 22166 0
vsize: 88916
[startup+940.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92246 0 0 0 93690 319 0 0 25 0 1 0 749172292 91185152 21401 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22262 21401 1111 63 0 22199 0
vsize: 89048
[startup+950.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92277 0 0 0 94689 320 0 0 25 0 1 0 749172292 91320320 21432 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22295 21432 1111 63 0 22232 0
vsize: 89180
[startup+960.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92317 0 0 0 95689 320 0 0 25 0 1 0 749172292 91455488 21472 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22328 21472 1111 63 0 22265 0
vsize: 89312
[startup+970.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92329 0 0 0 96689 320 0 0 25 0 1 0 749172292 91455488 21484 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22328 21484 1111 63 0 22265 0
vsize: 89312
[startup+980.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92336 0 0 0 97689 321 0 0 25 0 1 0 749172292 91590656 21491 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22361 21491 1111 63 0 22298 0
vsize: 89444
[startup+990.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92363 0 0 0 98689 321 0 0 25 0 1 0 749172292 91590656 21518 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22361 21518 1111 63 0 22298 0
vsize: 89444
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92435 0 0 0 99688 321 0 0 25 0 1 0 749172292 91996160 21590 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22460 21590 1111 63 0 22397 0
vsize: 89840
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92455 0 0 0 100688 322 0 0 25 0 1 0 749172292 92078080 21610 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22480 21610 1111 63 0 22417 0
vsize: 89920
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92531 0 0 0 101688 323 0 0 25 0 1 0 749172292 92307456 21686 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22536 21686 1111 63 0 22473 0
vsize: 90144
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92587 0 0 0 102687 323 0 0 25 0 1 0 749172292 92569600 21742 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22600 21742 1111 63 0 22537 0
vsize: 90400
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92647 0 0 0 103687 323 0 0 25 0 1 0 749172292 92839936 21802 4294967295 134512640 134714508 3221221776 3221220340 134535880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22666 21802 1111 63 0 22603 0
vsize: 90664
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92664 0 0 0 104687 324 0 0 25 0 1 0 749172292 92839936 21819 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22666 21819 1111 63 0 22603 0
vsize: 90664
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92728 0 0 0 105686 324 0 0 25 0 1 0 749172292 93110272 21883 4294967295 134512640 134714508 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22732 21883 1111 63 0 22669 0
vsize: 90928
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92746 0 0 0 106686 325 0 0 25 0 1 0 749172292 93245440 21901 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21901 1111 63 0 22702 0
vsize: 91060
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92786 0 0 0 107686 325 0 0 25 0 1 0 749172292 93380608 21941 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22798 21941 1111 63 0 22735 0
vsize: 91192
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92838 0 0 0 108686 326 0 0 25 0 1 0 749172292 93650944 21993 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22864 21993 1111 63 0 22801 0
vsize: 91456
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92878 0 0 0 109685 326 0 0 25 0 1 0 749172292 93786112 22033 4294967295 134512640 134714508 3221221776 3221220364 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22897 22033 1111 63 0 22834 0
vsize: 91588
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 92956 0 0 0 110685 327 0 0 25 0 1 0 749172292 94056448 22111 4294967295 134512640 134714508 3221221776 3221220360 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22963 22111 1111 63 0 22900 0
vsize: 91852
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 93012 0 0 0 111684 328 0 0 25 0 1 0 749172292 94326784 22167 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22167 1111 63 0 22966 0
vsize: 92116
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 93031 0 0 0 112684 328 0 0 25 0 1 0 749172292 94326784 22186 4294967295 134512640 134714508 3221221776 3221220364 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22186 1111 63 0 22966 0
vsize: 92116
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 93031 0 0 0 113684 328 0 0 25 0 1 0 749172292 94326784 22186 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22186 1111 63 0 22966 0
vsize: 92116
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 93089 0 0 0 114683 329 0 0 25 0 1 0 749172292 94584832 22244 4294967295 134512640 134714508 3221221776 3221220384 134549460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23092 22244 1111 63 0 23029 0
vsize: 92368
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 93139 0 0 0 115684 329 0 0 25 0 1 0 749172292 94855168 22294 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23158 22294 1111 63 0 23095 0
vsize: 92632
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 93214 0 0 0 116683 330 0 0 25 0 1 0 749172292 95117312 22369 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23222 22369 1111 63 0 23159 0
vsize: 92888
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 30677
Raw data (stat): 30677 (bsolo_lpr_cuts) R 30676 7876 7672 0 -1 0 93214 0 0 0 116683 330 0 0 25 0 1 0 749172292 95117312 22369 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23222 22369 1111 63 0 23159 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.07
CPU user time (s): 1171.73
CPU system time (s): 3.34249
CPU usage (%): 100.008
Max. virtual memory (Kb): 92888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####