PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
MD5SUM	9689869ef48b5a0c26d142f61d149c48
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	51200
Optimality of the best value was proved	NO
Number of terms in the objective function	123
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1061759
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268469758
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.08
Number of variables	17883
Total number of constraints	4322
Number of constraints which are clauses	426
Number of constraints which are cardinality constraints (but not clauses)	1177
Number of constraints which are nor clauses,nor cardinality constraints	2719
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 41705

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 20:22:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29770 boxname=wulflinc4 idbench=1554 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9689869ef48b5a0c26d142f61d149c48  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-railway_8_1_0.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-railway_8_1_0.opb
IDLAUNCH: 29770
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        813568 kB
Buffers:          7044 kB
Cached:         193680 kB
SwapCached:        896 kB
Active:          28640 kB
Inactive:       174128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        813316 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12720 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:42:19 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 29770 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 17883 variables and 3146 constraints.
c After prepocess the problem consists of 17825 variables and 3144 constraints.
c preprocess terminated 30.131 s
c Initial Lower Bound: 50816
c Lower Bound Elapsed time: 13.3773
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.94 0.90 2/54 20883
Raw data (stat): 20883 (runsolver) R 20882 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913113005 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 40109 0 0 0 905 92 0 0 25 0 1 0 913113005 167714816 39987 4294967295 134512640 134716908 3221224560 3221223056 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39987 1111 63 0 40883 0
vsize: 163784
[startup+20.0018 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 40109 0 0 0 1905 92 0 0 25 0 1 0 913113005 167714816 39987 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39987 1111 63 0 40883 0
vsize: 163784
[startup+30.0027 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 40112 0 0 0 2905 93 0 0 25 0 1 0 913113005 167714816 39990 4294967295 134512640 134716908 3221224560 3221223424 134612829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39990 1111 63 0 40883 0
vsize: 163784
[startup+40.0036 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 40394 0 0 0 3902 95 0 0 25 0 1 0 913113005 168779776 40272 4294967295 134512640 134716908 3221224560 3221222224 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41206 40272 1111 63 0 41143 0
vsize: 164824
[startup+50.0053 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 42890 0 0 0 4897 101 0 0 25 0 1 0 913113005 173907968 41370 4294967295 134512640 134716908 3221224560 3221220460 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42458 41370 1111 63 0 42395 0
vsize: 169832
[startup+60.0066 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 48945 0 0 0 5885 113 0 0 25 0 1 0 913113005 169320448 40529 4294967295 134512640 134716908 3221224560 3221222768 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40529 1111 63 0 41275 0
vsize: 165352
[startup+70.007 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 53111 0 0 0 6875 122 0 0 25 0 1 0 913113005 169332736 40533 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41341 40533 1111 63 0 41278 0
vsize: 165364
[startup+80.008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 53111 0 0 0 7874 123 0 0 25 0 1 0 913113005 169332736 40533 4294967295 134512640 134716908 3221224560 3221222784 1074039440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41341 40533 1111 63 0 41278 0
vsize: 165364
[startup+90.0087 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57232 0 0 0 8865 133 0 0 25 0 1 0 913113005 169336832 40535 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40535 1111 63 0 41279 0
vsize: 165368
[startup+100.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57232 0 0 0 9864 134 0 0 25 0 1 0 913113005 169336832 40535 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40535 1111 63 0 41279 0
vsize: 165368
[startup+110.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57232 0 0 0 10864 134 0 0 25 0 1 0 913113005 169336832 40535 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40535 1111 63 0 41279 0
vsize: 165368
[startup+120.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57234 0 0 0 11864 134 0 0 25 0 1 0 913113005 169336832 40537 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40537 1111 63 0 41279 0
vsize: 165368
[startup+130.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57234 0 0 0 12864 135 0 0 25 0 1 0 913113005 169336832 40537 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40537 1111 63 0 41279 0
vsize: 165368
[startup+140.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57234 0 0 0 13864 135 0 0 25 0 1 0 913113005 169336832 40537 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40537 1111 63 0 41279 0
vsize: 165368
[startup+150.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57236 0 0 0 14863 136 0 0 25 0 1 0 913113005 169336832 40539 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40539 1111 63 0 41279 0
vsize: 165368
[startup+160.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57238 0 0 0 15863 136 0 0 25 0 1 0 913113005 169336832 40541 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40541 1111 63 0 41279 0
vsize: 165368
[startup+170.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57238 0 0 0 16862 137 0 0 25 0 1 0 913113005 169336832 40541 4294967295 134512640 134716908 3221224560 3221223352 134597609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40541 1111 63 0 41279 0
vsize: 165368
[startup+180.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57240 0 0 0 17862 137 0 0 25 0 1 0 913113005 169336832 40543 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40543 1111 63 0 41279 0
vsize: 165368
[startup+190.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57242 0 0 0 18861 138 0 0 25 0 1 0 913113005 169336832 40545 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40545 1111 63 0 41279 0
vsize: 165368
[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 19861 138 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+210.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 20861 139 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 21860 139 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 22860 139 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+240.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 23860 140 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 24860 140 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 25859 141 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223168 134549286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+270.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 26860 141 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 27859 142 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+290.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 28858 143 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+300.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 29858 143 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+310.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 30858 143 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+320.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 31858 144 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+330.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 32857 144 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 33857 145 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+350.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 34857 145 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+360.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 35857 145 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+370.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 36857 146 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223288 1076647870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+380.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 37856 146 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+390.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 38856 147 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+400.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 39856 147 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+410.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 40856 147 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+420.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 41856 147 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223296 134552104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+430.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 42856 147 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+440.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 43856 148 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+450.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 44856 148 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+460.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 45856 148 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 46856 149 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+480.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 47856 149 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+490.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 48856 149 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+500.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 49856 150 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+510.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 50856 150 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+520.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 51856 150 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+530.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 52856 150 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 53856 150 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+550.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 54856 151 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+560.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 55855 151 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+570.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 56855 151 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+580.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 57855 151 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+590.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 58855 152 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+600.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 59855 152 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+610.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 60855 152 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+620.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 61855 152 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+630.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 62855 153 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+640.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 63855 153 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+650.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 64855 153 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+660.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 65855 154 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223344 134597675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+670.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 66855 154 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 67855 154 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+690.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 68855 154 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+700.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 69855 154 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+710.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 70855 155 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+720.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 71855 155 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+730.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 72855 155 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+740.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 73855 156 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+750.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 74855 156 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 75855 156 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+770.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 76855 156 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+780.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 77855 156 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+790.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 78855 156 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223356 134597666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+800.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 79855 156 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+810.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 80855 157 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+820.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 81855 157 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+830.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 82856 157 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+840.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 83856 157 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+850.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 84856 157 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+860.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 85856 157 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+870.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 86856 157 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+880.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 87856 157 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+890.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 88855 158 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+900.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 89856 158 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+910.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 90855 158 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+920.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 91855 158 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+930.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 92856 159 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+940.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 93856 159 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+950.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 94855 159 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+960.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 95856 159 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+970.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 96856 159 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+980.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 97856 159 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+990.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 98856 160 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 99855 160 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 100855 160 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 101855 161 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 102855 161 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 103855 161 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 104855 162 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 105855 162 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 106855 162 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 107855 162 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 108856 162 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 109856 162 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 110856 163 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 111856 163 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 112856 163 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 113856 163 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 114856 164 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 115856 164 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 116856 164 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 165368
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20883
Raw data (stat): 20883 (bsolo_lpr_cuts-) R 20882 21152 21151 0 -1 0 57244 0 0 0 116856 164 0 0 25 0 1 0 913113005 169336832 40547 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41342 40547 1111 63 0 41279 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.09
CPU user time (s): 1173.37
CPU system time (s): 1.72374
CPU usage (%): 100.011
Max. virtual memory (Kb): 169832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####