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/miplib3/normalized-mps-v2-13-7-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
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.120981
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 27169

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 19:40:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18163 boxname=wulflinc29 idbench=1398 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 18163
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 3
cpu MHz		: 451.020
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:        784100 kB
Buffers:         16544 kB
Cached:         212724 kB
SwapCached:        776 kB
Active:          35532 kB
Inactive:       196364 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        783820 kB
SwapTotal:     2097892 kB
SwapFree:      2096724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13012 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:00:23 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 18163 7 1175.19 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 386.283 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 88.304
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.96 2/54 22881
Raw data (stat): 22881 (runsolver) R 22880 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832829359 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99945 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 36512 0 0 0 930 67 0 0 25 0 1 0 832829359 162574336 36436 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39691 36436 1111 63 0 39628 0
vsize: 158764
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 55065 0 0 0 1894 103 0 0 25 0 1 0 832829359 238575616 54989 4294967295 134512640 134714508 3221224592 3221222876 1077399570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58246 54989 1111 63 0 58183 0
vsize: 232984
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 55966 0 0 0 2890 107 0 0 25 0 1 0 832829359 242225152 55890 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59137 55890 1111 63 0 59074 0
vsize: 236548
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 56842 0 0 0 3888 109 0 0 25 0 1 0 832829359 245874688 56766 4294967295 134512640 134714508 3221224592 3221222876 1077399560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60028 56766 1111 63 0 59965 0
vsize: 240112
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 59209 0 0 0 4882 114 0 0 25 0 1 0 832829359 245702656 59090 4294967295 134512640 134714508 3221224592 3221223056 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59986 59090 1111 63 0 59923 0
vsize: 239944
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 61963 0 0 0 5875 121 0 0 25 0 1 0 832829359 257073152 61844 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62762 61844 1111 63 0 62699 0
vsize: 251048
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 64567 0 0 0 6869 127 0 0 25 0 1 0 832829359 267640832 64448 4294967295 134512640 134714508 3221224592 3221223072 134539369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65342 64448 1111 63 0 65279 0
vsize: 261368
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 66851 0 0 0 7864 132 0 0 25 0 1 0 832829359 276987904 66732 4294967295 134512640 134714508 3221224592 3221223000 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67624 66732 1111 63 0 67561 0
vsize: 270496
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 69102 0 0 0 8860 136 0 0 25 0 1 0 832829359 286334976 68983 4294967295 134512640 134714508 3221224592 3221222980 134542296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69906 68983 1111 63 0 69843 0
vsize: 279624
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 71273 0 0 0 9855 142 0 0 25 0 1 0 832829359 295137280 71154 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72055 71154 1111 63 0 71992 0
vsize: 288220
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 73368 0 0 0 10851 146 0 0 25 0 1 0 832829359 303804416 73249 4294967295 134512640 134714508 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74171 73249 1111 63 0 74108 0
vsize: 296684
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 75262 0 0 0 11846 151 0 0 25 0 1 0 832829359 311525376 75143 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76056 75143 1111 63 0 75993 0
vsize: 304224
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 77115 0 0 0 12842 155 0 0 25 0 1 0 832829359 319111168 76996 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77908 76996 1111 63 0 77845 0
vsize: 311632
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 78793 0 0 0 13839 159 0 0 25 0 1 0 832829359 326021120 78674 4294967295 134512640 134714508 3221224592 3221223168 134587956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79595 78674 1111 63 0 79532 0
vsize: 318380
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 80494 0 0 0 14835 162 0 0 25 0 1 0 832829359 332935168 80375 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81283 80375 1111 63 0 81220 0
vsize: 325132
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 82276 0 0 0 15832 166 0 0 25 0 1 0 832829359 340246528 82157 4294967295 134512640 134714508 3221224592 3221223216 134528780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83068 82157 1111 63 0 83005 0
vsize: 332272
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 83678 0 0 0 16829 169 0 0 25 0 1 0 832829359 345935872 83559 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84457 83559 1111 63 0 84394 0
vsize: 337828
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 85042 0 0 0 17825 173 0 0 25 0 1 0 832829359 351494144 84923 4294967295 134512640 134714508 3221224592 3221223084 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85814 84923 1111 63 0 85751 0
vsize: 343256
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 86271 0 0 0 18823 175 0 0 25 0 1 0 832829359 356642816 86152 4294967295 134512640 134714508 3221224592 3221223008 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87071 86152 1111 63 0 87008 0
vsize: 348284
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 87478 0 0 0 19820 179 0 0 25 0 1 0 832829359 361517056 87359 4294967295 134512640 134714508 3221224592 3221223096 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88261 87359 1111 63 0 88198 0
vsize: 353044
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 88521 0 0 0 20817 181 0 0 25 0 1 0 832829359 365850624 88402 4294967295 134512640 134714508 3221224592 3221223072 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89319 88402 1111 63 0 89256 0
vsize: 357276
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 89422 0 0 0 21815 183 0 0 25 0 1 0 832829359 369520640 89303 4294967295 134512640 134714508 3221224592 3221223216 134594957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90215 89303 1111 63 0 90152 0
vsize: 360860
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 90256 0 0 0 22814 185 0 0 25 0 1 0 832829359 372908032 90137 4294967295 134512640 134714508 3221224592 3221223168 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91042 90137 1111 63 0 90979 0
vsize: 364168
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 90988 0 0 0 23812 187 0 0 25 0 1 0 832829359 375889920 90869 4294967295 134512640 134714508 3221224592 3221223052 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91770 90869 1111 63 0 91707 0
vsize: 367080
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 91578 0 0 0 24811 188 0 0 25 0 1 0 832829359 378339328 91459 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92368 91459 1111 63 0 92305 0
vsize: 369472
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 92027 0 0 0 25810 189 0 0 25 0 1 0 832829359 380104704 91908 4294967295 134512640 134714508 3221224592 3221223216 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92799 91908 1111 63 0 92736 0
vsize: 371196
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 92455 0 0 0 26810 190 0 0 25 0 1 0 832829359 381870080 92336 4294967295 134512640 134714508 3221224592 3221223000 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93230 92336 1111 63 0 93167 0
vsize: 372920
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 92851 0 0 0 27809 191 0 0 25 0 1 0 832829359 383496192 92732 4294967295 134512640 134714508 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93627 92732 1111 63 0 93564 0
vsize: 374508
[startup+290.009 s]
Raw data (loadavg): 1.15 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 92974 0 0 0 28809 191 0 0 25 0 1 0 832829359 384040960 92855 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93760 92855 1111 63 0 93697 0
vsize: 375040
[startup+300.01 s]
Raw data (loadavg): 1.20 1.02 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 92986 0 0 0 29809 191 0 0 25 0 1 0 832829359 384040960 92867 4294967295 134512640 134714508 3221224592 3221223244 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93760 92867 1111 63 0 93697 0
vsize: 375040
[startup+310.009 s]
Raw data (loadavg): 1.17 1.02 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 92992 0 0 0 30809 191 0 0 25 0 1 0 832829359 384176128 92873 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92873 1111 63 0 93730 0
vsize: 375172
[startup+320.009 s]
Raw data (loadavg): 1.14 1.02 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 93000 0 0 0 31809 191 0 0 25 0 1 0 832829359 384176128 92881 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92881 1111 63 0 93730 0
vsize: 375172
[startup+330.01 s]
Raw data (loadavg): 1.12 1.02 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 93004 0 0 0 32810 192 0 0 25 0 1 0 832829359 384176128 92885 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92885 1111 63 0 93730 0
vsize: 375172
[startup+340.01 s]
Raw data (loadavg): 1.10 1.02 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 93005 0 0 0 33810 192 0 0 25 0 1 0 832829359 384176128 92886 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92886 1111 63 0 93730 0
vsize: 375172
[startup+350.011 s]
Raw data (loadavg): 1.09 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 93009 0 0 0 34810 192 0 0 25 0 1 0 832829359 384176128 92890 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92890 1111 63 0 93730 0
vsize: 375172
[startup+360.01 s]
Raw data (loadavg): 1.07 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 93014 0 0 0 35810 192 0 0 25 0 1 0 832829359 384176128 92895 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92895 1111 63 0 93730 0
vsize: 375172
[startup+370.011 s]
Raw data (loadavg): 1.06 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 93017 0 0 0 36810 192 0 0 25 0 1 0 832829359 384176128 92898 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92898 1111 63 0 93730 0
vsize: 375172
[startup+380.011 s]
Raw data (loadavg): 1.05 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 93019 0 0 0 37810 192 0 0 25 0 1 0 832829359 384176128 92900 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92900 1111 63 0 93730 0
vsize: 375172
[startup+390.011 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 93934 0 0 0 38806 195 0 0 25 0 1 0 832829359 387629056 93748 4294967295 134512640 134714508 3221224592 3221222528 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94636 93748 1111 63 0 94573 0
vsize: 378544
[startup+400.012 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 96050 0 0 0 39801 200 0 0 25 0 1 0 832829359 391663616 94792 4294967295 134512640 134714508 3221224592 3221220556 1074873465 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.011 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 96108 0 0 0 40801 200 0 0 25 0 1 0 832829359 391790592 94829 4294967295 134512640 134714508 3221224592 3221220556 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94829 1111 63 0 95589 0
vsize: 382608
[startup+420.012 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 96108 0 0 0 41801 200 0 0 25 0 1 0 832829359 391790592 94829 4294967295 134512640 134714508 3221224592 3221220496 1074875074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94829 1111 63 0 95589 0
vsize: 382608
[startup+430.013 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 96108 0 0 0 42801 200 0 0 25 0 1 0 832829359 391790592 94829 4294967295 134512640 134714508 3221224592 3221220496 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94829 1111 63 0 95589 0
vsize: 382608
[startup+440.013 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 96138 0 0 0 43801 200 0 0 25 0 1 0 832829359 391790592 94845 4294967295 134512640 134714508 3221224592 3221220368 1074867700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+450.012 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 96138 0 0 0 44801 200 0 0 25 0 1 0 832829359 391790592 94845 4294967295 134512640 134714508 3221224592 3221220448 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+460.012 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97550 0 0 0 45798 203 0 0 25 0 1 0 832829359 388460544 94076 4294967295 134512640 134714508 3221224592 3221223016 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94076 1111 63 0 94776 0
vsize: 379356
[startup+470.013 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97550 0 0 0 46798 203 0 0 25 0 1 0 832829359 388460544 94076 4294967295 134512640 134714508 3221224592 3221222664 1074950124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94076 1111 63 0 94776 0
vsize: 379356
[startup+480.013 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97551 0 0 0 47797 204 0 0 25 0 1 0 832829359 388460544 94077 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94077 1111 63 0 94776 0
vsize: 379356
[startup+490.013 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97551 0 0 0 48797 205 0 0 25 0 1 0 832829359 388460544 94077 4294967295 134512640 134714508 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94077 1111 63 0 94776 0
vsize: 379356
[startup+500.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97594 0 0 0 49796 206 0 0 25 0 1 0 832829359 388710400 94120 4294967295 134512640 134714508 3221224592 3221223220 134696248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94900 94120 1111 63 0 94837 0
vsize: 379600
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97640 0 0 0 50795 207 0 0 25 0 1 0 832829359 388845568 94166 4294967295 134512640 134714508 3221224592 3221223320 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94933 94166 1111 63 0 94870 0
vsize: 379732
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97687 0 0 0 51794 208 0 0 25 0 1 0 832829359 389099520 94213 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94995 94213 1111 63 0 94932 0
vsize: 379980
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97705 0 0 0 52793 209 0 0 25 0 1 0 832829359 389099520 94231 4294967295 134512640 134714508 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94995 94231 1111 63 0 94932 0
vsize: 379980
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97757 0 0 0 53792 210 0 0 25 0 1 0 832829359 389357568 94283 4294967295 134512640 134714508 3221224592 3221223356 134613543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95058 94283 1111 63 0 94995 0
vsize: 380232
[startup+550.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97868 0 0 0 54790 213 0 0 25 0 1 0 832829359 389816320 94394 4294967295 134512640 134714508 3221224592 3221223352 134592433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95170 94394 1111 63 0 95107 0
vsize: 380680
[startup+560.012 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97884 0 0 0 55789 214 0 0 25 0 1 0 832829359 389824512 94410 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95172 94410 1111 63 0 95109 0
vsize: 380688
[startup+570.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97941 0 0 0 56788 214 0 0 25 0 1 0 832829359 389935104 94441 4294967295 134512640 134714508 3221224592 3221223124 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95199 94441 1111 63 0 95136 0
vsize: 380796
[startup+580.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97941 0 0 0 57788 215 0 0 25 0 1 0 832829359 389935104 94441 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95199 94441 1111 63 0 95136 0
vsize: 380796
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 97979 0 0 0 58787 216 0 0 25 0 1 0 832829359 390189056 94479 4294967295 134512640 134714508 3221224592 3221223180 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95261 94479 1111 63 0 95198 0
vsize: 381044
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98006 0 0 0 59787 217 0 0 25 0 1 0 832829359 390193152 94498 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95262 94498 1111 63 0 95199 0
vsize: 381048
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98006 0 0 0 60787 217 0 0 25 0 1 0 832829359 390193152 94498 4294967295 134512640 134714508 3221224592 3221223232 134539432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95262 94498 1111 63 0 95199 0
vsize: 381048
[startup+620.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98036 0 0 0 61786 218 0 0 25 0 1 0 832829359 390217728 94509 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95268 94509 1111 63 0 95205 0
vsize: 381072
[startup+630.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98061 0 0 0 62786 219 0 0 25 0 1 0 832829359 390221824 94511 4294967295 134512640 134714508 3221224592 3221223320 134543802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95269 94511 1111 63 0 95206 0
vsize: 381076
[startup+640.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98075 0 0 0 63785 219 0 0 25 0 1 0 832829359 390328320 94525 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94525 1111 63 0 95232 0
vsize: 381180
[startup+650.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98075 0 0 0 64784 220 0 0 25 0 1 0 832829359 390328320 94525 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94525 1111 63 0 95232 0
vsize: 381180
[startup+660.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98084 0 0 0 65784 221 0 0 25 0 1 0 832829359 390328320 94534 4294967295 134512640 134714508 3221224592 3221223296 134524459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+670.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98084 0 0 0 66783 221 0 0 25 0 1 0 832829359 390328320 94534 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+680.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98084 0 0 0 67783 222 0 0 25 0 1 0 832829359 390328320 94534 4294967295 134512640 134714508 3221224592 3221223220 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+690.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98122 0 0 0 68782 223 0 0 25 0 1 0 832829359 390598656 94572 4294967295 134512640 134714508 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95361 94572 1111 63 0 95298 0
vsize: 381444
[startup+700.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98160 0 0 0 69782 224 0 0 25 0 1 0 832829359 390733824 94610 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+710.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98160 0 0 0 70782 224 0 0 25 0 1 0 832829359 390733824 94610 4294967295 134512640 134714508 3221224592 3221223244 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+720.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98160 0 0 0 71781 224 0 0 25 0 1 0 832829359 390733824 94610 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+730.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98160 0 0 0 72781 225 0 0 25 0 1 0 832829359 390733824 94610 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98160 0 0 0 73781 225 0 0 25 0 1 0 832829359 390733824 94610 4294967295 134512640 134714508 3221224592 3221223232 134613431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98160 0 0 0 74781 226 0 0 25 0 1 0 832829359 390733824 94610 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98185 0 0 0 75780 226 0 0 25 0 1 0 832829359 390733824 94635 4294967295 134512640 134714508 3221224592 3221223324 134543835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94635 1111 63 0 95331 0
vsize: 381576
[startup+770.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98195 0 0 0 76779 227 0 0 25 0 1 0 832829359 390868992 94645 4294967295 134512640 134714508 3221224592 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95427 94645 1111 63 0 95364 0
vsize: 381708
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98234 0 0 0 77779 228 0 0 25 0 1 0 832829359 390942720 94684 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95445 94684 1111 63 0 95382 0
vsize: 381780
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98241 0 0 0 78779 228 0 0 25 0 1 0 832829359 391000064 94691 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95459 94691 1111 63 0 95396 0
vsize: 381836
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98249 0 0 0 79778 229 0 0 25 0 1 0 832829359 391000064 94699 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95459 94699 1111 63 0 95396 0
vsize: 381836
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98249 0 0 0 80778 229 0 0 25 0 1 0 832829359 391000064 94699 4294967295 134512640 134714508 3221224592 3221223068 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95459 94699 1111 63 0 95396 0
vsize: 381836
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98294 0 0 0 81778 229 0 0 25 0 1 0 832829359 391155712 94739 4294967295 134512640 134714508 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95497 94739 1111 63 0 95434 0
vsize: 381988
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98294 0 0 0 82778 230 0 0 25 0 1 0 832829359 391155712 94739 4294967295 134512640 134714508 3221224592 3221223232 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95497 94739 1111 63 0 95434 0
vsize: 381988
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98314 0 0 0 83778 230 0 0 25 0 1 0 832829359 391172096 94743 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98314 0 0 0 84777 231 0 0 25 0 1 0 832829359 391172096 94743 4294967295 134512640 134714508 3221224592 3221223320 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98314 0 0 0 85777 231 0 0 25 0 1 0 832829359 391172096 94743 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+870.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98396 0 0 0 86777 232 0 0 25 0 1 0 832829359 391581696 94825 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+880.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98396 0 0 0 87776 232 0 0 25 0 1 0 832829359 391581696 94825 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98396 0 0 0 88776 233 0 0 25 0 1 0 832829359 391581696 94825 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+900.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98396 0 0 0 89776 233 0 0 25 0 1 0 832829359 391581696 94825 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+910.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98426 0 0 0 90775 234 0 0 25 0 1 0 832829359 391581696 94843 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94843 1111 63 0 95538 0
vsize: 382404
[startup+920.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98426 0 0 0 91775 235 0 0 25 0 1 0 832829359 391581696 94843 4294967295 134512640 134714508 3221224592 3221223200 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94843 1111 63 0 95538 0
vsize: 382404
[startup+930.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98478 0 0 0 92774 236 0 0 25 0 1 0 832829359 391852032 94895 4294967295 134512640 134714508 3221224592 3221223220 134696248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98478 0 0 0 93774 236 0 0 25 0 1 0 832829359 391852032 94895 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98478 0 0 0 94773 236 0 0 25 0 1 0 832829359 391852032 94895 4294967295 134512640 134714508 3221224592 3221223260 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98478 0 0 0 95773 237 0 0 25 0 1 0 832829359 391852032 94895 4294967295 134512640 134714508 3221224592 3221223376 134529033 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98478 0 0 0 96773 238 0 0 25 0 1 0 832829359 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+980.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98478 0 0 0 97773 238 0 0 25 0 1 0 832829359 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98478 0 0 0 98773 238 0 0 25 0 1 0 832829359 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98511 0 0 0 99773 238 0 0 25 0 1 0 832829359 391991296 94909 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95701 94909 1111 63 0 95638 0
vsize: 382804
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98511 0 0 0 100773 239 0 0 25 0 1 0 832829359 391991296 94909 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95701 94909 1111 63 0 95638 0
vsize: 382804
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98511 0 0 0 101773 239 0 0 25 0 1 0 832829359 391847936 94907 4294967295 134512640 134714508 3221224592 3221223136 134696455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98511 0 0 0 102773 240 0 0 25 0 1 0 832829359 391847936 94907 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98511 0 0 0 103773 240 0 0 25 0 1 0 832829359 391626752 94854 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95612 94854 1111 63 0 95549 0
vsize: 382448
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98511 0 0 0 104773 240 0 0 25 0 1 0 832829359 391626752 94854 4294967295 134512640 134714508 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95612 94854 1111 63 0 95549 0
vsize: 382448
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98536 0 0 0 105772 241 0 0 25 0 1 0 832829359 391827456 94879 4294967295 134512640 134714508 3221224592 3221223152 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95661 94879 1111 63 0 95598 0
vsize: 382644
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98600 0 0 0 106771 242 0 0 25 0 1 0 832829359 392024064 94943 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95709 94943 1111 63 0 95646 0
vsize: 382836
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98600 0 0 0 107771 242 0 0 25 0 1 0 832829359 392024064 94943 4294967295 134512640 134714508 3221224592 3221223260 134551608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95709 94943 1111 63 0 95646 0
vsize: 382836
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98600 0 0 0 108771 242 0 0 25 0 1 0 832829359 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98600 0 0 0 109771 243 0 0 25 0 1 0 832829359 391946240 94932 4294967295 134512640 134714508 3221224592 3221223296 134528521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98600 0 0 0 110771 243 0 0 25 0 1 0 832829359 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98600 0 0 0 111770 244 0 0 25 0 1 0 832829359 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98600 0 0 0 112770 244 0 0 25 0 1 0 832829359 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98607 0 0 0 113770 245 0 0 25 0 1 0 832829359 392081408 94939 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95723 94939 1111 63 0 95660 0
vsize: 382892
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22881
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98626 0 0 0 114769 245 0 0 25 0 1 0 832829359 392081408 94958 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95723 94958 1111 63 0 95660 0
vsize: 382892
[startup+1160.03 s]
Raw data (loadavg): 1.08 1.02 0.98 2/57 22921
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98633 0 0 0 115768 246 0 0 25 0 1 0 832829359 392216576 94965 4294967295 134512640 134714508 3221224592 3221223216 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95756 94965 1111 63 0 95693 0
vsize: 383024
[startup+1170.04 s]
Raw data (loadavg): 1.07 1.02 0.98 2/54 22934
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98633 0 0 0 116767 247 0 0 25 0 1 0 832829359 391942144 94931 4294967295 134512640 134714508 3221224592 3221223184 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 382756
[startup+1175.07 s]
Raw data (loadavg): 1.06 1.02 0.98 1/53 22934
Raw data (stat): 22881 (bsolo_lpr_cuts) R 22880 20001 20000 0 -1 0 98633 0 0 0 116767 247 0 0 25 0 1 0 832829359 391942144 94931 4294967295 134512640 134714508 3221224592 3221223184 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 0

Child status: 0
Real time (s): 1175.07
CPU time (s): 1175.19
CPU user time (s): 1172.52
CPU system time (s): 2.66159
CPU usage (%): 100.01
Max. virtual memory (Kb): 383024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####