PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A2C1S1.opb
MD5SUM	f3b47743eaaf66ad8d0ab01c3e7b5088
Bench Category	optimization, big integers (OPTBIGINT)
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	25152
Biggest coefficient in the objective function	30395596800
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	14310357806800
Number of bits of the sum of numbers in the objective function	44
Biggest number in a constraint	30395596800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	14310357806800
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.625904
Number of variables	69312
Total number of constraints	3504
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	192
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	1
Maximum length of a constraint	485
Trace number 40508

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        509148 kB
Buffers:         23056 kB
Cached:         480208 kB
SwapCached:        956 kB
Active:          32420 kB
Inactive:       472992 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        508896 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            14416 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:19:09 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 28574 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 69312 variables and 4560 constraints.
c After prepocess the problem consists of 50352 variables and 5263 constraints.
c preprocess terminated 291.571 s
c Initial Lower Bound: 2147483344
c Lower Bound Elapsed time: 79.1347
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.79 0.92 0.90 2/54 32281
Raw data (stat): 32281 (runsolver) R 32280 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901812644 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.82 0.93 0.90 2/54 32281
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1516 0 0 0 993 4 0 0 25 0 1 0 901812644 18755584 1436 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 1436 1111 63 0 4516 0
vsize: 18316
[startup+20.004 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 32281
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 2460 0 0 0 1992 5 0 0 25 0 1 0 901812644 22700032 2380 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5542 2380 1111 63 0 5479 0
vsize: 22168
[startup+30.0038 s]
Raw data (loadavg): 0.87 0.93 0.90 2/57 32284
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 3466 0 0 0 2990 7 0 0 25 0 1 0 901812644 26812416 3386 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6546 3386 1111 63 0 6483 0
vsize: 26184
[startup+40.0066 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32334
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 4517 0 0 0 3988 9 0 0 25 0 1 0 901812644 31051776 4437 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7581 4437 1111 63 0 7518 0
vsize: 30324
[startup+50.0074 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32334
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 5595 0 0 0 4986 12 0 0 25 0 1 0 901812644 35573760 5515 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8685 5515 1111 63 0 8622 0
vsize: 34740
[startup+60.0083 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32334
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 6724 0 0 0 5984 14 0 0 25 0 1 0 901812644 40239104 6644 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9824 6644 1111 63 0 9761 0
vsize: 39296
[startup+70.0091 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32334
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 7969 0 0 0 6983 15 0 0 25 0 1 0 901812644 45326336 7889 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11066 7889 1111 63 0 11003 0
vsize: 44264
[startup+80.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32334
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 9317 0 0 0 7981 18 0 0 25 0 1 0 901812644 50831360 9237 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12410 9237 1111 63 0 12347 0
vsize: 49640
[startup+90.0108 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32334
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 10782 0 0 0 8978 21 0 0 25 0 1 0 901812644 56762368 10702 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13858 10702 1111 63 0 13795 0
vsize: 55432
[startup+100.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32334
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 12382 0 0 0 9975 24 0 0 25 0 1 0 901812644 63475712 12302 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15497 12302 1111 63 0 15434 0
vsize: 61988
[startup+110.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 14068 0 0 0 10971 29 0 0 25 0 1 0 901812644 70254592 13988 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17152 13988 1111 63 0 17089 0
vsize: 68608
[startup+120.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 15990 0 0 0 11967 32 0 0 25 0 1 0 901812644 78163968 15910 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19083 15910 1111 63 0 19020 0
vsize: 76332
[startup+130.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 19073 0 0 0 12961 39 0 0 25 0 1 0 901812644 90693632 18993 4294967295 134512640 134716908 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22142 18993 1111 63 0 22079 0
vsize: 88568
[startup+140.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 39189 0 0 0 13916 83 0 0 25 0 1 0 901812644 173187072 39109 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42282 39109 1111 63 0 42219 0
vsize: 169128
[startup+150.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 59779 0 0 0 14870 129 0 0 25 0 1 0 901812644 248393728 59222 4294967295 134512640 134716908 3221224576 3221223384 1077378027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60643 59222 1111 63 0 60580 0
vsize: 242572
[startup+160.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 69955 0 0 0 15844 155 0 0 25 0 1 0 901812644 261623808 62462 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63873 62462 1111 63 0 63810 0
vsize: 255492
[startup+170.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 88052 0 0 0 16804 195 0 0 25 0 1 0 901812644 265605120 63423 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64845 63423 1111 63 0 64782 0
vsize: 259380
[startup+180.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 88253 0 0 0 17803 195 0 0 25 0 1 0 901812644 266420224 63624 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65044 63624 1111 63 0 64981 0
vsize: 260176
[startup+190.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 88443 0 0 0 18803 196 0 0 25 0 1 0 901812644 267243520 63814 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65245 63814 1111 63 0 65182 0
vsize: 260980
[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 88528 0 0 0 19803 196 0 0 25 0 1 0 901812644 267517952 63899 4294967295 134512640 134716908 3221224576 3221223304 134675301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65312 63899 1111 63 0 65249 0
vsize: 261248
[startup+210.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 200762 0 0 0 20564 435 0 0 25 0 1 0 901812644 267649024 63933 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65344 63933 1111 63 0 65281 0
vsize: 261376
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 303083 0 0 0 21347 652 0 0 25 0 1 0 901812644 268754944 64050 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65614 64057 1111 63 0 65551 0
vsize: 262456
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 415256 0 0 0 22104 896 0 0 25 0 1 0 901812644 268054528 64023 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65443 64023 1111 63 0 65380 0
vsize: 261772
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 434137 0 0 0 23064 936 0 0 25 0 1 0 901812644 268468224 64136 4294967295 134512640 134716908 3221224576 3221223240 134627152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 434137 0 0 0 24064 936 0 0 25 0 1 0 901812644 268468224 64136 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 434137 0 0 0 25064 936 0 0 25 0 1 0 901812644 268468224 64136 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 434137 0 0 0 26064 936 0 0 25 0 1 0 901812644 268468224 64136 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 434137 0 0 0 27064 936 0 0 25 0 1 0 901812644 268468224 64136 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 434137 0 0 0 28064 936 0 0 25 0 1 0 901812644 268468224 64136 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 550925 0 0 0 28804 1197 0 0 25 0 1 0 901812644 282677248 67432 4294967295 134512640 134716908 3221224576 3221222784 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69013 67432 1111 63 0 68950 0
vsize: 276052
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 676133 0 0 0 29517 1483 0 0 25 0 1 0 901812644 283246592 67574 4294967295 134512640 134716908 3221224576 3221222696 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69084 67506 1111 63 0 69021 0
vsize: 276608
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 788919 0 0 0 30257 1744 0 0 25 0 1 0 901812644 283140096 67548 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69126 67548 1111 63 0 69063 0
vsize: 276504
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 884006 0 0 0 31031 1971 0 0 25 0 1 0 901812644 283693056 67684 4294967295 134512640 134716908 3221224576 3221222096 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69261 67684 1111 63 0 69198 0
vsize: 277044
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 963412 0 0 0 31848 2153 0 0 25 0 1 0 901812644 284172288 67802 4294967295 134512640 134716908 3221224576 3221222048 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69378 67802 1111 63 0 69315 0
vsize: 277512
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1031251 0 0 0 32682 2319 0 0 25 0 1 0 901812644 284626944 67913 4294967295 134512640 134716908 3221224576 3221222016 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69489 67913 1111 63 0 69426 0
vsize: 277956
[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32336
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1091724 0 0 0 33533 2469 0 0 25 0 1 0 901812644 284991488 68002 4294967295 134512640 134716908 3221224576 3221222064 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69578 68002 1111 63 0 69515 0
vsize: 278312
[startup+370.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1146423 0 0 0 34399 2604 0 0 25 0 1 0 901812644 285638656 68097 4294967295 134512640 134716908 3221224576 3221221976 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69736 68101 1111 63 0 69673 0
vsize: 278944
[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163212 0 0 0 35362 2640 0 0 25 0 1 0 901812644 300965888 71333 4294967295 134512640 134716908 3221224576 3221220700 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71333 1111 63 0 73415 0
vsize: 293912
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163226 0 0 0 36362 2640 0 0 25 0 1 0 901812644 300965888 71347 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71347 1111 63 0 73415 0
vsize: 293912
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163232 0 0 0 37363 2640 0 0 25 0 1 0 901812644 300965888 71353 4294967295 134512640 134716908 3221224576 3221220944 1075602716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71353 1111 63 0 73415 0
vsize: 293912
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163233 0 0 0 38363 2640 0 0 25 0 1 0 901812644 300965888 71354 4294967295 134512640 134716908 3221224576 3221220444 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71354 1111 63 0 73415 0
vsize: 293912
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163234 0 0 0 39363 2640 0 0 25 0 1 0 901812644 300965888 71355 4294967295 134512640 134716908 3221224576 3221220700 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71355 1111 63 0 73415 0
vsize: 293912
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163235 0 0 0 40363 2640 0 0 25 0 1 0 901812644 300965888 71356 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71356 1111 63 0 73415 0
vsize: 293912
[startup+440.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163238 0 0 0 41363 2640 0 0 25 0 1 0 901812644 300965888 71359 4294967295 134512640 134716908 3221224576 3221220688 1076111669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71359 1111 63 0 73415 0
vsize: 293912
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163238 0 0 0 42364 2640 0 0 25 0 1 0 901812644 300965888 71359 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71359 1111 63 0 73415 0
vsize: 293912
[startup+460.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163240 0 0 0 43364 2640 0 0 25 0 1 0 901812644 300965888 71361 4294967295 134512640 134716908 3221224576 3221220752 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71361 1111 63 0 73415 0
vsize: 293912
[startup+470.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163240 0 0 0 44364 2640 0 0 25 0 1 0 901812644 300965888 71361 4294967295 134512640 134716908 3221224576 3221220444 1074860566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73478 71361 1111 63 0 73415 0
vsize: 293912
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163255 0 0 0 45364 2640 0 0 25 0 1 0 901812644 301682688 71376 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71376 1111 63 0 73590 0
vsize: 294612
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163255 0 0 0 46364 2640 0 0 25 0 1 0 901812644 301682688 71376 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71376 1111 63 0 73590 0
vsize: 294612
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163255 0 0 0 47364 2640 0 0 25 0 1 0 901812644 301682688 71376 4294967295 134512640 134716908 3221224576 3221221552 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71376 1111 63 0 73590 0
vsize: 294612
[startup+510.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163255 0 0 0 48365 2640 0 0 25 0 1 0 901812644 301682688 71376 4294967295 134512640 134716908 3221224576 3221220444 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71376 1111 63 0 73590 0
vsize: 294612
[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163255 0 0 0 49365 2640 0 0 25 0 1 0 901812644 301682688 71376 4294967295 134512640 134716908 3221224576 3221221424 1074620363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71376 1111 63 0 73590 0
vsize: 294612
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163255 0 0 0 50365 2640 0 0 25 0 1 0 901812644 301682688 71376 4294967295 134512640 134716908 3221224576 3221220476 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71376 1111 63 0 73590 0
vsize: 294612
[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163261 0 0 0 51365 2640 0 0 25 0 1 0 901812644 301682688 71382 4294967295 134512640 134716908 3221224576 3221220444 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71382 1111 63 0 73590 0
vsize: 294612
[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163261 0 0 0 52366 2640 0 0 25 0 1 0 901812644 301682688 71382 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71382 1111 63 0 73590 0
vsize: 294612
[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163261 0 0 0 53366 2640 0 0 25 0 1 0 901812644 301682688 71382 4294967295 134512640 134716908 3221224576 3221221400 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71382 1111 63 0 73590 0
vsize: 294612
[startup+570.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163261 0 0 0 54366 2640 0 0 25 0 1 0 901812644 301682688 71382 4294967295 134512640 134716908 3221224576 3221221424 1074620304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71382 1111 63 0 73590 0
vsize: 294612
[startup+580.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163261 0 0 0 55366 2641 0 0 25 0 1 0 901812644 301682688 71382 4294967295 134512640 134716908 3221224576 3221220640 1075091577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71382 1111 63 0 73590 0
vsize: 294612
[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1163261 0 0 0 56366 2641 0 0 25 0 1 0 901812644 301682688 71382 4294967295 134512640 134716908 3221224576 3221220444 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73653 71382 1111 63 0 73590 0
vsize: 294612
[startup+600.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1167725 0 0 0 57359 2648 0 0 25 0 1 0 901812644 295915520 69982 4294967295 134512640 134716908 3221224576 3221221600 1074837183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72245 69982 1111 63 0 72182 0
vsize: 288980
[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196762 0 0 0 58295 2712 0 0 25 0 1 0 901812644 285896704 68372 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69799 68372 1111 63 0 69736 0
vsize: 279196
[startup+620.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 59294 2713 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 60294 2713 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+640.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 61294 2713 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 62293 2714 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 63293 2714 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 64293 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 65293 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 66293 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 67293 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 68293 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+720.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 69294 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+730.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 70294 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 71294 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 72294 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 73294 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 74295 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 75295 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 76295 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 77295 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+810.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 78295 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+820.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 79295 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+830.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 80295 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+840.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 81295 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 82296 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+860.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 83296 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+870.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 84296 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 85296 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 86296 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+900.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 87296 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+910.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 88297 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+920.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 89297 2715 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 90297 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+940.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 91297 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 92297 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 93297 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 94297 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+980.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 95299 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+990.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 96300 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 97300 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 98300 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 99301 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223356 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 100301 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 101301 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 102301 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 103301 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223376 134597690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 104302 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134613544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 105302 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196763 0 0 0 106302 2716 0 0 25 0 1 0 901812644 285896704 68373 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68373 1111 63 0 69736 0
vsize: 279196
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196765 0 0 0 107302 2716 0 0 25 0 1 0 901812644 285896704 68375 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68375 1111 63 0 69736 0
vsize: 279196
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196765 0 0 0 108302 2716 0 0 25 0 1 0 901812644 285896704 68375 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68375 1111 63 0 69736 0
vsize: 279196
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196765 0 0 0 109302 2716 0 0 25 0 1 0 901812644 285896704 68375 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68375 1111 63 0 69736 0
vsize: 279196
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196765 0 0 0 110303 2716 0 0 25 0 1 0 901812644 285896704 68375 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68375 1111 63 0 69736 0
vsize: 279196
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196765 0 0 0 111303 2716 0 0 25 0 1 0 901812644 285896704 68375 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68375 1111 63 0 69736 0
vsize: 279196
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196765 0 0 0 112303 2716 0 0 25 0 1 0 901812644 285896704 68375 4294967295 134512640 134716908 3221224576 3221223376 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68375 1111 63 0 69736 0
vsize: 279196
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196765 0 0 0 113303 2716 0 0 25 0 1 0 901812644 285896704 68375 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68375 1111 63 0 69736 0
vsize: 279196
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196765 0 0 0 114303 2716 0 0 25 0 1 0 901812644 285896704 68375 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68375 1111 63 0 69736 0
vsize: 279196
[startup+1175.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 32338
Raw data (stat): 32281 (bsolo_lpr-v2) R 32280 21152 21151 0 -1 0 1196765 0 0 0 114303 2716 0 0 25 0 1 0 901812644 285896704 68375 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68375 1111 63 0 69736 0
vsize: 0

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