PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb
MD5SUM	6a6f7751d9c11fcafeb386712eac2f08
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3097606
Optimality of the best value was proved	NO
Number of terms in the objective function	5376
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1473474440
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1473474440
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	433.74
Number of variables	5376
Total number of constraints	324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	324
Minimum length of a constraint	21
Maximum length of a constraint	1280
Trace number 41640

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 18:37:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29704 boxname=wulflinc5 idbench=1488 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6a6f7751d9c11fcafeb386712eac2f08  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran4x64.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran4x64.opb
IDLAUNCH: 29704
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        754900 kB
Buffers:         26824 kB
Cached:         231824 kB
SwapCached:        636 kB
Active:          28040 kB
Inactive:       232628 kB
HighTotal:      131008 kB
HighFree:          644 kB
LowTotal:       903652 kB
LowFree:        754256 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13520 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:56:45 (client local time) WITH STATUS 0 IN 1175.21 SECONDS
stats: 29704 7 1175.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5376 variables and 392 constraints.
c After prepocess the problem consists of 2936 variables and 570 constraints.
c preprocess terminated 6.992 s
c Initial Lower Bound: 1233656
c Lower Bound Elapsed time: 0.35525
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.18 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.95 0.90 2/54 5021
Raw data (stat): 5021 (runsolver) R 5020 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912489204 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.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 8630 0 0 0 978 18 0 0 25 0 1 0 912489204 33361920 7409 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8145 7409 1111 63 0 8082 0
vsize: 32580
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 12080 0 0 0 1969 27 0 0 25 0 1 0 912489204 33361920 7409 4294967295 134512640 134716908 3221224560 3221215232 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7409 1111 63 0 8082 0
vsize: 32580
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 15281 0 0 0 2960 36 0 0 25 0 1 0 912489204 34328576 7567 4294967295 134512640 134716908 3221224560 3221220560 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8381 7567 1111 63 0 8318 0
vsize: 33524
[startup+40.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 18320 0 0 0 3952 44 0 0 25 0 1 0 912489204 33361920 7409 4294967295 134512640 134716908 3221224560 3221223076 134652476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7409 1111 63 0 8082 0
vsize: 32580
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 21453 0 0 0 4945 51 0 0 25 0 1 0 912489204 34324480 7566 4294967295 134512640 134716908 3221224560 3221221216 1075966477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8380 7566 1111 63 0 8317 0
vsize: 33520
[startup+60.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 24454 0 0 0 5938 59 0 0 25 0 1 0 912489204 33755136 7413 4294967295 134512640 134716908 3221224560 3221222480 1075799720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8241 7413 1111 63 0 8178 0
vsize: 32964
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 27604 0 0 0 6930 67 0 0 25 0 1 0 912489204 33361920 7409 4294967295 134512640 134716908 3221224560 3221223088 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7409 1111 63 0 8082 0
vsize: 32580
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 30710 0 0 0 7923 75 0 0 25 0 1 0 912489204 33361920 7409 4294967295 134512640 134716908 3221224560 3221222304 1075646924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7409 1111 63 0 8082 0
vsize: 32580
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 33680 0 0 0 8916 81 0 0 25 0 1 0 912489204 33361920 7409 4294967295 134512640 134716908 3221224560 3221222512 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7409 1111 63 0 8082 0
vsize: 32580
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 36801 0 0 0 9908 90 0 0 25 0 1 0 912489204 33361920 7409 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7409 1111 63 0 8082 0
vsize: 32580
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 39896 0 0 0 10901 97 0 0 25 0 1 0 912489204 33361920 7409 4294967295 134512640 134716908 3221224560 3221222856 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7409 1111 63 0 8082 0
vsize: 32580
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 43017 0 0 0 11894 104 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 46116 0 0 0 12886 113 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 49189 0 0 0 13878 120 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221222752 134652424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 52415 0 0 0 14869 130 0 0 25 0 1 0 912489204 34312192 7558 4294967295 134512640 134716908 3221224560 3221220924 1075115856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8377 7559 1111 63 0 8314 0
vsize: 33508
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 55480 0 0 0 15862 137 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 58620 0 0 0 16854 145 0 0 25 0 1 0 912489204 34189312 7557 4294967295 134512640 134716908 3221224560 3221220704 1074970836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8347 7557 1111 63 0 8284 0
vsize: 33388
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 61616 0 0 0 17846 153 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221222512 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 64732 0 0 0 18838 162 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221222088 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 67839 0 0 0 19831 169 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221222512 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 70921 0 0 0 20824 176 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221222464 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 74107 0 0 0 21817 184 0 0 25 0 1 0 912489204 34205696 7552 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8351 7552 1111 63 0 8288 0
vsize: 33404
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 77158 0 0 0 22810 190 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221223176 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 80100 0 0 0 23802 199 0 0 25 0 1 0 912489204 33746944 7414 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8239 7414 1111 63 0 8176 0
vsize: 32956
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 83182 0 0 0 24794 207 0 0 25 0 1 0 912489204 33361920 7410 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7410 1111 63 0 8082 0
vsize: 32580
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 86219 0 0 0 25787 214 0 0 25 0 1 0 912489204 34238464 7551 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8359 7551 1111 63 0 8296 0
vsize: 33436
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 89121 0 0 0 26780 221 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222528 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 92156 0 0 0 27773 228 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222864 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 95163 0 0 0 28766 236 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222528 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 98283 0 0 0 29759 242 0 0 25 0 1 0 912489204 33857536 7434 4294967295 134512640 134716908 3221224560 3221221092 1075863666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8266 7434 1111 63 0 8203 0
vsize: 33064
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 101198 0 0 0 30753 249 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222748 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 104225 0 0 0 31746 256 0 0 25 0 1 0 912489204 33398784 7414 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8154 7414 1111 63 0 8091 0
vsize: 32616
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 107125 0 0 0 32740 262 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222752 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 110157 0 0 0 33732 270 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 112488 0 0 0 34727 275 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222816 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 114831 0 0 0 35722 281 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 117149 0 0 0 36717 286 0 0 25 0 1 0 912489204 34009088 7502 4294967295 134512640 134716908 3221224560 3221220788 1075114950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 7502 1111 63 0 8240 0
vsize: 33212
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 119362 0 0 0 37712 291 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222576 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 121652 0 0 0 38706 297 0 0 25 0 1 0 912489204 33361920 7411 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7411 1111 63 0 8082 0
vsize: 32580
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 123920 0 0 0 39701 302 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 126276 0 0 0 40696 308 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 128503 0 0 0 41691 313 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222624 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 130854 0 0 0 42685 319 0 0 25 0 1 0 912489204 33681408 7424 4294967295 134512640 134716908 3221224560 3221221600 1075971301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 7428 1111 63 0 8160 0
vsize: 32892
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 133002 0 0 0 43680 324 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 135185 0 0 0 44675 330 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 137360 0 0 0 45669 336 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222472 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 139595 0 0 0 46664 341 0 0 25 0 1 0 912489204 33959936 7496 4294967295 134512640 134716908 3221224560 3221220572 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8291 7496 1111 63 0 8228 0
vsize: 33164
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 141695 0 0 0 47659 346 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222560 1074921304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 143864 0 0 0 48653 352 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 146015 0 0 0 49649 356 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222512 1074056249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 148128 0 0 0 50644 362 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222520 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 150367 0 0 0 51638 368 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222704 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 152588 0 0 0 52632 374 0 0 25 0 1 0 912489204 33660928 7419 4294967295 134512640 134716908 3221224560 3221221504 1074620182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8218 7419 1111 63 0 8155 0
vsize: 32872
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 154576 0 0 0 53627 380 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222560 1074916558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 156722 0 0 0 54622 385 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222560 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 158823 0 0 0 55616 391 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 160971 0 0 0 56611 396 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 163027 0 0 0 57604 403 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 164955 0 0 0 58600 407 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222528 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 166891 0 0 0 59594 413 0 0 25 0 1 0 912489204 33849344 7470 4294967295 134512640 134716908 3221224560 3221221712 1075969902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8264 7470 1111 63 0 8201 0
vsize: 33056
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 168735 0 0 0 60590 418 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 170554 0 0 0 61586 422 0 0 25 0 1 0 912489204 33824768 7463 4294967295 134512640 134716908 3221224560 3221221216 1075966483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8258 7463 1111 63 0 8195 0
vsize: 33032
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 172445 0 0 0 62581 427 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222672 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 174403 0 0 0 63576 432 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 176381 0 0 0 64572 437 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222200 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 178439 0 0 0 65566 443 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 180784 0 0 0 66559 450 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 183163 0 0 0 67554 456 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222800 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 185333 0 0 0 68547 462 0 0 25 0 1 0 912489204 33746944 7416 4294967295 134512640 134716908 3221224560 3221222288 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8239 7416 1111 63 0 8176 0
vsize: 32956
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 187823 0 0 0 69541 468 0 0 25 0 1 0 912489204 33402880 7415 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 7415 1111 63 0 8092 0
vsize: 32620
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 190190 0 0 0 70536 474 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 192531 0 0 0 71529 481 0 0 25 0 1 0 912489204 33927168 7487 4294967295 134512640 134716908 3221224560 3221220704 1074969446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8283 7487 1111 63 0 8220 0
vsize: 33132
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 194918 0 0 0 72523 487 0 0 25 0 1 0 912489204 34000896 7487 4294967295 134512640 134716908 3221224560 3221221632 1074867283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8301 7487 1111 63 0 8238 0
vsize: 33204
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 197271 0 0 0 73517 493 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222912 1074115339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 199599 0 0 0 74512 499 0 0 25 0 1 0 912489204 33992704 7479 4294967295 134512640 134716908 3221224560 3221220572 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8299 7479 1111 63 0 8236 0
vsize: 33196
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 201903 0 0 0 75506 505 0 0 25 0 1 0 912489204 33988608 7482 4294967295 134512640 134716908 3221224560 3221220508 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8298 7482 1111 63 0 8235 0
vsize: 33192
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 204190 0 0 0 76499 512 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222912 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 206352 0 0 0 77494 517 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222976 1074116342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 208364 0 0 0 78490 522 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222560 1074916319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 210356 0 0 0 79484 528 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 212312 0 0 0 80479 533 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222752 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 214213 0 0 0 81476 536 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221218640 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 216249 0 0 0 82471 541 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 218261 0 0 0 83466 547 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222656 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 220537 0 0 0 84460 554 0 0 25 0 1 0 912489204 34037760 7510 4294967295 134512640 134716908 3221224560 3221220688 1074880068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8310 7510 1111 63 0 8247 0
vsize: 33240
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 223481 0 0 0 85452 562 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 226415 0 0 0 86444 570 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221217768 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 229345 0 0 0 87437 577 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221217632 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 232336 0 0 0 88430 585 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 235225 0 0 0 89422 593 0 0 25 0 1 0 912489204 33894400 7443 4294967295 134512640 134716908 3221224560 3221222480 1075799638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8275 7443 1111 63 0 8212 0
vsize: 33100
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 238183 0 0 0 90414 601 0 0 25 0 1 0 912489204 34062336 7516 4294967295 134512640 134716908 3221224560 3221220524 1074860604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8316 7516 1111 63 0 8253 0
vsize: 33264
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 241036 0 0 0 91405 610 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221217872 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 244032 0 0 0 92398 617 0 0 25 0 1 0 912489204 33886208 7440 4294967295 134512640 134716908 3221224560 3221222288 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8273 7440 1111 63 0 8210 0
vsize: 33092
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 247210 0 0 0 93390 626 0 0 25 0 1 0 912489204 33882112 7439 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8272 7439 1111 63 0 8209 0
vsize: 33088
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 250532 0 0 0 94381 634 0 0 25 0 1 0 912489204 33767424 7468 4294967295 134512640 134716908 3221224560 3221221840 1074140060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8244 7468 1111 63 0 8181 0
vsize: 32976
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 253457 0 0 0 95374 642 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 256541 0 0 0 96367 649 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 259794 0 0 0 97359 657 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222576 1074153722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 263044 0 0 0 98351 665 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222512 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 266672 0 0 0 99341 675 0 0 25 0 1 0 912489204 34058240 7519 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8315 7519 1111 63 0 8252 0
vsize: 33260
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 270307 0 0 0 100331 685 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 274114 0 0 0 101322 695 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222848 1074154008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 278476 0 0 0 102311 706 0 0 25 0 1 0 912489204 34193408 7551 4294967295 134512640 134716908 3221224560 3221221504 1074620304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8348 7551 1111 63 0 8285 0
vsize: 33392
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 282598 0 0 0 103300 717 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222560 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 287262 0 0 0 104289 729 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222896 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 292291 0 0 0 105278 740 0 0 25 0 1 0 912489204 33402880 7422 4294967295 134512640 134716908 3221224560 3221222540 1075006435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 7422 1111 63 0 8092 0
vsize: 32620
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 298326 0 0 0 106262 756 0 0 25 0 1 0 912489204 33361920 7412 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8145 7412 1111 63 0 8082 0
vsize: 32580
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 304595 0 0 0 107248 770 0 0 25 0 1 0 912489204 33689600 7475 4294967295 134512640 134716908 3221224560 3221222520 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8225 7476 1111 63 0 8162 0
vsize: 32900
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 310740 0 0 0 108233 785 0 0 25 0 1 0 912489204 33525760 7452 4294967295 134512640 134716908 3221224560 3221222760 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8185 7452 1111 63 0 8122 0
vsize: 32740
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 316352 0 0 0 109218 801 0 0 25 0 1 0 912489204 33525760 7452 4294967295 134512640 134716908 3221224560 3221222336 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8185 7452 1111 63 0 8122 0
vsize: 32740
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 322111 0 0 0 110203 815 0 0 25 0 1 0 912489204 33660928 7485 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8218 7485 1111 63 0 8155 0
vsize: 32872
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 327535 0 0 0 111193 826 0 0 25 0 1 0 912489204 34533376 7637 4294967295 134512640 134716908 3221224560 3221220880 1075170614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8431 7637 1111 63 0 8368 0
vsize: 33724
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 332942 0 0 0 112179 840 0 0 25 0 1 0 912489204 33742848 7505 4294967295 134512640 134716908 3221224560 3221222304 1075640432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8238 7505 1111 63 0 8175 0
vsize: 32952
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 337955 0 0 0 113167 852 0 0 25 0 1 0 912489204 33685504 7491 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8224 7491 1111 63 0 8161 0
vsize: 32896
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 343372 0 0 0 114155 864 0 0 25 0 1 0 912489204 33935360 7552 4294967295 134512640 134716908 3221224560 3221222560 1074921295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8285 7552 1111 63 0 8222 0
vsize: 33140
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 348764 0 0 0 115143 877 0 0 25 0 1 0 912489204 34582528 7645 4294967295 134512640 134716908 3221224560 3221220880 1075169567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8443 7645 1111 63 0 8380 0
vsize: 33772
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 354262 0 0 0 116131 889 0 0 25 0 1 0 912489204 34103296 7561 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 7562 1111 63 0 8300 0
vsize: 33304
[startup+1175.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 5021
Raw data (stat): 5021 (bsolo_lpr_cuts-) R 5020 7266 7265 0 -1 0 354262 0 0 0 116131 889 0 0 25 0 1 0 912489204 34103296 7561 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 7562 1111 63 0 8300 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.21
CPU user time (s): 1166.23
CPU system time (s): 8.97363
CPU usage (%): 100.014
Max. virtual memory (Kb): 33772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####