PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	eb50800dc2fc522dd2f29a347fbab1da
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	454.966
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	82
Trace number 41226

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 08:21:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29289 boxname=wulflinc2 idbench=1073 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  eb50800dc2fc522dd2f29a347fbab1da  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 29289
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        783500 kB
Buffers:          6904 kB
Cached:         223156 kB
SwapCached:       1480 kB
Active:          25436 kB
Inactive:       206716 kB
HighTotal:      131008 kB
HighFree:         4424 kB
LowTotal:       903652 kB
LowFree:        779076 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4960 kB
Slab:            13268 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:41:34 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 29289 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1909 variables and 372 constraints.
c preprocess terminated 77.326 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.20725
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.85 0.94 0.90 1/54 23346
Raw data (stat): 23346 (runsolver) R 23345 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908801268 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0013 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 6456 0 0 0 981 16 0 0 25 0 1 0 908801268 29597696 6374 4294967295 134512640 134716908 3221224560 3221223168 134557221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7226 6374 1111 63 0 7163 0
vsize: 28904
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 6495 0 0 0 1981 16 0 0 25 0 1 0 908801268 29761536 6413 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6413 1111 63 0 7203 0
vsize: 29064
[startup+30.0022 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 6522 0 0 0 2981 16 0 0 25 0 1 0 908801268 29835264 6440 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 6440 1111 63 0 7221 0
vsize: 29136
[startup+40.0037 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 6546 0 0 0 3980 17 0 0 25 0 1 0 908801268 29904896 6457 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7301 6457 1111 63 0 7238 0
vsize: 29204
[startup+50.004 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 6607 0 0 0 4980 17 0 0 25 0 1 0 908801268 30126080 6498 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6498 1111 63 0 7292 0
vsize: 29420
[startup+60.0043 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 6621 0 0 0 5979 18 0 0 25 0 1 0 908801268 30126080 6511 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6511 1111 63 0 7292 0
vsize: 29420
[startup+70.0054 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 6621 0 0 0 6979 18 0 0 25 0 1 0 908801268 30126080 6511 4294967295 134512640 134716908 3221224560 3221223232 134606974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6511 1111 63 0 7292 0
vsize: 29420
[startup+80.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 7256 0 0 0 7977 20 0 0 25 0 1 0 908801268 30314496 6697 4294967295 134512640 134716908 3221224560 3221222848 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+90.0063 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 8788 0 0 0 8973 24 0 0 25 0 1 0 908801268 30314496 6697 4294967295 134512640 134716908 3221224560 3221222632 1077377266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 8909 0 0 0 9972 25 0 0 25 0 1 0 908801268 30466048 6698 4294967295 134512640 134716908 3221224560 3221222384 1075823410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6698 1111 63 0 7375 0
vsize: 29752
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 9078 0 0 0 10970 27 0 0 25 0 1 0 908801268 30314496 6697 4294967295 134512640 134716908 3221224560 3221222096 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 9255 0 0 0 11968 29 0 0 25 0 1 0 908801268 30314496 6697 4294967295 134512640 134716908 3221224560 3221222520 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 9440 0 0 0 12967 30 0 0 25 0 1 0 908801268 30314496 6698 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6698 1111 63 0 7338 0
vsize: 29604
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 9598 0 0 0 13966 32 0 0 25 0 1 0 908801268 30314496 6698 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6698 1111 63 0 7338 0
vsize: 29604
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 9759 0 0 0 14964 34 0 0 25 0 1 0 908801268 30314496 6699 4294967295 134512640 134716908 3221224560 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6699 1111 63 0 7338 0
vsize: 29604
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 9884 0 0 0 15962 36 0 0 25 0 1 0 908801268 30564352 6700 4294967295 134512640 134716908 3221224560 3221220572 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6700 1111 63 0 7399 0
vsize: 29848
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 10015 0 0 0 16960 38 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 10174 0 0 0 17959 39 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222944 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 10325 0 0 0 18958 41 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222848 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 10466 0 0 0 19956 43 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222192 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 10602 0 0 0 20954 44 0 0 25 0 1 0 908801268 30564352 6702 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6702 1111 63 0 7399 0
vsize: 29848
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 10763 0 0 0 21953 46 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 10932 0 0 0 22951 47 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222848 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 11084 0 0 0 23949 50 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221221752 1074138256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 11253 0 0 0 24948 51 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222960 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 11428 0 0 0 25946 53 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222320 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 11549 0 0 0 26944 55 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221223352 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 11680 0 0 0 27943 56 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222288 1075829542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 11808 0 0 0 28941 58 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222864 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 11931 0 0 0 29939 60 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222304 1075640399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 12034 0 0 0 30937 62 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221221996 1077377565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 12148 0 0 0 31935 64 0 0 25 0 1 0 908801268 30502912 6701 4294967295 134512640 134716908 3221224560 3221220828 1074807688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6701 1111 63 0 7384 0
vsize: 29788
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 12245 0 0 0 32934 65 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222240 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 12335 0 0 0 33933 66 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222128 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 12465 0 0 0 34931 68 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222432 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 12577 0 0 0 35930 69 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222152 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 12743 0 0 0 36929 71 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221223184 134652477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 12847 0 0 0 37927 72 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222304 1075640372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 12943 0 0 0 38926 73 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 13077 0 0 0 39925 74 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222976 1074116254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 13191 0 0 0 40924 75 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222344 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 13330 0 0 0 41923 76 0 0 25 0 1 0 908801268 30314496 6700 4294967295 134512640 134716908 3221224560 3221222384 1075823521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6700 1111 63 0 7338 0
vsize: 29604
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 13467 0 0 0 42922 77 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221221480 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 13588 0 0 0 43922 78 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 13681 0 0 0 44921 79 0 0 25 0 1 0 908801268 30564352 6704 4294967295 134512640 134716908 3221224560 3221220896 1075114287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7462 6704 1111 63 0 7399 0
vsize: 29848
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 13823 0 0 0 45920 80 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 13951 0 0 0 46920 81 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 14084 0 0 0 47919 82 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222368 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 14177 0 0 0 48919 82 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222864 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 14286 0 0 0 49918 83 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 14449 0 0 0 50916 85 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 14624 0 0 0 51916 86 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222288 1075635518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 14793 0 0 0 52915 87 0 0 25 0 1 0 908801268 30466048 6703 4294967295 134512640 134716908 3221224560 3221222480 1075799732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6703 1111 63 0 7375 0
vsize: 29752
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 15418 0 0 0 53912 90 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222976 1074117062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 15940 0 0 0 54910 92 0 0 25 0 1 0 908801268 30593024 6706 4294967295 134512640 134716908 3221224560 3221221600 1075860548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7469 6706 1111 63 0 7406 0
vsize: 29876
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 16454 0 0 0 55909 94 0 0 25 0 1 0 908801268 30453760 6705 4294967295 134512640 134716908 3221224560 3221221392 1075115806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7435 6705 1111 63 0 7372 0
vsize: 29740
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 16948 0 0 0 56906 96 0 0 25 0 1 0 908801268 30453760 6705 4294967295 134512640 134716908 3221224560 3221221628 1074831179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7435 6705 1111 63 0 7372 0
vsize: 29740
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 17650 0 0 0 57904 99 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222664 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 18272 0 0 0 58902 101 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 19314 0 0 0 59898 105 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222912 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 20260 0 0 0 60895 108 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221223176 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 20962 0 0 0 61893 111 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222536 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 21466 0 0 0 62891 113 0 0 25 0 1 0 908801268 30593024 6707 4294967295 134512640 134716908 3221224560 3221220932 1075112448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7469 6707 1111 63 0 7406 0
vsize: 29876
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 21971 0 0 0 63889 115 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222200 1077378320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 22472 0 0 0 64887 117 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221223296 134556887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 22995 0 0 0 65884 120 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222560 1074916481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 23512 0 0 0 66882 122 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222672 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 24043 0 0 0 67880 124 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222944 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 24570 0 0 0 68878 127 0 0 25 0 1 0 908801268 30593024 6706 4294967295 134512640 134716908 3221224560 3221218060 1075363871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7469 6706 1111 63 0 7406 0
vsize: 29876
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 25099 0 0 0 69877 129 0 0 25 0 1 0 908801268 30314496 6702 4294967295 134512640 134716908 3221224560 3221222368 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6702 1111 63 0 7338 0
vsize: 29604
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 26317 0 0 0 70873 132 0 0 25 0 1 0 908801268 30380032 6712 4294967295 134512640 134716908 3221224560 3221222560 1074918343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6712 1111 63 0 7354 0
vsize: 29668
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 27323 0 0 0 71871 135 0 0 25 0 1 0 908801268 30347264 6710 4294967295 134512640 134716908 3221224560 3221222520 1074138327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 6711 1111 63 0 7390 0
vsize: 29636
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 28244 0 0 0 72867 139 0 0 25 0 1 0 908801268 30347264 6710 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6710 1111 63 0 7346 0
vsize: 29636
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 29188 0 0 0 73864 142 0 0 25 0 1 0 908801268 30347264 6710 4294967295 134512640 134716908 3221224560 3221222504 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6710 1111 63 0 7346 0
vsize: 29636
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 30138 0 0 0 74861 146 0 0 25 0 1 0 908801268 30380032 6718 4294967295 134512640 134716908 3221224560 3221221904 1074839050 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6718 1111 63 0 7354 0
vsize: 29668
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 31007 0 0 0 75857 149 0 0 25 0 1 0 908801268 30347264 6710 4294967295 134512640 134716908 3221224560 3221222040 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6710 1111 63 0 7346 0
vsize: 29636
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 31954 0 0 0 76854 152 0 0 25 0 1 0 908801268 30347264 6710 4294967295 134512640 134716908 3221224560 3221222264 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6710 1111 63 0 7346 0
vsize: 29636
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 33266 0 0 0 77850 157 0 0 25 0 1 0 908801268 30347264 6710 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6710 1111 63 0 7346 0
vsize: 29636
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 34860 0 0 0 78846 161 0 0 25 0 1 0 908801268 30527488 6713 4294967295 134512640 134716908 3221224560 3221222288 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 6713 1111 63 0 7390 0
vsize: 29812
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 35936 0 0 0 79842 165 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 36998 0 0 0 80838 170 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221223208 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 37966 0 0 0 81835 173 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222944 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 38971 0 0 0 82831 176 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 40025 0 0 0 83827 181 0 0 25 0 1 0 908801268 30380032 6712 4294967295 134512640 134716908 3221224560 3221222560 1074918536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6712 1111 63 0 7354 0
vsize: 29668
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 41144 0 0 0 84823 185 0 0 25 0 1 0 908801268 30679040 6727 4294967295 134512640 134716908 3221224560 3221220892 1076111476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7490 6727 1111 63 0 7427 0
vsize: 29960
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 42252 0 0 0 85820 188 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222296 1077410285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 43380 0 0 0 86816 193 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222556 1074138448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 44405 0 0 0 87812 196 0 0 25 0 1 0 908801268 30380032 6720 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6720 1111 63 0 7354 0
vsize: 29668
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 45233 0 0 0 88809 200 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221221768 134543165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 45749 0 0 0 89808 201 0 0 25 0 1 0 908801268 30498816 6715 4294967295 134512640 134716908 3221224560 3221221464 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29784
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 46507 0 0 0 90804 205 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 47669 0 0 0 91799 210 0 0 25 0 1 0 908801268 30527488 6713 4294967295 134512640 134716908 3221224560 3221222288 1075828988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 6713 1111 63 0 7390 0
vsize: 29812
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 48873 0 0 0 92795 215 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222368 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 49903 0 0 0 93790 220 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222200 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 51548 0 0 0 94785 225 0 0 25 0 1 0 908801268 30728192 6736 4294967295 134512640 134716908 3221224560 3221220788 1075114975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7502 6736 1111 63 0 7439 0
vsize: 30008
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 53174 0 0 0 95779 231 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 54771 0 0 0 96775 236 0 0 25 0 1 0 908801268 30527488 6713 4294967295 134512640 134716908 3221224560 3221222480 1075799528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 6713 1111 63 0 7390 0
vsize: 29812
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 56384 0 0 0 97770 241 0 0 25 0 1 0 908801268 30576640 6713 4294967295 134512640 134716908 3221224560 3221222208 1075818328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7465 6713 1111 63 0 7402 0
vsize: 29860
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 57925 0 0 0 98765 246 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222924 1077410225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 59442 0 0 0 99758 253 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221221816 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 61017 0 0 0 100755 256 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 62647 0 0 0 101751 261 0 0 25 0 1 0 908801268 30380032 6716 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6716 1111 63 0 7354 0
vsize: 29668
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 64305 0 0 0 102745 266 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 66052 0 0 0 103739 273 0 0 25 0 1 0 908801268 30720000 6717 4294967295 134512640 134716908 3221224560 3221221544 1074831856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6717 1111 63 0 7437 0
vsize: 30000
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 67682 0 0 0 104733 279 0 0 25 0 1 0 908801268 30380032 6712 4294967295 134512640 134716908 3221224560 3221222560 1074918496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6712 1111 63 0 7354 0
vsize: 29668
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 69274 0 0 0 105727 285 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 69742 0 0 0 106725 287 0 0 25 0 1 0 908801268 30347264 6712 4294967295 134512640 134716908 3221224560 3221222608 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6712 1111 63 0 7346 0
vsize: 29636
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 70561 0 0 0 107722 290 0 0 25 0 1 0 908801268 30691328 6729 4294967295 134512640 134716908 3221224560 3221222288 1075829978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7493 6729 1111 63 0 7430 0
vsize: 29972
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 74162 0 0 0 108713 300 0 0 25 0 1 0 908801268 30715904 6735 4294967295 134512640 134716908 3221224560 3221220560 1075965303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7499 6735 1111 63 0 7436 0
vsize: 29996
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 78332 0 0 0 109703 310 0 0 25 0 1 0 908801268 30392320 6723 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7420 6723 1111 63 0 7357 0
vsize: 29680
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 82008 0 0 0 110695 318 0 0 25 0 1 0 908801268 30392320 6723 4294967295 134512640 134716908 3221224560 3221223152 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7420 6723 1111 63 0 7357 0
vsize: 29680
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 85787 0 0 0 111685 328 0 0 25 0 1 0 908801268 30556160 6753 4294967295 134512640 134716908 3221224560 3221222560 1074916565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7460 6753 1111 63 0 7397 0
vsize: 29840
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 89051 0 0 0 112677 337 0 0 25 0 1 0 908801268 30482432 6745 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7442 6745 1111 63 0 7379 0
vsize: 29768
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 91784 0 0 0 113669 345 0 0 25 0 1 0 908801268 31121408 6819 4294967295 134512640 134716908 3221224560 3221220788 1075114928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7598 6819 1111 63 0 7535 0
vsize: 30392
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 95546 0 0 0 114659 355 0 0 25 0 1 0 908801268 30658560 6788 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7485 6788 1111 63 0 7422 0
vsize: 29940
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 98853 0 0 0 115651 363 0 0 25 0 1 0 908801268 30736384 6802 4294967295 134512640 134716908 3221224560 3221221664 1074139067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7504 6802 1111 63 0 7441 0
vsize: 30016
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 102086 0 0 0 116641 374 0 0 25 0 1 0 908801268 30658560 6788 4294967295 134512640 134716908 3221224560 3221221992 1077380277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7485 6788 1111 63 0 7422 0
vsize: 29940
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 23346
Raw data (stat): 23346 (bsolo_lpr_cuts-) R 23345 31399 31398 0 -1 0 102086 0 0 0 116641 374 0 0 25 0 1 0 908801268 30658560 6788 4294967295 134512640 134716908 3221224560 3221221992 1077380277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7485 6788 1111 63 0 7422 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.08
CPU user time (s): 1171.28
CPU system time (s): 3.80142
CPU usage (%): 100.01
Max. virtual memory (Kb): 30392
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####