PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.04
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 25806

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 16:27:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17422 boxname=wulflinc31 idbench=1341 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 17422
/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:        897940 kB
Buffers:          5988 kB
Cached:         110968 kB
SwapCached:       1024 kB
Active:          67560 kB
Inactive:        51540 kB
HighTotal:      131008 kB
HighFree:        19628 kB
LowTotal:       903652 kB
LowFree:        878312 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12020 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 16:47:15 (client local time) WITH STATUS 0 IN 1175.21 SECONDS
stats: 17422 7 1175.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 384.561 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 76.55
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.85 0.95 0.91 2/55 26690
Raw data (stat): 26690 (runsolver) R 26689 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 814373271 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.95 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 40733 0 0 0 917 79 0 0 25 0 1 0 814373271 179851264 40656 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43909 40656 1111 63 0 43846 0
vsize: 175636
[startup+20.0001 s]
Raw data (loadavg): 0.89 0.95 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 55438 0 0 0 1887 108 0 0 25 0 1 0 814373271 240132096 55361 4294967295 134512640 134714508 3221221776 3221219436 1077244347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58626 55361 1111 63 0 58563 0
vsize: 234504
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.95 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 56814 0 0 0 2883 112 0 0 25 0 1 0 814373271 245809152 56737 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60012 56737 1111 63 0 59949 0
vsize: 240048
[startup+40.001 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 59830 0 0 0 3876 120 0 0 25 0 1 0 814373271 248340480 59717 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60630 59717 1111 63 0 60567 0
vsize: 242520
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 62488 0 0 0 4871 125 0 0 25 0 1 0 814373271 259166208 62375 4294967295 134512640 134714508 3221221776 3221220140 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63273 62375 1111 63 0 63210 0
vsize: 253092
[startup+60.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 64931 0 0 0 5866 130 0 0 25 0 1 0 814373271 269189120 64818 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65720 64818 1111 63 0 65657 0
vsize: 262880
[startup+70.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 67224 0 0 0 6862 134 0 0 25 0 1 0 814373271 278671360 67111 4294967295 134512640 134714508 3221221776 3221220256 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68035 67111 1111 63 0 67972 0
vsize: 272140
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 69399 0 0 0 7858 139 0 0 25 0 1 0 814373271 287469568 69286 4294967295 134512640 134714508 3221221776 3221220256 134539353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70183 69286 1111 63 0 70120 0
vsize: 280732
[startup+90.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 71460 0 0 0 8852 144 0 0 25 0 1 0 814373271 296001536 71347 4294967295 134512640 134714508 3221221776 3221220280 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72266 71348 1111 63 0 72203 0
vsize: 289064
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 73513 0 0 0 9848 149 0 0 25 0 1 0 814373271 304402432 73400 4294967295 134512640 134714508 3221221776 3221220568 134617118 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74317 73400 1111 63 0 74254 0
vsize: 297268
[startup+110.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 75365 0 0 0 10844 153 0 0 25 0 1 0 814373271 311996416 75252 4294967295 134512640 134714508 3221221776 3221220256 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76171 75252 1111 63 0 76108 0
vsize: 304684
[startup+120.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 77145 0 0 0 11839 157 0 0 25 0 1 0 814373271 319176704 77032 4294967295 134512640 134714508 3221221776 3221220256 134542312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77924 77032 1111 63 0 77861 0
vsize: 311696
[startup+130.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 78751 0 0 0 12836 161 0 0 25 0 1 0 814373271 325824512 78638 4294967295 134512640 134714508 3221221776 3221220152 134539209 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79547 78638 1111 63 0 79484 0
vsize: 318188
[startup+140.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 80406 0 0 0 13832 165 0 0 25 0 1 0 814373271 332603392 80293 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81202 80293 1111 63 0 81139 0
vsize: 324808
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 82109 0 0 0 14829 168 0 0 25 0 1 0 814373271 339640320 81996 4294967295 134512640 134714508 3221221776 3221220256 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82920 81996 1111 63 0 82857 0
vsize: 331680
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 83482 0 0 0 15827 171 0 0 25 0 1 0 814373271 345198592 83369 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84277 83369 1111 63 0 84214 0
vsize: 337108
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 84867 0 0 0 16825 173 0 0 25 0 1 0 814373271 350892032 84754 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85667 84754 1111 63 0 85604 0
vsize: 342668
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 86056 0 0 0 17822 176 0 0 25 0 1 0 814373271 355766272 85943 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86857 85943 1111 63 0 86794 0
vsize: 347428
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 87270 0 0 0 18820 178 0 0 25 0 1 0 814373271 360775680 87157 4294967295 134512640 134714508 3221221776 3221220256 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88080 87157 1111 63 0 88017 0
vsize: 352320
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 88302 0 0 0 19818 180 0 0 25 0 1 0 814373271 364978176 88189 4294967295 134512640 134714508 3221221776 3221220500 134625453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89106 88189 1111 63 0 89043 0
vsize: 356424
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 89247 0 0 0 20816 183 0 0 25 0 1 0 814373271 368771072 89134 4294967295 134512640 134714508 3221221776 3221220304 134542898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90032 89134 1111 63 0 89969 0
vsize: 360128
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 90065 0 0 0 21814 185 0 0 25 0 1 0 814373271 372162560 89952 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90860 89952 1111 63 0 90797 0
vsize: 363440
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 90777 0 0 0 22812 187 0 0 25 0 1 0 814373271 375144448 90664 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91588 90664 1111 63 0 91525 0
vsize: 366352
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 91377 0 0 0 23811 188 0 0 25 0 1 0 814373271 377581568 91264 4294967295 134512640 134714508 3221221776 3221220392 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92183 91264 1111 63 0 92120 0
vsize: 368732
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 91887 0 0 0 24809 190 0 0 25 0 1 0 814373271 379613184 91774 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92679 91774 1111 63 0 92616 0
vsize: 370716
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92280 0 0 0 25808 191 0 0 25 0 1 0 814373271 381243392 92167 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93077 92168 1111 63 0 93014 0
vsize: 372308
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92786 0 0 0 26807 192 0 0 25 0 1 0 814373271 383279104 92673 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93574 92673 1111 63 0 93511 0
vsize: 374296
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92944 0 0 0 27807 193 0 0 25 0 1 0 814373271 383959040 92831 4294967295 134512640 134714508 3221221776 3221220432 134627261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93740 92831 1111 63 0 93677 0
vsize: 374960
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92956 0 0 0 28807 193 0 0 25 0 1 0 814373271 383959040 92843 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93740 92843 1111 63 0 93677 0
vsize: 374960
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92969 0 0 0 29807 193 0 0 25 0 1 0 814373271 384094208 92856 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93773 92856 1111 63 0 93710 0
vsize: 375092
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92975 0 0 0 30807 193 0 0 25 0 1 0 814373271 384094208 92862 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93773 92862 1111 63 0 93710 0
vsize: 375092
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92978 0 0 0 31807 193 0 0 25 0 1 0 814373271 384094208 92865 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93773 92865 1111 63 0 93710 0
vsize: 375092
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92982 0 0 0 32807 193 0 0 25 0 1 0 814373271 384094208 92869 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93773 92869 1111 63 0 93710 0
vsize: 375092
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92983 0 0 0 33807 193 0 0 25 0 1 0 814373271 384094208 92870 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93773 92870 1111 63 0 93710 0
vsize: 375092
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92986 0 0 0 34807 193 0 0 25 0 1 0 814373271 384094208 92873 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93773 92873 1111 63 0 93710 0
vsize: 375092
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92991 0 0 0 35807 194 0 0 25 0 1 0 814373271 384094208 92878 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93773 92878 1111 63 0 93710 0
vsize: 375092
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92995 0 0 0 36807 194 0 0 25 0 1 0 814373271 384229376 92882 4294967295 134512640 134714508 3221221776 3221220448 134627252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93806 92882 1111 63 0 93743 0
vsize: 375224
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 92996 0 0 0 37807 194 0 0 25 0 1 0 814373271 384229376 92883 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93806 92883 1111 63 0 93743 0
vsize: 375224
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 93957 0 0 0 38803 197 0 0 25 0 1 0 814373271 387756032 93778 4294967295 134512640 134714508 3221221776 3221219232 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94667 93778 1111 63 0 94604 0
vsize: 378668
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 96027 0 5 0 39744 202 0 0 25 0 1 0 814373271 391733248 94781 4294967295 134512640 134714508 3221221776 3221217740 1074873483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95638 94781 1111 63 0 95575 0
vsize: 382552
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 96047 0 5 0 40744 202 0 0 25 0 1 0 814373271 391774208 94801 4294967295 134512640 134714508 3221221776 3221217740 1074873509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95648 94801 1111 63 0 95585 0
vsize: 382592
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 96056 0 5 0 41744 202 0 0 25 0 1 0 814373271 391790592 94810 4294967295 134512640 134714508 3221221776 3221217824 1075561195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94810 1111 63 0 95589 0
vsize: 382608
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 96090 0 5 0 42744 202 0 0 25 0 1 0 814373271 391790592 94830 4294967295 134512640 134714508 3221221776 3221217552 1074871270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94830 1111 63 0 95589 0
vsize: 382608
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 96090 0 5 0 43744 202 0 0 25 0 1 0 814373271 391790592 94830 4294967295 134512640 134714508 3221221776 3221217552 1074871227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94830 1111 63 0 95589 0
vsize: 382608
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97519 0 5 0 44741 206 0 0 25 0 1 0 814373271 388403200 94069 4294967295 134512640 134714508 3221221776 3221220016 1075006827 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94825 94069 1111 63 0 94762 0
vsize: 379300
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97519 0 5 0 45741 206 0 0 25 0 1 0 814373271 388403200 94069 4294967295 134512640 134714508 3221221776 3221220200 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94825 94069 1111 63 0 94762 0
vsize: 379300
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97520 0 5 0 46740 207 0 0 25 0 1 0 814373271 388403200 94070 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94825 94070 1111 63 0 94762 0
vsize: 379300
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97538 0 5 0 47740 207 0 0 25 0 1 0 814373271 388538368 94088 4294967295 134512640 134714508 3221221776 3221220368 134696066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94858 94088 1111 63 0 94795 0
vsize: 379432
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97568 0 5 0 48739 208 0 0 25 0 1 0 814373271 388673536 94118 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94891 94118 1111 63 0 94828 0
vsize: 379564
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97644 0 5 0 49738 209 0 0 25 0 1 0 814373271 388931584 94194 4294967295 134512640 134714508 3221221776 3221220504 134558807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94954 94194 1111 63 0 94891 0
vsize: 379816
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97650 0 5 0 50738 210 0 0 25 0 1 0 814373271 388952064 94200 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94959 94200 1111 63 0 94896 0
vsize: 379836
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97675 0 5 0 51738 210 0 0 25 0 1 0 814373271 389087232 94225 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94992 94225 1111 63 0 94929 0
vsize: 379968
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97689 0 5 0 52738 210 0 0 25 0 1 0 814373271 389087232 94239 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94992 94239 1111 63 0 94929 0
vsize: 379968
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97726 0 5 0 53738 210 0 0 25 0 1 0 814373271 389304320 94276 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95045 94276 1111 63 0 94982 0
vsize: 380180
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97774 0 5 0 54737 211 0 0 25 0 1 0 814373271 389500928 94324 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95093 94324 1111 63 0 95030 0
vsize: 380372
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97791 0 5 0 55737 212 0 0 25 0 1 0 814373271 389394432 94298 4294967295 134512640 134714508 3221221776 3221220316 134539270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95067 94298 1111 63 0 95004 0
vsize: 380268
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97799 0 5 0 56737 212 0 0 25 0 1 0 814373271 389386240 94291 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95065 94291 1111 63 0 95002 0
vsize: 380260
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97799 0 5 0 57736 213 0 0 25 0 1 0 814373271 389386240 94291 4294967295 134512640 134714508 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95065 94291 1111 63 0 95002 0
vsize: 380260
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97811 0 5 0 58735 213 0 0 25 0 1 0 814373271 389386240 94303 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95065 94303 1111 63 0 95002 0
vsize: 380260
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97814 0 5 0 59735 214 0 0 25 0 1 0 814373271 389386240 94306 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95065 94306 1111 63 0 95002 0
vsize: 380260
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97844 0 5 0 60735 215 0 0 25 0 1 0 814373271 389419008 94324 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95073 94324 1111 63 0 95010 0
vsize: 380292
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97844 0 5 0 61734 215 0 0 25 0 1 0 814373271 389419008 94324 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95073 94324 1111 63 0 95010 0
vsize: 380292
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97844 0 5 0 62734 216 0 0 25 0 1 0 814373271 389419008 94324 4294967295 134512640 134714508 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95073 94324 1111 63 0 95010 0
vsize: 380292
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97849 0 5 0 63733 216 0 0 25 0 1 0 814373271 389439488 94329 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95078 94329 1111 63 0 95015 0
vsize: 380312
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97849 0 5 0 64733 217 0 0 25 0 1 0 814373271 389439488 94329 4294967295 134512640 134714508 3221221776 3221220400 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95078 94329 1111 63 0 95015 0
vsize: 380312
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97865 0 5 0 65733 217 0 0 25 0 1 0 814373271 389451776 94332 4294967295 134512640 134714508 3221221776 3221220336 134696567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95081 94332 1111 63 0 95018 0
vsize: 380324
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97885 0 5 0 66733 218 0 0 25 0 1 0 814373271 389586944 94352 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95114 94352 1111 63 0 95051 0
vsize: 380456
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97885 0 5 0 67732 219 0 0 25 0 1 0 814373271 389586944 94352 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95114 94352 1111 63 0 95051 0
vsize: 380456
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97923 0 5 0 68731 219 0 0 25 0 1 0 814373271 389722112 94390 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95147 94390 1111 63 0 95084 0
vsize: 380588
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97923 0 5 0 69731 220 0 0 25 0 1 0 814373271 389722112 94390 4294967295 134512640 134714508 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95147 94390 1111 63 0 95084 0
vsize: 380588
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97923 0 5 0 70730 221 0 0 25 0 1 0 814373271 389722112 94390 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95147 94390 1111 63 0 95084 0
vsize: 380588
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97929 0 5 0 71729 222 0 0 25 0 1 0 814373271 389844992 94396 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95177 94396 1111 63 0 95114 0
vsize: 380708
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97929 0 5 0 72729 223 0 0 25 0 1 0 814373271 389754880 94396 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95155 94396 1111 63 0 95092 0
vsize: 380620
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 97962 0 5 0 73727 224 0 0 25 0 1 0 814373271 389890048 94429 4294967295 134512640 134714508 3221221776 3221220464 134535740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95188 94429 1111 63 0 95125 0
vsize: 380752
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98000 0 5 0 74726 225 0 0 25 0 1 0 814373271 389943296 94452 4294967295 134512640 134714508 3221221776 3221220364 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95201 94452 1111 63 0 95138 0
vsize: 380804
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98039 0 5 0 75725 226 0 0 25 0 1 0 814373271 390131712 94491 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95247 94491 1111 63 0 95184 0
vsize: 380988
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98067 0 5 0 76726 227 0 0 25 0 1 0 814373271 390217728 94519 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95268 94519 1111 63 0 95205 0
vsize: 381072
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98083 0 5 0 77725 228 0 0 25 0 1 0 814373271 390279168 94534 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95283 94534 1111 63 0 95220 0
vsize: 381132
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98086 0 5 0 78725 228 0 0 25 0 1 0 814373271 390307840 94537 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95290 94537 1111 63 0 95227 0
vsize: 381160
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98130 0 5 0 79724 229 0 0 25 0 1 0 814373271 390549504 94581 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95349 94581 1111 63 0 95286 0
vsize: 381396
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98146 0 5 0 80724 229 0 0 25 0 1 0 814373271 390549504 94597 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95349 94597 1111 63 0 95286 0
vsize: 381396
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98146 0 5 0 81723 230 0 0 25 0 1 0 814373271 390549504 94597 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95349 94597 1111 63 0 95286 0
vsize: 381396
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98146 0 5 0 82723 230 0 0 25 0 1 0 814373271 390549504 94597 4294967295 134512640 134714508 3221221776 3221220384 134549497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95349 94597 1111 63 0 95286 0
vsize: 381396
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98194 0 5 0 83722 231 0 0 25 0 1 0 814373271 390770688 94645 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95403 94645 1111 63 0 95340 0
vsize: 381612
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98194 0 5 0 84722 232 0 0 25 0 1 0 814373271 390770688 94645 4294967295 134512640 134714508 3221221776 3221220464 134534095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95403 94645 1111 63 0 95340 0
vsize: 381612
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98223 0 5 0 85721 233 0 0 25 0 1 0 814373271 390856704 94674 4294967295 134512640 134714508 3221221776 3221220480 134524477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95424 94674 1111 63 0 95361 0
vsize: 381696
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98236 0 5 0 86720 234 0 0 25 0 1 0 814373271 390991872 94687 4294967295 134512640 134714508 3221221776 3221220576 134597779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95457 94687 1111 63 0 95394 0
vsize: 381828
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98236 0 5 0 87720 234 0 0 25 0 1 0 814373271 390991872 94687 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95457 94687 1111 63 0 95394 0
vsize: 381828
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98238 0 5 0 88720 234 0 0 25 0 1 0 814373271 390991872 94689 4294967295 134512640 134714508 3221221776 3221220480 134528543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95457 94689 1111 63 0 95394 0
vsize: 381828
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98238 0 5 0 89719 235 0 0 25 0 1 0 814373271 390991872 94689 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95457 94689 1111 63 0 95394 0
vsize: 381828
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98238 0 5 0 90719 236 0 0 25 0 1 0 814373271 390979584 94689 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95454 94689 1111 63 0 95391 0
vsize: 381816
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98238 0 5 0 91718 237 0 0 25 0 1 0 814373271 390979584 94689 4294967295 134512640 134714508 3221221776 3221220272 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95454 94689 1111 63 0 95391 0
vsize: 381816
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98271 0 5 0 92718 237 0 0 25 0 1 0 814373271 391114752 94722 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95487 94722 1111 63 0 95424 0
vsize: 381948
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98278 0 5 0 93717 238 0 0 25 0 1 0 814373271 391110656 94729 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95486 94729 1111 63 0 95423 0
vsize: 381944
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98303 0 5 0 94717 238 0 0 25 0 1 0 814373271 391229440 94754 4294967295 134512640 134714508 3221221776 3221220260 1077374461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95515 94754 1111 63 0 95452 0
vsize: 382060
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98304 0 5 0 95717 239 0 0 25 0 1 0 814373271 391229440 94755 4294967295 134512640 134714508 3221221776 3221220308 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95515 94755 1111 63 0 95452 0
vsize: 382060
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98363 0 5 0 96716 239 0 0 25 0 1 0 814373271 391458816 94813 4294967295 134512640 134714508 3221221776 3221220464 134534107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95571 94813 1111 63 0 95508 0
vsize: 382284
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98372 0 5 0 97716 240 0 0 25 0 1 0 814373271 391458816 94822 4294967295 134512640 134714508 3221221776 3221220380 134536820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95571 94822 1111 63 0 95508 0
vsize: 382284
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98372 0 5 0 98716 240 0 0 25 0 1 0 814373271 391458816 94822 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95571 94822 1111 63 0 95508 0
vsize: 382284
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98390 0 5 0 99715 241 0 0 25 0 1 0 814373271 391585792 94840 4294967295 134512640 134714508 3221221776 3221220332 134539270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95602 94840 1111 63 0 95539 0
vsize: 382408
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98390 0 5 0 100715 242 0 0 25 0 1 0 814373271 391540736 94840 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95591 94840 1111 63 0 95528 0
vsize: 382364
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98413 0 5 0 101714 242 0 0 25 0 1 0 814373271 391671808 94863 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95623 94863 1111 63 0 95560 0
vsize: 382492
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98413 0 5 0 102714 242 0 0 25 0 1 0 814373271 391671808 94863 4294967295 134512640 134714508 3221221776 3221220512 134587992 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95623 94863 1111 63 0 95560 0
vsize: 382492
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98413 0 5 0 103714 243 0 0 25 0 1 0 814373271 391671808 94863 4294967295 134512640 134714508 3221221776 3221220352 134696310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95623 94863 1111 63 0 95560 0
vsize: 382492
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98413 0 5 0 104714 243 0 0 25 0 1 0 814373271 391671808 94863 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95623 94863 1111 63 0 95560 0
vsize: 382492
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98413 0 5 0 105713 244 0 0 25 0 1 0 814373271 391671808 94863 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95623 94863 1111 63 0 95560 0
vsize: 382492
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 106713 244 0 0 25 0 1 0 814373271 391802880 94876 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95655 94876 1111 63 0 95592 0
vsize: 382620
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 107713 245 0 0 25 0 1 0 814373271 391782400 94876 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94876 1111 63 0 95587 0
vsize: 382600
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 108713 245 0 0 25 0 1 0 814373271 391782400 94876 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94876 1111 63 0 95587 0
vsize: 382600
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 109713 245 0 0 25 0 1 0 814373271 391782400 94876 4294967295 134512640 134714508 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94876 1111 63 0 95587 0
vsize: 382600
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 110712 246 0 0 25 0 1 0 814373271 391782400 94876 4294967295 134512640 134714508 3221221776 3221220440 134543636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94876 1111 63 0 95587 0
vsize: 382600
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 111712 246 0 0 25 0 1 0 814373271 391782400 94876 4294967295 134512640 134714508 3221221776 3221220416 134696066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94876 1111 63 0 95587 0
vsize: 382600
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 112712 247 0 0 25 0 1 0 814373271 391782400 94876 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94876 1111 63 0 95587 0
vsize: 382600
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 113712 247 0 0 25 0 1 0 814373271 391782400 94876 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94876 1111 63 0 95587 0
vsize: 382600
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 114712 247 0 0 25 0 1 0 814373271 391782400 94876 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94876 1111 63 0 95587 0
vsize: 382600
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98426 0 5 0 115712 247 0 0 25 0 1 0 814373271 391782400 94876 4294967295 134512640 134714508 3221221776 3221220384 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94876 1111 63 0 95587 0
vsize: 382600
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98436 0 5 0 116711 248 0 0 25 0 1 0 814373271 391782400 94886 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94886 1111 63 0 95587 0
vsize: 382600
[startup+1175.63 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26690
Raw data (stat): 26690 (bsolo_lpr_cuts) R 26689 7876 7672 0 -1 0 98436 0 5 0 116711 248 0 0 25 0 1 0 814373271 391782400 94886 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95650 94886 1111 63 0 95587 0
vsize: 0

Child status: 0
Real time (s): 1175.63
CPU time (s): 1175.21
CPU user time (s): 1172.54
CPU system time (s): 2.66359
CPU usage (%): 99.9641
Max. virtual memory (Kb): 382620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####