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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
MD5SUM	8dcd54bb06c18286b7b6d9b86b2fd29c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.35658
Number of variables	4060
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	204
Minimum length of a constraint	20
Maximum length of a constraint	80
Trace number 26001

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 19:49:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16135 boxname=wulflinc31 idbench=1242 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8dcd54bb06c18286b7b6d9b86b2fd29c  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc205.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc205.opb
IDLAUNCH: 16135
/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:        780812 kB
Buffers:         29580 kB
Cached:         201700 kB
SwapCached:        940 kB
Active:         170012 kB
Inactive:        63292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        780560 kB
SwapTotal:     2097892 kB
SwapFree:      2095924 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14872 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 20:05:15 (client local time) WITH STATUS 0 IN 918.884 SECONDS
stats: 16135 7 918.884 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4060 variables and 294 constraints.
c After prepocess the problem consists of 3659 variables and 383 constraints.
c preprocess terminated 2.058 s
c Initial Lower Bound: -6681
c Lower Bound Elapsed time: 1.145
c Not use computed LB before first solution.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/55 14248
Raw data (stat): 14248 (runsolver) R 14247 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 824227846 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.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 4860 0 0 0 982 13 0 0 25 0 1 0 824227846 21688320 4577 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5295 4577 1111 63 0 5232 0
vsize: 21180
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 7551 0 0 0 1974 21 0 0 25 0 1 0 824227846 32784384 7267 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8004 7267 1111 63 0 7941 0
vsize: 32016
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 10413 0 0 0 2964 31 0 0 25 0 1 0 824227846 44601344 10124 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10889 10124 1111 63 0 10826 0
vsize: 43556
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 13206 0 0 0 3953 42 0 0 25 0 1 0 824227846 55955456 12916 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13661 12916 1111 63 0 13598 0
vsize: 54644
[startup+50.0045 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 15992 0 0 0 4944 52 0 0 25 0 1 0 824227846 67518464 15691 4294967295 134512640 134714508 3221221776 3221220392 134613761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16484 15691 1111 63 0 16421 0
vsize: 65936
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 18657 0 0 0 5935 61 0 0 25 0 1 0 824227846 78467072 18355 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19157 18355 1111 63 0 19094 0
vsize: 76628
[startup+70.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 21231 0 0 0 6927 69 0 0 25 0 1 0 824227846 89067520 20923 4294967295 134512640 134714508 3221221776 3221220300 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21745 20923 1111 63 0 21682 0
vsize: 86980
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 23080 0 0 0 7922 74 0 0 25 0 1 0 824227846 96722944 22762 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23614 22762 1111 63 0 23551 0
vsize: 94456
[startup+90.0058 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 24479 0 0 0 8916 81 0 0 25 0 1 0 824227846 102400000 24161 4294967295 134512640 134714508 3221221776 3221220536 134613526 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25000 24161 1111 63 0 24937 0
vsize: 100000
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 26150 0 0 0 9910 86 0 0 25 0 1 0 824227846 109228032 25832 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26667 25832 1111 63 0 26604 0
vsize: 106668
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 28664 0 0 0 10904 93 0 0 25 0 1 0 824227846 119500800 28344 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29175 28344 1111 63 0 29112 0
vsize: 116700
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 31363 0 0 0 11895 102 0 0 25 0 1 0 824227846 130609152 31039 4294967295 134512640 134714508 3221221776 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31887 31039 1111 63 0 31824 0
vsize: 127548
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 34110 0 0 0 12885 111 0 0 25 0 1 0 824227846 141828096 33786 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34626 33786 1111 63 0 34563 0
vsize: 138504
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 36807 0 0 0 13877 120 0 0 25 0 1 0 824227846 152989696 36456 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37351 36456 1111 63 0 37288 0
vsize: 149404
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 39470 0 0 0 14867 131 0 0 25 0 1 0 824227846 164081664 39105 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40059 39105 1111 63 0 39996 0
vsize: 160236
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 42218 0 0 0 15858 139 0 0 25 0 1 0 824227846 175366144 41844 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42814 41844 1111 63 0 42751 0
vsize: 171256
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 45006 0 0 0 16849 148 0 0 25 0 1 0 824227846 186720256 44632 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45586 44632 1111 63 0 45523 0
vsize: 182344
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 47532 0 0 0 17839 159 0 0 25 0 1 0 824227846 197177344 47146 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48139 47146 1111 63 0 48076 0
vsize: 192556
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 50053 0 0 0 18831 168 0 0 25 0 1 0 824227846 207683584 49653 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50704 49653 1111 63 0 50641 0
vsize: 202816
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 52623 0 0 0 19820 178 0 0 25 0 1 0 824227846 218091520 52223 4294967295 134512640 134714508 3221221776 3221220536 134523849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53245 52223 1111 63 0 53182 0
vsize: 212980
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 55235 0 0 0 20811 187 0 0 25 0 1 0 824227846 228769792 54835 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55852 54835 1111 63 0 55789 0
vsize: 223408
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 57940 0 0 0 21804 195 0 0 25 0 1 0 824227846 239640576 57458 4294967295 134512640 134714508 3221221776 3221220544 134597631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58506 57458 1111 63 0 58443 0
vsize: 234024
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 60641 0 0 0 22796 203 0 0 25 0 1 0 824227846 250728448 60159 4294967295 134512640 134714508 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61213 60159 1111 63 0 61150 0
vsize: 244852
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 63360 0 0 0 23788 212 0 0 25 0 1 0 824227846 261812224 62878 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63919 62878 1111 63 0 63856 0
vsize: 255676
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 66088 0 0 0 24779 220 0 0 25 0 1 0 824227846 273035264 65606 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66659 65606 1111 63 0 66596 0
vsize: 266636
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 68595 0 0 0 25771 228 0 0 25 0 1 0 824227846 283049984 67988 4294967295 134512640 134714508 3221221776 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69104 67988 1111 63 0 69041 0
vsize: 276416
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 71049 0 0 0 26763 236 0 0 25 0 1 0 824227846 293052416 70442 4294967295 134512640 134714508 3221221776 3221220500 134586080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71546 70442 1111 63 0 71483 0
vsize: 286184
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 73616 0 0 0 27756 244 0 0 25 0 1 0 824227846 303648768 73005 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74133 73005 1111 63 0 74070 0
vsize: 296532
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 76453 0 0 0 28746 254 0 0 25 0 1 0 824227846 315047936 75669 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76916 75669 1111 63 0 76853 0
vsize: 307664
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 79041 0 0 0 29738 263 0 0 25 0 1 0 824227846 325726208 78257 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79523 78257 1111 63 0 79460 0
vsize: 318092
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 81748 0 0 0 30728 272 0 0 25 0 1 0 824227846 336674816 80964 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82196 80964 1111 63 0 82133 0
vsize: 328784
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 84470 0 0 0 31721 280 0 0 25 0 1 0 824227846 347893760 83686 4294967295 134512640 134714508 3221221776 3221220544 134597634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84935 83686 1111 63 0 84872 0
vsize: 339740
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 87197 0 0 0 32712 288 0 0 25 0 1 0 824227846 358981632 86413 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87642 86413 1111 63 0 87579 0
vsize: 350568
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 90137 0 0 0 33703 298 0 0 25 0 1 0 824227846 369872896 88818 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90301 88819 1111 63 0 90238 0
vsize: 361204
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 92379 0 0 0 34696 306 0 0 25 0 1 0 824227846 378945536 91058 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92516 91058 1111 63 0 92453 0
vsize: 370064
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 94735 0 0 0 35686 316 0 0 25 0 1 0 824227846 388718592 93410 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94902 93410 1111 63 0 94839 0
vsize: 379608
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 97216 0 0 0 36677 324 0 0 25 0 1 0 824227846 398721024 95891 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97377 95892 1111 63 0 97314 0
vsize: 389376
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 99526 0 0 0 37670 331 0 0 25 0 1 0 824227846 408182784 98201 4294967295 134512640 134714508 3221221776 3221220272 134535394 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99654 98201 1111 63 0 99591 0
vsize: 398616
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 101818 0 0 0 38664 338 0 0 25 0 1 0 824227846 417574912 100484 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101947 100484 1111 63 0 101884 0
vsize: 407788
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 104216 0 0 0 39656 346 0 0 25 0 1 0 824227846 427442176 102882 4294967295 134512640 134714508 3221221776 3221220428 134536787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104356 102882 1111 63 0 104293 0
vsize: 417424
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 106683 0 0 0 40649 353 0 0 25 0 1 0 824227846 437444608 105349 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106798 105349 1111 63 0 106735 0
vsize: 427192
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 109099 0 0 0 41640 363 0 0 25 0 1 0 824227846 447311872 107765 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109207 107765 1111 63 0 109144 0
vsize: 436828
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 111370 0 0 0 42634 369 0 0 25 0 1 0 824227846 456638464 110036 4294967295 134512640 134714508 3221221776 3221220536 134613517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111484 110036 1111 63 0 111421 0
vsize: 445936
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 113955 0 0 0 43626 377 0 0 25 0 1 0 824227846 467103744 112539 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114039 112539 1111 63 0 113976 0
vsize: 456156
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 116528 0 0 0 44618 385 0 0 25 0 1 0 824227846 477511680 115112 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116580 115112 1111 63 0 116517 0
vsize: 466320
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 119132 0 0 0 45610 393 0 0 25 0 1 0 824227846 488189952 117716 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 119187 117716 1111 63 0 119124 0
vsize: 476748
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 121616 0 0 0 46602 402 0 0 25 0 1 0 824227846 498327552 120199 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 121662 120199 1111 63 0 121599 0
vsize: 486648
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 124182 0 0 0 47594 410 0 0 25 0 1 0 824227846 508870656 122765 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 124236 122765 1111 63 0 124173 0
vsize: 496944
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 126809 0 0 0 48585 419 0 0 25 0 1 0 824227846 519548928 125392 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126843 125392 1111 63 0 126780 0
vsize: 507372
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 129425 0 0 0 49574 430 0 0 25 0 1 0 824227846 530227200 128008 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 129450 128008 1111 63 0 129387 0
vsize: 517800
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 131645 0 0 0 50567 437 0 0 25 0 1 0 824227846 538992640 130066 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131590 130066 1111 63 0 131527 0
vsize: 526360
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 133873 0 0 0 51562 443 0 0 25 0 1 0 824227846 548048896 132294 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133801 132294 1111 63 0 133738 0
vsize: 535204
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 136412 0 0 0 52554 451 0 0 25 0 1 0 824227846 558301184 134671 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 136304 134671 1111 63 0 136241 0
vsize: 545216
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 138889 0 0 0 53545 460 0 0 25 0 1 0 824227846 568438784 137148 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 138779 137148 1111 63 0 138716 0
vsize: 555116
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 141233 0 0 0 54537 468 0 0 25 0 1 0 824227846 578035712 139492 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141122 139492 1111 63 0 141059 0
vsize: 564488
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 143638 0 0 0 55530 475 0 0 25 0 1 0 824227846 587972608 141888 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143548 141888 1111 63 0 143485 0
vsize: 574192
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 146567 0 0 0 56521 484 0 0 25 0 1 0 824227846 599478272 144411 4294967295 134512640 134714508 3221221776 3221220576 134597738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146357 144411 1111 63 0 146294 0
vsize: 585428
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 149115 0 0 0 57513 493 0 0 25 0 1 0 824227846 609886208 146959 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 148898 146959 1111 63 0 148835 0
vsize: 595592
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 151633 0 0 0 58504 502 0 0 25 0 1 0 824227846 620163072 149477 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 151407 149477 1111 63 0 151344 0
vsize: 605628
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14248
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 153716 0 0 0 59497 509 0 0 25 0 1 0 824227846 628678656 151560 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 153486 151560 1111 63 0 153423 0
vsize: 613944
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14249
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 156131 0 0 0 60490 517 0 0 25 0 1 0 824227846 638545920 153975 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 155895 153975 1111 63 0 155832 0
vsize: 623580
[startup+620.027 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 14301
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 158645 0 0 0 61480 527 0 0 25 0 1 0 824227846 648687616 156489 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 158371 156489 1111 63 0 158308 0
vsize: 633484
[startup+630.027 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 14301
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 161209 0 0 0 62472 535 0 0 25 0 1 0 824227846 659230720 159053 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 160945 159053 1111 63 0 160882 0
vsize: 643780
[startup+640.027 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 14301
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 163790 0 0 0 63464 543 0 0 25 0 1 0 824227846 669777920 161634 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 163520 161634 1111 63 0 163457 0
vsize: 654080
[startup+650.028 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 14301
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 166438 0 0 0 64454 553 0 0 25 0 1 0 824227846 680591360 164282 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 166160 164282 1111 63 0 166097 0
vsize: 664640
[startup+660.028 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 14301
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 169123 0 0 0 65444 563 0 0 25 0 1 0 824227846 691539968 166967 4294967295 134512640 134714508 3221221776 3221220560 134597611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 168833 166967 1111 63 0 168770 0
vsize: 675332
[startup+670.029 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 14301
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 171790 0 0 0 66435 572 0 0 25 0 1 0 824227846 702488576 169634 4294967295 134512640 134714508 3221221776 3221220576 134597735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 171506 169634 1111 63 0 171443 0
vsize: 686024
[startup+680.029 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 14301
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 173592 0 0 0 67429 579 0 0 25 0 1 0 824227846 709533696 171436 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 173226 171436 1111 63 0 173163 0
vsize: 692904
[startup+690.029 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 176017 0 0 0 68420 588 0 0 25 0 1 0 824227846 719380480 173698 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 175630 173698 1111 63 0 175567 0
vsize: 702520
[startup+700.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 178332 0 0 0 69413 595 0 0 25 0 1 0 824227846 728866816 176009 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 177946 176009 1111 63 0 177883 0
vsize: 711784
[startup+710.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 180790 0 0 0 70404 604 0 0 25 0 1 0 824227846 738934784 178458 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 180404 178458 1111 63 0 180341 0
vsize: 721616
[startup+720.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 183194 0 0 0 71396 612 0 0 25 0 1 0 824227846 748666880 180862 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 182780 180862 1111 63 0 182717 0
vsize: 731120
[startup+730.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 185749 0 0 0 72388 621 0 0 25 0 1 0 824227846 759074816 183417 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 185321 183417 1111 63 0 185258 0
vsize: 741284
[startup+740.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 188326 0 0 0 73376 632 0 0 25 0 1 0 824227846 769617920 185994 4294967295 134512640 134714508 3221221776 3221220576 134597597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 187895 185994 1111 63 0 187832 0
vsize: 751580
[startup+750.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 190933 0 0 0 74367 642 0 0 25 0 1 0 824227846 780300288 188601 4294967295 134512640 134714508 3221221776 3221220384 134549398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 190503 188601 1111 63 0 190440 0
vsize: 762012
[startup+760.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 193262 0 0 0 75360 649 0 0 25 0 1 0 824227846 789762048 190930 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 192813 190930 1111 63 0 192750 0
vsize: 771252
[startup+770.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 195501 0 0 0 76351 658 0 0 25 0 1 0 824227846 798744576 193088 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 195006 193088 1111 63 0 194943 0
vsize: 780024
[startup+780.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 197638 0 0 0 77345 665 0 0 25 0 1 0 824227846 807530496 195224 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 197151 195224 1111 63 0 197088 0
vsize: 788604
[startup+790.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 200012 0 0 0 78335 675 0 0 25 0 1 0 824227846 817131520 197598 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 199495 197598 1111 63 0 199432 0
vsize: 797980
[startup+800.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 202417 0 0 0 79326 684 0 0 25 0 1 0 824227846 826998784 200003 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 201904 200003 1111 63 0 201841 0
vsize: 807616
[startup+810.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 204890 0 0 0 80316 694 0 0 25 0 1 0 824227846 837136384 202467 4294967295 134512640 134714508 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 204379 202468 1111 63 0 204316 0
vsize: 817516
[startup+820.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 207228 0 0 0 81306 704 0 0 25 0 1 0 824227846 846598144 204761 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 206689 204761 1111 63 0 206626 0
vsize: 826756
[startup+830.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 209804 0 0 0 82295 716 0 0 25 0 1 0 824227846 857141248 207333 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 209263 207333 1111 63 0 209200 0
vsize: 837052
[startup+840.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 212178 0 0 0 83287 725 0 0 25 0 1 0 824227846 866873344 209690 4294967295 134512640 134714508 3221221776 3221220432 134523862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 211639 209690 1111 63 0 211576 0
vsize: 846556
[startup+850.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 214705 0 0 0 84277 736 0 0 25 0 1 0 824227846 877146112 212040 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 214147 212040 1111 63 0 214084 0
vsize: 856588
[startup+860.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 218194 0 65 0 85235 747 0 0 18 0 1 0 824227846 887422976 214723 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 216656 214723 1111 63 0 216593 0
vsize: 866624
[startup+870.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 220122 0 65 0 86227 756 0 0 25 0 1 0 824227846 895262720 216646 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 218570 216646 1111 63 0 218507 0
vsize: 874280
[startup+880.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 222740 0 79 0 87209 768 0 0 25 0 1 0 824227846 905519104 218796 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 221074 218796 1111 63 0 221011 0
vsize: 884296
[startup+890.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 225248 0 80 0 88192 780 0 0 25 0 1 0 824227846 915656704 220763 4294967295 134512640 134714508 3221221776 3221220540 134613543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 223549 220763 1111 63 0 223486 0
vsize: 894196
[startup+900.061 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 227895 0 80 0 89180 793 0 0 25 0 1 0 824227846 926474240 222733 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 226190 222733 1111 63 0 226127 0
vsize: 904760
[startup+910.062 s]
Raw data (loadavg): 1.13 1.02 0.93 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 231515 0 266 0 89977 808 0 0 25 0 1 0 824227846 933773312 225300 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 227972 225300 1111 63 0 227909 0
vsize: 911888
[startup+920.063 s]
Raw data (loadavg): 1.11 1.02 0.93 2/55 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 234714 0 338 0 90892 824 0 0 25 0 1 0 824227846 942424064 226980 4294967295 134512640 134714508 3221221776 3221220704 134579466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 230084 226980 1111 63 0 230021 0
vsize: 920336
[startup+921.808 s]
Raw data (loadavg): 1.11 1.02 0.93 1/54 14303
Raw data (stat): 14248 (bsolo_lpr_cuts) R 14247 7876 7672 0 -1 0 234714 0 338 0 90892 824 0 0 25 0 1 0 824227846 942424064 226980 4294967295 134512640 134714508 3221221776 3221220704 134579466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 230084 226980 1111 63 0 230021 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 921.808
CPU time (s): 918.884
CPU user time (s): 910.174
CPU system time (s): 8.71067
CPU usage (%): 99.6828
Max. virtual memory (Kb): 920336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####