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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb
MD5SUM	665f67f4b53c876b2782c354a2ecbf32
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	95.7554
Number of variables	2574
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 28331

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 01:41:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13340 boxname=wulflinc27 idbench=1027 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  665f67f4b53c876b2782c354a2ecbf32  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 13340
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        698820 kB
Buffers:         25288 kB
Cached:         289184 kB
SwapCached:        640 kB
Active:          47692 kB
Inactive:       269288 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        698568 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13248 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:01:04 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 13340 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2574 variables and 711 constraints.
c After prepocess the problem consists of 2066 variables and 590 constraints.
c preprocess terminated 1.281 s
c Initial Lower Bound: 15608777
c Lower Bound Elapsed time: 0.2768
c 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.84 0.94 0.90 2/54 11289
Raw data (stat): 11289 (runsolver) R 11288 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834990051 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 12469 0 0 0 968 29 0 0 25 0 1 0 834990051 43438080 9902 4294967295 134512640 134714508 3221224576 3221221932 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10605 9902 1111 63 0 10542 0
vsize: 42420
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 15889 0 0 0 1960 37 0 0 25 0 1 0 834990051 44466176 10145 4294967295 134512640 134714508 3221224576 3221222576 1074916661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10856 10145 1111 63 0 10793 0
vsize: 43424
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 21206 0 0 0 2947 49 0 0 25 0 1 0 834990051 47869952 10966 4294967295 134512640 134714508 3221224576 3221220432 1074868635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11687 10966 1111 63 0 11624 0
vsize: 46748
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 26387 0 0 0 3936 60 0 0 25 0 1 0 834990051 48930816 11227 4294967295 134512640 134714508 3221224576 3221221108 1075863666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11946 11227 1111 63 0 11883 0
vsize: 47784
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 28238 0 0 0 4932 64 0 0 25 0 1 0 834990051 49512448 11391 4294967295 134512640 134714508 3221224576 3221221104 1075397177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12088 11391 1111 63 0 12025 0
vsize: 48352
[startup+60.0037 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 31187 0 0 0 5927 70 0 0 25 0 1 0 834990051 49307648 11295 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12038 11295 1111 63 0 11975 0
vsize: 48152
[startup+70.0042 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 34590 0 0 0 6920 77 0 0 25 0 1 0 834990051 50597888 11658 4294967295 134512640 134714508 3221224576 3221220356 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12353 11658 1111 63 0 12290 0
vsize: 49412
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 37967 0 0 0 7913 84 0 0 25 0 1 0 834990051 52002816 11986 4294967295 134512640 134714508 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12696 11986 1111 63 0 12633 0
vsize: 50784
[startup+90.0051 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 41456 0 0 0 8905 93 0 0 25 0 1 0 834990051 52256768 12009 4294967295 134512640 134714508 3221224576 3221220780 1075564391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12758 12009 1111 63 0 12695 0
vsize: 51032
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 45318 0 0 0 9896 101 0 0 25 0 1 0 834990051 53039104 12240 4294967295 134512640 134714508 3221224576 3221220544 1075965303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12949 12240 1111 63 0 12886 0
vsize: 51796
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 47364 0 0 0 10892 106 0 0 25 0 1 0 834990051 53460992 12267 4294967295 134512640 134714508 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13052 12267 1111 63 0 12989 0
vsize: 52208
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 48311 0 0 0 11890 108 0 0 25 0 1 0 834990051 51023872 11738 4294967295 134512640 134714508 3221224576 3221222728 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12457 11738 1111 63 0 12394 0
vsize: 49828
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 53778 0 0 0 12877 121 0 0 25 0 1 0 834990051 51621888 11896 4294967295 134512640 134714508 3221224576 3221223024 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12603 11896 1111 63 0 12540 0
vsize: 50412
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 55736 0 0 0 13873 125 0 0 25 0 1 0 834990051 54358016 12554 4294967295 134512640 134714508 3221224576 3221221108 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13271 12554 1111 63 0 13208 0
vsize: 53084
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 60408 0 0 0 14862 136 0 0 25 0 1 0 834990051 55230464 12766 4294967295 134512640 134714508 3221224576 3221221168 1074885316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13484 12766 1111 63 0 13421 0
vsize: 53936
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 60410 0 0 0 15863 136 0 0 25 0 1 0 834990051 55230464 12768 4294967295 134512640 134714508 3221224576 3221221168 1074885865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13484 12768 1111 63 0 13421 0
vsize: 53936
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 60526 0 0 0 16862 137 0 0 25 0 1 0 834990051 55377920 12775 4294967295 134512640 134714508 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13520 12775 1111 63 0 13457 0
vsize: 54080
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 65658 0 2 0 17849 147 0 0 25 0 1 0 834990051 56492032 13101 4294967295 134512640 134714508 3221224576 3221221168 1074885376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13792 13101 1111 63 0 13729 0
vsize: 55168
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 65658 0 2 0 18849 147 0 0 25 0 1 0 834990051 56492032 13101 4294967295 134512640 134714508 3221224576 3221220816 1075115724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13792 13101 1111 63 0 13729 0
vsize: 55168
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 69564 0 2 0 19840 156 0 0 25 0 1 0 834990051 53895168 12467 4294967295 134512640 134714508 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13158 12467 1111 63 0 13095 0
vsize: 52632
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 71151 0 2 0 20837 160 0 0 25 0 1 0 834990051 56999936 13185 4294967295 134512640 134714508 3221224576 3221220788 1075117748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13916 13185 1111 63 0 13853 0
vsize: 55664
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 71158 0 2 0 21837 160 0 0 25 0 1 0 834990051 56999936 13192 4294967295 134512640 134714508 3221224576 3221220432 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13916 13192 1111 63 0 13853 0
vsize: 55664
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 74003 0 2 0 22831 166 0 0 25 0 1 0 834990051 57282560 13279 4294967295 134512640 134714508 3221224576 3221220544 1075965237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13985 13279 1111 63 0 13922 0
vsize: 55940
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 74003 0 2 0 23831 166 0 0 25 0 1 0 834990051 57282560 13279 4294967295 134512640 134714508 3221224576 3221220432 1074871225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13985 13279 1111 63 0 13922 0
vsize: 55940
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 75247 0 2 0 24828 169 0 0 25 0 1 0 834990051 54386688 12581 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13278 12581 1111 63 0 13215 0
vsize: 53112
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 79838 0 2 0 25818 180 0 0 25 0 1 0 834990051 58589184 13525 4294967295 134512640 134714508 3221224576 3221220496 1074890928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14304 13525 1111 63 0 14241 0
vsize: 57216
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 79933 0 2 0 26818 180 0 0 25 0 1 0 834990051 58748928 13620 4294967295 134512640 134714508 3221224576 3221220788 1075117370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14343 13620 1111 63 0 14280 0
vsize: 57372
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 79933 0 2 0 27818 180 0 0 25 0 1 0 834990051 58748928 13620 4294967295 134512640 134714508 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14343 13620 1111 63 0 14280 0
vsize: 57372
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 86389 0 2 0 28803 195 0 0 25 0 1 0 834990051 59736064 13734 4294967295 134512640 134714508 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14584 13734 1111 63 0 14521 0
vsize: 58336
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 86469 0 2 0 29803 195 0 0 25 0 1 0 834990051 59736064 13814 4294967295 134512640 134714508 3221224576 3221220736 1075095094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14584 13814 1111 63 0 14521 0
vsize: 58336
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 86469 0 2 0 30804 195 0 0 25 0 1 0 834990051 59736064 13814 4294967295 134512640 134714508 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14584 13814 1111 63 0 14521 0
vsize: 58336
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 92916 0 2 0 31789 210 0 0 25 0 1 0 834990051 61267968 13891 4294967295 134512640 134714508 3221224576 3221220944 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14958 13891 1111 63 0 14895 0
vsize: 59832
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 93245 0 2 0 32788 211 0 0 25 0 1 0 834990051 60354560 13995 4294967295 134512640 134714508 3221224576 3221220544 1074872882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14735 13995 1111 63 0 14672 0
vsize: 58940
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 93245 0 2 0 33787 211 0 0 25 0 1 0 834990051 60354560 13995 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14735 13995 1111 63 0 14672 0
vsize: 58940
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 93473 0 2 0 34786 212 0 0 25 0 1 0 834990051 60354560 14001 4294967295 134512640 134714508 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14735 14001 1111 63 0 14672 0
vsize: 58940
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 95048 0 2 0 35782 216 0 0 25 0 1 0 834990051 56500224 13098 4294967295 134512640 134714508 3221224576 3221222880 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13794 13098 1111 63 0 13731 0
vsize: 55176
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 100621 0 2 0 36771 227 0 0 25 0 1 0 834990051 61177856 14206 4294967295 134512640 134714508 3221224576 3221220408 1074789250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14936 14206 1111 63 0 14873 0
vsize: 59744
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 100635 0 2 0 37771 227 0 0 25 0 1 0 834990051 61177856 14220 4294967295 134512640 134714508 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14936 14220 1111 63 0 14873 0
vsize: 59744
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 100635 0 2 0 38771 227 0 0 25 0 1 0 834990051 61177856 14220 4294967295 134512640 134714508 3221224576 3221220440 1074787045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14936 14220 1111 63 0 14873 0
vsize: 59744
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 100635 0 2 0 39772 227 0 0 25 0 1 0 834990051 61177856 14220 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14936 14220 1111 63 0 14873 0
vsize: 59744
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 104381 0 2 0 40763 236 0 0 25 0 1 0 834990051 60993536 13977 4294967295 134512640 134714508 3221224576 3221220972 1075114064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14891 13977 1111 63 0 14828 0
vsize: 59564
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 107954 0 2 0 41756 244 0 0 25 0 1 0 834990051 61284352 14167 4294967295 134512640 134714508 3221224576 3221220432 1074871233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14962 14167 1111 63 0 14899 0
vsize: 59848
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 108000 0 2 0 42756 244 0 0 25 0 1 0 834990051 61284352 14213 4294967295 134512640 134714508 3221224576 3221221168 1074887367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14962 14213 1111 63 0 14899 0
vsize: 59848
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 108006 0 2 0 43756 244 0 0 25 0 1 0 834990051 61427712 14219 4294967295 134512640 134714508 3221224576 3221220544 1074872801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14997 14219 1111 63 0 14934 0
vsize: 59988
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 111332 0 2 0 44748 252 0 0 25 0 1 0 834990051 62640128 14090 4294967295 134512640 134714508 3221224576 3221220648 1074950215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15293 14090 1111 63 0 15230 0
vsize: 61172
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 115231 0 2 0 45739 261 0 0 25 0 1 0 834990051 61919232 14401 4294967295 134512640 134714508 3221224576 3221220496 1074893677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15117 14401 1111 63 0 15054 0
vsize: 60468
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 115234 0 2 0 46739 261 0 0 25 0 1 0 834990051 62054400 14404 4294967295 134512640 134714508 3221224576 3221220512 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15150 14404 1111 63 0 15087 0
vsize: 60600
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 115462 0 2 0 47739 262 0 0 25 0 1 0 834990051 62054400 14410 4294967295 134512640 134714508 3221224576 3221220432 1074871081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15150 14410 1111 63 0 15087 0
vsize: 60600
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 122913 0 2 0 48722 279 0 0 25 0 1 0 834990051 62726144 14483 4294967295 134512640 134714508 3221224576 3221220460 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15314 14483 1111 63 0 15251 0
vsize: 61256
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 122966 0 2 0 49722 279 0 0 25 0 1 0 834990051 62726144 14536 4294967295 134512640 134714508 3221224576 3221220788 1075117761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15314 14536 1111 63 0 15251 0
vsize: 61256
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 122966 0 2 0 50722 279 0 0 25 0 1 0 834990051 62726144 14536 4294967295 134512640 134714508 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15314 14536 1111 63 0 15251 0
vsize: 61256
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 130661 0 2 0 51706 296 0 0 25 0 1 0 834990051 64258048 14810 4294967295 134512640 134714508 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15688 14810 1111 63 0 15625 0
vsize: 62752
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 130808 0 2 0 52705 296 0 0 25 0 1 0 834990051 63344640 14734 4294967295 134512640 134714508 3221224576 3221220408 1074789281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15465 14734 1111 63 0 15402 0
vsize: 61860
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 130810 0 2 0 53705 296 0 0 25 0 1 0 834990051 63344640 14736 4294967295 134512640 134714508 3221224576 3221220540 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15465 14736 1111 63 0 15402 0
vsize: 61860
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 130814 0 2 0 54705 297 0 0 25 0 1 0 834990051 63344640 14740 4294967295 134512640 134714508 3221224576 3221220432 1074868535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15465 14740 1111 63 0 15402 0
vsize: 61860
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 130814 0 2 0 55706 297 0 0 25 0 1 0 834990051 63344640 14740 4294967295 134512640 134714508 3221224576 3221220432 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15465 14740 1111 63 0 15402 0
vsize: 61860
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 130989 0 2 0 56705 297 0 0 25 0 1 0 834990051 63488000 14692 4294967295 134512640 134714508 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15500 14692 1111 63 0 15437 0
vsize: 62000
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 139138 0 2 0 57687 316 0 0 25 0 1 0 834990051 64212992 14890 4294967295 134512640 134714508 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15677 14890 1111 63 0 15614 0
vsize: 62708
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 139202 0 2 0 58687 316 0 0 25 0 1 0 834990051 64212992 14951 4294967295 134512640 134714508 3221224576 3221220788 1075117447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15677 14951 1111 63 0 15614 0
vsize: 62708
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 139202 0 2 0 59687 316 0 0 25 0 1 0 834990051 64212992 14951 4294967295 134512640 134714508 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15677 14951 1111 63 0 15614 0
vsize: 62708
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 139385 0 2 0 60687 316 0 0 25 0 1 0 834990051 64360448 14911 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15713 14911 1111 63 0 15650 0
vsize: 62852
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 141419 0 2 0 61682 321 0 0 25 0 1 0 834990051 59342848 13810 4294967295 134512640 134714508 3221224576 3221222352 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14488 13810 1111 63 0 14425 0
vsize: 57952
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 143730 0 2 0 62677 327 0 0 25 0 1 0 834990051 64212992 14820 4294967295 134512640 134714508 3221224576 3221221504 1075960432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15677 14820 1111 63 0 15614 0
vsize: 62708
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 143799 0 2 0 63677 327 0 0 25 0 1 0 834990051 64212992 14889 4294967295 134512640 134714508 3221224576 3221220516 1074786547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15677 14889 1111 63 0 15614 0
vsize: 62708
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 143806 0 2 0 64677 327 0 0 25 0 1 0 834990051 64212992 14893 4294967295 134512640 134714508 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15677 14893 1111 63 0 15614 0
vsize: 62708
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 145713 0 2 0 65673 331 0 0 25 0 1 0 834990051 60018688 13943 4294967295 134512640 134714508 3221224576 3221222728 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14653 13943 1111 63 0 14590 0
vsize: 58612
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 152321 0 2 0 66659 345 0 0 25 0 1 0 834990051 65150976 15170 4294967295 134512640 134714508 3221224576 3221220432 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15906 15170 1111 63 0 15843 0
vsize: 63624
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 152348 0 2 0 67659 346 0 0 25 0 1 0 834990051 65150976 15197 4294967295 134512640 134714508 3221224576 3221220432 1074867970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15906 15197 1111 63 0 15843 0
vsize: 63624
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 152348 0 2 0 68659 346 0 0 25 0 1 0 834990051 65150976 15197 4294967295 134512640 134714508 3221224576 3221220432 1074871239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15906 15197 1111 63 0 15843 0
vsize: 63624
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 152354 0 2 0 69660 346 0 0 25 0 1 0 834990051 65150976 15203 4294967295 134512640 134714508 3221224576 3221220432 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15906 15203 1111 63 0 15843 0
vsize: 63624
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 159822 0 2 0 70644 361 0 0 25 0 1 0 834990051 64131072 14955 4294967295 134512640 134714508 3221224576 3221222576 1074916690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15657 14955 1111 63 0 15594 0
vsize: 62628
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 161385 0 2 0 71642 364 0 0 25 0 1 0 834990051 66183168 15455 4294967295 134512640 134714508 3221224576 3221220472 1074787033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16158 15455 1111 63 0 16095 0
vsize: 64632
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 161461 0 2 0 72641 364 0 0 25 0 1 0 834990051 66490368 15531 4294967295 134512640 134714508 3221224576 3221220952 1075112606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16233 15531 1111 63 0 16170 0
vsize: 64932
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 161465 0 2 0 73642 364 0 0 25 0 1 0 834990051 66490368 15535 4294967295 134512640 134714508 3221224576 3221220472 1074787084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16233 15535 1111 63 0 16170 0
vsize: 64932
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 161466 0 2 0 74642 364 0 0 25 0 1 0 834990051 66490368 15536 4294967295 134512640 134714508 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16233 15536 1111 63 0 16170 0
vsize: 64932
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 161472 0 2 0 75642 364 0 0 25 0 1 0 834990051 66654208 15542 4294967295 134512640 134714508 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16273 15542 1111 63 0 16210 0
vsize: 65092
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 175505 0 2 0 76612 394 0 0 25 0 1 0 834990051 68984832 15984 4294967295 134512640 134714508 3221224576 3221220620 1074873471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16842 15984 1111 63 0 16779 0
vsize: 67368
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 175666 0 2 0 77612 395 0 0 25 0 1 0 834990051 67874816 15875 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16571 15875 1111 63 0 16508 0
vsize: 66284
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 175666 0 2 0 78612 395 0 0 25 0 1 0 834990051 67874816 15875 4294967295 134512640 134714508 3221224576 3221220472 1074787042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16571 15875 1111 63 0 16508 0
vsize: 66284
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 175666 0 2 0 79612 395 0 0 25 0 1 0 834990051 67874816 15875 4294967295 134512640 134714508 3221224576 3221220788 1075117761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16571 15875 1111 63 0 16508 0
vsize: 66284
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 175666 0 2 0 80612 395 0 0 25 0 1 0 834990051 67874816 15875 4294967295 134512640 134714508 3221224576 3221220408 1074789222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16571 15875 1111 63 0 16508 0
vsize: 66284
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 175666 0 2 0 81612 395 0 0 25 0 1 0 834990051 67874816 15875 4294967295 134512640 134714508 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16571 15875 1111 63 0 16508 0
vsize: 66284
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 182933 0 2 0 82596 411 0 0 25 0 1 0 834990051 63340544 14786 4294967295 134512640 134714508 3221224576 3221222880 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 14786 1111 63 0 15401 0
vsize: 61856
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 185924 0 2 0 83589 418 0 0 25 0 1 0 834990051 68845568 16055 4294967295 134512640 134714508 3221224576 3221220544 1074872790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16808 16055 1111 63 0 16745 0
vsize: 67232
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 185926 0 2 0 84589 418 0 0 25 0 1 0 834990051 68845568 16057 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16808 16057 1111 63 0 16745 0
vsize: 67232
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 188299 0 2 0 85583 425 0 0 25 0 1 0 834990051 62459904 14571 4294967295 134512640 134714508 3221224576 3221219312 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15249 14571 1111 63 0 15186 0
vsize: 60996
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 189606 0 2 0 86579 429 0 0 25 0 1 0 834990051 66215936 15484 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16166 15484 1111 63 0 16103 0
vsize: 64664
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 191269 0 2 0 87576 433 0 0 25 0 1 0 834990051 68587520 15966 4294967295 134512640 134714508 3221224576 3221220540 1074788187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16745 15966 1111 63 0 16682 0
vsize: 66980
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 191373 0 2 0 88576 433 0 0 25 0 1 0 834990051 68689920 16070 4294967295 134512640 134714508 3221224576 3221220408 1074789196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16770 16070 1111 63 0 16707 0
vsize: 67080
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 191374 0 2 0 89576 433 0 0 25 0 1 0 834990051 68689920 16071 4294967295 134512640 134714508 3221224576 3221220432 1074868858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16770 16071 1111 63 0 16707 0
vsize: 67080
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 191377 0 2 0 90576 433 0 0 25 0 1 0 834990051 68853760 16074 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16810 16074 1111 63 0 16747 0
vsize: 67240
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 191377 0 2 0 91576 433 0 0 25 0 1 0 834990051 68853760 16074 4294967295 134512640 134714508 3221224576 3221220752 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16810 16074 1111 63 0 16747 0
vsize: 67240
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 191383 0 2 0 92576 433 0 0 25 0 1 0 834990051 68853760 16080 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16810 16080 1111 63 0 16747 0
vsize: 67240
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 191383 0 2 0 93577 433 0 0 25 0 1 0 834990051 68853760 16080 4294967295 134512640 134714508 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16810 16080 1111 63 0 16747 0
vsize: 67240
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 201510 0 2 0 94554 456 0 0 25 0 1 0 834990051 69410816 16133 4294967295 134512640 134714508 3221224576 3221221520 1074620363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16946 16133 1111 63 0 16883 0
vsize: 67784
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 201657 0 2 0 95553 456 0 0 25 0 1 0 834990051 69537792 16279 4294967295 134512640 134714508 3221224576 3221221108 1074260625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16977 16279 1111 63 0 16914 0
vsize: 67908
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 201698 0 2 0 96553 457 0 0 25 0 1 0 834990051 69656576 16320 4294967295 134512640 134714508 3221224576 3221221168 1074885453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17006 16320 1111 63 0 16943 0
vsize: 68024
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 201699 0 2 0 97553 457 0 0 25 0 1 0 834990051 69656576 16321 4294967295 134512640 134714508 3221224576 3221220432 1074867970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17006 16321 1111 63 0 16943 0
vsize: 68024
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 201699 0 2 0 98555 457 0 0 25 0 1 0 834990051 69656576 16321 4294967295 134512640 134714508 3221224576 3221220432 1074871225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17006 16321 1111 63 0 16943 0
vsize: 68024
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 201705 0 2 0 99556 457 0 0 25 0 1 0 834990051 69816320 16327 4294967295 134512640 134714508 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17045 16327 1111 63 0 16982 0
vsize: 68180
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 201705 0 2 0 100557 457 0 0 25 0 1 0 834990051 69816320 16327 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17045 16327 1111 63 0 16982 0
vsize: 68180
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 212320 0 2 0 101535 479 0 0 25 0 1 0 834990051 71852032 16659 4294967295 134512640 134714508 3221224576 3221220620 1074873501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17542 16659 1111 63 0 17479 0
vsize: 70168
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 212475 0 2 0 102534 480 0 0 25 0 1 0 834990051 70565888 16503 4294967295 134512640 134714508 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16503 1111 63 0 17165 0
vsize: 68912
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 212491 0 2 0 103534 480 0 0 25 0 1 0 834990051 70565888 16519 4294967295 134512640 134714508 3221224576 3221220788 1075117753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16519 1111 63 0 17165 0
vsize: 68912
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 212491 0 2 0 104535 480 0 0 25 0 1 0 834990051 70565888 16519 4294967295 134512640 134714508 3221224576 3221220480 1074786854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16519 1111 63 0 17165 0
vsize: 68912
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 212494 0 2 0 105535 480 0 0 25 0 1 0 834990051 70565888 16522 4294967295 134512640 134714508 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16522 1111 63 0 17165 0
vsize: 68912
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 212494 0 2 0 106535 480 0 0 25 0 1 0 834990051 70565888 16522 4294967295 134512640 134714508 3221224576 3221220432 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16522 1111 63 0 17165 0
vsize: 68912
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 212501 0 2 0 107535 480 0 0 25 0 1 0 834990051 70721536 16529 4294967295 134512640 134714508 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17266 16529 1111 63 0 17203 0
vsize: 69064
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 223203 0 2 0 108511 504 0 0 25 0 1 0 834990051 73105408 16509 4294967295 134512640 134714508 3221224576 3221220736 1075092807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17848 16509 1111 63 0 17785 0
vsize: 71392
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 223659 0 2 0 109511 505 0 0 25 0 1 0 834990051 71819264 16652 4294967295 134512640 134714508 3221224576 3221220648 1075964740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17534 16652 1111 63 0 17471 0
vsize: 70136
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 223659 0 2 0 110511 505 0 0 25 0 1 0 834990051 71819264 16652 4294967295 134512640 134714508 3221224576 3221220540 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17534 16652 1111 63 0 17471 0
vsize: 70136
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 223661 0 2 0 111511 505 0 0 25 0 1 0 834990051 71819264 16654 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17534 16654 1111 63 0 17471 0
vsize: 70136
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 223661 0 2 0 112511 505 0 0 25 0 1 0 834990051 71819264 16654 4294967295 134512640 134714508 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17534 16654 1111 63 0 17471 0
vsize: 70136
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11289
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 233370 0 2 0 113489 527 0 0 25 0 1 0 834990051 70053888 16404 4294967295 134512640 134714508 3221224576 3221222576 1074918215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17103 16404 1111 63 0 17040 0
vsize: 68412
[startup+1150.07 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11352
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 235430 0 2 0 114484 532 0 0 25 0 1 0 834990051 72916992 17066 4294967295 134512640 134714508 3221224576 3221220508 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17802 17066 1111 63 0 17739 0
vsize: 71208
[startup+1160.17 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11352
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 235611 0 2 0 115494 533 0 0 25 0 1 0 834990051 73584640 17247 4294967295 134512640 134714508 3221224576 3221221380 1075117761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17965 17247 1111 63 0 17902 0
vsize: 71860
[startup+1170.17 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11352
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 235611 0 2 0 116493 533 0 0 25 0 1 0 834990051 73584640 17247 4294967295 134512640 134714508 3221224576 3221220432 1074868011 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17965 17247 1111 63 0 17902 0
vsize: 71860
[startup+1180.17 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11352
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 235615 0 2 0 117493 533 0 0 25 0 1 0 834990051 73584640 17251 4294967295 134512640 134714508 3221224576 3221220788 1075117761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17965 17251 1111 63 0 17902 0
vsize: 71860
[startup+1190.17 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11352
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 235617 0 2 0 118493 534 0 0 25 0 1 0 834990051 73584640 17253 4294967295 134512640 134714508 3221224576 3221220788 1075117408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17965 17253 1111 63 0 17902 0
vsize: 71860
[startup+1200.17 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11352
Raw data (stat): 11289 (bsolo_lpr_cuts) R 11288 3394 3393 0 -1 0 235617 0 2 0 119493 534 0 0 25 0 1 0 834990051 73584640 17253 4294967295 134512640 134714508 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17965 17253 1111 63 0 17902 0
vsize: 71860
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.03 0.99 0.91 1/54 11352
Raw data (stat): 11289 (bsolo_lpr_cuts) Z 11288 3394 3393 0 -1 1036 235617 0 2 0 119493 538 0 0 25 0 1 0 834990051 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.21
CPU time (s): 1200.32
CPU user time (s): 1194.93
CPU system time (s): 5.38218
CPU usage (%): 100.009
Max. virtual memory (Kb): 71860
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####