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-A1C1S1.opb
MD5SUM	4927ae8cbb5bb871eb7a61843614b4ec
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.630904
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 40507

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 12:59:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28573 boxname=wulflinc2 idbench=1529 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4927ae8cbb5bb871eb7a61843614b4ec  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-A1C1S1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-A1C1S1.opb
IDLAUNCH: 28573
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        808136 kB
Buffers:         22728 kB
Cached:         180960 kB
SwapCached:       1332 kB
Active:          30348 kB
Inactive:       175320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        807884 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            15064 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:19:01 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 28573 7 1175.17 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 5256 constraints.
c preprocess terminated 291.281 s
c Initial Lower Bound: 2147483344
c Lower Bound Elapsed time: 98.436
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.83 0.93 0.90 1/54 9853
Raw data (stat): 9853 (runsolver) R 9852 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901825033 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 9853
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1489 0 0 0 994 4 0 0 25 0 1 0 901825033 18755584 1409 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 1409 1111 63 0 4516 0
vsize: 18316
[startup+20.0004 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 9853
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 2390 0 0 0 1993 5 0 0 25 0 1 0 901825033 22421504 2310 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5474 2310 1111 63 0 5411 0
vsize: 21896
[startup+30.0004 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 9853
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 3335 0 0 0 2991 7 0 0 25 0 1 0 901825033 26234880 3255 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6405 3255 1111 63 0 6342 0
vsize: 25620
[startup+40.0009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9900
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 4364 0 0 0 3988 10 0 0 25 0 1 0 901825033 30486528 4284 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 4284 1111 63 0 7380 0
vsize: 29772
[startup+50.0015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9906
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 5484 0 0 0 4985 13 0 0 25 0 1 0 901825033 35004416 5404 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8546 5404 1111 63 0 8483 0
vsize: 34184
[startup+60.0016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9906
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 6676 0 0 0 5982 17 0 0 25 0 1 0 901825033 39956480 6596 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9755 6596 1111 63 0 9692 0
vsize: 39020
[startup+70.0022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9906
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 7956 0 0 0 6978 20 0 0 25 0 1 0 901825033 45182976 7876 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11031 7876 1111 63 0 10968 0
vsize: 44124
[startup+80.0026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9906
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 9392 0 0 0 7975 24 0 0 25 0 1 0 901825033 51113984 9312 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12479 9312 1111 63 0 12416 0
vsize: 49916
[startup+90.0027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9906
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 10942 0 0 0 8973 26 0 0 25 0 1 0 901825033 57470976 10862 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14031 10862 1111 63 0 13968 0
vsize: 56124
[startup+100.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9906
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 12638 0 0 0 9969 30 0 0 25 0 1 0 901825033 64466944 12558 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15739 12558 1111 63 0 15676 0
vsize: 62956
[startup+110.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 14426 0 0 0 10965 35 0 0 25 0 1 0 901825033 71806976 14346 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17531 14346 1111 63 0 17468 0
vsize: 70124
[startup+120.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 16364 0 0 0 11961 39 0 0 25 0 1 0 901825033 79716352 16284 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19462 16284 1111 63 0 19399 0
vsize: 77848
[startup+130.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 30289 0 0 0 12929 70 0 0 25 0 1 0 901825033 136847360 30209 4294967295 134512640 134716908 3221224576 3221222860 1077049373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33410 30209 1111 63 0 33347 0
vsize: 133640
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 39750 0 0 0 13910 90 0 0 25 0 1 0 901825033 175484928 39670 4294967295 134512640 134716908 3221224576 3221221040 1077359372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42843 39670 1111 63 0 42780 0
vsize: 171372
[startup+150.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 69853 0 0 0 14842 158 0 0 25 0 1 0 901825033 261218304 62360 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63774 62360 1111 63 0 63711 0
vsize: 255096
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 69968 0 0 0 15841 159 0 0 25 0 1 0 901825033 261758976 62475 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63906 62475 1111 63 0 63843 0
vsize: 255624
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 88076 0 0 0 16800 201 0 0 25 0 1 0 901825033 265740288 63447 4294967295 134512640 134716908 3221224576 3221223304 134675314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64878 63447 1111 63 0 64815 0
vsize: 259512
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 88277 0 0 0 17799 201 0 0 25 0 1 0 901825033 266555392 63648 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65077 63648 1111 63 0 65014 0
vsize: 260308
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 88453 0 0 0 18799 202 0 0 25 0 1 0 901825033 267243520 63824 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65245 63824 1111 63 0 65182 0
vsize: 260980
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 88529 0 0 0 19799 202 0 0 25 0 1 0 901825033 267517952 63900 4294967295 134512640 134716908 3221224576 3221223328 134630791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65312 63900 1111 63 0 65249 0
vsize: 261248
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 208721 0 0 0 20538 463 0 0 25 0 1 0 901825033 267649024 63936 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65344 63936 1111 63 0 65281 0
vsize: 261376
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 309338 0 0 0 21313 688 0 0 25 0 1 0 901825033 267919360 63981 4294967295 134512640 134716908 3221224576 3221223304 134543546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65410 63981 1111 63 0 65347 0
vsize: 261640
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 419948 0 0 0 22071 931 0 0 25 0 1 0 901825033 268054528 64023 4294967295 134512640 134716908 3221224576 3221223304 134675314 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 434137 0 0 0 23040 962 0 0 25 0 1 0 901825033 268468224 64136 4294967295 134512640 134716908 3221224576 3221223236 134627213 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 434137 0 0 0 24040 962 0 0 25 0 1 0 901825033 268468224 64136 4294967295 134512640 134716908 3221224576 3221223236 134627154 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 434137 0 0 0 25040 962 0 0 25 0 1 0 901825033 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+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 434137 0 0 0 26040 963 0 0 25 0 1 0 901825033 268468224 64136 4294967295 134512640 134716908 3221224576 3221223248 134627141 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 434137 0 0 0 27039 963 0 0 25 0 1 0 901825033 268468224 64136 4294967295 134512640 134716908 3221224576 3221223236 134627154 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 434137 0 0 0 28039 963 0 0 25 0 1 0 901825033 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+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 555433 0 0 0 28772 1231 0 0 25 0 1 0 901825033 282824704 67452 4294967295 134512640 134716908 3221224576 3221222624 1074153587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69049 67452 1111 63 0 68986 0
vsize: 276196
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 679615 0 0 0 29494 1509 0 0 25 0 1 0 901825033 283246592 67520 4294967295 134512640 134716908 3221224576 3221222536 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69152 67524 1111 63 0 69089 0
vsize: 276608
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 792048 0 0 0 30235 1768 0 0 25 0 1 0 901825033 283144192 67549 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69127 67549 1111 63 0 69064 0
vsize: 276508
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 886399 0 0 0 31011 1992 0 0 25 0 1 0 901825033 283983872 67697 4294967295 134512640 134716908 3221224576 3221222008 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69332 67701 1111 63 0 69269 0
vsize: 277328
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9908
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 965454 0 0 0 31816 2187 0 0 25 0 1 0 901825033 284184576 67804 4294967295 134512640 134716908 3221224576 3221222096 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69313 67736 1111 63 0 69250 0
vsize: 277524
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1033023 0 0 0 32651 2352 0 0 25 0 1 0 901825033 284643328 67917 4294967295 134512640 134716908 3221224576 3221222048 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69493 67917 1111 63 0 69430 0
vsize: 277972
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1093164 0 0 0 33500 2504 0 0 25 0 1 0 901825033 285282304 68014 4294967295 134512640 134716908 3221224576 3221222072 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69649 68018 1111 63 0 69586 0
vsize: 278596
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1147713 0 0 0 34363 2640 0 0 25 0 1 0 901825033 285368320 68095 4294967295 134512640 134716908 3221224576 3221222144 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69670 68095 1111 63 0 69607 0
vsize: 278680
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162250 0 0 0 35331 2673 0 0 25 0 1 0 901825033 300945408 71326 4294967295 134512640 134716908 3221224576 3221221632 1075969902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71326 1111 63 0 73410 0
vsize: 293892
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162264 0 0 0 36331 2673 0 0 25 0 1 0 901825033 300945408 71340 4294967295 134512640 134716908 3221224576 3221221248 1076083820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71340 1111 63 0 73410 0
vsize: 293892
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162269 0 0 0 37331 2673 0 0 25 0 1 0 901825033 300945408 71345 4294967295 134512640 134716908 3221224576 3221220552 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71345 1111 63 0 73410 0
vsize: 293892
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162270 0 0 0 38331 2673 0 0 25 0 1 0 901825033 300945408 71346 4294967295 134512640 134716908 3221224576 3221221600 1074834317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71346 1111 63 0 73410 0
vsize: 293892
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162270 0 0 0 39331 2673 0 0 25 0 1 0 901825033 300945408 71346 4294967295 134512640 134716908 3221224576 3221221000 1076048763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71346 1111 63 0 73410 0
vsize: 293892
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162270 0 0 0 40331 2673 0 0 25 0 1 0 901825033 300945408 71346 4294967295 134512640 134716908 3221224576 3221221424 1074620294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71346 1111 63 0 73410 0
vsize: 293892
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162270 0 0 0 41331 2674 0 0 25 0 1 0 901825033 300945408 71346 4294967295 134512640 134716908 3221224576 3221220688 1076111568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71346 1111 63 0 73410 0
vsize: 293892
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162270 0 0 0 42331 2674 0 0 25 0 1 0 901825033 300945408 71346 4294967295 134512640 134716908 3221224576 3221220752 1074961129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71346 1111 63 0 73410 0
vsize: 293892
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162273 0 0 0 43331 2674 0 0 25 0 1 0 901825033 300945408 71349 4294967295 134512640 134716908 3221224576 3221220700 1075116774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71349 1111 63 0 73410 0
vsize: 293892
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162275 0 0 0 44331 2675 0 0 25 0 1 0 901825033 300945408 71351 4294967295 134512640 134716908 3221224576 3221220444 1074860759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71351 1111 63 0 73410 0
vsize: 293892
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162276 0 0 0 45331 2675 0 0 25 0 1 0 901825033 300945408 71352 4294967295 134512640 134716908 3221224576 3221220348 1074787800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71352 1111 63 0 73410 0
vsize: 293892
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162276 0 0 0 46330 2676 0 0 25 0 1 0 901825033 300945408 71352 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71352 1111 63 0 73410 0
vsize: 293892
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162277 0 0 0 47330 2676 0 0 25 0 1 0 901825033 300945408 71353 4294967295 134512640 134716908 3221224576 3221220700 1075116556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71353 1111 63 0 73410 0
vsize: 293892
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162277 0 0 0 48330 2676 0 0 25 0 1 0 901825033 300945408 71353 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71353 1111 63 0 73410 0
vsize: 293892
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162277 0 0 0 49330 2677 0 0 25 0 1 0 901825033 300945408 71353 4294967295 134512640 134716908 3221224576 3221221512 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71353 1111 63 0 73410 0
vsize: 293892
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162277 0 0 0 50330 2677 0 0 25 0 1 0 901825033 300945408 71353 4294967295 134512640 134716908 3221224576 3221220444 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71353 1111 63 0 73410 0
vsize: 293892
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162277 0 0 0 51330 2677 0 0 25 0 1 0 901825033 300945408 71353 4294967295 134512640 134716908 3221224576 3221220444 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73473 71353 1111 63 0 73410 0
vsize: 293892
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162292 0 0 0 52329 2678 0 0 25 0 1 0 901825033 301662208 71368 4294967295 134512640 134716908 3221224576 3221220444 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71368 1111 63 0 73585 0
vsize: 294592
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162292 0 0 0 53329 2678 0 0 25 0 1 0 901825033 301662208 71368 4294967295 134512640 134716908 3221224576 3221220444 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71368 1111 63 0 73585 0
vsize: 294592
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162292 0 0 0 54329 2679 0 0 25 0 1 0 901825033 301662208 71368 4294967295 134512640 134716908 3221224576 3221221424 1074620045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71368 1111 63 0 73585 0
vsize: 294592
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162292 0 0 0 55328 2679 0 0 25 0 1 0 901825033 301662208 71368 4294967295 134512640 134716908 3221224576 3221220444 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71368 1111 63 0 73585 0
vsize: 294592
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162292 0 0 0 56328 2679 0 0 25 0 1 0 901825033 301662208 71368 4294967295 134512640 134716908 3221224576 3221220444 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71368 1111 63 0 73585 0
vsize: 294592
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162292 0 0 0 57328 2680 0 0 25 0 1 0 901825033 301662208 71368 4294967295 134512640 134716908 3221224576 3221220700 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71368 1111 63 0 73585 0
vsize: 294592
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162296 0 0 0 58329 2680 0 0 25 0 1 0 901825033 301662208 71372 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71372 1111 63 0 73585 0
vsize: 294592
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162296 0 0 0 59329 2680 0 0 25 0 1 0 901825033 301662208 71372 4294967295 134512640 134716908 3221224576 3221221384 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71372 1111 63 0 73585 0
vsize: 294592
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162296 0 0 0 60329 2680 0 0 25 0 1 0 901825033 301662208 71372 4294967295 134512640 134716908 3221224576 3221220444 1074860647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71372 1111 63 0 73585 0
vsize: 294592
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162296 0 0 0 61329 2680 0 0 25 0 1 0 901825033 301662208 71372 4294967295 134512640 134716908 3221224576 3221220444 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71372 1111 63 0 73585 0
vsize: 294592
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162299 0 0 0 62329 2680 0 0 25 0 1 0 901825033 301662208 71375 4294967295 134512640 134716908 3221224576 3221220552 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71375 1111 63 0 73585 0
vsize: 294592
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162299 0 0 0 63329 2680 0 0 25 0 1 0 901825033 301662208 71375 4294967295 134512640 134716908 3221224576 3221220640 1074794661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71375 1111 63 0 73585 0
vsize: 294592
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1162300 0 0 0 64329 2681 0 0 25 0 1 0 901825033 301662208 71376 4294967295 134512640 134716908 3221224576 3221220700 1076111353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73648 71376 1111 63 0 73585 0
vsize: 294592
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1178765 0 0 0 65297 2713 0 0 25 0 1 0 901825033 299044864 70684 4294967295 134512640 134716908 3221224576 3221222304 1075823458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73009 70684 1111 63 0 72946 0
vsize: 292036
[startup+690.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195792 0 0 0 66258 2751 0 0 25 0 1 0 901825033 285888512 68369 4294967295 134512640 134716908 3221224576 3221223376 134597775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68369 1111 63 0 69734 0
vsize: 279188
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 67259 2751 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 68258 2752 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 69258 2752 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 70258 2752 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 71258 2753 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 72258 2753 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 73258 2753 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 74258 2753 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223344 134597631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+780.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 75258 2754 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 76257 2754 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 77257 2754 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+810.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 78257 2755 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+820.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 79257 2755 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+830.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 80257 2755 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+840.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 81257 2755 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+850.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 82257 2755 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134600361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+860.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 83257 2755 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+870.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 84257 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+880.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 85257 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+890.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 86258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+900.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 87258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+910.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 88258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+920.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 89258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+930.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 90258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+940.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 91258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223336 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+950.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 92258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223376 134597779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+960.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 93258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223356 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+970.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 94258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223352 134613551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+980.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 95258 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 96259 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 97260 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195793 0 0 0 98260 2756 0 0 25 0 1 0 901825033 285888512 68370 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68370 1111 63 0 69734 0
vsize: 279188
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 99260 2756 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223348 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 100260 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 101260 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 102260 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 103261 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 104261 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 105261 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 106261 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 107261 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 108261 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 109262 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 110262 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 111262 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 112262 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223376 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 113262 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 114262 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223336 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 279188
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9910
Raw data (stat): 9853 (bsolo_lpr-v2) R 9852 31399 31398 0 -1 0 1195795 0 0 0 114262 2757 0 0 25 0 1 0 901825033 285888512 68372 4294967295 134512640 134716908 3221224576 3221223336 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69797 68372 1111 63 0 69734 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.17
CPU user time (s): 1147.46
CPU system time (s): 27.7088
CPU usage (%): 100.016
Max. virtual memory (Kb): 294592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####