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/miplib/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.34
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 25885

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 05:28:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16889 boxname=wulflinc31 idbench=1300 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 16889
/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:        931284 kB
Buffers:         14472 kB
Cached:          66088 kB
SwapCached:        972 kB
Active:          59700 kB
Inactive:        22928 kB
HighTotal:      131008 kB
HighFree:        76300 kB
LowTotal:       903652 kB
LowFree:        854984 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:             216 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15076 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 05:47:40 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 16889 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 390 constraints.
c preprocess terminated 75.924 s
c Initial Lower Bound: 4658
c Lower Bound Elapsed time: 2.115
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.91 0.97 0.98 2/55 2448
Raw data (stat): 2448 (runsolver) R 2447 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 819056360 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 16197 0 0 0 955 40 0 0 25 0 1 0 819056360 69537792 16109 4294967295 134512640 134714508 3221221776 3221220324 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16977 16109 1111 63 0 16914 0
vsize: 67908
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 17637 0 0 0 1953 43 0 0 25 0 1 0 819056360 75354112 17549 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18397 17549 1111 63 0 18334 0
vsize: 73588
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 17688 0 0 0 2953 43 0 0 25 0 1 0 819056360 75624448 17600 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18463 17600 1111 63 0 18400 0
vsize: 73852
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 17737 0 0 0 3952 44 0 0 25 0 1 0 819056360 75759616 17649 4294967295 134512640 134714508 3221221776 3221220432 134627198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18496 17649 1111 63 0 18433 0
vsize: 73984
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 17782 0 0 0 4951 45 0 0 25 0 1 0 819056360 76029952 17694 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18562 17694 1111 63 0 18499 0
vsize: 74248
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 17829 0 0 0 5951 45 0 0 25 0 1 0 819056360 76165120 17741 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18595 17741 1111 63 0 18532 0
vsize: 74380
[startup+70.0055 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 17871 0 0 0 6950 46 0 0 25 0 1 0 819056360 76300288 17783 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18628 17783 1111 63 0 18565 0
vsize: 74512
[startup+80.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 21291 0 0 0 7943 53 0 0 25 0 1 0 819056360 82305024 19295 4294967295 134512640 134714508 3221221776 3221219808 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20094 19295 1111 63 0 20031 0
vsize: 80376
[startup+90.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25309 0 0 0 8932 64 0 0 25 0 1 0 819056360 82276352 19303 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20087 19303 1111 63 0 20024 0
vsize: 80348
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25309 0 0 0 9931 65 0 0 25 0 1 0 819056360 82276352 19303 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20087 19303 1111 63 0 20024 0
vsize: 80348
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25326 0 0 0 10930 67 0 0 25 0 1 0 819056360 82276352 19320 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20087 19320 1111 63 0 20024 0
vsize: 80348
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25326 0 0 0 11929 68 0 0 25 0 1 0 819056360 82276352 19320 4294967295 134512640 134714508 3221221776 3221220544 134592098 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20087 19320 1111 63 0 20024 0
vsize: 80348
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25363 0 0 0 12928 69 0 0 25 0 1 0 819056360 82276352 19357 4294967295 134512640 134714508 3221221776 3221220360 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20087 19357 1111 63 0 20024 0
vsize: 80348
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25409 0 0 0 13926 70 0 0 25 0 1 0 819056360 82411520 19403 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20120 19403 1111 63 0 20057 0
vsize: 80480
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25563 0 0 0 14925 72 0 0 25 0 1 0 819056360 83009536 19557 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20266 19557 1111 63 0 20203 0
vsize: 81064
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25563 0 0 0 15924 73 0 0 25 0 1 0 819056360 83009536 19557 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20266 19557 1111 63 0 20203 0
vsize: 81064
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25621 0 0 0 16923 74 0 0 25 0 1 0 819056360 83279872 19615 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20332 19615 1111 63 0 20269 0
vsize: 81328
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25633 0 0 0 17923 75 0 0 25 0 1 0 819056360 83226624 19627 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20319 19627 1111 63 0 20256 0
vsize: 81276
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25633 0 0 0 18922 75 0 0 25 0 1 0 819056360 83226624 19627 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20319 19627 1111 63 0 20256 0
vsize: 81276
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 25979 0 0 0 19920 77 0 0 25 0 1 0 819056360 84709376 19973 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20681 19973 1111 63 0 20618 0
vsize: 82724
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 26418 0 0 0 20918 80 0 0 25 0 1 0 819056360 86417408 20409 4294967295 134512640 134714508 3221221776 3221220448 134652797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21098 20409 1111 63 0 21035 0
vsize: 84392
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 26740 0 0 0 21917 81 0 0 25 0 1 0 819056360 87769088 20731 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21428 20731 1111 63 0 21365 0
vsize: 85712
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 26863 0 0 0 22916 82 0 0 25 0 1 0 819056360 88240128 20854 4294967295 134512640 134714508 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21543 20854 1111 63 0 21480 0
vsize: 86172
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27088 0 0 0 23915 83 0 0 25 0 1 0 819056360 89190400 21079 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21775 21079 1111 63 0 21712 0
vsize: 87100
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27117 0 0 0 24915 84 0 0 25 0 1 0 819056360 89325568 21108 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21808 21108 1111 63 0 21745 0
vsize: 87232
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27225 0 0 0 25913 85 0 0 25 0 1 0 819056360 89731072 21203 4294967295 134512640 134714508 3221221776 3221220444 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21907 21203 1111 63 0 21844 0
vsize: 87628
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27263 0 0 0 26913 86 0 0 25 0 1 0 819056360 89866240 21241 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21940 21241 1111 63 0 21877 0
vsize: 87760
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27338 0 0 0 27913 86 0 0 25 0 1 0 819056360 90243072 21316 4294967295 134512640 134714508 3221221776 3221220336 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22032 21316 1111 63 0 21969 0
vsize: 88128
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27425 0 0 0 28912 87 0 0 25 0 1 0 819056360 90488832 21403 4294967295 134512640 134714508 3221221776 3221220344 1077378418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22092 21403 1111 63 0 22029 0
vsize: 88368
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27499 0 0 0 29911 88 0 0 25 0 1 0 819056360 90873856 21465 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22186 21465 1111 63 0 22123 0
vsize: 88744
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27499 0 0 0 30910 89 0 0 25 0 1 0 819056360 90796032 21465 4294967295 134512640 134714508 3221221776 3221220232 1077377266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22167 21465 1111 63 0 22104 0
vsize: 88668
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27553 0 0 0 31908 91 0 0 25 0 1 0 819056360 91066368 21519 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22233 21519 1111 63 0 22170 0
vsize: 88932
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27555 0 0 0 32907 92 0 0 25 0 1 0 819056360 91066368 21521 4294967295 134512640 134714508 3221221776 3221220392 134613753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22233 21521 1111 63 0 22170 0
vsize: 88932
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27555 0 0 0 33906 93 0 0 25 0 1 0 819056360 90959872 21518 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22207 21518 1111 63 0 22144 0
vsize: 88828
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27719 0 0 0 34905 94 0 0 25 0 1 0 819056360 91635712 21682 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22372 21682 1111 63 0 22309 0
vsize: 89488
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 27842 0 0 0 35904 96 0 0 25 0 1 0 819056360 92151808 21801 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22498 21801 1111 63 0 22435 0
vsize: 89992
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 28024 0 0 0 36902 98 0 0 25 0 1 0 819056360 92958720 21983 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22695 21983 1111 63 0 22632 0
vsize: 90780
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 28126 0 0 0 37901 99 0 0 25 0 1 0 819056360 93224960 22052 4294967295 134512640 134714508 3221221776 3221220336 134696508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22760 22052 1111 63 0 22697 0
vsize: 91040
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 28214 0 0 0 38901 99 0 0 25 0 1 0 819056360 93630464 22140 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22859 22140 1111 63 0 22796 0
vsize: 91436
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 28451 0 0 0 39900 100 0 0 25 0 1 0 819056360 94564352 22377 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23087 22377 1111 63 0 23024 0
vsize: 92348
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 28451 0 0 0 40900 101 0 0 25 0 1 0 819056360 94564352 22377 4294967295 134512640 134714508 3221221776 3221220384 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23087 22377 1111 63 0 23024 0
vsize: 92348
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 28582 0 0 0 41899 102 0 0 25 0 1 0 819056360 95105024 22508 4294967295 134512640 134714508 3221221776 3221220336 134552065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23219 22508 1111 63 0 23156 0
vsize: 92876
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 28769 0 0 0 42897 103 0 0 25 0 1 0 819056360 95780864 22695 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23384 22695 1111 63 0 23321 0
vsize: 93536
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 28780 0 0 0 43896 105 0 0 25 0 1 0 819056360 95678464 22670 4294967295 134512640 134714508 3221221776 3221220344 1077377612 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23359 22670 1111 63 0 23296 0
vsize: 93436
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 28874 0 0 0 44895 106 0 0 25 0 1 0 819056360 96034816 22752 4294967295 134512640 134714508 3221221776 3221220484 134535803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23446 22752 1111 63 0 23383 0
vsize: 93784
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29085 0 0 0 45894 107 0 0 25 0 1 0 819056360 96874496 22960 4294967295 134512640 134714508 3221221776 3221220420 134542835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22960 1111 63 0 23588 0
vsize: 94604
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29085 0 0 0 46893 108 0 0 25 0 1 0 819056360 96874496 22960 4294967295 134512640 134714508 3221221776 3221220472 134528393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22960 1111 63 0 23588 0
vsize: 94604
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29158 0 0 0 47892 109 0 0 25 0 1 0 819056360 97226752 23033 4294967295 134512640 134714508 3221221776 3221220284 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23737 23033 1111 63 0 23674 0
vsize: 94948
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29233 0 0 0 48890 111 0 0 25 0 1 0 819056360 97275904 23060 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23749 23060 1111 63 0 23686 0
vsize: 94996
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29466 0 0 0 49889 112 0 0 25 0 1 0 819056360 98095104 23241 4294967295 134512640 134714508 3221221776 3221220276 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23949 23241 1111 63 0 23886 0
vsize: 95796
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29558 0 0 0 50888 113 0 0 25 0 1 0 819056360 98500608 23333 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24048 23333 1111 63 0 23985 0
vsize: 96192
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29619 0 0 0 51888 114 0 0 25 0 1 0 819056360 98639872 23393 4294967295 134512640 134714508 3221221776 3221220536 134592155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24082 23393 1111 63 0 24019 0
vsize: 96328
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29619 0 0 0 52886 116 0 0 25 0 1 0 819056360 98639872 23393 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24082 23393 1111 63 0 24019 0
vsize: 96328
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29619 0 0 0 53885 117 0 0 25 0 1 0 819056360 98639872 23393 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24082 23393 1111 63 0 24019 0
vsize: 96328
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29640 0 0 0 54885 118 0 0 25 0 1 0 819056360 98775040 23414 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23414 1111 63 0 24052 0
vsize: 96460
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29640 0 0 0 55884 119 0 0 25 0 1 0 819056360 98775040 23414 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23414 1111 63 0 24052 0
vsize: 96460
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29668 0 0 0 56883 119 0 0 25 0 1 0 819056360 98910208 23442 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24148 23442 1111 63 0 24085 0
vsize: 96592
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29668 0 0 0 57883 120 0 0 25 0 1 0 819056360 98902016 23442 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24146 23442 1111 63 0 24083 0
vsize: 96584
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29698 0 0 0 58881 121 0 0 25 0 1 0 819056360 98967552 23470 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24162 23470 1111 63 0 24099 0
vsize: 96648
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29830 0 0 0 59880 123 0 0 25 0 1 0 819056360 99508224 23602 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24294 23602 1111 63 0 24231 0
vsize: 97176
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 29918 0 0 0 60879 124 0 0 25 0 1 0 819056360 99770368 23658 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24358 23658 1111 63 0 24295 0
vsize: 97432
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30121 0 0 0 61878 125 0 0 25 0 1 0 819056360 100585472 23861 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24557 23861 1111 63 0 24494 0
vsize: 98228
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30212 0 0 0 62877 126 0 0 25 0 1 0 819056360 100913152 23948 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24637 23948 1111 63 0 24574 0
vsize: 98548
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30212 0 0 0 63877 126 0 0 25 0 1 0 819056360 100913152 23948 4294967295 134512640 134714508 3221221776 3221220520 134672921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24637 23948 1111 63 0 24574 0
vsize: 98548
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30212 0 0 0 64877 127 0 0 25 0 1 0 819056360 100913152 23948 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24637 23948 1111 63 0 24574 0
vsize: 98548
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30351 0 0 0 65876 127 0 0 25 0 1 0 819056360 101449728 24077 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24768 24077 1111 63 0 24705 0
vsize: 99072
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30351 0 0 0 66876 128 0 0 25 0 1 0 819056360 101449728 24077 4294967295 134512640 134714508 3221221776 3221220380 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24768 24077 1111 63 0 24705 0
vsize: 99072
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30351 0 0 0 67876 128 0 0 25 0 1 0 819056360 101449728 24077 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24768 24077 1111 63 0 24705 0
vsize: 99072
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30351 0 0 0 68875 129 0 0 25 0 1 0 819056360 101449728 24077 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24768 24077 1111 63 0 24705 0
vsize: 99072
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30351 0 0 0 69875 130 0 0 25 0 1 0 819056360 101449728 24077 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24768 24077 1111 63 0 24705 0
vsize: 99072
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30351 0 0 0 70875 130 0 0 25 0 1 0 819056360 101449728 24077 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24768 24077 1111 63 0 24705 0
vsize: 99072
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30405 0 0 0 71874 131 0 0 25 0 1 0 819056360 101720064 24131 4294967295 134512640 134714508 3221221776 3221220544 134592134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24834 24131 1111 63 0 24771 0
vsize: 99336
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30421 0 0 0 72873 132 0 0 25 0 1 0 819056360 101847040 24147 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24865 24147 1111 63 0 24802 0
vsize: 99460
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30435 0 0 0 73873 132 0 0 25 0 1 0 819056360 101847040 24161 4294967295 134512640 134714508 3221221776 3221220360 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24865 24161 1111 63 0 24802 0
vsize: 99460
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30542 0 0 0 74873 132 0 0 25 0 1 0 819056360 102248448 24268 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24963 24268 1111 63 0 24900 0
vsize: 99852
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30739 0 0 0 75873 133 0 0 25 0 1 0 819056360 102862848 24414 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25113 24414 1111 63 0 25050 0
vsize: 100452
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30885 0 0 0 76873 133 0 0 25 0 1 0 819056360 103387136 24533 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25241 24533 1111 63 0 25178 0
vsize: 100964
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30885 0 0 0 77872 134 0 0 25 0 1 0 819056360 103387136 24533 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25241 24533 1111 63 0 25178 0
vsize: 100964
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30885 0 0 0 78872 134 0 0 25 0 1 0 819056360 103387136 24533 4294967295 134512640 134714508 3221221776 3221220560 134529398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25241 24533 1111 63 0 25178 0
vsize: 100964
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 30885 0 0 0 79871 135 0 0 25 0 1 0 819056360 103387136 24533 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25241 24533 1111 63 0 25178 0
vsize: 100964
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 31062 0 0 0 80871 135 0 0 25 0 1 0 819056360 104112128 24710 4294967295 134512640 134714508 3221221776 3221220384 134549460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25418 24710 1111 63 0 25355 0
vsize: 101672
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 31136 0 0 0 81871 136 0 0 25 0 1 0 819056360 104349696 24784 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25476 24784 1111 63 0 25413 0
vsize: 101904
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 31170 0 0 0 82870 136 0 0 25 0 1 0 819056360 104484864 24818 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25509 24818 1111 63 0 25446 0
vsize: 102036
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 31237 0 0 0 83870 137 0 0 25 0 1 0 819056360 104755200 24885 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25575 24885 1111 63 0 25512 0
vsize: 102300
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 31336 0 0 0 84869 138 0 0 25 0 1 0 819056360 105201664 24969 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25684 24969 1111 63 0 25621 0
vsize: 102736
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 31647 0 0 0 85867 140 0 0 25 0 1 0 819056360 106418176 25280 4294967295 134512640 134714508 3221221776 3221220512 134529252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25981 25280 1111 63 0 25918 0
vsize: 103924
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 31647 0 0 0 86867 140 0 0 25 0 1 0 819056360 106418176 25280 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25981 25280 1111 63 0 25918 0
vsize: 103924
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 31841 0 0 0 87866 142 0 0 25 0 1 0 819056360 107216896 25474 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26176 25474 1111 63 0 26113 0
vsize: 104704
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 31956 0 0 0 88865 142 0 0 25 0 1 0 819056360 107655168 25584 4294967295 134512640 134714508 3221221776 3221220336 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26283 25584 1111 63 0 26220 0
vsize: 105132
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 32210 0 0 0 89864 143 0 0 25 0 1 0 819056360 108769280 25838 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26555 25838 1111 63 0 26492 0
vsize: 106220
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 32492 0 0 0 90863 145 0 0 25 0 1 0 819056360 109883392 26120 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26827 26120 1111 63 0 26764 0
vsize: 107308
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 32602 0 0 0 91862 146 0 0 25 0 1 0 819056360 110067712 26183 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26872 26183 1111 63 0 26809 0
vsize: 107488
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 32684 0 0 0 92861 147 0 0 25 0 1 0 819056360 110370816 26257 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26946 26257 1111 63 0 26883 0
vsize: 107784
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 32830 0 0 0 93861 148 0 0 25 0 1 0 819056360 111046656 26403 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27111 26403 1111 63 0 27048 0
vsize: 108444
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 32874 0 0 0 94860 149 0 0 25 0 1 0 819056360 111157248 26447 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27138 26447 1111 63 0 27075 0
vsize: 108552
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 33218 0 0 0 95859 150 0 0 25 0 1 0 819056360 112492544 26770 4294967295 134512640 134714508 3221221776 3221220520 134598586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27464 26770 1111 63 0 27401 0
vsize: 109856
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 33692 0 0 0 96858 151 0 0 25 0 1 0 819056360 114520064 27244 4294967295 134512640 134714508 3221221776 3221220416 134542853 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27959 27244 1111 63 0 27896 0
vsize: 111836
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 33971 0 0 0 97857 152 0 0 25 0 1 0 819056360 115576832 27504 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28217 27504 1111 63 0 28154 0
vsize: 112868
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 34239 0 0 0 98856 153 0 0 25 0 1 0 819056360 116658176 27772 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28481 27772 1111 63 0 28418 0
vsize: 113924
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 34438 0 0 0 99855 154 0 0 25 0 1 0 819056360 117469184 27971 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28679 27971 1111 63 0 28616 0
vsize: 114716
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 34636 0 0 0 100854 155 0 0 25 0 1 0 819056360 118046720 28131 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28820 28131 1111 63 0 28757 0
vsize: 115280
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 34772 0 0 0 101854 157 0 0 25 0 1 0 819056360 118616064 28254 4294967295 134512640 134714508 3221221776 3221220336 134542342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28959 28254 1111 63 0 28896 0
vsize: 115836
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 34825 0 0 0 102853 157 0 0 25 0 1 0 819056360 118882304 28307 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29024 28307 1111 63 0 28961 0
vsize: 116096
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35069 0 0 0 103853 158 0 0 25 0 1 0 819056360 119779328 28551 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29243 28551 1111 63 0 29180 0
vsize: 116972
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35069 0 0 0 104852 158 0 0 25 0 1 0 819056360 119709696 28537 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29226 28537 1111 63 0 29163 0
vsize: 116904
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35132 0 0 0 105851 160 0 0 25 0 1 0 819056360 119980032 28600 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29292 28600 1111 63 0 29229 0
vsize: 117168
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35133 0 0 0 106851 160 0 0 25 0 1 0 819056360 119980032 28601 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29292 28601 1111 63 0 29229 0
vsize: 117168
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35287 0 0 0 107850 161 0 0 25 0 1 0 819056360 120655872 28755 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29457 28755 1111 63 0 29394 0
vsize: 117828
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35348 0 0 0 108850 162 0 0 25 0 1 0 819056360 120918016 28816 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29521 28816 1111 63 0 29458 0
vsize: 118084
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35504 0 0 0 109849 163 0 0 25 0 1 0 819056360 121589760 28972 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29685 28972 1111 63 0 29622 0
vsize: 118740
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35551 0 0 0 110848 164 0 0 25 0 1 0 819056360 121724928 29019 4294967295 134512640 134714508 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29718 29019 1111 63 0 29655 0
vsize: 118872
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35551 0 0 0 111848 164 0 0 25 0 1 0 819056360 121724928 29019 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29718 29019 1111 63 0 29655 0
vsize: 118872
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35711 0 0 0 112847 165 0 0 25 0 1 0 819056360 122454016 29179 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29896 29179 1111 63 0 29833 0
vsize: 119584
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 35842 0 0 0 113846 166 0 0 25 0 1 0 819056360 122961920 29310 4294967295 134512640 134714508 3221221776 3221220364 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30020 29310 1111 63 0 29957 0
vsize: 120080
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 36010 0 0 0 114845 167 0 0 25 0 1 0 819056360 123613184 29478 4294967295 134512640 134714508 3221221776 3221220368 134696066 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30179 29478 1111 63 0 30116 0
vsize: 120716
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 36042 0 0 0 115844 168 0 0 25 0 1 0 819056360 123703296 29510 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30201 29510 1111 63 0 30138 0
vsize: 120804
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 36240 0 0 0 116844 169 0 0 25 0 1 0 819056360 124420096 29687 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30376 29687 1111 63 0 30313 0
vsize: 121504
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 2448
Raw data (stat): 2448 (bsolo_lpr_cuts) R 2447 7876 7672 0 -1 0 36240 0 0 0 116844 169 0 0 25 0 1 0 819056360 124420096 29687 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30376 29687 1111 63 0 30313 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.08
CPU user time (s): 1173.33
CPU system time (s): 1.75473
CPU usage (%): 100.007
Max. virtual memory (Kb): 121504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####