PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb
MD5SUM	69e7430fb77e7d40f128bdde5f7776a3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13476271
Optimality of the best value was proved	NO
Number of terms in the objective function	2016
Biggest coefficient in the objective function	402653184
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	34444990400
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	402653184
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	34444990400
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.37
Number of variables	2016
Total number of constraints	116
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 40438

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 10:16:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28503 boxname=wulflinc2 idbench=1459 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  69e7430fb77e7d40f128bdde5f7776a3  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-bal8x12.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-bal8x12.opb
IDLAUNCH: 28503
/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:        904620 kB
Buffers:         10068 kB
Cached:          97880 kB
SwapCached:       1328 kB
Active:          25424 kB
Inactive:        84488 kB
HighTotal:      131008 kB
HighFree:        58016 kB
LowTotal:       903652 kB
LowFree:        846604 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14348 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:35:56 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28503 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2016 variables and 136 constraints.
c After prepocess the problem consists of 1175 variables and 165 constraints.
c preprocess terminated 1.123 s
c Initial Lower Bound: 5775208
c Lower Bound Elapsed time: 0.0665
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.92 0.97 0.94 2/54 8440
Raw data (stat): 8440 (runsolver) R 8439 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900846445 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.0005 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 6016 0 0 0 982 15 0 0 25 0 1 0 900846445 15458304 3064 4294967295 134512640 134716908 3221224576 3221222064 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 3064 1111 63 0 3711 0
vsize: 15096
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 8869 0 0 0 1975 22 0 0 25 0 1 0 900846445 15605760 3068 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3810 3068 1111 63 0 3747 0
vsize: 15240
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 11617 0 0 0 2967 31 0 0 25 0 1 0 900846445 15822848 3087 4294967295 134512640 134716908 3221224576 3221220712 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3863 3087 1111 63 0 3800 0
vsize: 15452
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 13920 0 0 0 3958 40 0 0 25 0 1 0 900846445 15458304 3064 4294967295 134512640 134716908 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 3064 1111 63 0 3711 0
vsize: 15096
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 16051 0 0 0 4951 47 0 0 25 0 1 0 900846445 15757312 3079 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3847 3079 1111 63 0 3784 0
vsize: 15388
[startup+60.003 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 18374 0 0 0 5943 55 0 0 25 0 1 0 900846445 15458304 3065 4294967295 134512640 134716908 3221224576 3221222928 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 3065 1111 63 0 3711 0
vsize: 15096
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 19976 0 0 0 6936 62 0 0 25 0 1 0 900846445 15458304 3066 4294967295 134512640 134716908 3221224576 3221222928 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 3066 1111 63 0 3711 0
vsize: 15096
[startup+80.0062 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 20551 0 0 0 7932 66 0 0 25 0 1 0 900846445 15622144 3072 4294967295 134512640 134716908 3221224576 3221221620 1074846109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3814 3073 1111 63 0 3751 0
vsize: 15256
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 23596 0 0 0 8922 77 0 0 25 0 1 0 900846445 15458304 3069 4294967295 134512640 134716908 3221224576 3221222304 1075828441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 3069 1111 63 0 3711 0
vsize: 15096
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 26977 0 0 0 9910 89 0 0 25 0 1 0 900846445 15724544 3103 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3839 3103 1111 63 0 3776 0
vsize: 15356
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 28649 0 0 0 10902 97 0 0 25 0 1 0 900846445 15544320 3090 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 3090 1111 63 0 3732 0
vsize: 15180
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 30875 0 0 0 11895 105 0 0 25 0 1 0 900846445 15544320 3090 4294967295 134512640 134716908 3221224576 3221222584 1077380446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 3090 1111 63 0 3732 0
vsize: 15180
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 33104 0 0 0 12887 113 0 0 25 0 1 0 900846445 15564800 3093 4294967295 134512640 134716908 3221224576 3221222976 1074118811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3800 3093 1111 63 0 3737 0
vsize: 15200
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 36353 0 0 0 13877 123 0 0 25 0 1 0 900846445 15544320 3090 4294967295 134512640 134716908 3221224576 3221222400 1075823342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 3090 1111 63 0 3732 0
vsize: 15180
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 39803 0 0 0 14865 135 0 0 25 0 1 0 900846445 15544320 3090 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 3090 1111 63 0 3732 0
vsize: 15180
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 43655 0 0 0 15852 148 0 0 25 0 1 0 900846445 15544320 3091 4294967295 134512640 134716908 3221224576 3221222544 1075809068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 3091 1111 63 0 3732 0
vsize: 15180
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 53140 0 0 0 16823 177 0 0 25 0 1 0 900846445 16048128 3161 4294967295 134512640 134716908 3221224576 3221220684 1074797346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 3161 1111 63 0 3855 0
vsize: 15672
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 59836 0 0 0 17801 199 0 0 25 0 1 0 900846445 15949824 3190 4294967295 134512640 134716908 3221224576 3221222836 1077374469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3190 1111 63 0 3831 0
vsize: 15576
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 60630 0 0 0 18795 206 0 0 25 0 1 0 900846445 15949824 3190 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3190 1111 63 0 3831 0
vsize: 15576
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 61438 0 0 0 19787 214 0 0 25 0 1 0 900846445 15949824 3190 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3190 1111 63 0 3831 0
vsize: 15576
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 62397 0 0 0 20780 222 0 0 25 0 1 0 900846445 15949824 3190 4294967295 134512640 134716908 3221224576 3221222400 1075824343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3190 1111 63 0 3831 0
vsize: 15576
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 63206 0 0 0 21772 230 0 0 25 0 1 0 900846445 16150528 3191 4294967295 134512640 134716908 3221224576 3221220600 1074860225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3943 3191 1111 63 0 3880 0
vsize: 15772
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 64890 0 0 0 22762 240 0 0 25 0 1 0 900846445 15949824 3190 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3190 1111 63 0 3831 0
vsize: 15576
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 71081 0 0 0 23739 263 0 0 25 0 1 0 900846445 16130048 3199 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3938 3200 1111 63 0 3875 0
vsize: 15752
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 75780 0 0 0 24723 279 0 0 25 0 1 0 900846445 15949824 3190 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3190 1111 63 0 3831 0
vsize: 15576
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 80716 0 0 0 25706 296 0 0 25 0 1 0 900846445 15949824 3190 4294967295 134512640 134716908 3221224576 3221222304 1075635647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3190 1111 63 0 3831 0
vsize: 15576
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 85900 0 0 0 26688 314 0 0 25 0 1 0 900846445 15949824 3190 4294967295 134512640 134716908 3221224576 3221222912 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3190 1111 63 0 3831 0
vsize: 15576
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 91408 0 0 0 27668 334 0 0 25 0 1 0 900846445 16011264 3199 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 3225643616 0 0 17 0 0 0
Raw data (statm): 3904 3199 1111 63 0 3841 0
vsize: 15636
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 97875 0 0 0 28648 355 0 0 25 0 1 0 900846445 16138240 3236 4294967295 134512640 134716908 3221224576 3221222304 1075829564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3940 3236 1111 63 0 3877 0
vsize: 15760
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 104234 0 0 0 29625 378 0 0 25 0 1 0 900846445 16138240 3236 4294967295 134512640 134716908 3221224576 3221222576 1074056570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3940 3236 1111 63 0 3877 0
vsize: 15760
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 111180 0 0 0 30602 401 0 0 25 0 1 0 900846445 16138240 3236 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3940 3236 1111 63 0 3877 0
vsize: 15760
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 124630 0 0 0 31562 442 0 0 25 0 1 0 900846445 16371712 3276 4294967295 134512640 134716908 3221224576 3221222576 1074915922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 3276 1111 63 0 3934 0
vsize: 15988
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 128895 0 0 0 32543 460 0 0 25 0 1 0 900846445 16297984 3275 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3979 3275 1111 63 0 3916 0
vsize: 15916
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 132106 0 0 0 33531 473 0 0 25 0 1 0 900846445 16297984 3275 4294967295 134512640 134716908 3221224576 3221223056 1074039475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3979 3275 1111 63 0 3916 0
vsize: 15916
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 136991 0 0 0 34512 492 0 0 25 0 1 0 900846445 16297984 3275 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3979 3275 1111 63 0 3916 0
vsize: 15916
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 148155 0 0 0 35474 531 0 0 25 0 1 0 900846445 16535552 3333 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 3333 1111 63 0 3974 0
vsize: 16148
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 153474 0 0 0 36454 551 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 154215 0 0 0 37444 560 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221223224 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 154901 0 0 0 38439 566 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222304 1075829025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 155620 0 0 0 39432 573 0 0 25 0 1 0 900846445 16781312 3345 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4097 3345 1111 63 0 4034 0
vsize: 16388
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 156353 0 0 0 40425 580 0 0 25 0 1 0 900846445 16732160 3345 4294967295 134512640 134716908 3221224576 3221221676 1074867168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16340
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 157111 0 0 0 41419 587 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 157830 0 0 0 42411 595 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222304 1075635441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 158557 0 0 0 43403 603 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 159247 0 0 0 44396 610 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 159963 0 0 0 45388 618 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222992 1074116414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 160629 0 0 0 46383 624 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222880 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 161208 0 0 0 47378 629 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 161834 0 0 0 48372 634 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222464 1074050783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 162414 0 0 0 49368 638 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221222464 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 163059 0 0 0 50362 644 0 0 25 0 1 0 900846445 16580608 3344 4294967295 134512640 134716908 3221224576 3221223192 134539585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3344 1111 63 0 3985 0
vsize: 16192
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 164813 0 0 0 51354 653 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 166035 0 0 0 52344 663 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 167884 0 0 0 53330 677 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 169667 0 0 0 54319 688 0 0 25 0 1 0 900846445 16830464 3373 4294967295 134512640 134716908 3221224576 3221220896 1075170340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 3373 1111 63 0 4046 0
vsize: 16436
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 170924 0 0 0 55310 697 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222928 1074153462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 171292 0 0 0 56306 701 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222480 1075460122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 171664 0 0 0 57302 706 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222976 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 172029 0 0 0 58297 711 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 172436 0 0 0 59292 716 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222992 1074116407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 172792 0 0 0 60288 720 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222320 1075640247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 173178 0 0 0 61283 726 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222976 1074118797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 173557 0 0 0 62279 730 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 173933 0 0 0 63274 734 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222840 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 174300 0 0 0 64271 738 0 0 25 0 1 0 900846445 16838656 3372 4294967295 134512640 134716908 3221224576 3221220540 1074860571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3372 1111 63 0 4048 0
vsize: 16444
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 174684 0 0 0 65266 743 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 175510 0 0 0 66260 749 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222320 1075640427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 176487 0 0 0 67252 758 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222880 1074138465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 176868 0 0 0 68246 764 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222940 1074064116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 177228 0 0 0 69242 768 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4123 3372 1111 63 0 4060 0
vsize: 16300
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 177930 0 0 0 70236 774 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 180333 0 0 0 71225 785 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222848 1074056076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 180762 0 0 0 72220 790 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222576 1074056648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 181166 0 0 0 73214 797 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 181541 0 0 0 74209 802 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 181956 0 0 0 75203 808 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222444 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 182345 0 0 0 76198 813 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222304 1075828235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 183054 0 0 0 77192 820 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222976 1074118827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 183959 0 0 0 78185 827 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222576 1074056578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 184823 0 0 0 79177 835 0 0 25 0 1 0 900846445 16887808 3372 4294967295 134512640 134716908 3221224576 3221221144 1076045683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16492
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 185749 0 0 0 80169 843 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 187481 0 0 0 81158 854 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222304 1075831092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 189591 0 0 0 82145 868 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 191689 0 0 0 83134 879 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 194574 0 0 0 84122 891 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 199921 0 0 0 85102 912 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 204864 0 0 0 86084 930 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 210786 0 0 0 87061 953 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221223120 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 216863 0 0 0 88036 978 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 225242 0 0 0 89010 1004 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221223280 134654863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 234895 0 0 0 89977 1037 0 0 25 0 1 0 900846445 16691200 3371 4294967295 134512640 134716908 3221224576 3221222992 1074117032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4075 3371 1111 63 0 4012 0
vsize: 16300
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 242569 0 0 0 90953 1062 0 0 25 0 1 0 900846445 16760832 3388 4294967295 134512640 134716908 3221224576 3221222864 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4092 3388 1111 63 0 4029 0
vsize: 16368
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 252867 0 0 0 91919 1096 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222688 1074867296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 255197 0 0 0 92907 1108 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 255841 0 0 0 93902 1113 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 260345 0 0 0 94883 1133 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 268288 0 0 0 95857 1159 0 0 25 0 1 0 900846445 17043456 3457 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4161 3457 1111 63 0 4098 0
vsize: 16644
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 275412 0 0 0 96830 1186 0 0 25 0 1 0 900846445 17043456 3457 4294967295 134512640 134716908 3221224576 3221222400 1075824343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4161 3457 1111 63 0 4098 0
vsize: 16644
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 283090 0 0 0 97804 1212 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 286575 0 0 0 98790 1226 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221223008 1073990141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 290599 0 0 0 99776 1241 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 295351 0 0 0 100757 1260 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222496 1075799509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 298831 0 0 0 101742 1275 0 0 25 0 1 0 900846445 17235968 3456 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3456 1111 63 0 4145 0
vsize: 16832
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 302743 0 0 0 102726 1291 0 0 25 0 1 0 900846445 17199104 3463 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4199 3463 1111 63 0 4136 0
vsize: 16796
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 307080 0 0 0 103709 1308 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 313860 0 0 0 104686 1331 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 320286 0 0 0 105667 1351 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 327159 0 0 0 106642 1376 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222472 1074207553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 333179 0 0 0 107624 1394 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222992 1074116266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 339626 0 0 0 108599 1419 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 347717 0 0 0 109572 1446 0 0 25 0 1 0 900846445 17375232 3469 4294967295 134512640 134716908 3221224576 3221220608 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4242 3469 1111 63 0 4179 0
vsize: 16968
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 354699 0 0 0 110547 1471 0 0 25 0 1 0 900846445 17379328 3471 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4243 3471 1111 63 0 4180 0
vsize: 16972
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 361629 0 0 0 111524 1495 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 368824 0 0 0 112497 1522 0 0 25 0 1 0 900846445 17137664 3466 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3466 1111 63 0 4121 0
vsize: 16736
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 376939 0 0 0 113471 1548 0 0 25 0 1 0 900846445 17035264 3455 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4159 3455 1111 63 0 4096 0
vsize: 16636
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 384232 0 0 0 114445 1574 0 0 25 0 1 0 900846445 17379328 3460 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4243 3468 1111 63 0 4180 0
vsize: 16972
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 392867 0 0 0 115416 1603 0 0 25 0 1 0 900846445 17190912 3456 4294967295 134512640 134716908 3221224576 3221222496 1075799524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4197 3456 1111 63 0 4134 0
vsize: 16788
[startup+1174.87 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 8440
Raw data (stat): 8440 (bsolo_lpr-v2) R 8439 31399 31398 0 -1 0 392867 0 0 0 115416 1603 0 0 25 0 1 0 900846445 17190912 3456 4294967295 134512640 134716908 3221224576 3221222496 1075799524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4197 3456 1111 63 0 4134 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.03
CPU user time (s): 1158.79
CPU system time (s): 16.2445
CPU usage (%): 100.014
Max. virtual memory (Kb): 16972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####