PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.119981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 41439

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 12:19:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29497 boxname=wulflinc6 idbench=1281 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 29497
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        416900 kB
Buffers:         27744 kB
Cached:         568432 kB
SwapCached:        932 kB
Active:          36616 kB
Inactive:       561584 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        416648 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13920 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:38:44 (client local time) WITH STATUS 0 IN 1175.45 SECONDS
stats: 29497 7 1175.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 385.729 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 89.076
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.26 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.91 0.97 0.91 1/54 12078
Raw data (stat): 12078 (runsolver) R 12077 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910219923 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.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 37865 0 0 0 928 70 0 0 25 0 1 0 910219923 168108032 37785 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41042 37785 1111 63 0 40979 0
vsize: 164168
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 55087 0 0 0 1902 96 0 0 25 0 1 0 910219923 238710784 55007 4294967295 134512640 134716908 3221224560 3221221180 1077259098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58279 55007 1111 63 0 58216 0
vsize: 233116
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 55988 0 0 0 2898 99 0 0 25 0 1 0 910219923 242360320 55908 4294967295 134512640 134716908 3221224560 3221222588 1077364225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59170 55908 1111 63 0 59107 0
vsize: 236680
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 56874 0 0 0 3895 102 0 0 25 0 1 0 910219923 246009856 56794 4294967295 134512640 134716908 3221224560 3221222864 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60061 56794 1111 63 0 59998 0
vsize: 240244
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 59303 0 0 0 4891 108 0 0 25 0 1 0 910219923 246108160 59180 4294967295 134512640 134716908 3221224560 3221223040 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60085 59180 1111 63 0 60022 0
vsize: 240340
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 62077 0 0 0 5886 112 0 0 25 0 1 0 910219923 257478656 61954 4294967295 134512640 134716908 3221224560 3221222944 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62861 61954 1111 63 0 62798 0
vsize: 251444
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 64677 0 0 0 6881 118 0 0 25 0 1 0 910219923 268181504 64554 4294967295 134512640 134716908 3221224560 3221222944 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65474 64554 1111 63 0 65411 0
vsize: 261896
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 67016 0 0 0 7877 123 0 0 25 0 1 0 910219923 277663744 66893 4294967295 134512640 134716908 3221224560 3221223024 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67789 66893 1111 63 0 67726 0
vsize: 271156
[startup+90.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 69246 0 0 0 8872 128 0 0 25 0 1 0 910219923 286875648 69123 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70038 69123 1111 63 0 69975 0
vsize: 280152
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 71388 0 0 0 9868 132 0 0 25 0 1 0 910219923 295682048 71265 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72188 71265 1111 63 0 72125 0
vsize: 288752
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 73505 0 0 0 10865 136 0 0 25 0 1 0 910219923 304353280 73382 4294967295 134512640 134716908 3221224560 3221223048 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74305 73382 1111 63 0 74242 0
vsize: 297220
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 75409 0 0 0 11862 139 0 0 25 0 1 0 910219923 312066048 75286 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76188 75286 1111 63 0 76125 0
vsize: 304752
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 77221 0 0 0 12858 143 0 0 25 0 1 0 910219923 319516672 77098 4294967295 134512640 134716908 3221224560 3221223088 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78007 77098 1111 63 0 77944 0
vsize: 312028
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 78910 0 0 0 13855 146 0 0 25 0 1 0 910219923 326426624 78787 4294967295 134512640 134716908 3221224560 3221222924 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79694 78787 1111 63 0 79631 0
vsize: 318776
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 80601 0 0 0 14851 150 0 0 25 0 1 0 910219923 333340672 80478 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81382 80478 1111 63 0 81319 0
vsize: 325528
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 82346 0 0 0 15848 154 0 0 25 0 1 0 910219923 340520960 82223 4294967295 134512640 134716908 3221224560 3221222924 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83135 82223 1111 63 0 83072 0
vsize: 332540
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 83786 0 0 0 16845 157 0 0 25 0 1 0 910219923 346345472 83663 4294967295 134512640 134716908 3221224560 3221223076 134543731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84557 83663 1111 63 0 84494 0
vsize: 338228
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 85109 0 0 0 17843 160 0 0 25 0 1 0 910219923 351764480 84986 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85880 84986 1111 63 0 85817 0
vsize: 343520
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 86353 0 0 0 18840 163 0 0 25 0 1 0 910219923 356900864 86230 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87134 86230 1111 63 0 87071 0
vsize: 348536
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 87528 0 0 0 19839 165 0 0 25 0 1 0 910219923 361787392 87405 4294967295 134512640 134716908 3221224560 3221223100 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88327 87405 1111 63 0 88264 0
vsize: 353308
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 88583 0 0 0 20837 167 0 0 25 0 1 0 910219923 365985792 88460 4294967295 134512640 134716908 3221224560 3221223024 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89352 88460 1111 63 0 89289 0
vsize: 357408
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 89443 0 0 0 21835 169 0 0 25 0 1 0 910219923 369520640 89320 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90215 89320 1111 63 0 90152 0
vsize: 360860
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 90290 0 0 0 22833 171 0 0 25 0 1 0 910219923 373043200 90167 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91075 90167 1111 63 0 91012 0
vsize: 364300
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 91019 0 0 0 23832 173 0 0 25 0 1 0 910219923 376029184 90896 4294967295 134512640 134716908 3221224560 3221222968 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91804 90896 1111 63 0 91741 0
vsize: 367216
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 91612 0 0 0 24830 175 0 0 25 0 1 0 910219923 378466304 91489 4294967295 134512640 134716908 3221224560 3221223072 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92399 91489 1111 63 0 92336 0
vsize: 369596
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 92065 0 0 0 25830 176 0 0 25 0 1 0 910219923 380366848 91942 4294967295 134512640 134716908 3221224560 3221223212 134528756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92863 91942 1111 63 0 92800 0
vsize: 371452
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 92485 0 0 0 26829 177 0 0 25 0 1 0 910219923 381997056 92362 4294967295 134512640 134716908 3221224560 3221223176 134536862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93261 92362 1111 63 0 93198 0
vsize: 373044
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 92898 0 0 0 27828 178 0 0 25 0 1 0 910219923 383758336 92775 4294967295 134512640 134716908 3221224560 3221222940 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93691 92775 1111 63 0 93628 0
vsize: 374764
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 92977 0 0 0 28828 178 0 0 25 0 1 0 910219923 384028672 92854 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93757 92854 1111 63 0 93694 0
vsize: 375028
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 92989 0 0 0 29828 179 0 0 25 0 1 0 910219923 384163840 92866 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92866 1111 63 0 93727 0
vsize: 375160
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 92997 0 0 0 30828 179 0 0 25 0 1 0 910219923 384163840 92874 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92874 1111 63 0 93727 0
vsize: 375160
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 93004 0 0 0 31829 179 0 0 25 0 1 0 910219923 384163840 92881 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92881 1111 63 0 93727 0
vsize: 375160
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 93007 0 0 0 32829 179 0 0 25 0 1 0 910219923 384163840 92884 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92884 1111 63 0 93727 0
vsize: 375160
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 93009 0 0 0 33829 179 0 0 25 0 1 0 910219923 384163840 92886 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92886 1111 63 0 93727 0
vsize: 375160
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 93012 0 0 0 34830 179 0 0 25 0 1 0 910219923 384163840 92889 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92889 1111 63 0 93727 0
vsize: 375160
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 93017 0 0 0 35830 179 0 0 25 0 1 0 910219923 384163840 92894 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92894 1111 63 0 93727 0
vsize: 375160
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 93020 0 0 0 36830 179 0 0 25 0 1 0 910219923 384163840 92897 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93790 92897 1111 63 0 93727 0
vsize: 375160
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 93022 0 0 0 37831 179 0 0 25 0 1 0 910219923 384299008 92899 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93823 92899 1111 63 0 93760 0
vsize: 375292
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 93950 0 0 0 38828 182 0 0 25 0 1 0 910219923 387686400 93760 4294967295 134512640 134716908 3221224560 3221221168 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94650 93760 1111 63 0 94587 0
vsize: 378600
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 96054 0 0 0 39823 187 0 0 25 0 1 0 910219923 391663616 94792 4294967295 134512640 134716908 3221224560 3221220508 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94792 1111 63 0 95558 0
vsize: 382484
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 96111 0 0 0 40823 187 0 0 25 0 1 0 910219923 391790592 94828 4294967295 134512640 134716908 3221224560 3221220508 1074873351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 96111 0 0 0 41824 187 0 0 25 0 1 0 910219923 391790592 94828 4294967295 134512640 134716908 3221224560 3221220468 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 96111 0 0 0 42824 187 0 0 25 0 1 0 910219923 391790592 94828 4294967295 134512640 134716908 3221224560 3221220448 1074875114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 96141 0 0 0 43825 187 0 0 25 0 1 0 910219923 391790592 94844 4294967295 134512640 134716908 3221224560 3221220320 1074868719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 96141 0 0 0 44825 187 0 0 25 0 1 0 910219923 391790592 94844 4294967295 134512640 134716908 3221224560 3221220748 1075895161 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97552 0 0 0 45822 190 0 0 25 0 1 0 910219923 388460544 94074 4294967295 134512640 134716908 3221224560 3221222616 1074950124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94074 1111 63 0 94776 0
vsize: 379356
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97552 0 0 0 46822 191 0 0 25 0 1 0 910219923 388460544 94074 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94074 1111 63 0 94776 0
vsize: 379356
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97553 0 0 0 47821 191 0 0 25 0 1 0 910219923 388460544 94075 4294967295 134512640 134716908 3221224560 3221223200 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94075 1111 63 0 94776 0
vsize: 379356
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97553 0 0 0 48820 193 0 0 25 0 1 0 910219923 388460544 94075 4294967295 134512640 134716908 3221224560 3221223184 134542977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94075 1111 63 0 94776 0
vsize: 379356
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97596 0 0 0 49820 194 0 0 25 0 1 0 910219923 388710400 94118 4294967295 134512640 134716908 3221224560 3221223300 134591990 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94900 94118 1111 63 0 94837 0
vsize: 379600
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97642 0 0 0 50819 194 0 0 25 0 1 0 910219923 388845568 94164 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94933 94164 1111 63 0 94870 0
vsize: 379732
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97689 0 0 0 51818 196 0 0 25 0 1 0 910219923 389099520 94211 4294967295 134512640 134716908 3221224560 3221223176 134613769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94995 94211 1111 63 0 94932 0
vsize: 379980
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97707 0 0 0 52818 197 0 0 25 0 1 0 910219923 389099520 94229 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94995 94229 1111 63 0 94932 0
vsize: 379980
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97756 0 0 0 53817 197 0 0 25 0 1 0 910219923 389357568 94278 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95058 94278 1111 63 0 94995 0
vsize: 380232
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97871 0 0 0 54816 199 0 0 25 0 1 0 910219923 389820416 94393 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95171 94393 1111 63 0 95108 0
vsize: 380684
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97886 0 0 0 55816 199 0 0 25 0 1 0 910219923 389804032 94407 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95167 94407 1111 63 0 95104 0
vsize: 380668
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97944 0 0 0 56816 200 0 0 25 0 1 0 910219923 390172672 94465 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95257 94465 1111 63 0 95194 0
vsize: 381028
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97944 0 0 0 57816 200 0 0 25 0 1 0 910219923 389935104 94439 4294967295 134512640 134716908 3221224560 3221223168 134549441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95199 94439 1111 63 0 95136 0
vsize: 380796
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 97982 0 0 0 58815 201 0 0 25 0 1 0 910219923 390189056 94477 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95261 94477 1111 63 0 95198 0
vsize: 381044
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98001 0 0 0 59814 201 0 0 25 0 1 0 910219923 390189056 94496 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95261 94496 1111 63 0 95198 0
vsize: 381044
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98001 0 0 0 60814 202 0 0 25 0 1 0 910219923 390062080 94470 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95230 94470 1111 63 0 95167 0
vsize: 380920
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98038 0 0 0 61814 202 0 0 25 0 1 0 910219923 390311936 94507 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95291 94507 1111 63 0 95228 0
vsize: 381164
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98059 0 0 0 62814 202 0 0 25 0 1 0 910219923 390238208 94513 4294967295 134512640 134716908 3221224560 3221223188 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95273 94513 1111 63 0 95210 0
vsize: 381092
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98069 0 0 0 63814 203 0 0 25 0 1 0 910219923 390373376 94523 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95306 94523 1111 63 0 95243 0
vsize: 381224
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98069 0 0 0 64814 203 0 0 25 0 1 0 910219923 390238208 94513 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95273 94513 1111 63 0 95210 0
vsize: 381092
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98087 0 0 0 65814 204 0 0 25 0 1 0 910219923 390336512 94531 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95297 94531 1111 63 0 95234 0
vsize: 381188
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98087 0 0 0 66814 204 0 0 25 0 1 0 910219923 390336512 94531 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95297 94531 1111 63 0 95234 0
vsize: 381188
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98087 0 0 0 67813 205 0 0 25 0 1 0 910219923 390336512 94531 4294967295 134512640 134716908 3221224560 3221223200 134542312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95297 94531 1111 63 0 95234 0
vsize: 381188
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98126 0 0 0 68813 206 0 0 25 0 1 0 910219923 390471680 94570 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95330 94570 1111 63 0 95267 0
vsize: 381320
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98164 0 0 0 69813 206 0 0 25 0 1 0 910219923 390746112 94608 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98164 0 0 0 70813 207 0 0 25 0 1 0 910219923 390746112 94608 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98164 0 0 0 71812 207 0 0 25 0 1 0 910219923 390746112 94608 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98164 0 0 0 72812 208 0 0 25 0 1 0 910219923 390746112 94608 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98164 0 0 0 73812 209 0 0 25 0 1 0 910219923 390746112 94608 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98164 0 0 0 74811 209 0 0 25 0 1 0 910219923 390746112 94608 4294967295 134512640 134716908 3221224560 3221223276 134698288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94608 1111 63 0 95334 0
vsize: 381588
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98189 0 0 0 75811 210 0 0 25 0 1 0 910219923 390746112 94633 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95397 94633 1111 63 0 95334 0
vsize: 381588
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98199 0 0 0 76811 211 0 0 25 0 1 0 910219923 390873088 94643 4294967295 134512640 134716908 3221224560 3221223232 134524431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95428 94643 1111 63 0 95365 0
vsize: 381712
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98238 0 0 0 77811 211 0 0 25 0 1 0 910219923 390967296 94682 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95451 94682 1111 63 0 95388 0
vsize: 381804
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98246 0 0 0 78810 212 0 0 25 0 1 0 910219923 390983680 94690 4294967295 134512640 134716908 3221224560 3221223116 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95455 94690 1111 63 0 95392 0
vsize: 381820
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98253 0 0 0 79810 213 0 0 25 0 1 0 910219923 391069696 94697 4294967295 134512640 134716908 3221224560 3221223312 134592345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95476 94697 1111 63 0 95413 0
vsize: 381904
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98253 0 0 0 80810 213 0 0 25 0 1 0 910219923 391020544 94697 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95464 94697 1111 63 0 95401 0
vsize: 381856
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98298 0 0 0 81809 214 0 0 25 0 1 0 910219923 391155712 94737 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95497 94737 1111 63 0 95434 0
vsize: 381988
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98298 0 0 0 82809 215 0 0 25 0 1 0 910219923 391127040 94730 4294967295 134512640 134716908 3221224560 3221223264 134528533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98325 0 0 0 83809 216 0 0 25 0 1 0 910219923 391127040 94730 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98325 0 0 0 84808 216 0 0 25 0 1 0 910219923 391127040 94730 4294967295 134512640 134716908 3221224560 3221223188 134698613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98325 0 0 0 85808 217 0 0 25 0 1 0 910219923 391127040 94730 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95490 94730 1111 63 0 95427 0
vsize: 381960
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98418 0 0 0 86808 217 0 0 25 0 1 0 910219923 391536640 94823 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98418 0 0 0 87808 217 0 0 25 0 1 0 910219923 391536640 94823 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98418 0 0 0 88808 218 0 0 25 0 1 0 910219923 391536640 94823 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98418 0 0 0 89808 218 0 0 25 0 1 0 910219923 391536640 94823 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95590 94823 1111 63 0 95527 0
vsize: 382360
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98448 0 0 0 90808 219 0 0 25 0 1 0 910219923 391671808 94853 4294967295 134512640 134716908 3221224560 3221223108 134699080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95623 94853 1111 63 0 95560 0
vsize: 382492
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98448 0 0 0 91808 219 0 0 25 0 1 0 910219923 391671808 94853 4294967295 134512640 134716908 3221224560 3221223288 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95623 94853 1111 63 0 95560 0
vsize: 382492
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98488 0 0 0 92808 220 0 0 25 0 1 0 910219923 391925760 94893 4294967295 134512640 134716908 3221224560 3221223328 134592328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98488 0 0 0 93808 220 0 0 25 0 1 0 910219923 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98488 0 0 0 94808 220 0 0 25 0 1 0 910219923 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98488 0 0 0 95808 220 0 0 25 0 1 0 910219923 391925760 94893 4294967295 134512640 134716908 3221224560 3221223344 134584864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98488 0 0 0 96808 221 0 0 25 0 1 0 910219923 391925760 94893 4294967295 134512640 134716908 3221224560 3221223108 134699061 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98488 0 0 0 97808 221 0 0 25 0 1 0 910219923 391925760 94893 4294967295 134512640 134716908 3221224560 3221223104 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98488 0 0 0 98808 221 0 0 25 0 1 0 910219923 391925760 94893 4294967295 134512640 134716908 3221224560 3221223168 134549488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95685 94893 1111 63 0 95622 0
vsize: 382740
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98521 0 0 0 99808 222 0 0 25 0 1 0 910219923 391991296 94907 4294967295 134512640 134716908 3221224560 3221222940 134699855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95701 94907 1111 63 0 95638 0
vsize: 382804
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98521 0 0 0 100808 222 0 0 25 0 1 0 910219923 391991296 94907 4294967295 134512640 134716908 3221224560 3221223152 134548587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95701 94907 1111 63 0 95638 0
vsize: 382804
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98521 0 0 0 101809 222 0 0 25 0 1 0 910219923 391741440 94880 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98521 0 0 0 102808 223 0 0 25 0 1 0 910219923 391741440 94880 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98521 0 0 0 103809 223 0 0 25 0 1 0 910219923 391741440 94880 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98521 0 0 0 104809 223 0 0 25 0 1 0 910219923 391741440 94880 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98521 0 0 0 105809 224 0 0 25 0 1 0 910219923 391741440 94880 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95640 94880 1111 63 0 95577 0
vsize: 382560
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98582 0 0 0 106808 224 0 0 25 0 1 0 910219923 392011776 94941 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95706 94941 1111 63 0 95643 0
vsize: 382824
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98582 0 0 0 107809 224 0 0 25 0 1 0 910219923 391815168 94898 4294967295 134512640 134716908 3221224560 3221223220 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98582 0 0 0 108809 224 0 0 25 0 1 0 910219923 391815168 94898 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98582 0 0 0 109809 225 0 0 25 0 1 0 910219923 391815168 94898 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98582 0 0 0 110809 225 0 0 25 0 1 0 910219923 391815168 94898 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95658 94898 1111 63 0 95595 0
vsize: 382632
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98599 0 0 0 111809 226 0 0 25 0 1 0 910219923 391950336 94915 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95691 94915 1111 63 0 95628 0
vsize: 382764
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98599 0 0 0 112808 226 0 0 25 0 1 0 910219923 391950336 94915 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95691 94915 1111 63 0 95628 0
vsize: 382764
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98621 0 0 0 113808 227 0 0 25 0 1 0 910219923 392085504 94937 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95724 94937 1111 63 0 95661 0
vsize: 382896
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98640 0 0 0 114808 227 0 0 25 0 1 0 910219923 392085504 94956 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95724 94956 1111 63 0 95661 0
vsize: 382896
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98647 0 0 0 115808 227 0 0 25 0 1 0 910219923 392085504 94963 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95724 94963 1111 63 0 95661 0
vsize: 382896
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98647 0 0 0 116808 228 0 0 25 0 1 0 910219923 392015872 94947 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95707 94947 1111 63 0 95644 0
vsize: 382828
[startup+1175.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12078
Raw data (stat): 12078 (bsolo_lpr_cuts-) R 12077 25568 25567 0 -1 0 98647 0 0 0 116808 228 0 0 25 0 1 0 910219923 392015872 94947 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95707 94947 1111 63 0 95644 0
vsize: 0

Child status: 0
Real time (s): 1175.11
CPU time (s): 1175.45
CPU user time (s): 1172.99
CPU system time (s): 2.45863
CPU usage (%): 100.029
Max. virtual memory (Kb): 382896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####