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/miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUM	02cc3bacd8064c2ceecf74a8d0a8ab0f
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.3155
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 26583

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 16:16:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12534 boxname=wulflinc7 idbench=965 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  02cc3bacd8064c2ceecf74a8d0a8ab0f  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 12534
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        876636 kB
Buffers:         34648 kB
Cached:         102272 kB
SwapCached:        100 kB
Active:          62732 kB
Inactive:        76936 kB
HighTotal:      131008 kB
HighFree:        24556 kB
LowTotal:       903652 kB
LowFree:        852080 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6744 kB
Slab:            12736 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:36:12 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 12534 7 1200.24 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.204 s
c Initial Lower Bound: 15608777
c Lower Bound Elapsed time: 0.2755
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.70 0.88 0.95 2/54 26164
Raw data (stat): 26164 (runsolver) R 26163 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773392569 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 s]
Raw data (loadavg): 0.75 0.89 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 13928 0 0 0 963 33 0 0 25 0 1 0 773392569 43159552 9834 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10537 9834 1111 63 0 10474 0
vsize: 42148
[startup+20.0006 s]
Raw data (loadavg): 0.79 0.89 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 19471 0 0 0 1950 46 0 0 25 0 1 0 773392569 44617728 10094 4294967295 134512640 134714508 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10893 10094 1111 63 0 10830 0
vsize: 43572
[startup+30.0009 s]
Raw data (loadavg): 0.82 0.89 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 24878 0 0 0 2938 59 0 0 25 0 1 0 773392569 47853568 10962 4294967295 134512640 134714508 3221224592 3221220448 1074868789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11683 10962 1111 63 0 11620 0
vsize: 46732
[startup+40.001 s]
Raw data (loadavg): 0.85 0.90 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 29889 0 0 0 3926 71 0 0 25 0 1 0 773392569 48836608 11204 4294967295 134512640 134714508 3221224592 3221220448 1074868875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11923 11204 1111 63 0 11860 0
vsize: 47692
[startup+50.0019 s]
Raw data (loadavg): 0.87 0.90 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 31777 0 0 0 4922 76 0 0 25 0 1 0 773392569 49479680 11380 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12080 11380 1111 63 0 12017 0
vsize: 48320
[startup+60.0012 s]
Raw data (loadavg): 0.89 0.90 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 34200 0 0 0 5916 81 0 0 25 0 1 0 773392569 49639424 11397 4294967295 134512640 134714508 3221224592 3221220448 1074870792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12119 11397 1111 63 0 12056 0
vsize: 48476
[startup+70.0018 s]
Raw data (loadavg): 0.91 0.91 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 38491 0 0 0 6907 91 0 0 25 0 1 0 773392569 50577408 11656 4294967295 134512640 134714508 3221224592 3221221584 1075338873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12348 11656 1111 63 0 12285 0
vsize: 49392
[startup+80.0015 s]
Raw data (loadavg): 0.92 0.91 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 41878 0 0 0 7900 98 0 0 25 0 1 0 773392569 51978240 11983 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12690 11983 1111 63 0 12627 0
vsize: 50760
[startup+90.0027 s]
Raw data (loadavg): 0.93 0.91 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 45356 0 0 0 8893 105 0 0 25 0 1 0 773392569 52240384 12003 4294967295 134512640 134714508 3221224592 3221220556 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12754 12003 1111 63 0 12691 0
vsize: 51016
[startup+100.003 s]
Raw data (loadavg): 0.94 0.91 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 49218 0 0 0 9885 113 0 0 25 0 1 0 773392569 53014528 12234 4294967295 134512640 134714508 3221224592 3221220832 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12943 12234 1111 63 0 12880 0
vsize: 51772
[startup+110.002 s]
Raw data (loadavg): 0.95 0.92 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 51168 0 0 0 10881 118 0 0 25 0 1 0 773392569 53436416 12165 4294967295 134512640 134714508 3221224592 3221220636 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13046 12165 1111 63 0 12983 0
vsize: 52184
[startup+120.003 s]
Raw data (loadavg): 0.96 0.92 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 51345 0 0 0 11880 118 0 0 25 0 1 0 773392569 53153792 12233 4294967295 134512640 134714508 3221224592 3221220820 1075115076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12977 12233 1111 63 0 12914 0
vsize: 51908
[startup+130.003 s]
Raw data (loadavg): 0.96 0.92 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 55419 0 0 0 12872 127 0 0 25 0 1 0 773392569 53444608 12302 4294967295 134512640 134714508 3221224592 3221220796 1075564401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13048 12302 1111 63 0 12985 0
vsize: 52192
[startup+140.003 s]
Raw data (loadavg): 0.97 0.92 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 59754 0 0 0 13862 137 0 0 25 0 1 0 773392569 54341632 12549 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13267 12549 1111 63 0 13204 0
vsize: 53068
[startup+150.005 s]
Raw data (loadavg): 0.97 0.92 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 64420 0 0 0 14853 147 0 0 25 0 1 0 773392569 55259136 12755 4294967295 134512640 134714508 3221224592 3221220968 1075112600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13491 12755 1111 63 0 13428 0
vsize: 53964
[startup+160.004 s]
Raw data (loadavg): 0.98 0.93 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 64428 0 0 0 15853 147 0 0 25 0 1 0 773392569 55259136 12763 4294967295 134512640 134714508 3221224592 3221220448 1074867974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13491 12763 1111 63 0 13428 0
vsize: 53964
[startup+170.003 s]
Raw data (loadavg): 0.98 0.93 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 64545 0 0 0 16853 147 0 0 25 0 1 0 773392569 55259136 12771 4294967295 134512640 134714508 3221224592 3221220832 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13491 12771 1111 63 0 13428 0
vsize: 53964
[startup+180.003 s]
Raw data (loadavg): 0.98 0.93 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 69678 0 0 0 17842 158 0 0 25 0 1 0 773392569 56455168 13095 4294967295 134512640 134714508 3221224592 3221220448 1074867961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13783 13095 1111 63 0 13720 0
vsize: 55132
[startup+190.003 s]
Raw data (loadavg): 0.98 0.93 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 69678 0 0 0 18842 158 0 0 25 0 1 0 773392569 56455168 13095 4294967295 134512640 134714508 3221224592 3221220448 1074867970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13783 13095 1111 63 0 13720 0
vsize: 55132
[startup+200.003 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 73381 0 0 0 19834 166 0 0 25 0 1 0 773392569 56827904 12838 4294967295 134512640 134714508 3221224592 3221221536 1074620107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13874 12838 1111 63 0 13811 0
vsize: 55496
[startup+210.003 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 75135 0 0 0 20829 171 0 0 25 0 1 0 773392569 56995840 13143 4294967295 134512640 134714508 3221224592 3221220968 1075112600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13915 13143 1111 63 0 13852 0
vsize: 55660
[startup+220.003 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 75176 0 0 0 21830 171 0 0 25 0 1 0 773392569 56995840 13184 4294967295 134512640 134714508 3221224592 3221220820 1075115073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13915 13184 1111 63 0 13852 0
vsize: 55660
[startup+230.003 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 78045 0 0 0 22824 177 0 0 25 0 1 0 773392569 57245696 13258 4294967295 134512640 134714508 3221224592 3221220928 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13976 13258 1111 63 0 13913 0
vsize: 55904
[startup+240.004 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 78045 0 0 0 23824 177 0 0 25 0 1 0 773392569 57245696 13258 4294967295 134512640 134714508 3221224592 3221221632 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13976 13258 1111 63 0 13913 0
vsize: 55904
[startup+250.004 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 78045 0 0 0 24824 177 0 0 25 0 1 0 773392569 57245696 13258 4294967295 134512640 134714508 3221224592 3221220556 1074788146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13976 13258 1111 63 0 13913 0
vsize: 55904
[startup+260.004 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 83864 0 0 0 25812 190 0 0 25 0 1 0 773392569 58171392 13470 4294967295 134512640 134714508 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14202 13470 1111 63 0 14139 0
vsize: 56808
[startup+270.004 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 84003 0 0 0 26812 190 0 0 25 0 1 0 773392569 58691584 13609 4294967295 134512640 134714508 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14329 13609 1111 63 0 14266 0
vsize: 57316
[startup+280.004 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 84007 0 0 0 27812 190 0 0 25 0 1 0 773392569 58691584 13613 4294967295 134512640 134714508 3221224592 3221221424 1075115385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14329 13613 1111 63 0 14266 0
vsize: 57316
[startup+290.005 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 89311 0 0 0 28800 202 0 0 25 0 1 0 773392569 57704448 13380 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14088 13380 1111 63 0 14025 0
vsize: 56352
[startup+300.005 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 90558 0 0 0 29798 204 0 0 25 0 1 0 773392569 59658240 13811 4294967295 134512640 134714508 3221224592 3221220424 1074789273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14565 13811 1111 63 0 14502 0
vsize: 58260
[startup+310.004 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 90558 0 0 0 30798 204 0 0 25 0 1 0 773392569 59658240 13811 4294967295 134512640 134714508 3221224592 3221220448 1074871210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14565 13811 1111 63 0 14502 0
vsize: 58260
[startup+320.004 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 93661 0 0 0 31790 213 0 0 25 0 1 0 773392569 60985344 13683 4294967295 134512640 134714508 3221224592 3221220752 1074794565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14889 13683 1111 63 0 14826 0
vsize: 59556
[startup+330.004 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 97328 0 0 0 32782 220 0 0 25 0 1 0 773392569 60325888 13984 4294967295 134512640 134714508 3221224592 3221220552 1074789193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14728 13984 1111 63 0 14665 0
vsize: 58912
[startup+340.004 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 97331 0 0 0 33783 220 0 0 25 0 1 0 773392569 60325888 13987 4294967295 134512640 134714508 3221224592 3221220448 1074868596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14728 13987 1111 63 0 14665 0
vsize: 58912
[startup+350.003 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 97388 0 0 0 34783 221 0 0 25 0 1 0 773392569 61239296 14044 4294967295 134512640 134714508 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14951 14044 1111 63 0 14888 0
vsize: 59804
[startup+360.003 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 97560 0 0 0 35782 221 0 0 25 0 1 0 773392569 60325888 13994 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14728 13994 1111 63 0 14665 0
vsize: 58912
[startup+370.004 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 104636 0 0 0 36767 237 0 0 25 0 1 0 773392569 61100032 14118 4294967295 134512640 134714508 3221224592 3221220560 1074872864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14917 14118 1111 63 0 14854 0
vsize: 59668
[startup+380.003 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 104726 0 0 0 37767 237 0 0 25 0 1 0 773392569 61100032 14208 4294967295 134512640 134714508 3221224592 3221220752 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14917 14208 1111 63 0 14854 0
vsize: 59668
[startup+390.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 104729 0 0 0 38767 237 0 0 25 0 1 0 773392569 61100032 14211 4294967295 134512640 134714508 3221224592 3221220556 1074788930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14917 14211 1111 63 0 14854 0
vsize: 59668
[startup+400.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 104729 0 0 0 39767 237 0 0 25 0 1 0 773392569 61100032 14211 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14917 14211 1111 63 0 14854 0
vsize: 59668
[startup+410.004 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 106541 0 0 0 40762 242 0 0 25 0 1 0 773392569 56696832 13157 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13157 1111 63 0 13779 0
vsize: 55368
[startup+420.004 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 111079 0 0 0 41753 252 0 0 25 0 1 0 773392569 59817984 13763 4294967295 134512640 134714508 3221224592 3221221872 1074140026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14604 13769 1111 63 0 14541 0
vsize: 58416
[startup+430.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 112114 0 0 0 42751 254 0 0 25 0 1 0 773392569 61267968 14207 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 14207 1111 63 0 14895 0
vsize: 59832
[startup+440.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 112115 0 0 0 43751 254 0 0 25 0 1 0 773392569 61267968 14208 4294967295 134512640 134714508 3221224592 3221220468 1074786528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 14208 1111 63 0 14895 0
vsize: 59832
[startup+450.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 112121 0 0 0 44751 254 0 0 25 0 1 0 773392569 61411328 14214 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14993 14214 1111 63 0 14930 0
vsize: 59972
[startup+460.004 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 119337 0 0 0 45735 270 0 0 25 0 1 0 773392569 61935616 14385 4294967295 134512640 134714508 3221224592 3221220820 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15121 14385 1111 63 0 15058 0
vsize: 60484
[startup+470.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 119358 0 0 0 46735 270 0 0 25 0 1 0 773392569 61935616 14406 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15121 14406 1111 63 0 15058 0
vsize: 60484
[startup+480.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 119358 0 0 0 47735 270 0 0 25 0 1 0 773392569 61935616 14406 4294967295 134512640 134714508 3221224592 3221220448 1074871233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15121 14406 1111 63 0 15058 0
vsize: 60484
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 125441 0 0 0 48723 283 0 0 25 0 1 0 773392569 60817408 14112 4294967295 134512640 134714508 3221224592 3221222320 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14848 14112 1111 63 0 14785 0
vsize: 59392
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 127080 0 0 0 49719 287 0 0 25 0 1 0 773392569 62660608 14523 4294967295 134512640 134714508 3221224592 3221220820 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15298 14523 1111 63 0 15235 0
vsize: 61192
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 127089 0 0 0 50719 287 0 0 25 0 1 0 773392569 62660608 14532 4294967295 134512640 134714508 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15298 14532 1111 63 0 15235 0
vsize: 61192
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 130773 0 0 0 51711 296 0 0 25 0 1 0 773392569 63881216 14452 4294967295 134512640 134714508 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15596 14452 1111 63 0 15533 0
vsize: 62384
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 134941 0 0 0 52701 306 0 0 25 0 1 0 773392569 63291392 14730 4294967295 134512640 134714508 3221224592 3221220448 1074868784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 14730 1111 63 0 15389 0
vsize: 61808
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 134943 0 0 0 53701 306 0 0 25 0 1 0 773392569 63291392 14732 4294967295 134512640 134714508 3221224592 3221220448 1074868279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 14732 1111 63 0 15389 0
vsize: 61808
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 134944 0 0 0 54702 306 0 0 25 0 1 0 773392569 63291392 14733 4294967295 134512640 134714508 3221224592 3221220560 1074872876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 14733 1111 63 0 15389 0
vsize: 61808
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 134947 0 0 0 55702 306 0 0 25 0 1 0 773392569 63291392 14736 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 14736 1111 63 0 15389 0
vsize: 61808
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 135122 0 0 0 56702 306 0 0 25 0 1 0 773392569 63434752 14688 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15487 14688 1111 63 0 15424 0
vsize: 61948
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 140924 0 0 0 57689 319 0 0 25 0 1 0 773392569 59822080 13895 4294967295 134512640 134714508 3221224592 3221222744 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14605 13895 1111 63 0 14542 0
vsize: 58420
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 143343 0 0 0 58684 324 0 0 25 0 1 0 773392569 64188416 14940 4294967295 134512640 134714508 3221224592 3221220448 1074868276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 14940 1111 63 0 15608 0
vsize: 62684
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 143350 0 0 0 59685 324 0 0 25 0 1 0 773392569 64188416 14947 4294967295 134512640 134714508 3221224592 3221221360 1076084864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 14947 1111 63 0 15608 0
vsize: 62684
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 143507 0 0 0 60684 325 0 0 25 0 1 0 773392569 64339968 14881 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15708 14881 1111 63 0 15645 0
vsize: 62832
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 143532 0 0 0 61684 325 0 0 25 0 1 0 773392569 64339968 14906 4294967295 134512640 134714508 3221224592 3221220476 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15708 14906 1111 63 0 15645 0
vsize: 62832
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 146574 0 0 0 62677 332 0 0 25 0 1 0 773392569 62078976 14478 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15156 14478 1111 63 0 15093 0
vsize: 60624
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 147946 0 0 0 63675 335 0 0 25 0 1 0 773392569 64188416 14875 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 14875 1111 63 0 15608 0
vsize: 62684
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 147961 0 0 0 64675 335 0 0 25 0 1 0 773392569 64188416 14887 4294967295 134512640 134714508 3221224592 3221220556 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 14887 1111 63 0 15608 0
vsize: 62684
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 147967 0 0 0 65675 335 0 0 25 0 1 0 773392569 64339968 14893 4294967295 134512640 134714508 3221224592 3221220796 1075564295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15708 14893 1111 63 0 15645 0
vsize: 62832
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 156381 0 0 0 66656 354 0 0 25 0 1 0 773392569 66043904 15294 4294967295 134512640 134714508 3221224592 3221220968 1075112606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16124 15294 1111 63 0 16061 0
vsize: 64496
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 156499 0 0 0 67656 354 0 0 25 0 1 0 773392569 65130496 15189 4294967295 134512640 134714508 3221224592 3221220476 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15901 15189 1111 63 0 15838 0
vsize: 63604
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 156502 0 0 0 68656 354 0 0 25 0 1 0 773392569 65130496 15192 4294967295 134512640 134714508 3221224592 3221220804 1075117753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15901 15192 1111 63 0 15838 0
vsize: 63604
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 156508 0 0 0 69656 354 0 0 25 0 1 0 773392569 65130496 15198 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15901 15198 1111 63 0 15838 0
vsize: 63604
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 156676 0 0 0 70656 355 0 0 25 0 1 0 773392569 61280256 14108 4294967295 134512640 134714508 3221224592 3221222232 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14961 14113 1111 63 0 14898 0
vsize: 59844
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 165490 0 0 0 71636 375 0 0 25 0 1 0 773392569 66060288 15398 4294967295 134512640 134714508 3221224592 3221220968 1075112606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16128 15398 1111 63 0 16065 0
vsize: 64512
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 165613 0 0 0 72636 375 0 0 25 0 1 0 773392569 66453504 15521 4294967295 134512640 134714508 3221224592 3221220720 1075112368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16224 15521 1111 63 0 16161 0
vsize: 64896
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 165620 0 0 0 73636 375 0 0 25 0 1 0 773392569 66453504 15528 4294967295 134512640 134714508 3221224592 3221221184 1074885975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16224 15528 1111 63 0 16161 0
vsize: 64896
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 165624 0 0 0 74636 375 0 0 25 0 1 0 773392569 66453504 15532 4294967295 134512640 134714508 3221224592 3221220448 1074867961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16224 15532 1111 63 0 16161 0
vsize: 64896
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 165624 0 0 0 75636 375 0 0 25 0 1 0 773392569 66453504 15532 4294967295 134512640 134714508 3221224592 3221220500 1074786562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16224 15532 1111 63 0 16161 0
vsize: 64896
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 173059 0 0 0 76619 393 0 0 25 0 1 0 773392569 65335296 15219 4294967295 134512640 134714508 3221224592 3221222320 1075828384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15951 15219 1111 63 0 15888 0
vsize: 63804
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 179793 0 0 0 77604 408 0 0 25 0 1 0 773392569 67858432 15838 4294967295 134512640 134714508 3221224592 3221221184 1074886124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16567 15838 1111 63 0 16504 0
vsize: 66268
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 179823 0 0 0 78604 408 0 0 25 0 1 0 773392569 67858432 15868 4294967295 134512640 134714508 3221224592 3221220504 1074789281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16567 15868 1111 63 0 16504 0
vsize: 66268
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 179823 0 0 0 79604 408 0 0 25 0 1 0 773392569 67858432 15868 4294967295 134512640 134714508 3221224592 3221220448 1074868039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16567 15868 1111 63 0 16504 0
vsize: 66268
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 179823 0 0 0 80605 408 0 0 25 0 1 0 773392569 67858432 15868 4294967295 134512640 134714508 3221224592 3221220424 1074789264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16567 15868 1111 63 0 16504 0
vsize: 66268
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 179823 0 0 0 81605 408 0 0 25 0 1 0 773392569 67858432 15868 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16567 15868 1111 63 0 16504 0
vsize: 66268
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 179823 0 0 0 82605 408 0 0 25 0 1 0 773392569 67858432 15868 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16567 15868 1111 63 0 16504 0
vsize: 66268
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 190062 0 0 0 83582 431 0 0 25 0 1 0 773392569 68825088 16018 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16803 16018 1111 63 0 16740 0
vsize: 67212
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 190094 0 0 0 84582 431 0 0 25 0 1 0 773392569 68825088 16050 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16803 16050 1111 63 0 16740 0
vsize: 67212
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 190094 0 0 0 85583 431 0 0 25 0 1 0 773392569 68825088 16050 4294967295 134512640 134714508 3221224592 3221220476 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16803 16050 1111 63 0 16740 0
vsize: 67212
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 192505 0 0 0 86577 437 0 0 25 0 1 0 773392569 62894080 14677 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15355 14677 1111 63 0 15292 0
vsize: 61420
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 195261 0 0 0 87571 443 0 0 25 0 1 0 773392569 68595712 15861 4294967295 134512640 134714508 3221224592 3221220636 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16747 15861 1111 63 0 16684 0
vsize: 66988
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 195444 0 0 0 88571 443 0 0 25 0 1 0 773392569 68595712 16042 4294967295 134512640 134714508 3221224592 3221220448 1074867901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16747 16042 1111 63 0 16684 0
vsize: 66988
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 195470 0 0 0 89571 443 0 0 25 0 1 0 773392569 68698112 16068 4294967295 134512640 134714508 3221224592 3221220552 1074789286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16772 16068 1111 63 0 16709 0
vsize: 67088
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 195473 0 0 0 90571 443 0 0 25 0 1 0 773392569 68837376 16071 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16806 16071 1111 63 0 16743 0
vsize: 67224
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 195473 0 0 0 91571 443 0 0 25 0 1 0 773392569 68837376 16071 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16806 16071 1111 63 0 16743 0
vsize: 67224
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 195479 0 0 0 92572 443 0 0 25 0 1 0 773392569 68837376 16077 4294967295 134512640 134714508 3221224592 3221220832 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16806 16077 1111 63 0 16743 0
vsize: 67224
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 195479 0 0 0 93572 443 0 0 25 0 1 0 773392569 68837376 16077 4294967295 134512640 134714508 3221224592 3221220448 1074871225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16806 16077 1111 63 0 16743 0
vsize: 67224
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 200315 0 0 0 94560 455 0 0 25 0 1 0 773392569 70348800 15891 4294967295 134512640 134714508 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17175 15891 1111 63 0 17112 0
vsize: 68700
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 205689 0 0 0 95548 467 0 0 25 0 1 0 773392569 69394432 16209 4294967295 134512640 134714508 3221224592 3221220560 1074872816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16942 16209 1111 63 0 16879 0
vsize: 67768
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 205764 0 0 0 96548 468 0 0 25 0 1 0 773392569 69521408 16284 4294967295 134512640 134714508 3221224592 3221220720 1075112371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16973 16284 1111 63 0 16910 0
vsize: 67892
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 205796 0 0 0 97548 468 0 0 25 0 1 0 773392569 69640192 16316 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17002 16316 1111 63 0 16939 0
vsize: 68008
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 205796 0 0 0 98548 468 0 0 25 0 1 0 773392569 69640192 16316 4294967295 134512640 134714508 3221224592 3221220692 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17002 16316 1111 63 0 16939 0
vsize: 68008
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 205796 0 0 0 99548 468 0 0 25 0 1 0 773392569 69640192 16316 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17002 16316 1111 63 0 16939 0
vsize: 68008
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 205802 0 0 0 100549 468 0 0 25 0 1 0 773392569 69795840 16322 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17040 16322 1111 63 0 16977 0
vsize: 68160
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 209079 0 0 0 101542 475 0 0 25 0 1 0 773392569 67674112 15771 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16522 15771 1111 63 0 16459 0
vsize: 66088
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 216534 0 0 0 102525 492 0 0 25 0 1 0 773392569 70508544 16467 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17214 16467 1111 63 0 17151 0
vsize: 68856
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 216577 0 0 0 103525 492 0 0 25 0 1 0 773392569 70508544 16510 4294967295 134512640 134714508 3221224592 3221220804 1075117753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17214 16510 1111 63 0 17151 0
vsize: 68856
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 216579 0 0 0 104525 492 0 0 25 0 1 0 773392569 70508544 16512 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17214 16512 1111 63 0 17151 0
vsize: 68856
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 216582 0 0 0 105526 492 0 0 25 0 1 0 773392569 70508544 16515 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17214 16515 1111 63 0 17151 0
vsize: 68856
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 216582 0 0 0 106526 492 0 0 25 0 1 0 773392569 70508544 16515 4294967295 134512640 134714508 3221224592 3221220928 1075114268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17214 16515 1111 63 0 17151 0
vsize: 68856
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 216582 0 0 0 107526 492 0 0 25 0 1 0 773392569 70508544 16515 4294967295 134512640 134714508 3221224592 3221220768 1074882592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17214 16515 1111 63 0 17151 0
vsize: 68856
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 219075 0 0 0 108521 497 0 0 25 0 1 0 773392569 64942080 15137 4294967295 134512640 134714508 3221224592 3221222744 1074950117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15855 15137 1111 63 0 15792 0
vsize: 63420
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 227740 0 0 0 109502 516 0 0 25 0 1 0 773392569 71770112 16634 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17522 16634 1111 63 0 17459 0
vsize: 70088
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 227752 0 0 0 110502 516 0 0 25 0 1 0 773392569 71770112 16646 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17522 16646 1111 63 0 17459 0
vsize: 70088
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 227752 0 0 0 111502 516 0 0 25 0 1 0 773392569 71770112 16646 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17522 16646 1111 63 0 17459 0
vsize: 70088
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 227754 0 0 0 112502 516 0 0 25 0 1 0 773392569 71770112 16648 4294967295 134512640 134714508 3221224592 3221220560 1074872873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17522 16648 1111 63 0 17459 0
vsize: 70088
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 227754 0 0 0 113503 516 0 0 25 0 1 0 773392569 71770112 16648 4294967295 134512640 134714508 3221224592 3221221536 1074620369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17522 16648 1111 63 0 17459 0
vsize: 70088
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 239408 0 0 0 114476 543 0 0 25 0 1 0 773392569 72896512 16950 4294967295 134512640 134714508 3221224592 3221220636 1074873527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17797 16950 1111 63 0 17734 0
vsize: 71188
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 239612 0 0 0 115476 543 0 0 25 0 1 0 773392569 73564160 17152 4294967295 134512640 134714508 3221224592 3221221044 1074944271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 17152 1111 63 0 17897 0
vsize: 71840
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 239703 0 0 0 116476 543 0 0 25 0 1 0 773392569 73564160 17243 4294967295 134512640 134714508 3221224592 3221220804 1075117403 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 17243 1111 63 0 17897 0
vsize: 71840
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 239706 0 0 0 117476 543 0 0 25 0 1 0 773392569 73564160 17246 4294967295 134512640 134714508 3221224592 3221220968 1075112613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 17246 1111 63 0 17897 0
vsize: 71840
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 239707 0 0 0 118477 543 0 0 25 0 1 0 773392569 73564160 17247 4294967295 134512640 134714508 3221224592 3221220552 1074789193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 17247 1111 63 0 17897 0
vsize: 71840
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) R 26163 24300 24299 0 -1 0 239709 0 0 0 119477 543 0 0 25 0 1 0 773392569 73564160 17249 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17960 17249 1111 63 0 17897 0
vsize: 71840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 26164
Raw data (stat): 26164 (bsolo_lpr_cuts) Z 26163 24300 24299 0 -1 1036 239709 0 0 0 119477 547 0 0 25 0 1 0 773392569 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.05
CPU time (s): 1200.24
CPU user time (s): 1194.77
CPU system time (s): 5.47017
CPU usage (%): 100.016
Max. virtual memory (Kb): 71840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####