PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb
MD5SUM	d1d488615de0d5a5bcf2a298507e66b1
Bench Category	optimization, medium integers (OPTMEDINT)
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	72966962
Number of bits of the biggest number in a constraint	27
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	90.9232
Number of variables	2134
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	51
Trace number 27328

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-24 21:00:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17526 boxname=wulflinc8 idbench=1349 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  d1d488615de0d5a5bcf2a298507e66b1  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-fiber.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-fiber.opb
IDLAUNCH: 17526
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        472328 kB
Buffers:         35036 kB
Cached:         506244 kB
SwapCached:          0 kB
Active:          67796 kB
Inactive:       476484 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        472076 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            12420 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:20:49 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 17526 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2134 variables and 711 constraints.
c After prepocess the problem consists of 1934 variables and 590 constraints.
c preprocess terminated 1.122 s
c Initial Lower Bound: 15612078
c Lower Bound Elapsed time: 0.268
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): 1.01 1.01 0.93 2/54 7802
Raw data (stat): 7802 (runsolver) R 7801 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 761526522 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 7802
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 12141 0 0 0 970 27 0 0 25 0 1 0 761526522 43454464 9804 4294967295 134512640 134714508 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10609 9804 1111 63 0 10546 0
vsize: 42436
[startup+20.0016 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7802
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 14110 0 0 0 1964 32 0 0 25 0 1 0 761526522 43778048 9902 4294967295 134512640 134714508 3221224592 3221220820 1075115125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10688 9902 1111 63 0 10625 0
vsize: 42752
[startup+30.0011 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 17524 0 0 0 2957 39 0 0 25 0 1 0 761526522 43692032 9985 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10667 9985 1111 63 0 10604 0
vsize: 42668
[startup+40.0012 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 22734 0 0 0 3946 51 0 0 25 0 1 0 761526522 43773952 9994 4294967295 134512640 134714508 3221224592 3221222448 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10687 9994 1111 63 0 10624 0
vsize: 42748
[startup+50.002 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 27172 0 0 0 4935 61 0 0 25 0 1 0 761526522 45662208 10346 4294967295 134512640 134714508 3221224592 3221221576 1074831856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11148 10346 1111 63 0 11085 0
vsize: 44592
[startup+60.0077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 31440 0 0 0 5927 71 0 0 25 0 1 0 761526522 46190592 10522 4294967295 134512640 134714508 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11277 10522 1111 63 0 11214 0
vsize: 45108
[startup+70.1102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 34925 0 0 0 6930 78 0 0 25 0 1 0 761526522 46362624 10544 4294967295 134512640 134714508 3221224592 3221221536 1074620369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11319 10544 1111 63 0 11256 0
vsize: 45276
[startup+80.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 38899 0 0 0 7921 87 0 0 25 0 1 0 761526522 46854144 10713 4294967295 134512640 134714508 3221224592 3221220648 1074789806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11439 10713 1111 63 0 11376 0
vsize: 45756
[startup+90.1097 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 41849 0 0 0 8913 95 0 0 25 0 1 0 761526522 45944832 10535 4294967295 134512640 134714508 3221224592 3221222592 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11217 10535 1111 63 0 11154 0
vsize: 44868
[startup+100.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 44191 0 0 0 9908 101 0 0 25 0 1 0 761526522 47013888 10754 4294967295 134512640 134714508 3221224592 3221220448 1074871225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11478 10754 1111 63 0 11415 0
vsize: 45912
[startup+110.11 s]
Raw data (loadavg): 1.08 1.02 0.94 3/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 49102 0 0 0 10897 112 0 0 25 0 1 0 761526522 45916160 10468 4294967295 134512640 134714508 3221224592 3221222912 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11210 10468 1111 63 0 11147 0
vsize: 44840
[startup+120.122 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 52378 0 0 0 11890 120 0 0 25 0 1 0 761526522 46981120 10775 4294967295 134512640 134714508 3221224592 3221220448 1074871217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11470 10775 1111 63 0 11407 0
vsize: 45880
[startup+130.122 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 57127 0 0 0 12880 131 0 0 25 0 1 0 761526522 47132672 10786 4294967295 134512640 134714508 3221224592 3221220560 1074872841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11507 10786 1111 63 0 11444 0
vsize: 46028
[startup+140.123 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 62257 0 0 0 13869 142 0 0 25 0 1 0 761526522 47144960 10808 4294967295 134512640 134714508 3221224592 3221220636 1074873537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11510 10808 1111 63 0 11447 0
vsize: 46040
[startup+150.122 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 65019 0 0 0 14862 148 0 0 25 0 1 0 761526522 47312896 10824 4294967295 134512640 134714508 3221224592 3221220488 1074789806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11551 10824 1111 63 0 11488 0
vsize: 46204
[startup+160.123 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 69561 0 0 0 15852 159 0 0 25 0 1 0 761526522 46231552 10558 4294967295 134512640 134714508 3221224592 3221223232 134644971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11287 10558 1111 63 0 11224 0
vsize: 45148
[startup+170.123 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 74404 0 0 0 16841 170 0 0 25 0 1 0 761526522 47407104 10880 4294967295 134512640 134714508 3221224592 3221220448 1074871035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11574 10880 1111 63 0 11511 0
vsize: 46296
[startup+180.123 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 75808 0 0 0 17838 173 0 0 25 0 1 0 761526522 47517696 10905 4294967295 134512640 134714508 3221224592 3221220460 1074787561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11601 10905 1111 63 0 11538 0
vsize: 46404
[startup+190.124 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 81687 0 0 0 18825 186 0 0 25 0 1 0 761526522 47714304 10949 4294967295 134512640 134714508 3221224592 3221220736 1074970166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11649 10949 1111 63 0 11586 0
vsize: 46596
[startup+200.123 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 84759 0 0 0 19818 193 0 0 25 0 1 0 761526522 47935488 11006 4294967295 134512640 134714508 3221224592 3221220796 1075564177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11703 11006 1111 63 0 11640 0
vsize: 46812
[startup+210.124 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 89482 0 0 0 20809 203 0 0 25 0 1 0 761526522 48189440 11026 4294967295 134512640 134714508 3221224592 3221220564 1074786567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11765 11026 1111 63 0 11702 0
vsize: 47060
[startup+220.125 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 89533 0 0 0 21808 203 0 0 25 0 1 0 761526522 48349184 11075 4294967295 134512640 134714508 3221224592 3221220540 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11804 11075 1111 63 0 11741 0
vsize: 47216
[startup+230.125 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 94367 0 0 0 22797 215 0 0 25 0 1 0 761526522 48455680 11124 4294967295 134512640 134714508 3221224592 3221220820 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11830 11124 1111 63 0 11767 0
vsize: 47320
[startup+240.125 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 96626 0 0 0 23792 221 0 0 25 0 1 0 761526522 47185920 10764 4294967295 134512640 134714508 3221224592 3221223120 134648531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11520 10764 1111 63 0 11457 0
vsize: 46080
[startup+250.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 98319 0 0 0 24788 225 0 0 25 0 1 0 761526522 47210496 10776 4294967295 134512640 134714508 3221224592 3221222896 1073990086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11526 10776 1111 63 0 11463 0
vsize: 46104
[startup+260.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 103891 0 0 0 25775 237 0 0 25 0 1 0 761526522 48824320 11224 4294967295 134512640 134714508 3221224592 3221220620 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11920 11224 1111 63 0 11857 0
vsize: 47680
[startup+270.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7804
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 104687 0 0 0 26773 239 0 0 25 0 1 0 761526522 46850048 10756 4294967295 134512640 134714508 3221224592 3221222544 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11438 10756 1111 63 0 11375 0
vsize: 45752
[startup+280.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 105556 0 0 0 27770 242 0 0 25 0 1 0 761526522 48877568 11207 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11933 11207 1111 63 0 11870 0
vsize: 47732
[startup+290.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 107194 0 0 0 28766 246 0 0 25 0 1 0 761526522 48906240 11215 4294967295 134512640 134714508 3221224592 3221220676 1075964390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11940 11215 1111 63 0 11877 0
vsize: 47760
[startup+300.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 108841 0 0 0 29762 251 0 0 25 0 1 0 761526522 48791552 11223 4294967295 134512640 134714508 3221224592 3221221164 1076044931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11912 11223 1111 63 0 11849 0
vsize: 47648
[startup+310.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 112135 0 0 0 30754 259 0 0 25 0 1 0 761526522 48861184 11235 4294967295 134512640 134714508 3221224592 3221220560 1074872805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11929 11235 1111 63 0 11866 0
vsize: 47716
[startup+320.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 120824 0 0 0 31735 278 0 0 25 0 1 0 761526522 49094656 11287 4294967295 134512640 134714508 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11986 11287 1111 63 0 11923 0
vsize: 47944
[startup+330.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 120833 0 0 0 32735 278 0 0 25 0 1 0 761526522 49094656 11294 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11986 11294 1111 63 0 11923 0
vsize: 47944
[startup+340.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 122681 0 0 0 33730 283 0 0 25 0 1 0 761526522 49090560 11293 4294967295 134512640 134714508 3221224592 3221221168 1076047591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11985 11293 1111 63 0 11922 0
vsize: 47940
[startup+350.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 126819 0 0 0 34721 292 0 0 25 0 1 0 761526522 47837184 10943 4294967295 134512640 134714508 3221224592 3221223072 1074031945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11679 10943 1111 63 0 11616 0
vsize: 46716
[startup+360.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 131462 0 0 0 35711 302 0 0 25 0 1 0 761526522 49537024 11404 4294967295 134512640 134714508 3221224592 3221220928 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12094 11404 1111 63 0 12031 0
vsize: 48376
[startup+370.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 139049 0 0 0 36694 320 0 0 25 0 1 0 761526522 49950720 11473 4294967295 134512640 134714508 3221224592 3221220564 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12195 11473 1111 63 0 12132 0
vsize: 48780
[startup+380.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 139124 0 0 0 37693 321 0 0 25 0 1 0 761526522 49930240 11479 4294967295 134512640 134714508 3221224592 3221220796 1075564184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12190 11479 1111 63 0 12127 0
vsize: 48760
[startup+390.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 141136 0 0 0 38688 326 0 0 25 0 1 0 761526522 50012160 11510 4294967295 134512640 134714508 3221224592 3221220700 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12210 11510 1111 63 0 12147 0
vsize: 48840
[startup+400.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 147197 0 0 0 39675 339 0 0 25 0 1 0 761526522 50151424 11517 4294967295 134512640 134714508 3221224592 3221220564 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12244 11517 1111 63 0 12181 0
vsize: 48976
[startup+410.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 154069 0 0 0 40659 355 0 0 25 0 1 0 761526522 48459776 11150 4294967295 134512640 134714508 3221224592 3221223096 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11831 11150 1111 63 0 11768 0
vsize: 47324
[startup+420.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 159131 0 0 0 41648 366 0 0 25 0 1 0 761526522 50839552 11692 4294967295 134512640 134714508 3221224592 3221220744 1074883349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12412 11692 1111 63 0 12349 0
vsize: 49648
[startup+430.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 161188 0 0 0 42643 371 0 0 25 0 1 0 761526522 50720768 11667 4294967295 134512640 134714508 3221224592 3221220720 1075112389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12383 11667 1111 63 0 12320 0
vsize: 49532
[startup+440.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 161190 0 0 0 43643 372 0 0 25 0 1 0 761526522 50720768 11669 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12383 11669 1111 63 0 12320 0
vsize: 49532
[startup+450.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 165234 0 0 0 44634 381 0 0 25 0 1 0 761526522 50892800 11722 4294967295 134512640 134714508 3221224592 3221221424 1075115295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12425 11722 1111 63 0 12362 0
vsize: 49700
[startup+460.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 169455 0 0 0 45624 391 0 0 25 0 1 0 761526522 51142656 11788 4294967295 134512640 134714508 3221224592 3221220488 1074789686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12486 11788 1111 63 0 12423 0
vsize: 49944
[startup+470.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 173666 0 0 0 46614 402 0 0 25 0 1 0 761526522 51298304 11809 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12524 11809 1111 63 0 12461 0
vsize: 50096
[startup+480.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 177935 0 0 0 47605 411 0 0 25 0 1 0 761526522 51429376 11855 4294967295 134512640 134714508 3221224592 3221220752 1075091565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12556 11855 1111 63 0 12493 0
vsize: 50224
[startup+490.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 177945 0 0 0 48604 411 0 0 25 0 1 0 761526522 49565696 11425 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12101 11425 1111 63 0 12038 0
vsize: 48404
[startup+500.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 182374 0 0 0 49594 421 0 0 25 0 1 0 761526522 51499008 11871 4294967295 134512640 134714508 3221224592 3221220564 1074786501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12573 11871 1111 63 0 12510 0
vsize: 50292
[startup+510.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 182376 0 0 0 50594 422 0 0 25 0 1 0 761526522 51499008 11873 4294967295 134512640 134714508 3221224592 3221220500 1074786562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12573 11873 1111 63 0 12510 0
vsize: 50292
[startup+520.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 191416 0 0 0 51574 442 0 0 25 0 1 0 761526522 51863552 11930 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12662 11930 1111 63 0 12599 0
vsize: 50648
[startup+530.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 196192 0 0 0 52564 452 0 0 25 0 1 0 761526522 51978240 11978 4294967295 134512640 134714508 3221224592 3221220636 1074873543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12690 11978 1111 63 0 12627 0
vsize: 50760
[startup+540.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 196225 0 0 0 53565 452 0 0 25 0 1 0 761526522 51740672 11926 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12632 11926 1111 63 0 12569 0
vsize: 50528
[startup+550.137 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 201144 0 0 0 54555 463 0 0 25 0 1 0 761526522 51847168 11957 4294967295 134512640 134714508 3221224592 3221220500 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12658 11957 1111 63 0 12595 0
vsize: 50632
[startup+560.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 201169 0 0 0 55554 463 0 0 25 0 1 0 761526522 51924992 11981 4294967295 134512640 134714508 3221224592 3221220556 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12677 11981 1111 63 0 12614 0
vsize: 50708
[startup+570.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 204851 0 0 0 56545 472 0 0 25 0 1 0 761526522 49225728 11342 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12018 11342 1111 63 0 11955 0
vsize: 48072
[startup+580.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 206267 0 0 0 57542 475 0 0 25 0 1 0 761526522 52400128 12083 4294967295 134512640 134714508 3221224592 3221220540 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12793 12083 1111 63 0 12730 0
vsize: 51172
[startup+590.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 206642 0 0 0 58541 477 0 0 25 0 1 0 761526522 50372608 11609 4294967295 134512640 134714508 3221224592 3221222336 1075645378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12298 11609 1111 63 0 12235 0
vsize: 49192
[startup+600.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 214835 0 0 0 59522 496 0 0 25 0 1 0 761526522 50499584 11530 4294967295 134512640 134714508 3221224592 3221222080 1074620369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12329 11530 1111 63 0 12266 0
vsize: 49316
[startup+610.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 216446 0 0 0 60519 499 0 0 25 0 1 0 761526522 53145600 12199 4294967295 134512640 134714508 3221224592 3221220448 1074868869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12975 12199 1111 63 0 12912 0
vsize: 51900
[startup+620.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 216446 0 0 0 61519 499 0 0 25 0 1 0 761526522 53145600 12199 4294967295 134512640 134714508 3221224592 3221220768 1074882552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12975 12199 1111 63 0 12912 0
vsize: 51900
[startup+630.138 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 221634 0 0 0 62508 511 0 0 25 0 1 0 761526522 54108160 12244 4294967295 134512640 134714508 3221224592 3221220820 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 12244 1111 63 0 13147 0
vsize: 52840
[startup+640.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 222979 0 0 0 63505 514 0 0 25 0 1 0 761526522 50225152 11545 4294967295 134512640 134714508 3221224592 3221223064 134606807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12262 11545 1111 63 0 12199 0
vsize: 49048
[startup+650.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 227176 0 0 0 64496 523 0 0 25 0 1 0 761526522 53424128 12261 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13043 12261 1111 63 0 12980 0
vsize: 52172
[startup+660.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 227177 0 0 0 65496 523 0 0 25 0 1 0 761526522 53424128 12262 4294967295 134512640 134714508 3221224592 3221220448 1074871220 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13043 12262 1111 63 0 12980 0
vsize: 52172
[startup+670.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 230997 0 0 0 66487 532 0 0 25 0 1 0 761526522 49733632 11447 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12142 11447 1111 63 0 12079 0
vsize: 48568
[startup+680.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 232458 0 0 0 67484 535 0 0 25 0 1 0 761526522 54317056 12256 4294967295 134512640 134714508 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13261 12256 1111 63 0 13198 0
vsize: 53044
[startup+690.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 237623 0 0 0 68473 547 0 0 25 0 1 0 761526522 54362112 12255 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13272 12255 1111 63 0 13209 0
vsize: 53088
[startup+700.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 242979 0 0 0 69461 559 0 0 25 0 1 0 761526522 54484992 12370 4294967295 134512640 134714508 3221224592 3221220924 1075112846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13302 12370 1111 63 0 13239 0
vsize: 53208
[startup+710.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 248476 0 0 0 70448 571 0 0 25 0 1 0 761526522 53846016 12305 4294967295 134512640 134714508 3221224592 3221220636 1074873456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13146 12305 1111 63 0 13083 0
vsize: 52584
[startup+720.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 248522 0 0 0 71448 572 0 0 25 0 1 0 761526522 53846016 12348 4294967295 134512640 134714508 3221224592 3221220804 1075117543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13146 12348 1111 63 0 13083 0
vsize: 52584
[startup+730.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 248527 0 0 0 72448 572 0 0 25 0 1 0 761526522 53846016 12353 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13146 12353 1111 63 0 13083 0
vsize: 52584
[startup+740.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 251527 0 0 0 73442 578 0 0 25 0 1 0 761526522 53841920 12352 4294967295 134512640 134714508 3221224592 3221220968 1075112600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13145 12352 1111 63 0 13082 0
vsize: 52580
[startup+750.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 251527 0 0 0 74442 578 0 0 25 0 1 0 761526522 53841920 12352 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13145 12352 1111 63 0 13082 0
vsize: 52580
[startup+760.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 257053 0 0 0 75429 591 0 0 25 0 1 0 761526522 54837248 12388 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13388 12388 1111 63 0 13325 0
vsize: 53552
[startup+770.142 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 259806 0 0 0 76423 597 0 0 25 0 1 0 761526522 54784000 12310 4294967295 134512640 134714508 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13375 12310 1111 63 0 13312 0
vsize: 53500
[startup+780.142 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 260030 0 0 0 77423 598 0 0 25 0 1 0 761526522 53948416 12330 4294967295 134512640 134714508 3221224592 3221220636 1074788217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13171 12330 1111 63 0 13108 0
vsize: 52684
[startup+790.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 260030 0 0 0 78422 598 0 0 25 0 1 0 761526522 53948416 12330 4294967295 134512640 134714508 3221224592 3221220796 1075564188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13171 12330 1111 63 0 13108 0
vsize: 52684
[startup+800.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 265209 0 0 0 79411 610 0 0 25 0 1 0 761526522 54988800 12429 4294967295 134512640 134714508 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13425 12429 1111 63 0 13362 0
vsize: 53700
[startup+810.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 269371 0 0 0 80401 620 0 0 25 0 1 0 761526522 52469760 12136 4294967295 134512640 134714508 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12810 12136 1111 63 0 12747 0
vsize: 51240
[startup+820.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 275752 0 0 0 81387 635 0 0 25 0 1 0 761526522 54165504 12431 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13224 12431 1111 63 0 13161 0
vsize: 52896
[startup+830.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 275800 0 0 0 82386 635 0 0 25 0 1 0 761526522 54165504 12479 4294967295 134512640 134714508 3221224592 3221220456 1074787033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13224 12479 1111 63 0 13161 0
vsize: 52896
[startup+840.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 275803 0 0 0 83386 636 0 0 25 0 1 0 761526522 54329344 12482 4294967295 134512640 134714508 3221224592 3221220768 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13264 12482 1111 63 0 13201 0
vsize: 53056
[startup+850.142 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 278680 0 0 0 84379 642 0 0 25 0 1 0 761526522 54308864 12445 4294967295 134512640 134714508 3221224592 3221220664 1075964733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13259 12445 1111 63 0 13196 0
vsize: 53036
[startup+860.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 278683 0 0 0 85379 642 0 0 25 0 1 0 761526522 54308864 12448 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13259 12448 1111 63 0 13196 0
vsize: 53036
[startup+870.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 284354 0 0 0 86366 655 0 0 25 0 1 0 761526522 54423552 12495 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13287 12495 1111 63 0 13224 0
vsize: 53148
[startup+880.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 284356 0 0 0 87366 656 0 0 25 0 1 0 761526522 54423552 12497 4294967295 134512640 134714508 3221224592 3221220476 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13287 12497 1111 63 0 13224 0
vsize: 53148
[startup+890.143 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 284356 0 0 0 88366 656 0 0 25 0 1 0 761526522 54423552 12497 4294967295 134512640 134714508 3221224592 3221220928 1075114289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13287 12497 1111 63 0 13224 0
vsize: 53148
[startup+900.144 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 287266 0 0 0 89359 663 0 0 25 0 1 0 761526522 55365632 12563 4294967295 134512640 134714508 3221224592 3221220736 1074969469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13517 12563 1111 63 0 13454 0
vsize: 54068
[startup+910.144 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 287431 0 0 0 90358 664 0 0 25 0 1 0 761526522 54530048 12522 4294967295 134512640 134714508 3221224592 3221220448 1074871045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13313 12522 1111 63 0 13250 0
vsize: 53252
[startup+920.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 288778 0 0 0 91355 667 0 0 25 0 1 0 761526522 51277824 11813 4294967295 134512640 134714508 3221224592 3221222744 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12519 11813 1111 63 0 12456 0
vsize: 50076
[startup+930.144 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 293299 0 0 0 92345 677 0 0 25 0 1 0 761526522 54591488 12557 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13328 12557 1111 63 0 13265 0
vsize: 53312
[startup+940.144 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 293300 0 0 0 93345 678 0 0 25 0 1 0 761526522 54591488 12558 4294967295 134512640 134714508 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13328 12558 1111 63 0 13265 0
vsize: 53312
[startup+950.144 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 298971 0 0 0 94332 691 0 0 25 0 1 0 761526522 55508992 12492 4294967295 134512640 134714508 3221224592 3221220636 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13552 12492 1111 63 0 13489 0
vsize: 54208
[startup+960.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 299243 0 0 0 95331 691 0 0 25 0 1 0 761526522 54673408 12559 4294967295 134512640 134714508 3221224592 3221220560 1074872816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13348 12559 1111 63 0 13285 0
vsize: 53392
[startup+970.146 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 303454 0 0 0 96322 701 0 0 25 0 1 0 761526522 51429376 11840 4294967295 134512640 134714508 3221224592 3221222896 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12556 11840 1111 63 0 12493 0
vsize: 50224
[startup+980.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 307995 0 0 0 97313 710 0 0 25 0 1 0 761526522 54693888 12546 4294967295 134512640 134714508 3221224592 3221220448 1074871225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13353 12546 1111 63 0 13290 0
vsize: 53412
[startup+990.146 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 313691 0 0 0 98301 722 0 0 25 0 1 0 761526522 55631872 12540 4294967295 134512640 134714508 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13582 12540 1111 63 0 13519 0
vsize: 54328
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 313916 0 0 0 99300 724 0 0 25 0 1 0 761526522 54796288 12558 4294967295 134512640 134714508 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13378 12558 1111 63 0 13315 0
vsize: 53512
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 319757 0 0 0 100287 736 0 0 25 0 1 0 761526522 55713792 12630 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13602 12630 1111 63 0 13539 0
vsize: 54408
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 325701 0 0 0 101273 751 0 0 25 0 1 0 761526522 55803904 12666 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13624 12666 1111 63 0 13561 0
vsize: 54496
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 327154 0 0 0 102268 755 0 0 25 0 1 0 761526522 51036160 11786 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12460 11786 1111 63 0 12397 0
vsize: 49840
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 328789 0 0 0 103265 758 0 0 25 0 1 0 761526522 55803904 12667 4294967295 134512640 134714508 3221224592 3221220768 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13624 12667 1111 63 0 13561 0
vsize: 54496
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 331989 0 0 0 104257 766 0 0 25 0 1 0 761526522 54988800 12635 4294967295 134512640 134714508 3221224592 3221220800 1074815328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13425 12635 1111 63 0 13362 0
vsize: 53700
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 332018 0 0 0 105257 767 0 0 25 0 1 0 761526522 54988800 12661 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13425 12661 1111 63 0 13362 0
vsize: 53700
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 337846 0 0 0 106243 781 0 0 25 0 1 0 761526522 55828480 12482 4294967295 134512640 134714508 3221224592 3221220856 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13630 12482 1111 63 0 13567 0
vsize: 54520
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 341083 0 0 0 107236 788 0 0 25 0 1 0 761526522 55005184 12620 4294967295 134512640 134714508 3221224592 3221220700 1074797337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13429 12620 1111 63 0 13366 0
vsize: 53716
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 341085 0 0 0 108236 788 0 0 25 0 1 0 761526522 55005184 12622 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13429 12622 1111 63 0 13366 0
vsize: 53716
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 345638 0 0 0 109225 799 0 0 25 0 1 0 761526522 51793920 11944 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12645 11944 1111 63 0 12582 0
vsize: 50580
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 347392 0 0 0 110222 802 0 0 25 0 1 0 761526522 55078912 12617 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13447 12617 1111 63 0 13384 0
vsize: 53788
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 350356 0 0 0 111214 810 0 0 25 0 1 0 761526522 56107008 12654 4294967295 134512640 134714508 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13698 12654 1111 63 0 13635 0
vsize: 54792
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 350573 0 0 0 112213 811 0 0 25 0 1 0 761526522 55271424 12669 4294967295 134512640 134714508 3221224592 3221220596 1074875789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13494 12669 1111 63 0 13431 0
vsize: 53976
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 350581 0 0 0 113213 811 0 0 25 0 1 0 761526522 55271424 12674 4294967295 134512640 134714508 3221224592 3221220560 1074872882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13494 12674 1111 63 0 13431 0
vsize: 53976
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 352019 0 0 0 114210 814 0 0 25 0 1 0 761526522 51900416 11973 4294967295 134512640 134714508 3221224592 3221222912 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12671 11973 1111 63 0 12608 0
vsize: 50684
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 356688 0 0 0 115199 825 0 0 25 0 1 0 761526522 56287232 12814 4294967295 134512640 134714508 3221224592 3221220560 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13742 12814 1111 63 0 13679 0
vsize: 54968
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 363017 0 0 0 116185 840 0 0 25 0 1 0 761526522 56541184 12920 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13804 12920 1111 63 0 13741 0
vsize: 55216
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 363022 0 0 0 117185 840 0 0 25 0 1 0 761526522 56541184 12925 4294967295 134512640 134714508 3221224592 3221221664 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13804 12925 1111 63 0 13741 0
vsize: 55216
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 369427 0 0 0 118169 856 0 0 25 0 1 0 761526522 56836096 12983 4294967295 134512640 134714508 3221224592 3221220796 1075564289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13876 12983 1111 63 0 13813 0
vsize: 55504
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) R 7801 3132 3131 0 -1 0 373863 0 0 0 119158 866 0 0 25 0 1 0 761526522 52125696 12051 4294967295 134512640 134714508 3221224592 3221222480 1074839045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12726 12051 1111 63 0 12663 0
vsize: 50904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 7806
Raw data (stat): 7802 (bsolo_lpr_cuts) Z 7801 3132 3131 0 -1 1036 373863 0 0 0 119158 869 0 0 25 0 1 0 761526522 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.18
CPU time (s): 1200.28
CPU user time (s): 1191.59
CPU system time (s): 8.69068
CPU usage (%): 100.009
Max. virtual memory (Kb): 55504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####