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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb
MD5SUM	0613a0c4894703648f95007e06fadc66
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	187033
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	882752655849462562816
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	3.46847
Number of variables	366703
Total number of constraints	6084
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	6084
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 26847

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 17:11:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10714 boxname=wulflinc9 idbench=825 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  0613a0c4894703648f95007e06fadc66  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-dfl001.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-dfl001.opb
IDLAUNCH: 10714
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        565040 kB
Buffers:          6896 kB
Cached:         441272 kB
SwapCached:         88 kB
Active:          72964 kB
Inactive:       378176 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        564788 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6892 kB
Slab:            12728 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:31:33 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 10714 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.95 0.96 0.91 2/54 7855
Raw data (stat): 7855 (runsolver) R 7854 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773715619 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.0002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 1688 0 0 0 991 6 0 0 25 0 1 0 773715619 15364096 1612 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1612 1111 63 0 3688 0
vsize: 15004
[startup+20.0083 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 1733 0 0 0 1991 6 0 0 25 0 1 0 773715619 15511552 1657 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1657 1111 63 0 3724 0
vsize: 15148
[startup+30.0084 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 1783 0 0 0 2991 7 0 0 25 0 1 0 773715619 15663104 1707 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1707 1111 63 0 3761 0
vsize: 15296
[startup+40.0111 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 1836 0 0 0 3991 7 0 0 25 0 1 0 773715619 15966208 1760 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3898 1760 1111 63 0 3835 0
vsize: 15592
[startup+50.0124 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 1880 0 0 0 4991 8 0 0 25 0 1 0 773715619 16113664 1804 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3934 1804 1111 63 0 3871 0
vsize: 15736
[startup+60.0162 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 1937 0 0 0 5991 8 0 0 25 0 1 0 773715619 16412672 1861 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 1861 1111 63 0 3944 0
vsize: 16028
[startup+70.0165 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 1982 0 0 0 6991 8 0 0 25 0 1 0 773715619 16564224 1906 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 1906 1111 63 0 3981 0
vsize: 16176
[startup+80.0176 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2041 0 0 0 7991 8 0 0 25 0 1 0 773715619 16711680 1965 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4080 1965 1111 63 0 4017 0
vsize: 16320
[startup+90.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2086 0 0 0 8991 9 0 0 25 0 1 0 773715619 17014784 2010 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4154 2010 1111 63 0 4091 0
vsize: 16616
[startup+100.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2139 0 0 0 9990 9 0 0 25 0 1 0 773715619 17166336 2063 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2063 1111 63 0 4128 0
vsize: 16764
[startup+110.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2190 0 0 0 10990 10 0 0 25 0 1 0 773715619 17444864 2114 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4259 2114 1111 63 0 4196 0
vsize: 17036
[startup+120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2235 0 0 0 11990 10 0 0 25 0 1 0 773715619 17596416 2159 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 2159 1111 63 0 4233 0
vsize: 17184
[startup+130.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2294 0 0 0 12991 10 0 0 25 0 1 0 773715619 17752064 2218 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 2218 1111 63 0 4271 0
vsize: 17336
[startup+140.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2345 0 0 0 13990 10 0 0 25 0 1 0 773715619 18051072 2269 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4407 2269 1111 63 0 4344 0
vsize: 17628
[startup+150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2396 0 0 0 14991 11 0 0 25 0 1 0 773715619 18202624 2320 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4444 2320 1111 63 0 4381 0
vsize: 17776
[startup+160.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2447 0 0 0 15990 11 0 0 25 0 1 0 773715619 18497536 2371 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4516 2371 1111 63 0 4453 0
vsize: 18064
[startup+170.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2492 0 0 0 16990 12 0 0 25 0 1 0 773715619 18653184 2416 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4554 2416 1111 63 0 4491 0
vsize: 18216
[startup+180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2544 0 0 0 17989 13 0 0 25 0 1 0 773715619 18804736 2468 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 2468 1111 63 0 4528 0
vsize: 18364
[startup+190.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2594 0 0 0 18989 13 0 0 25 0 1 0 773715619 19103744 2518 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 2518 1111 63 0 4601 0
vsize: 18656
[startup+200.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2650 0 0 0 19988 14 0 0 25 0 1 0 773715619 19251200 2574 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4700 2574 1111 63 0 4637 0
vsize: 18800
[startup+210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2703 0 0 0 20988 14 0 0 25 0 1 0 773715619 19550208 2627 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 2627 1111 63 0 4710 0
vsize: 19092
[startup+220.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2754 0 0 0 21988 15 0 0 25 0 1 0 773715619 19697664 2678 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4809 2678 1111 63 0 4746 0
vsize: 19236
[startup+230.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2811 0 0 0 22988 15 0 0 25 0 1 0 773715619 19996672 2735 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 2735 1111 63 0 4819 0
vsize: 19528
[startup+240.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2863 0 0 0 23988 15 0 0 25 0 1 0 773715619 20148224 2787 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 2787 1111 63 0 4856 0
vsize: 19676
[startup+250.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2914 0 0 0 24987 16 0 0 25 0 1 0 773715619 20295680 2838 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4955 2838 1111 63 0 4892 0
vsize: 19820
[startup+260.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 2959 0 0 0 25987 17 0 0 25 0 1 0 773715619 20598784 2883 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5029 2883 1111 63 0 4966 0
vsize: 20116
[startup+270.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3005 0 0 0 26987 17 0 0 25 0 1 0 773715619 20750336 2929 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5066 2929 1111 63 0 5003 0
vsize: 20264
[startup+280.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3055 0 0 0 27987 17 0 0 25 0 1 0 773715619 20897792 2979 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 2979 1111 63 0 5039 0
vsize: 20408
[startup+290.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3106 0 0 0 28987 17 0 0 25 0 1 0 773715619 21196800 3030 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5175 3030 1111 63 0 5112 0
vsize: 20700
[startup+300.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3152 0 0 0 29986 18 0 0 25 0 1 0 773715619 21348352 3076 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5212 3076 1111 63 0 5149 0
vsize: 20848
[startup+310.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3209 0 0 0 30986 18 0 0 25 0 1 0 773715619 21499904 3133 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5249 3133 1111 63 0 5186 0
vsize: 20996
[startup+320.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3261 0 0 0 31986 19 0 0 25 0 1 0 773715619 21798912 3185 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5322 3185 1111 63 0 5259 0
vsize: 21288
[startup+330.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3312 0 0 0 32985 19 0 0 25 0 1 0 773715619 21950464 3236 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5359 3236 1111 63 0 5296 0
vsize: 21436
[startup+340.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3371 0 0 0 33985 20 0 0 25 0 1 0 773715619 22249472 3295 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5432 3295 1111 63 0 5369 0
vsize: 21728
[startup+350.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3422 0 0 0 34985 20 0 0 25 0 1 0 773715619 22405120 3346 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5470 3346 1111 63 0 5407 0
vsize: 21880
[startup+360.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3473 0 0 0 35984 21 0 0 25 0 1 0 773715619 22704128 3397 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5543 3397 1111 63 0 5480 0
vsize: 22172
[startup+370.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3524 0 0 0 36984 21 0 0 25 0 1 0 773715619 22851584 3448 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5579 3448 1111 63 0 5516 0
vsize: 22316
[startup+380.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3576 0 0 0 37984 21 0 0 25 0 1 0 773715619 22999040 3500 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5615 3500 1111 63 0 5552 0
vsize: 22460
[startup+390.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3641 0 0 0 38983 22 0 0 25 0 1 0 773715619 23285760 3565 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5685 3565 1111 63 0 5622 0
vsize: 22740
[startup+400.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3686 0 0 0 39983 23 0 0 25 0 1 0 773715619 23564288 3610 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5753 3610 1111 63 0 5690 0
vsize: 23012
[startup+410.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3743 0 0 0 40983 23 0 0 25 0 1 0 773715619 23711744 3667 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5789 3667 1111 63 0 5726 0
vsize: 23156
[startup+420.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3788 0 0 0 41983 23 0 0 25 0 1 0 773715619 24010752 3712 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5862 3712 1111 63 0 5799 0
vsize: 23448
[startup+430.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3848 0 0 0 42982 24 0 0 25 0 1 0 773715619 24166400 3772 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5900 3772 1111 63 0 5837 0
vsize: 23600
[startup+440.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3892 0 0 0 43982 24 0 0 25 0 1 0 773715619 24313856 3816 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5936 3816 1111 63 0 5873 0
vsize: 23744
[startup+450.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3937 0 0 0 44981 25 0 0 25 0 1 0 773715619 24612864 3861 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6009 3861 1111 63 0 5946 0
vsize: 24036
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 3994 0 0 0 45981 26 0 0 25 0 1 0 773715619 24764416 3918 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6046 3918 1111 63 0 5983 0
vsize: 24184
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4046 0 0 0 46981 26 0 0 25 0 1 0 773715619 25047040 3970 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6115 3970 1111 63 0 6052 0
vsize: 24460
[startup+480.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4099 0 0 0 47981 26 0 0 25 0 1 0 773715619 25190400 4023 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6150 4023 1111 63 0 6087 0
vsize: 24600
[startup+490.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4143 0 0 0 48981 26 0 0 25 0 1 0 773715619 25337856 4067 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6186 4067 1111 63 0 6123 0
vsize: 24744
[startup+500.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4201 0 0 0 49981 27 0 0 25 0 1 0 773715619 25636864 4125 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6259 4125 1111 63 0 6196 0
vsize: 25036
[startup+510.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4245 0 0 0 50981 27 0 0 25 0 1 0 773715619 25784320 4169 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6295 4169 1111 63 0 6232 0
vsize: 25180
[startup+520.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4304 0 0 0 51981 27 0 0 25 0 1 0 773715619 26091520 4228 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4228 1111 63 0 6307 0
vsize: 25480
[startup+530.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4363 0 0 0 52981 27 0 0 25 0 1 0 773715619 26238976 4287 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6406 4287 1111 63 0 6343 0
vsize: 25624
[startup+540.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4408 0 0 0 53981 27 0 0 25 0 1 0 773715619 26537984 4332 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6479 4332 1111 63 0 6416 0
vsize: 25916
[startup+550.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4466 0 0 0 54981 28 0 0 25 0 1 0 773715619 26689536 4390 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6516 4390 1111 63 0 6453 0
vsize: 26064
[startup+560.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4518 0 0 0 55982 28 0 0 25 0 1 0 773715619 26992640 4442 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6590 4442 1111 63 0 6527 0
vsize: 26360
[startup+570.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4570 0 0 0 56982 28 0 0 25 0 1 0 773715619 27140096 4494 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6626 4494 1111 63 0 6563 0
vsize: 26504
[startup+580.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4621 0 0 0 57982 28 0 0 25 0 1 0 773715619 27291648 4545 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6663 4545 1111 63 0 6600 0
vsize: 26652
[startup+590.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4673 0 0 0 58982 28 0 0 25 0 1 0 773715619 27590656 4597 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6736 4597 1111 63 0 6673 0
vsize: 26944
[startup+600.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4732 0 0 0 59982 28 0 0 25 0 1 0 773715619 27738112 4656 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6772 4656 1111 63 0 6709 0
vsize: 27088
[startup+610.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4776 0 0 0 60982 28 0 0 25 0 1 0 773715619 28041216 4700 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6846 4700 1111 63 0 6783 0
vsize: 27384
[startup+620.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4835 0 0 0 61982 28 0 0 25 0 1 0 773715619 28192768 4759 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6883 4759 1111 63 0 6820 0
vsize: 27532
[startup+630.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4886 0 0 0 62982 28 0 0 25 0 1 0 773715619 28491776 4810 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6956 4810 1111 63 0 6893 0
vsize: 27824
[startup+640.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4939 0 0 0 63982 28 0 0 25 0 1 0 773715619 28639232 4863 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6992 4863 1111 63 0 6929 0
vsize: 27968
[startup+650.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 4990 0 0 0 64982 28 0 0 25 0 1 0 773715619 28794880 4914 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7030 4914 1111 63 0 6967 0
vsize: 28120
[startup+660.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5041 0 0 0 65982 28 0 0 25 0 1 0 773715619 29093888 4965 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7103 4965 1111 63 0 7040 0
vsize: 28412
[startup+670.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5099 0 0 0 66982 29 0 0 25 0 1 0 773715619 29241344 5023 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7139 5023 1111 63 0 7076 0
vsize: 28556
[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5145 0 0 0 67983 29 0 0 25 0 1 0 773715619 29540352 5069 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7212 5069 1111 63 0 7149 0
vsize: 28848
[startup+690.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5202 0 0 0 68983 29 0 0 25 0 1 0 773715619 29675520 5126 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7245 5126 1111 63 0 7182 0
vsize: 28980
[startup+700.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5247 0 0 0 69983 29 0 0 25 0 1 0 773715619 29966336 5171 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7316 5171 1111 63 0 7253 0
vsize: 29264
[startup+710.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5305 0 0 0 70983 29 0 0 25 0 1 0 773715619 30117888 5229 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7353 5229 1111 63 0 7290 0
vsize: 29412
[startup+720.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5362 0 0 0 71983 29 0 0 25 0 1 0 773715619 30412800 5286 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7425 5286 1111 63 0 7362 0
vsize: 29700
[startup+730.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5409 0 0 0 72983 29 0 0 25 0 1 0 773715619 30568448 5333 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7463 5333 1111 63 0 7400 0
vsize: 29852
[startup+740.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5466 0 0 0 73983 29 0 0 25 0 1 0 773715619 30867456 5390 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7536 5390 1111 63 0 7473 0
vsize: 30144
[startup+750.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5511 0 0 0 74983 29 0 0 25 0 1 0 773715619 31019008 5435 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7573 5435 1111 63 0 7510 0
vsize: 30292
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5587 0 0 0 75983 29 0 0 25 0 1 0 773715619 31350784 5511 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7654 5511 1111 63 0 7591 0
vsize: 30616
[startup+770.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5640 0 0 0 76983 29 0 0 25 0 1 0 773715619 31506432 5564 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7692 5564 1111 63 0 7629 0
vsize: 30768
[startup+780.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5685 0 0 0 77983 30 0 0 25 0 1 0 773715619 31805440 5609 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7765 5609 1111 63 0 7702 0
vsize: 31060
[startup+790.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5742 0 0 0 78983 30 0 0 25 0 1 0 773715619 31956992 5666 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7802 5666 1111 63 0 7739 0
vsize: 31208
[startup+800.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5800 0 0 0 79983 30 0 0 25 0 1 0 773715619 32256000 5724 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7875 5724 1111 63 0 7812 0
vsize: 31500
[startup+810.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5853 0 0 0 80983 30 0 0 25 0 1 0 773715619 32407552 5777 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7912 5777 1111 63 0 7849 0
vsize: 31648
[startup+820.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5904 0 0 0 81983 30 0 0 25 0 1 0 773715619 32706560 5828 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7985 5828 1111 63 0 7922 0
vsize: 31940
[startup+830.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 5962 0 0 0 82984 30 0 0 25 0 1 0 773715619 32858112 5886 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8022 5886 1111 63 0 7959 0
vsize: 32088
[startup+840.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6013 0 0 0 83984 30 0 0 25 0 1 0 773715619 33157120 5937 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8095 5937 1111 63 0 8032 0
vsize: 32380
[startup+850.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6066 0 0 0 84984 30 0 0 25 0 1 0 773715619 33308672 5990 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8132 5990 1111 63 0 8069 0
vsize: 32528
[startup+860.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6125 0 0 0 85984 30 0 0 25 0 1 0 773715619 33607680 6049 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8205 6049 1111 63 0 8142 0
vsize: 32820
[startup+870.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6177 0 0 0 86984 30 0 0 25 0 1 0 773715619 33759232 6101 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8242 6101 1111 63 0 8179 0
vsize: 32968
[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6229 0 0 0 87985 30 0 0 25 0 1 0 773715619 33906688 6153 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8278 6153 1111 63 0 8215 0
vsize: 33112
[startup+890.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6288 0 0 0 88985 30 0 0 25 0 1 0 773715619 34209792 6212 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8352 6212 1111 63 0 8289 0
vsize: 33408
[startup+900.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6346 0 0 0 89985 30 0 0 25 0 1 0 773715619 34508800 6270 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8425 6270 1111 63 0 8362 0
vsize: 33700
[startup+910.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6391 0 0 0 90985 30 0 0 25 0 1 0 773715619 34660352 6315 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8462 6315 1111 63 0 8399 0
vsize: 33848
[startup+920.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6448 0 0 0 91985 30 0 0 25 0 1 0 773715619 34807808 6372 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8498 6372 1111 63 0 8435 0
vsize: 33992
[startup+930.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6507 0 0 0 92985 30 0 0 25 0 1 0 773715619 35115008 6431 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8573 6431 1111 63 0 8510 0
vsize: 34292
[startup+940.055 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6559 0 0 0 93985 31 0 0 25 0 1 0 773715619 35266560 6483 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8610 6483 1111 63 0 8547 0
vsize: 34440
[startup+950.055 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6612 0 0 0 94985 31 0 0 25 0 1 0 773715619 35561472 6536 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8682 6536 1111 63 0 8619 0
vsize: 34728
[startup+960.055 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6670 0 0 0 95985 31 0 0 25 0 1 0 773715619 35708928 6594 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8718 6594 1111 63 0 8655 0
vsize: 34872
[startup+970.055 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6723 0 0 0 96985 31 0 0 25 0 1 0 773715619 36016128 6647 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8793 6647 1111 63 0 8730 0
vsize: 35172
[startup+980.055 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6781 0 0 0 97985 31 0 0 25 0 1 0 773715619 36167680 6705 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8830 6705 1111 63 0 8767 0
vsize: 35320
[startup+990.055 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6832 0 0 0 98985 31 0 0 25 0 1 0 773715619 36466688 6756 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8903 6756 1111 63 0 8840 0
vsize: 35612
[startup+1000.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6883 0 0 0 99985 31 0 0 25 0 1 0 773715619 36614144 6807 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8939 6807 1111 63 0 8876 0
vsize: 35756
[startup+1010.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6937 0 0 0 100985 31 0 0 25 0 1 0 773715619 36917248 6861 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9013 6861 1111 63 0 8950 0
vsize: 36052
[startup+1020.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 6994 0 0 0 101985 32 0 0 25 0 1 0 773715619 37068800 6918 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9050 6918 1111 63 0 8987 0
vsize: 36200
[startup+1030.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7052 0 0 0 102986 32 0 0 25 0 1 0 773715619 37367808 6976 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9123 6976 1111 63 0 9060 0
vsize: 36492
[startup+1040.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7098 0 0 0 103986 32 0 0 25 0 1 0 773715619 37515264 7022 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9159 7022 1111 63 0 9096 0
vsize: 36636
[startup+1050.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7158 0 0 0 104986 32 0 0 25 0 1 0 773715619 37818368 7082 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9233 7082 1111 63 0 9170 0
vsize: 36932
[startup+1060.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7216 0 0 0 105986 32 0 0 25 0 1 0 773715619 37969920 7140 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9270 7140 1111 63 0 9207 0
vsize: 37080
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7274 0 0 0 106986 32 0 0 25 0 1 0 773715619 38268928 7198 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9343 7198 1111 63 0 9280 0
vsize: 37372
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7318 0 0 0 107986 32 0 0 25 0 1 0 773715619 38416384 7242 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9379 7242 1111 63 0 9316 0
vsize: 37516
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7362 0 0 0 108986 32 0 0 25 0 1 0 773715619 38567936 7286 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9416 7286 1111 63 0 9353 0
vsize: 37664
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7415 0 0 0 109986 33 0 0 25 0 1 0 773715619 38871040 7339 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9490 7339 1111 63 0 9427 0
vsize: 37960
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7466 0 0 0 110986 33 0 0 25 0 1 0 773715619 39018496 7390 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9526 7390 1111 63 0 9463 0
vsize: 38104
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7524 0 0 0 111986 33 0 0 25 0 1 0 773715619 39317504 7448 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9599 7448 1111 63 0 9536 0
vsize: 38396
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7583 0 0 0 112986 33 0 0 25 0 1 0 773715619 39469056 7507 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9636 7507 1111 63 0 9573 0
vsize: 38544
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7637 0 0 0 113986 33 0 0 25 0 1 0 773715619 39772160 7561 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9710 7561 1111 63 0 9647 0
vsize: 38840
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7689 0 0 0 114986 33 0 0 25 0 1 0 773715619 39919616 7613 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9746 7613 1111 63 0 9683 0
vsize: 38984
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7746 0 0 0 115986 33 0 0 25 0 1 0 773715619 40218624 7670 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9819 7670 1111 63 0 9756 0
vsize: 39276
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7804 0 0 0 116986 33 0 0 25 0 1 0 773715619 40370176 7728 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9856 7728 1111 63 0 9793 0
vsize: 39424
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7857 0 0 0 117987 33 0 0 25 0 1 0 773715619 40677376 7781 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9931 7781 1111 63 0 9868 0
vsize: 39724
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7908 0 0 0 118987 33 0 0 25 0 1 0 773715619 40824832 7832 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 7832 1111 63 0 9904 0
vsize: 39868
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) R 7854 3944 3943 0 -1 0 7952 0 0 0 119987 33 0 0 25 0 1 0 773715619 40972288 7876 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10003 7876 1111 63 0 9940 0
vsize: 40012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 7855
Raw data (stat): 7855 (bsolo_lpr_cuts) Z 7854 3944 3943 0 -1 1036 7952 0 0 0 119987 35 0 0 25 0 1 0 773715619 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.07
CPU time (s): 1200.23
CPU user time (s): 1199.87
CPU system time (s): 0.353946
CPU usage (%): 100.013
Max. virtual memory (Kb): 40012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####