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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM	4caec1e880871fcef3276cf001aca352
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.63384
Number of variables	4632
Total number of constraints	35596
Number of constraints which are clauses	29940
Number of constraints which are cardinality constraints (but not clauses)	5578
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 40911

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 01:59:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28977 boxname=wulflinc1 idbench=363 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4caec1e880871fcef3276cf001aca352  /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:1-13.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:1-13.opb
IDLAUNCH: 28977
/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:        895368 kB
Buffers:         13468 kB
Cached:         101684 kB
SwapCached:       1128 kB
Active:          25156 kB
Inactive:        92160 kB
HighTotal:      131008 kB
HighFree:        26236 kB
LowTotal:       903652 kB
LowFree:        869132 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5188 kB
Slab:            16300 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:19:04 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 28977 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4632 variables and 31138 constraints.
c After prepocess the problem consists of 4632 variables and 31138 constraints.
c preprocess terminated 49.783 s
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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/55 28801
Raw data (stat): 28801 (runsolver) R 28800 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849645405 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 28801
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 46413 0 0 0 879 118 0 0 25 0 1 0 849645405 55967744 12789 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13664 12789 1111 63 0 13601 0
vsize: 54656
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 28801
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 74179 0 0 0 1811 185 0 0 25 0 1 0 849645405 70672384 16393 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17254 16393 1111 63 0 17191 0
vsize: 69016
[startup+30.0034 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28801
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 88065 0 0 0 2774 221 0 0 25 0 1 0 849645405 73338880 17030 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17905 17030 1111 63 0 17842 0
vsize: 71620
[startup+40.003 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 28854
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 102727 0 0 0 3738 257 0 0 25 0 1 0 849645405 72896512 16935 4294967295 134512640 134716908 3221224576 3221223312 134618417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17797 16935 1111 63 0 17734 0
vsize: 71188
[startup+50.0029 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 28854
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107326 0 0 0 4726 269 0 0 25 0 1 0 849645405 70672384 16405 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17254 16405 1111 63 0 17191 0
vsize: 69016
[startup+60.0026 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 28854
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 5724 271 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+70.0024 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 28854
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 6723 272 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+80.0035 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 28854
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 7723 273 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+90.0039 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 28854
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 8723 273 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223344 134592424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+100.004 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 28856
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 9722 273 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221222572 134613982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+110.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 10722 274 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+120.004 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 11721 275 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+130.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 12721 276 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+140.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 13720 276 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+150.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 14720 277 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+160.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 15720 277 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+170.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 16720 277 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223204 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+180.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 17719 278 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+190.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 18719 279 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+200.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 19718 280 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+210.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 20718 280 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223204 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+220.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 21717 281 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+230.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 22717 281 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134613440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+240.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 23716 282 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+250.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 24716 282 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223096 134535877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+260.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 25716 283 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+270.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 26716 283 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+280.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 27716 283 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+290.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 28716 284 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+300.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 29715 284 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+310.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 30715 285 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+320.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 31715 285 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+330.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 32715 285 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223228 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+340.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 33715 285 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223360 134529088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+350.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 34715 286 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223360 134529009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+360.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28858
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 35714 287 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223312 134535841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+370.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 36714 287 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+380.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 37714 288 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+390.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 38713 288 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+400.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 39713 288 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223112 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+410.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 40713 289 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+420.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 41712 290 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+430.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 42711 291 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+440.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 43711 291 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223320 134551621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+450.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 44711 292 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223204 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+460.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 45710 293 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+470.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 46709 294 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223344 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+480.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 47708 295 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+490.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 48708 295 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223240 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+500.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 49707 296 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223312 134558529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+510.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 50707 297 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223084 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+520.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 51707 297 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+530.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 52706 298 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+540.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 53705 299 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+550.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 54705 299 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+560.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 55705 300 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+570.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 56704 300 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223296 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+580.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 57704 301 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+590.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 58704 302 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223368 134531220 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+600.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 59703 302 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+610.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 60703 303 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223084 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+620.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 61703 303 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223204 1077374077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+630.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 62703 303 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223316 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+640.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 63703 303 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+650.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 64703 304 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+660.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 65702 304 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+670.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 66702 304 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+680.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 67702 305 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+690.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 68702 305 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134613467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+700.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 69701 306 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+710.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 70701 306 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+720.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 71701 307 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223360 134529331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+730.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 72701 307 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223200 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+740.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 73700 308 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223400 134590015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+750.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 74700 308 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223312 134535821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+760.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 75699 309 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+770.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 76699 310 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+780.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 77698 310 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+790.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 78698 311 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+800.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 79698 312 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+810.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 80697 312 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223288 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+820.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 81697 312 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+830.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 82697 313 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223180 134542823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+840.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 83697 313 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223152 134549807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+850.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 84697 313 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+860.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 85696 314 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223360 134529240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+870.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 86696 314 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+880.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 87696 315 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+890.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 88695 315 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+900.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 89695 316 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223192 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+910.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 90695 316 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+920.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 91695 316 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223244 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+930.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 92695 317 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223248 134542865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+940.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 93695 317 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223032 1077374433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+950.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 94695 317 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+960.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 95694 318 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223116 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+970.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 96694 318 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+980.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 97694 319 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+990.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 98693 319 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 99693 320 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 100693 320 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 101693 320 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 102693 321 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 103693 321 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 104693 321 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223120 134542995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 105692 322 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223228 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 106691 323 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 107690 324 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 108690 325 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107329 0 0 0 109690 325 0 0 25 0 1 0 849645405 70672384 16408 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16408 1111 63 0 17191 0
vsize: 69016
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107341 0 0 0 110690 325 0 0 25 0 1 0 849645405 70807552 16420 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17287 16420 1111 63 0 17224 0
vsize: 69148
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107357 0 0 0 111689 326 0 0 25 0 1 0 849645405 70807552 16436 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17287 16436 1111 63 0 17224 0
vsize: 69148
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107379 0 0 0 112689 327 0 0 25 0 1 0 849645405 70942720 16458 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17320 16458 1111 63 0 17257 0
vsize: 69280
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107379 0 0 0 113688 327 0 0 25 0 1 0 849645405 70942720 16458 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17320 16458 1111 63 0 17257 0
vsize: 69280
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107379 0 0 0 114688 328 0 0 25 0 1 0 849645405 70942720 16458 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17320 16458 1111 63 0 17257 0
vsize: 69280
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107396 0 0 0 115687 329 0 0 25 0 1 0 849645405 71077888 16475 4294967295 134512640 134716908 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17353 16475 1111 63 0 17290 0
vsize: 69412
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107459 0 0 0 116686 330 0 0 25 0 1 0 849645405 71315456 16538 4294967295 134512640 134716908 3221224576 3221223084 134535984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17411 16538 1111 63 0 17348 0
vsize: 69644
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 28860
Raw data (stat): 28801 (bsolo_lpr_cuts-) R 28800 8378 8377 0 -1 0 107459 0 0 0 116686 330 0 0 25 0 1 0 849645405 71315456 16538 4294967295 134512640 134716908 3221224576 3221223084 134535984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17411 16538 1111 63 0 17348 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1171.71
CPU system time (s): 3.33549
CPU usage (%): 100.012
Max. virtual memory (Kb): 71620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####