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 27190

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 19:53:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18098 boxname=wulflinc23 idbench=1393 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2d8f46b77d84c45a7178d4a463744176  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-tr12-30.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-tr12-30.opb
IDLAUNCH: 18098
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        758740 kB
Buffers:         35668 kB
Cached:         218124 kB
SwapCached:        664 kB
Active:          74212 kB
Inactive:       182044 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        758460 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14072 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:13:19 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 18098 7 1175.14 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.426 s
c Initial Lower Bound: 2319895
c Lower Bound Elapsed time: 10.3767
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.82 0.93 0.90 2/54 9206
Raw data (stat): 9206 (runsolver) R 9205 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832913557 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 16057 0 0 0 964 34 0 0 25 0 1 0 832913557 68837376 15891 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16806 15891 1111 63 0 16743 0
vsize: 67224
[startup+20.0017 s]
Raw data (loadavg): 0.87 0.93 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 21073 0 0 0 1952 45 0 0 25 0 1 0 832913557 79138816 18516 4294967295 134512640 134714508 3221224576 3221222492 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19321 18516 1111 63 0 19258 0
vsize: 77284
[startup+30.0019 s]
Raw data (loadavg): 0.89 0.93 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 49553 0 0 0 2889 109 0 0 25 0 1 0 832913557 163438592 39071 4294967295 134512640 134714508 3221224576 3221222976 1074031958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39902 39071 1111 63 0 39839 0
vsize: 159608
[startup+40.002 s]
Raw data (loadavg): 0.91 0.93 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 76493 0 0 0 3832 165 0 0 25 0 1 0 832913557 241311744 58120 4294967295 134512640 134714508 3221224576 3221222648 1074950074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58914 58120 1111 63 0 58851 0
vsize: 235656
[startup+50.0036 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86074 0 0 0 4811 187 0 0 25 0 1 0 832913557 266289152 64186 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64186 1111 63 0 64949 0
vsize: 260048
[startup+60.0038 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86075 0 0 0 5810 188 0 0 25 0 1 0 832913557 266289152 64187 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64187 1111 63 0 64949 0
vsize: 260048
[startup+70.0039 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86075 0 0 0 6809 189 0 0 25 0 1 0 832913557 266289152 64187 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64187 1111 63 0 64949 0
vsize: 260048
[startup+80.0046 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86075 0 0 0 7809 189 0 0 25 0 1 0 832913557 266289152 64187 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64187 1111 63 0 64949 0
vsize: 260048
[startup+90.0047 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86075 0 0 0 8809 190 0 0 25 0 1 0 832913557 266289152 64187 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64187 1111 63 0 64949 0
vsize: 260048
[startup+100.006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86075 0 0 0 9809 190 0 0 25 0 1 0 832913557 266289152 64187 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64187 1111 63 0 64949 0
vsize: 260048
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86075 0 0 0 10808 191 0 0 25 0 1 0 832913557 266289152 64187 4294967295 134512640 134714508 3221224576 3221223204 1077374210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64187 1111 63 0 64949 0
vsize: 260048
[startup+120.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86075 0 0 0 11808 191 0 0 25 0 1 0 832913557 266289152 64187 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64187 1111 63 0 64949 0
vsize: 260048
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86075 0 0 0 12808 191 0 0 25 0 1 0 832913557 266289152 64187 4294967295 134512640 134714508 3221224576 3221223368 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64187 1111 63 0 64949 0
vsize: 260048
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86075 0 0 0 13807 192 0 0 25 0 1 0 832913557 266289152 64187 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64187 1111 63 0 64949 0
vsize: 260048
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86088 0 0 0 14806 193 0 0 25 0 1 0 832913557 266289152 64200 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64200 1111 63 0 64949 0
vsize: 260048
[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86097 0 0 0 15806 194 0 0 25 0 1 0 832913557 266289152 64209 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64209 1111 63 0 64949 0
vsize: 260048
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86102 0 0 0 16805 194 0 0 25 0 1 0 832913557 266289152 64214 4294967295 134512640 134714508 3221224576 3221223152 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65012 64214 1111 63 0 64949 0
vsize: 260048
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86102 0 0 0 17805 195 0 0 25 0 1 0 832913557 266289152 64214 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65012 64214 1111 63 0 64949 0
vsize: 260048
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86106 0 0 0 18805 195 0 0 25 0 1 0 832913557 266289152 64218 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65012 64218 1111 63 0 64949 0
vsize: 260048
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86114 0 0 0 19805 195 0 0 25 0 1 0 832913557 266424320 64226 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65045 64226 1111 63 0 64982 0
vsize: 260180
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86125 0 0 0 20805 196 0 0 25 0 1 0 832913557 266424320 64237 4294967295 134512640 134714508 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65045 64237 1111 63 0 64982 0
vsize: 260180
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86136 0 0 0 21805 196 0 0 25 0 1 0 832913557 266424320 64248 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65045 64248 1111 63 0 64982 0
vsize: 260180
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86136 0 0 0 22805 196 0 0 25 0 1 0 832913557 266424320 64248 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65045 64248 1111 63 0 64982 0
vsize: 260180
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86144 0 0 0 23805 196 0 0 25 0 1 0 832913557 266559488 64256 4294967295 134512640 134714508 3221224576 3221223264 134524466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65078 64256 1111 63 0 65015 0
vsize: 260312
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86152 0 0 0 24805 196 0 0 25 0 1 0 832913557 266559488 64264 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65078 64264 1111 63 0 65015 0
vsize: 260312
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86157 0 0 0 25805 197 0 0 25 0 1 0 832913557 266559488 64269 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65078 64269 1111 63 0 65015 0
vsize: 260312
[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86178 0 0 0 26805 197 0 0 25 0 1 0 832913557 266694656 64290 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65111 64290 1111 63 0 65048 0
vsize: 260444
[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86178 0 0 0 27805 197 0 0 25 0 1 0 832913557 266694656 64290 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65111 64290 1111 63 0 65048 0
vsize: 260444
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86178 0 0 0 28805 197 0 0 25 0 1 0 832913557 266694656 64290 4294967295 134512640 134714508 3221224576 3221223168 134542808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65111 64290 1111 63 0 65048 0
vsize: 260444
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86184 0 0 0 29805 197 0 0 25 0 1 0 832913557 266694656 64296 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65111 64296 1111 63 0 65048 0
vsize: 260444
[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86193 0 0 0 30805 198 0 0 25 0 1 0 832913557 266694656 64305 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65111 64305 1111 63 0 65048 0
vsize: 260444
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86201 0 0 0 31805 198 0 0 25 0 1 0 832913557 266694656 64313 4294967295 134512640 134714508 3221224576 3221223320 134672948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65111 64313 1111 63 0 65048 0
vsize: 260444
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86209 0 0 0 32804 199 0 0 25 0 1 0 832913557 266829824 64321 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65144 64321 1111 63 0 65081 0
vsize: 260576
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86211 0 0 0 33804 199 0 0 25 0 1 0 832913557 266829824 64323 4294967295 134512640 134714508 3221224576 3221223356 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65144 64323 1111 63 0 65081 0
vsize: 260576
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86220 0 0 0 34804 199 0 0 25 0 1 0 832913557 266829824 64332 4294967295 134512640 134714508 3221224576 3221223216 134696097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65144 64332 1111 63 0 65081 0
vsize: 260576
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86227 0 0 0 35804 199 0 0 25 0 1 0 832913557 266829824 64339 4294967295 134512640 134714508 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65144 64339 1111 63 0 65081 0
vsize: 260576
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9206
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86234 0 0 0 36805 199 0 0 25 0 1 0 832913557 266829824 64346 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65144 64346 1111 63 0 65081 0
vsize: 260576
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9207
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86246 0 0 0 37806 200 0 0 25 0 1 0 832913557 266964992 64358 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65177 64358 1111 63 0 65114 0
vsize: 260708
[startup+390.031 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9259
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86246 0 0 0 38805 200 0 0 25 0 1 0 832913557 266964992 64358 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65177 64358 1111 63 0 65114 0
vsize: 260708
[startup+400.032 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9259
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86246 0 0 0 39805 201 0 0 25 0 1 0 832913557 266964992 64358 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65177 64358 1111 63 0 65114 0
vsize: 260708
[startup+410.032 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9259
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86256 0 0 0 40805 201 0 0 25 0 1 0 832913557 266964992 64368 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65177 64368 1111 63 0 65114 0
vsize: 260708
[startup+420.032 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9259
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86264 0 0 0 41805 202 0 0 25 0 1 0 832913557 266964992 64376 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65177 64376 1111 63 0 65114 0
vsize: 260708
[startup+430.033 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9259
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86274 0 0 0 42805 202 0 0 25 0 1 0 832913557 267100160 64386 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65210 64386 1111 63 0 65147 0
vsize: 260840
[startup+440.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9259
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86281 0 0 0 43805 202 0 0 25 0 1 0 832913557 267100160 64393 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65210 64393 1111 63 0 65147 0
vsize: 260840
[startup+450.033 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9259
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86282 0 0 0 44804 202 0 0 25 0 1 0 832913557 267100160 64394 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65210 64394 1111 63 0 65147 0
vsize: 260840
[startup+460.033 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86295 0 0 0 45805 202 0 0 25 0 1 0 832913557 267100160 64407 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65210 64407 1111 63 0 65147 0
vsize: 260840
[startup+470.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86296 0 0 0 46804 203 0 0 25 0 1 0 832913557 267100160 64408 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65210 64408 1111 63 0 65147 0
vsize: 260840
[startup+480.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86309 0 0 0 47804 203 0 0 25 0 1 0 832913557 267235328 64421 4294967295 134512640 134714508 3221224576 3221223200 1077377136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65243 64421 1111 63 0 65180 0
vsize: 260972
[startup+490.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86320 0 0 0 48804 203 0 0 25 0 1 0 832913557 267235328 64432 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65243 64432 1111 63 0 65180 0
vsize: 260972
[startup+500.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86320 0 0 0 49804 204 0 0 25 0 1 0 832913557 267235328 64432 4294967295 134512640 134714508 3221224576 3221223328 134592421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65243 64432 1111 63 0 65180 0
vsize: 260972
[startup+510.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86320 0 0 0 50804 204 0 0 25 0 1 0 832913557 267235328 64432 4294967295 134512640 134714508 3221224576 3221223200 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65243 64432 1111 63 0 65180 0
vsize: 260972
[startup+520.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86320 0 0 0 51804 204 0 0 25 0 1 0 832913557 267235328 64432 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65243 64432 1111 63 0 65180 0
vsize: 260972
[startup+530.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86321 0 0 0 52804 204 0 0 25 0 1 0 832913557 267235328 64433 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65243 64433 1111 63 0 65180 0
vsize: 260972
[startup+540.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86341 0 0 0 53804 205 0 0 25 0 1 0 832913557 267370496 64453 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65276 64453 1111 63 0 65213 0
vsize: 261104
[startup+550.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86341 0 0 0 54804 205 0 0 25 0 1 0 832913557 267370496 64453 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65276 64453 1111 63 0 65213 0
vsize: 261104
[startup+560.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86347 0 0 0 55804 205 0 0 25 0 1 0 832913557 267370496 64459 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65276 64459 1111 63 0 65213 0
vsize: 261104
[startup+570.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86353 0 0 0 56804 205 0 0 25 0 1 0 832913557 267370496 64465 4294967295 134512640 134714508 3221224576 3221222972 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65276 64465 1111 63 0 65213 0
vsize: 261104
[startup+580.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86359 0 0 0 57804 205 0 0 25 0 1 0 832913557 267370496 64471 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65276 64471 1111 63 0 65213 0
vsize: 261104
[startup+590.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86368 0 0 0 58804 205 0 0 25 0 1 0 832913557 267370496 64480 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65276 64480 1111 63 0 65213 0
vsize: 261104
[startup+600.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86379 0 0 0 59804 205 0 0 25 0 1 0 832913557 267505664 64491 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65309 64491 1111 63 0 65246 0
vsize: 261236
[startup+610.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86379 0 0 0 60804 206 0 0 25 0 1 0 832913557 267505664 64491 4294967295 134512640 134714508 3221224576 3221223280 134524567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65309 64491 1111 63 0 65246 0
vsize: 261236
[startup+620.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86381 0 0 0 61804 206 0 0 25 0 1 0 832913557 267505664 64493 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65309 64493 1111 63 0 65246 0
vsize: 261236
[startup+630.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86388 0 0 0 62804 206 0 0 25 0 1 0 832913557 267505664 64500 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65309 64500 1111 63 0 65246 0
vsize: 261236
[startup+640.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86397 0 0 0 63804 206 0 0 25 0 1 0 832913557 267505664 64509 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65309 64509 1111 63 0 65246 0
vsize: 261236
[startup+650.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86411 0 0 0 64804 207 0 0 25 0 1 0 832913557 267644928 64523 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65343 64523 1111 63 0 65280 0
vsize: 261372
[startup+660.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86411 0 0 0 65804 207 0 0 25 0 1 0 832913557 267644928 64523 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65343 64523 1111 63 0 65280 0
vsize: 261372
[startup+670.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86415 0 0 0 66803 207 0 0 25 0 1 0 832913557 267644928 64527 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65343 64527 1111 63 0 65280 0
vsize: 261372
[startup+680.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86422 0 0 0 67803 207 0 0 25 0 1 0 832913557 267644928 64534 4294967295 134512640 134714508 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65343 64534 1111 63 0 65280 0
vsize: 261372
[startup+690.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86429 0 0 0 68803 208 0 0 25 0 1 0 832913557 267644928 64541 4294967295 134512640 134714508 3221224576 3221223204 1077374084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65343 64541 1111 63 0 65280 0
vsize: 261372
[startup+700.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86439 0 0 0 69803 208 0 0 25 0 1 0 832913557 267780096 64551 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65376 64551 1111 63 0 65313 0
vsize: 261504
[startup+710.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86446 0 0 0 70803 208 0 0 25 0 1 0 832913557 267780096 64558 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65376 64558 1111 63 0 65313 0
vsize: 261504
[startup+720.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9261
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86446 0 0 0 71803 208 0 0 25 0 1 0 832913557 267780096 64558 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65376 64558 1111 63 0 65313 0
vsize: 261504
[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86456 0 0 0 72803 209 0 0 25 0 1 0 832913557 267780096 64568 4294967295 134512640 134714508 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65376 64568 1111 63 0 65313 0
vsize: 261504
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86456 0 0 0 73803 209 0 0 25 0 1 0 832913557 267780096 64568 4294967295 134512640 134714508 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65376 64568 1111 63 0 65313 0
vsize: 261504
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86466 0 0 0 74803 209 0 0 25 0 1 0 832913557 267780096 64578 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65376 64578 1111 63 0 65313 0
vsize: 261504
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86476 0 0 0 75803 209 0 0 25 0 1 0 832913557 267915264 64588 4294967295 134512640 134714508 3221224576 3221223328 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65409 64588 1111 63 0 65346 0
vsize: 261636
[startup+770.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86476 0 0 0 76803 209 0 0 25 0 1 0 832913557 267915264 64588 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65409 64588 1111 63 0 65346 0
vsize: 261636
[startup+780.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86486 0 0 0 77803 209 0 0 25 0 1 0 832913557 267915264 64598 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65409 64598 1111 63 0 65346 0
vsize: 261636
[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86494 0 0 0 78803 210 0 0 25 0 1 0 832913557 267915264 64606 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65409 64606 1111 63 0 65346 0
vsize: 261636
[startup+800.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86503 0 0 0 79803 210 0 0 25 0 1 0 832913557 267915264 64615 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65409 64615 1111 63 0 65346 0
vsize: 261636
[startup+810.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86511 0 0 0 80803 210 0 0 25 0 1 0 832913557 268050432 64623 4294967295 134512640 134714508 3221224576 3221223216 134696103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65442 64623 1111 63 0 65379 0
vsize: 261768
[startup+820.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86518 0 0 0 81803 210 0 0 25 0 1 0 832913557 268050432 64630 4294967295 134512640 134714508 3221224576 3221223136 134552038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65442 64630 1111 63 0 65379 0
vsize: 261768
[startup+830.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86518 0 0 0 82803 210 0 0 25 0 1 0 832913557 268050432 64630 4294967295 134512640 134714508 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65442 64630 1111 63 0 65379 0
vsize: 261768
[startup+840.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86520 0 0 0 83803 211 0 0 25 0 1 0 832913557 268050432 64632 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65442 64632 1111 63 0 65379 0
vsize: 261768
[startup+850.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86525 0 0 0 84803 211 0 0 25 0 1 0 832913557 268050432 64637 4294967295 134512640 134714508 3221224576 3221223232 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65442 64637 1111 63 0 65379 0
vsize: 261768
[startup+860.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86536 0 0 0 85803 211 0 0 25 0 1 0 832913557 268050432 64648 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65442 64648 1111 63 0 65379 0
vsize: 261768
[startup+870.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86541 0 0 0 86803 211 0 0 25 0 1 0 832913557 268103680 64653 4294967295 134512640 134714508 3221224576 3221223228 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65455 64653 1111 63 0 65392 0
vsize: 261820
[startup+880.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86546 0 0 0 87803 211 0 0 25 0 1 0 832913557 268103680 64658 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65455 64658 1111 63 0 65392 0
vsize: 261820
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86558 0 0 0 88803 212 0 0 25 0 1 0 832913557 268189696 64670 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65476 64670 1111 63 0 65413 0
vsize: 261904
[startup+900.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86564 0 0 0 89804 212 0 0 25 0 1 0 832913557 268189696 64676 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65476 64676 1111 63 0 65413 0
vsize: 261904
[startup+910.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86570 0 0 0 90803 213 0 0 25 0 1 0 832913557 268189696 64682 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65476 64682 1111 63 0 65413 0
vsize: 261904
[startup+920.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86580 0 0 0 91803 213 0 0 25 0 1 0 832913557 268328960 64692 4294967295 134512640 134714508 3221224576 3221223328 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65510 64692 1111 63 0 65447 0
vsize: 262040
[startup+930.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86582 0 0 0 92803 213 0 0 25 0 1 0 832913557 268328960 64694 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65510 64694 1111 63 0 65447 0
vsize: 262040
[startup+940.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86582 0 0 0 93803 213 0 0 25 0 1 0 832913557 268328960 64694 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65510 64694 1111 63 0 65447 0
vsize: 262040
[startup+950.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86582 0 0 0 94803 213 0 0 25 0 1 0 832913557 268328960 64694 4294967295 134512640 134714508 3221224576 3221223336 134613522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65510 64694 1111 63 0 65447 0
vsize: 262040
[startup+960.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86582 0 0 0 95803 214 0 0 25 0 1 0 832913557 268328960 64694 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65510 64694 1111 63 0 65447 0
vsize: 262040
[startup+970.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86589 0 0 0 96803 214 0 0 25 0 1 0 832913557 268328960 64701 4294967295 134512640 134714508 3221224576 3221223216 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65510 64701 1111 63 0 65447 0
vsize: 262040
[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86595 0 0 0 97803 214 0 0 25 0 1 0 832913557 268328960 64707 4294967295 134512640 134714508 3221224576 3221223360 134597619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65510 64707 1111 63 0 65447 0
vsize: 262040
[startup+990.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86602 0 0 0 98803 214 0 0 25 0 1 0 832913557 268328960 64714 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65510 64714 1111 63 0 65447 0
vsize: 262040
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86603 0 0 0 99803 215 0 0 25 0 1 0 832913557 268328960 64715 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65510 64715 1111 63 0 65447 0
vsize: 262040
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86610 0 0 0 100803 215 0 0 25 0 1 0 832913557 268464128 64722 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65543 64722 1111 63 0 65480 0
vsize: 262172
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86619 0 0 0 101803 215 0 0 25 0 1 0 832913557 268464128 64731 4294967295 134512640 134714508 3221224576 3221223340 134613543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65543 64731 1111 63 0 65480 0
vsize: 262172
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86626 0 0 0 102803 215 0 0 25 0 1 0 832913557 268464128 64738 4294967295 134512640 134714508 3221224576 3221223184 134549494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65543 64738 1111 63 0 65480 0
vsize: 262172
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86627 0 0 0 103803 216 0 0 25 0 1 0 832913557 268464128 64739 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65543 64739 1111 63 0 65480 0
vsize: 262172
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86639 0 0 0 104803 216 0 0 25 0 1 0 832913557 268599296 64751 4294967295 134512640 134714508 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65576 64751 1111 63 0 65513 0
vsize: 262304
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86639 0 0 0 105803 216 0 0 25 0 1 0 832913557 268599296 64751 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65576 64751 1111 63 0 65513 0
vsize: 262304
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86639 0 0 0 106804 216 0 0 25 0 1 0 832913557 268599296 64751 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65576 64751 1111 63 0 65513 0
vsize: 262304
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86644 0 0 0 107804 216 0 0 25 0 1 0 832913557 268599296 64756 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65576 64756 1111 63 0 65513 0
vsize: 262304
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86650 0 0 0 108803 216 0 0 25 0 1 0 832913557 268599296 64762 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65576 64762 1111 63 0 65513 0
vsize: 262304
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86658 0 0 0 109804 216 0 0 25 0 1 0 832913557 268599296 64770 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65576 64770 1111 63 0 65513 0
vsize: 262304
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86665 0 0 0 110804 217 0 0 25 0 1 0 832913557 268599296 64777 4294967295 134512640 134714508 3221224576 3221223184 134523374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65576 64777 1111 63 0 65513 0
vsize: 262304
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86673 0 0 0 111804 217 0 0 25 0 1 0 832913557 268734464 64785 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65609 64785 1111 63 0 65546 0
vsize: 262436
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86673 0 0 0 112804 217 0 0 25 0 1 0 832913557 268734464 64785 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65609 64785 1111 63 0 65546 0
vsize: 262436
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86680 0 0 0 113804 217 0 0 25 0 1 0 832913557 268734464 64792 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65609 64792 1111 63 0 65546 0
vsize: 262436
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86690 0 0 0 114804 217 0 0 25 0 1 0 832913557 268734464 64802 4294967295 134512640 134714508 3221224576 3221223136 134696528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65609 64802 1111 63 0 65546 0
vsize: 262436
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86692 0 0 0 115804 217 0 0 25 0 1 0 832913557 268734464 64804 4294967295 134512640 134714508 3221224576 3221223376 134597645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65609 64804 1111 63 0 65546 0
vsize: 262436
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86703 0 0 0 116804 217 0 0 25 0 1 0 832913557 268734464 64815 4294967295 134512640 134714508 3221224576 3221223312 134591829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65609 64815 1111 63 0 65546 0
vsize: 262436
[startup+1174.96 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 9263
Raw data (stat): 9206 (bsolo_lpr_cuts) R 9205 5562 5561 0 -1 0 86703 0 0 0 116804 217 0 0 25 0 1 0 832913557 268734464 64815 4294967295 134512640 134714508 3221224576 3221223312 134591829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65609 64815 1111 63 0 65546 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.14
CPU user time (s): 1172.84
CPU system time (s): 2.29765
CPU usage (%): 100.015
Max. virtual memory (Kb): 262436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####