PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb
MD5SUM	a7baaeaa26a0026c630e11c495604909
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1091178
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1421968313
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1421968313
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	5292
Total number of constraints	284
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	284
Minimum length of a constraint	21
Maximum length of a constraint	360
Trace number 26874

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 17:31:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19294 boxname=wulflinc9 idbench=1485 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a7baaeaa26a0026c630e11c495604909  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran14x18.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran14x18.opb
IDLAUNCH: 19294
/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:        589480 kB
Buffers:          8464 kB
Cached:         416040 kB
SwapCached:         88 kB
Active:          47320 kB
Inactive:       380092 kB
HighTotal:      131008 kB
HighFree:         1148 kB
LowTotal:       903652 kB
LowFree:        588332 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6892 kB
Slab:            12068 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:51:16 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 19294 7 1175.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5292 variables and 316 constraints.
c After prepocess the problem consists of 3084 variables and 453 constraints.
c preprocess terminated 8.376 s
c Initial Lower Bound: 386174
c Lower Bound Elapsed time: 1.0796
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### 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.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (runsolver) R 7946 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773836591 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.001 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 8623 0 0 0 977 20 0 0 25 0 1 0 773836591 35233792 7834 4294967295 134512640 134714508 3221224576 3221222880 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8602 7834 1111 63 0 8539 0
vsize: 34408
[startup+20.0017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21217 0 0 0 1949 47 0 0 25 0 1 0 773836591 41119744 9296 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10039 9296 1111 63 0 9976 0
vsize: 40156
[startup+30.0017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 2945 50 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+40.0021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 3943 53 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+50.0019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 4941 55 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+60.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 5937 58 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+70.0024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 6935 61 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223344 134597634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+80.0022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 7933 63 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+90.0024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 8932 65 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223136 134552038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+100.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 9928 68 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+110.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 10925 72 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223316 134591823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+120.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 11921 75 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+130.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 12918 79 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+140.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 13914 83 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+150.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 14912 86 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+160.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 15908 90 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+170.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 16904 93 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+180.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 17902 96 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+190.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 18899 99 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+200.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 19898 100 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223264 134534112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+210.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 20895 103 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+220.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 21893 106 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+230.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 22891 108 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+240.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 23889 110 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+250.002 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 24887 112 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223164 134552072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+260.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 25886 114 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223316 134591823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+270.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 26885 116 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+280.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 27883 117 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221222960 134697088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+290.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 28881 120 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+300.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 29879 122 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+310.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 30876 125 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223296 134584818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+320.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 31873 128 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+330.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 32872 129 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+340.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 33870 131 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+350.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 34868 134 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+360.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 35865 136 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+370.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 36864 138 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223320 134672929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+380.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 37862 140 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+390.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 38861 141 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+400.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 39860 142 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+410.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 40859 143 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223300 134652880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+420.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 41857 145 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+430.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 42856 147 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+440.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 43855 148 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+450.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 44853 150 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+460.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 45851 152 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+470.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 46850 155 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+480.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 47848 157 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+490.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 48846 159 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+500.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 49844 161 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+510.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 50842 163 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+520.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 51840 165 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+530.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 52837 168 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223204 1077374195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+540.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 53836 170 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+550.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 54834 172 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+560.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 55831 175 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+570.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 56828 178 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+580.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 57826 180 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+590.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 58824 182 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+600.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 59822 185 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+610.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 60820 187 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+620.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 61818 189 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223320 134672933 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+630.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 62816 192 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+640.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 63814 194 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+650.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 64813 195 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+660.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 65812 197 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+670.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 66810 198 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+680.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 67809 200 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+690.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 68807 202 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223256 134524423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+700.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 69806 204 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+710.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 70804 206 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223168 134548587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+720.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 71802 208 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223360 134528950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+730.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 72800 210 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+740.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 73798 212 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+750.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 74797 213 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+760.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 75795 215 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+770.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 76793 217 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+780.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 77791 220 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+790.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 78789 222 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+800.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 79787 224 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+810.033 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 80786 226 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+820.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 81783 228 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+830.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 82782 230 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+840.033 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 83781 231 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+850.034 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 84780 233 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+860.034 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 85778 235 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+870.034 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 86776 237 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+880.034 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 87775 238 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+890.034 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 88773 240 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+900.035 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 89772 241 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+910.036 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 90771 243 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223216 134543724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+920.035 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 91769 245 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+930.036 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 92766 247 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+940.036 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 93764 250 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+950.037 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 94762 252 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+960.038 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 95761 254 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+970.038 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 96759 256 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223328 134595011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+980.037 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 97757 258 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+990.037 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 98754 261 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 99751 264 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 100749 266 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 101748 268 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 102745 270 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 103744 272 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 104742 275 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 105739 277 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 106737 280 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 107735 282 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 108731 286 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 109729 288 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 110726 291 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 111724 294 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223136 134552038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 112722 296 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 113720 298 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 114717 301 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 115715 304 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 116713 306 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223140 134552069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 40156
[startup+1174.87 s]
Raw data (loadavg): 0.99 0.99 0.91 1/53 7947
Raw data (stat): 7947 (bsolo_lpr_cuts) R 7946 3944 3943 0 -1 0 21226 0 0 0 116713 306 0 0 25 0 1 0 773836591 41119744 9305 4294967295 134512640 134714508 3221224576 3221223140 134552069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10039 9305 1111 63 0 9976 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.02
CPU user time (s): 1171.93
CPU system time (s): 3.09253
CPU usage (%): 100.013
Max. virtual memory (Kb): 40156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####