PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM	2d8f46b77d84c45a7178d4a463744176
Bench Category	optimization, medium integers (OPTMEDINT)
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	7560
Biggest coefficient in the objective function	2097152
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	876993750
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	2097152
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	876993750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.128979
Number of variables	14760
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	252
Trace number 41546

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 15:22:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29609 boxname=wulflinc1 idbench=1393 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  2d8f46b77d84c45a7178d4a463744176  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-tr12-30.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-tr12-30.opb
IDLAUNCH: 29609
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        920352 kB
Buffers:         13336 kB
Cached:          76980 kB
SwapCached:       1144 kB
Active:          25536 kB
Inactive:        66944 kB
HighTotal:      131008 kB
HighFree:        61348 kB
LowTotal:       903652 kB
LowFree:        859004 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16052 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:42:24 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 29609 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14760 variables and 1110 constraints.
c After prepocess the problem consists of 13992 variables and 1183 constraints.
c preprocess terminated 13.652 s
c Initial Lower Bound: 2320067
c Lower Bound Elapsed time: 2.1093
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.76 0.93 0.90 2/55 7450
Raw data (stat): 7450 (runsolver) R 7449 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854466017 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.80 0.93 0.90 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 16060 0 0 0 959 39 0 0 25 0 1 0 854466017 68837376 15890 4294967295 134512640 134716908 3221224560 3221223176 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16806 15890 1111 63 0 16743 0
vsize: 67224
[startup+20.0012 s]
Raw data (loadavg): 0.83 0.93 0.90 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 19762 0 0 0 1950 48 0 0 25 0 1 0 854466017 74407936 17365 4294967295 134512640 134716908 3221224560 3221222816 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18166 17365 1111 63 0 18103 0
vsize: 72664
[startup+30.0019 s]
Raw data (loadavg): 0.85 0.93 0.90 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 27768 0 0 0 2933 65 0 0 25 0 1 0 854466017 75894784 17609 4294967295 134512640 134716908 3221224560 3221220680 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18529 17609 1111 63 0 18466 0
vsize: 74116
[startup+40.0027 s]
Raw data (loadavg): 0.88 0.93 0.90 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30712 0 0 0 3927 71 0 0 25 0 1 0 854466017 74211328 17327 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17327 1111 63 0 18055 0
vsize: 72472
[startup+50.0039 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 4927 72 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+60.0032 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 5926 72 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+70.004 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 6926 73 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+80.0053 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 7926 73 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+90.0056 s]
Raw data (loadavg): 0.94 0.94 0.90 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 8925 74 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+100.005 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 9925 74 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223360 134597700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+110.006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 10925 74 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+120.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 11925 74 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+130.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 12925 75 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+140.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 13925 75 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 14924 76 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+160.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 15924 76 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+170.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 16924 76 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+180.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 17923 77 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 18922 78 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 19922 78 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 20922 78 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 21922 79 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 22922 79 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 23922 79 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223224 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 24922 80 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223316 134592437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 25921 80 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 26921 80 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+280.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 27921 81 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 28921 81 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 29920 82 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 30920 82 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 31920 82 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 32920 82 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30713 0 0 0 33920 82 0 0 25 0 1 0 854466017 74211328 17328 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18118 17328 1111 63 0 18055 0
vsize: 72472
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30748 0 0 0 34920 83 0 0 25 0 1 0 854466017 74481664 17363 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18184 17363 1111 63 0 18121 0
vsize: 72736
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30775 0 0 0 35920 83 0 0 25 0 1 0 854466017 74481664 17390 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18184 17390 1111 63 0 18121 0
vsize: 72736
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30809 0 0 0 36920 83 0 0 25 0 1 0 854466017 74616832 17424 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18217 17424 1111 63 0 18154 0
vsize: 72868
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30832 0 0 0 37920 84 0 0 25 0 1 0 854466017 74752000 17447 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18250 17447 1111 63 0 18187 0
vsize: 73000
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30861 0 0 0 38919 85 0 0 25 0 1 0 854466017 74887168 17476 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18283 17476 1111 63 0 18220 0
vsize: 73132
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30888 0 0 0 39919 86 0 0 25 0 1 0 854466017 75022336 17503 4294967295 134512640 134716908 3221224560 3221223324 134534136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18316 17503 1111 63 0 18253 0
vsize: 73264
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30922 0 0 0 40919 86 0 0 25 0 1 0 854466017 75157504 17537 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18349 17537 1111 63 0 18286 0
vsize: 73396
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30931 0 0 0 41918 87 0 0 25 0 1 0 854466017 75157504 17546 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18349 17546 1111 63 0 18286 0
vsize: 73396
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30968 0 0 0 42918 87 0 0 25 0 1 0 854466017 75292672 17583 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18382 17583 1111 63 0 18319 0
vsize: 73528
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 30996 0 0 0 43918 87 0 0 25 0 1 0 854466017 75427840 17611 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18415 17611 1111 63 0 18352 0
vsize: 73660
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31029 0 0 0 44918 88 0 0 25 0 1 0 854466017 75563008 17644 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18448 17644 1111 63 0 18385 0
vsize: 73792
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31054 0 0 0 45918 88 0 0 25 0 1 0 854466017 75698176 17669 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18481 17669 1111 63 0 18418 0
vsize: 73924
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31083 0 0 0 46917 88 0 0 25 0 1 0 854466017 75833344 17698 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18514 17698 1111 63 0 18451 0
vsize: 74056
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31110 0 0 0 47916 89 0 0 25 0 1 0 854466017 75968512 17725 4294967295 134512640 134716908 3221224560 3221223308 134558496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18547 17725 1111 63 0 18484 0
vsize: 74188
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31144 0 0 0 48916 90 0 0 25 0 1 0 854466017 76103680 17759 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17759 1111 63 0 18517 0
vsize: 74320
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31160 0 0 0 49916 90 0 0 25 0 1 0 854466017 76103680 17775 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17775 1111 63 0 18517 0
vsize: 74320
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31198 0 0 0 50916 91 0 0 25 0 1 0 854466017 76238848 17813 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18613 17813 1111 63 0 18550 0
vsize: 74452
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31221 0 0 0 51916 91 0 0 25 0 1 0 854466017 76374016 17836 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18646 17836 1111 63 0 18583 0
vsize: 74584
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31254 0 0 0 52915 91 0 0 25 0 1 0 854466017 76509184 17869 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18679 17869 1111 63 0 18616 0
vsize: 74716
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31278 0 0 0 53915 92 0 0 25 0 1 0 854466017 76644352 17893 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18712 17893 1111 63 0 18649 0
vsize: 74848
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31306 0 0 0 54915 92 0 0 25 0 1 0 854466017 76644352 17921 4294967295 134512640 134716908 3221224560 3221223248 134534110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18712 17921 1111 63 0 18649 0
vsize: 74848
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31334 0 0 0 55914 92 0 0 25 0 1 0 854466017 76779520 17949 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18745 17949 1111 63 0 18682 0
vsize: 74980
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31367 0 0 0 56914 93 0 0 25 0 1 0 854466017 76894208 17982 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18773 17982 1111 63 0 18710 0
vsize: 75092
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31379 0 0 0 57914 93 0 0 25 0 1 0 854466017 77029376 17994 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18806 17994 1111 63 0 18743 0
vsize: 75224
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31391 0 0 0 58914 93 0 0 25 0 1 0 854466017 77029376 18006 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18806 18006 1111 63 0 18743 0
vsize: 75224
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31411 0 0 0 59914 94 0 0 25 0 1 0 854466017 77160448 18026 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18838 18026 1111 63 0 18775 0
vsize: 75352
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31424 0 0 0 60914 94 0 0 25 0 1 0 854466017 77152256 18039 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18836 18039 1111 63 0 18773 0
vsize: 75344
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31436 0 0 0 61913 95 0 0 25 0 1 0 854466017 77287424 18051 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18869 18051 1111 63 0 18806 0
vsize: 75476
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31450 0 0 0 62913 95 0 0 25 0 1 0 854466017 77287424 18065 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18869 18065 1111 63 0 18806 0
vsize: 75476
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31463 0 0 0 63912 96 0 0 25 0 1 0 854466017 77287424 18078 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18869 18078 1111 63 0 18806 0
vsize: 75476
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31488 0 0 0 64912 96 0 0 25 0 1 0 854466017 77398016 18103 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18896 18103 1111 63 0 18833 0
vsize: 75584
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31489 0 0 0 65912 97 0 0 25 0 1 0 854466017 77398016 18104 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18896 18104 1111 63 0 18833 0
vsize: 75584
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31507 0 0 0 66912 97 0 0 25 0 1 0 854466017 77533184 18122 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18929 18122 1111 63 0 18866 0
vsize: 75716
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31517 0 0 0 67912 97 0 0 25 0 1 0 854466017 77533184 18132 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18929 18132 1111 63 0 18866 0
vsize: 75716
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31539 0 0 0 68911 98 0 0 25 0 1 0 854466017 77668352 18154 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18962 18154 1111 63 0 18899 0
vsize: 75848
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31548 0 0 0 69911 98 0 0 25 0 1 0 854466017 77668352 18163 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18962 18163 1111 63 0 18899 0
vsize: 75848
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31566 0 0 0 70911 99 0 0 25 0 1 0 854466017 77803520 18181 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18995 18181 1111 63 0 18932 0
vsize: 75980
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31585 0 0 0 71910 99 0 0 25 0 1 0 854466017 77803520 18200 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18995 18200 1111 63 0 18932 0
vsize: 75980
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31609 0 0 0 72910 99 0 0 25 0 1 0 854466017 77938688 18224 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19028 18224 1111 63 0 18965 0
vsize: 76112
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31610 0 0 0 73910 100 0 0 25 0 1 0 854466017 77938688 18225 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19028 18225 1111 63 0 18965 0
vsize: 76112
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31627 0 0 0 74909 100 0 0 25 0 1 0 854466017 78073856 18242 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19061 18242 1111 63 0 18998 0
vsize: 76244
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31652 0 0 0 75909 101 0 0 25 0 1 0 854466017 78073856 18267 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19061 18267 1111 63 0 18998 0
vsize: 76244
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31675 0 0 0 76909 101 0 0 25 0 1 0 854466017 78209024 18290 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19094 18290 1111 63 0 19031 0
vsize: 76376
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31689 0 0 0 77909 101 0 0 25 0 1 0 854466017 78209024 18304 4294967295 134512640 134716908 3221224560 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19094 18304 1111 63 0 19031 0
vsize: 76376
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31716 0 0 0 78909 102 0 0 25 0 1 0 854466017 78344192 18331 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19127 18332 1111 63 0 19064 0
vsize: 76508
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31734 0 0 0 79908 102 0 0 25 0 1 0 854466017 78479360 18349 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19160 18349 1111 63 0 19097 0
vsize: 76640
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31762 0 0 0 80908 102 0 0 25 0 1 0 854466017 78614528 18377 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19193 18377 1111 63 0 19130 0
vsize: 76772
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31779 0 0 0 81908 102 0 0 25 0 1 0 854466017 78614528 18394 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19193 18394 1111 63 0 19130 0
vsize: 76772
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31796 0 0 0 82908 103 0 0 25 0 1 0 854466017 78749696 18411 4294967295 134512640 134716908 3221224560 3221223272 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19226 18411 1111 63 0 19163 0
vsize: 76904
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31819 0 0 0 83908 103 0 0 25 0 1 0 854466017 78749696 18434 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19226 18434 1111 63 0 19163 0
vsize: 76904
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31838 0 0 0 84908 103 0 0 25 0 1 0 854466017 78884864 18453 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19259 18453 1111 63 0 19196 0
vsize: 77036
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31853 0 0 0 85908 103 0 0 25 0 1 0 854466017 78884864 18468 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19259 18468 1111 63 0 19196 0
vsize: 77036
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31875 0 0 0 86908 103 0 0 25 0 1 0 854466017 79020032 18490 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19292 18490 1111 63 0 19229 0
vsize: 77168
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31894 0 0 0 87908 104 0 0 25 0 1 0 854466017 79163392 18509 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19327 18509 1111 63 0 19264 0
vsize: 77308
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31922 0 0 0 88908 104 0 0 25 0 1 0 854466017 79163392 18537 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19327 18537 1111 63 0 19264 0
vsize: 77308
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31928 0 0 0 89908 104 0 0 25 0 1 0 854466017 79298560 18543 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19360 18543 1111 63 0 19297 0
vsize: 77440
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31959 0 0 0 90908 104 0 0 25 0 1 0 854466017 79433728 18574 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19393 18574 1111 63 0 19330 0
vsize: 77572
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31971 0 0 0 91908 105 0 0 25 0 1 0 854466017 79433728 18586 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19393 18586 1111 63 0 19330 0
vsize: 77572
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 31981 0 0 0 92908 105 0 0 25 0 1 0 854466017 79433728 18596 4294967295 134512640 134716908 3221224560 3221223200 134698628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19393 18596 1111 63 0 19330 0
vsize: 77572
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32003 0 0 0 93908 105 0 0 25 0 1 0 854466017 79568896 18618 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19426 18618 1111 63 0 19363 0
vsize: 77704
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32017 0 0 0 94908 105 0 0 25 0 1 0 854466017 79568896 18632 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19426 18632 1111 63 0 19363 0
vsize: 77704
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32046 0 0 0 95908 105 0 0 25 0 1 0 854466017 79704064 18661 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19459 18661 1111 63 0 19396 0
vsize: 77836
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32069 0 0 0 96908 106 0 0 25 0 1 0 854466017 79839232 18684 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19492 18684 1111 63 0 19429 0
vsize: 77968
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32088 0 0 0 97908 106 0 0 25 0 1 0 854466017 79974400 18703 4294967295 134512640 134716908 3221224560 3221223184 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19525 18703 1111 63 0 19462 0
vsize: 78100
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32113 0 0 0 98908 106 0 0 25 0 1 0 854466017 79974400 18728 4294967295 134512640 134716908 3221224560 3221223152 134543749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19525 18728 1111 63 0 19462 0
vsize: 78100
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32127 0 0 0 99907 107 0 0 25 0 1 0 854466017 80109568 18742 4294967295 134512640 134716908 3221224560 3221223320 134592427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19558 18742 1111 63 0 19495 0
vsize: 78232
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32158 0 0 0 100907 107 0 0 25 0 1 0 854466017 80244736 18773 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19591 18773 1111 63 0 19528 0
vsize: 78364
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32169 0 0 0 101907 107 0 0 25 0 1 0 854466017 80244736 18784 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19591 18784 1111 63 0 19528 0
vsize: 78364
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32198 0 0 0 102907 108 0 0 25 0 1 0 854466017 80379904 18813 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19624 18813 1111 63 0 19561 0
vsize: 78496
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32221 0 0 0 103907 108 0 0 25 0 1 0 854466017 80515072 18836 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19657 18836 1111 63 0 19594 0
vsize: 78628
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32242 0 0 0 104907 108 0 0 25 0 1 0 854466017 80515072 18857 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19657 18857 1111 63 0 19594 0
vsize: 78628
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32276 0 0 0 105906 109 0 0 25 0 1 0 854466017 80650240 18891 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19690 18891 1111 63 0 19627 0
vsize: 78760
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32296 0 0 0 106906 109 0 0 25 0 1 0 854466017 80785408 18911 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19723 18911 1111 63 0 19660 0
vsize: 78892
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32322 0 0 0 107906 109 0 0 25 0 1 0 854466017 80920576 18937 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19756 18937 1111 63 0 19693 0
vsize: 79024
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32350 0 0 0 108906 110 0 0 25 0 1 0 854466017 80920576 18965 4294967295 134512640 134716908 3221224560 3221223244 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19756 18965 1111 63 0 19693 0
vsize: 79024
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32380 0 0 0 109905 110 0 0 25 0 1 0 854466017 81055744 18995 4294967295 134512640 134716908 3221224560 3221223276 134591887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19789 18995 1111 63 0 19726 0
vsize: 79156
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32392 0 0 0 110905 110 0 0 25 0 1 0 854466017 81190912 19007 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19822 19007 1111 63 0 19759 0
vsize: 79288
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32423 0 0 0 111905 110 0 0 25 0 1 0 854466017 81326080 19038 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19855 19038 1111 63 0 19792 0
vsize: 79420
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32456 0 0 0 112905 111 0 0 25 0 1 0 854466017 81461248 19071 4294967295 134512640 134716908 3221224560 3221223248 134542898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19888 19071 1111 63 0 19825 0
vsize: 79552
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32484 0 0 0 113905 111 0 0 25 0 1 0 854466017 81596416 19099 4294967295 134512640 134716908 3221224560 3221223272 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19921 19099 1111 63 0 19858 0
vsize: 79684
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32511 0 0 0 114905 112 0 0 25 0 1 0 854466017 81580032 19126 4294967295 134512640 134716908 3221224560 3221223328 134592107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19917 19126 1111 63 0 19854 0
vsize: 79668
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32542 0 0 0 115905 112 0 0 25 0 1 0 854466017 81715200 19157 4294967295 134512640 134716908 3221224560 3221223360 134597775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19950 19157 1111 63 0 19887 0
vsize: 79800
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32573 0 0 0 116905 112 0 0 25 0 1 0 854466017 81850368 19188 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19983 19188 1111 63 0 19920 0
vsize: 79932
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7450
Raw data (stat): 7450 (bsolo_lpr_cuts-) R 7449 8378 8377 0 -1 0 32573 0 0 0 116905 112 0 0 25 0 1 0 854466017 81850368 19188 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19983 19188 1111 63 0 19920 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1173.91
CPU system time (s): 1.16582
CPU usage (%): 100.012
Max. virtual memory (Kb): 79932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####