PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.34
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 27493

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 22:06:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16888 boxname=wulflinc9 idbench=1300 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 16888
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        888184 kB
Buffers:         17808 kB
Cached:         108380 kB
SwapCached:        360 kB
Active:          29164 kB
Inactive:        99596 kB
HighTotal:      131008 kB
HighFree:        55804 kB
LowTotal:       903652 kB
LowFree:        832380 kB
SwapTotal:     2097136 kB
SwapFree:      2096368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6348 kB
Slab:            12160 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:26:31 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 16888 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 394 constraints.
c preprocess terminated 74.921 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 1.742
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
Raw data (loadavg): 0.91 0.95 0.90 2/54 10252
Raw data (stat): 10252 (runsolver) R 10251 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775488357 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 16263 0 0 0 956 41 0 0 25 0 1 0 775488357 69804032 16176 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17042 16176 1111 63 0 16979 0
vsize: 68168
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 17637 0 0 0 1954 43 0 0 25 0 1 0 775488357 75350016 17550 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17550 1111 63 0 18333 0
vsize: 73584
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 17690 0 0 0 2954 43 0 0 25 0 1 0 775488357 75620352 17603 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17603 1111 63 0 18399 0
vsize: 73848
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 17741 0 0 0 3955 43 0 0 25 0 1 0 775488357 75755520 17654 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17654 1111 63 0 18432 0
vsize: 73980
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 17786 0 0 0 4955 43 0 0 25 0 1 0 775488357 76025856 17699 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17699 1111 63 0 18498 0
vsize: 74244
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 17833 0 0 0 5955 43 0 0 25 0 1 0 775488357 76161024 17746 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17746 1111 63 0 18531 0
vsize: 74376
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 17876 0 0 0 6955 43 0 0 25 0 1 0 775488357 76296192 17789 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18627 17789 1111 63 0 18564 0
vsize: 74508
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 22851 0 0 0 7944 53 0 0 25 0 1 0 775488357 80613376 18958 4294967295 134512640 134714508 3221224592 3221222896 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19681 18958 1111 63 0 19618 0
vsize: 78724
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 25496 0 0 0 8938 59 0 0 25 0 1 0 775488357 81588224 19226 4294967295 134512640 134714508 3221224592 3221223360 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19919 19226 1111 63 0 19856 0
vsize: 79676
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 25496 0 0 0 9938 60 0 0 25 0 1 0 775488357 81588224 19226 4294967295 134512640 134714508 3221224592 3221223244 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19919 19226 1111 63 0 19856 0
vsize: 79676
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 25766 0 0 0 10936 62 0 0 25 0 1 0 775488357 82804736 19496 4294967295 134512640 134714508 3221224592 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19496 1111 63 0 20153 0
vsize: 80864
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 26148 0 0 0 11935 63 0 0 25 0 1 0 775488357 84279296 19878 4294967295 134512640 134714508 3221224592 3221223260 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20576 19878 1111 63 0 20513 0
vsize: 82304
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 26505 0 0 0 12934 65 0 0 25 0 1 0 775488357 85708800 20235 4294967295 134512640 134714508 3221224592 3221223220 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20925 20235 1111 63 0 20862 0
vsize: 83700
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 26635 0 0 0 13933 65 0 0 25 0 1 0 775488357 86331392 20361 4294967295 134512640 134714508 3221224592 3221223200 134549444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21077 20361 1111 63 0 21014 0
vsize: 84308
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 26775 0 0 0 14932 66 0 0 25 0 1 0 775488357 86855680 20501 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21205 20501 1111 63 0 21142 0
vsize: 84820
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 26951 0 0 0 15932 67 0 0 25 0 1 0 775488357 87531520 20677 4294967295 134512640 134714508 3221224592 3221223220 134696019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21370 20677 1111 63 0 21307 0
vsize: 85480
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 27180 0 0 0 16931 68 0 0 25 0 1 0 775488357 88449024 20904 4294967295 134512640 134714508 3221224592 3221223264 134652831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21594 20904 1111 63 0 21531 0
vsize: 86376
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 27293 0 0 0 17931 68 0 0 25 0 1 0 775488357 88936448 21017 4294967295 134512640 134714508 3221224592 3221223360 134592098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21713 21017 1111 63 0 21650 0
vsize: 86852
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 27513 0 0 0 18930 69 0 0 25 0 1 0 775488357 89882624 21237 4294967295 134512640 134714508 3221224592 3221223308 134542828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21944 21237 1111 63 0 21881 0
vsize: 87776
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 27648 0 0 0 19929 71 0 0 25 0 1 0 775488357 90423296 21372 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22076 21372 1111 63 0 22013 0
vsize: 88304
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 27753 0 0 0 20928 72 0 0 25 0 1 0 775488357 90828800 21477 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22175 21477 1111 63 0 22112 0
vsize: 88700
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 27920 0 0 0 21927 74 0 0 25 0 1 0 775488357 91512832 21644 4294967295 134512640 134714508 3221224592 3221223336 134672921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22342 21644 1111 63 0 22279 0
vsize: 89368
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 28057 0 0 0 22926 74 0 0 25 0 1 0 775488357 92053504 21781 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22474 21781 1111 63 0 22411 0
vsize: 89896
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 28158 0 0 0 23926 75 0 0 25 0 1 0 775488357 92393472 21867 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22557 21867 1111 63 0 22494 0
vsize: 90228
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 28301 0 0 0 24925 76 0 0 25 0 1 0 775488357 93048832 22004 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22717 22004 1111 63 0 22654 0
vsize: 90868
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 28448 0 0 0 25924 77 0 0 25 0 1 0 775488357 93589504 22151 4294967295 134512640 134714508 3221224592 3221223296 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22849 22151 1111 63 0 22786 0
vsize: 91396
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 28660 0 0 0 26924 78 0 0 25 0 1 0 775488357 94507008 22363 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23073 22363 1111 63 0 23010 0
vsize: 92292
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 28679 0 0 0 27923 79 0 0 25 0 1 0 775488357 94507008 22382 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23073 22382 1111 63 0 23010 0
vsize: 92292
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 28840 0 0 0 28923 79 0 0 25 0 1 0 775488357 95182848 22543 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23238 22543 1111 63 0 23175 0
vsize: 92952
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 28999 0 0 0 29922 80 0 0 25 0 1 0 775488357 95854592 22695 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23402 22695 1111 63 0 23339 0
vsize: 93608
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 29227 0 0 0 30921 80 0 0 25 0 1 0 775488357 96800768 22923 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23633 22923 1111 63 0 23570 0
vsize: 94532
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 29307 0 0 0 31921 81 0 0 25 0 1 0 775488357 97071104 23003 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23699 23003 1111 63 0 23636 0
vsize: 94796
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 29472 0 0 0 32920 82 0 0 25 0 1 0 775488357 97837056 23168 4294967295 134512640 134714508 3221224592 3221223528 134588433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23886 23168 1111 63 0 23823 0
vsize: 95544
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 29687 0 0 0 33920 83 0 0 25 0 1 0 775488357 98492416 23348 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24046 23348 1111 63 0 23983 0
vsize: 96184
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 29843 0 0 0 34919 84 0 0 25 0 1 0 775488357 99069952 23493 4294967295 134512640 134714508 3221224592 3221223144 134696461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24187 23493 1111 63 0 24124 0
vsize: 96748
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 29937 0 0 0 35918 85 0 0 25 0 1 0 775488357 99475456 23587 4294967295 134512640 134714508 3221224592 3221223296 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24286 23587 1111 63 0 24223 0
vsize: 97144
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30030 0 0 0 36917 86 0 0 25 0 1 0 775488357 99880960 23680 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24385 23680 1111 63 0 24322 0
vsize: 97540
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30060 0 0 0 37917 87 0 0 25 0 1 0 775488357 100016128 23710 4294967295 134512640 134714508 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24418 23710 1111 63 0 24355 0
vsize: 97672
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30153 0 0 0 38917 87 0 0 25 0 1 0 775488357 100421632 23803 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24517 23803 1111 63 0 24454 0
vsize: 98068
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30251 0 0 0 39916 87 0 0 25 0 1 0 775488357 100818944 23901 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24614 23901 1111 63 0 24551 0
vsize: 98456
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30468 0 0 0 40916 88 0 0 25 0 1 0 775488357 101715968 24117 4294967295 134512640 134714508 3221224592 3221223336 134672929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24833 24117 1111 63 0 24770 0
vsize: 99332
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30468 0 0 0 41915 89 0 0 25 0 1 0 775488357 101666816 24117 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24821 24117 1111 63 0 24758 0
vsize: 99284
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30472 0 0 0 42915 89 0 0 25 0 1 0 775488357 101666816 24121 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24821 24121 1111 63 0 24758 0
vsize: 99284
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30511 0 0 0 43915 89 0 0 25 0 1 0 775488357 101801984 24160 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24854 24160 1111 63 0 24791 0
vsize: 99416
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30727 0 0 0 44914 91 0 0 25 0 1 0 775488357 102748160 24376 4294967295 134512640 134714508 3221224592 3221223160 1077378368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25085 24376 1111 63 0 25022 0
vsize: 100340
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30802 0 0 0 45913 92 0 0 25 0 1 0 775488357 103014400 24451 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25150 24451 1111 63 0 25087 0
vsize: 100600
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30820 0 0 0 46913 92 0 0 25 0 1 0 775488357 103149568 24469 4294967295 134512640 134714508 3221224592 3221223116 134535906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25183 24469 1111 63 0 25120 0
vsize: 100732
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30860 0 0 0 47913 93 0 0 25 0 1 0 775488357 103284736 24509 4294967295 134512640 134714508 3221224592 3221223148 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25216 24509 1111 63 0 25153 0
vsize: 100864
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 30923 0 0 0 48912 94 0 0 25 0 1 0 775488357 103481344 24572 4294967295 134512640 134714508 3221224592 3221223160 1077377227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25264 24572 1111 63 0 25201 0
vsize: 101056
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31180 0 0 0 49911 94 0 0 25 0 1 0 775488357 104652800 24829 4294967295 134512640 134714508 3221224592 3221223256 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25550 24829 1111 63 0 25487 0
vsize: 102200
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31180 0 0 0 50911 95 0 0 25 0 1 0 775488357 104546304 24829 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25524 24829 1111 63 0 25461 0
vsize: 102096
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31310 0 0 0 51910 96 0 0 25 0 1 0 775488357 105082880 24959 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25655 24959 1111 63 0 25592 0
vsize: 102620
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31442 0 0 0 52909 97 0 0 25 0 1 0 775488357 105623552 25091 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25787 25091 1111 63 0 25724 0
vsize: 103148
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31512 0 0 0 53908 99 0 0 25 0 1 0 775488357 105893888 25161 4294967295 134512640 134714508 3221224592 3221223352 134592155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25853 25161 1111 63 0 25790 0
vsize: 103412
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31594 0 0 0 54907 99 0 0 25 0 1 0 775488357 106225664 25243 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25934 25243 1111 63 0 25871 0
vsize: 103736
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31612 0 0 0 55907 100 0 0 25 0 1 0 775488357 106352640 25261 4294967295 134512640 134714508 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25965 25261 1111 63 0 25902 0
vsize: 103860
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31632 0 0 0 56906 101 0 0 25 0 1 0 775488357 106422272 25279 4294967295 134512640 134714508 3221224592 3221223200 134549302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25982 25279 1111 63 0 25919 0
vsize: 103928
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31770 0 0 0 57906 101 0 0 25 0 1 0 775488357 106659840 25350 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26040 25350 1111 63 0 25977 0
vsize: 104160
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 31865 0 0 0 58905 102 0 0 25 0 1 0 775488357 107065344 25445 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26139 25445 1111 63 0 26076 0
vsize: 104556
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32077 0 0 0 59903 104 0 0 25 0 1 0 775488357 107937792 25657 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26352 25657 1111 63 0 26289 0
vsize: 105408
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32077 0 0 0 60903 105 0 0 25 0 1 0 775488357 107937792 25657 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26352 25657 1111 63 0 26289 0
vsize: 105408
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32077 0 0 0 61902 105 0 0 25 0 1 0 775488357 107937792 25657 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26352 25657 1111 63 0 26289 0
vsize: 105408
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32200 0 0 0 62902 106 0 0 25 0 1 0 775488357 108445696 25777 4294967295 134512640 134714508 3221224592 3221223220 1077374210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26476 25777 1111 63 0 26413 0
vsize: 105904
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32327 0 0 0 63901 107 0 0 25 0 1 0 775488357 108933120 25904 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26595 25904 1111 63 0 26532 0
vsize: 106380
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32356 0 0 0 64900 108 0 0 25 0 1 0 775488357 109068288 25933 4294967295 134512640 134714508 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26628 25933 1111 63 0 26565 0
vsize: 106512
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32363 0 0 0 65900 108 0 0 25 0 1 0 775488357 109203456 25940 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26661 25940 1111 63 0 26598 0
vsize: 106644
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32426 0 0 0 66900 109 0 0 25 0 1 0 775488357 109453312 26000 4294967295 134512640 134714508 3221224592 3221223336 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26722 26000 1111 63 0 26659 0
vsize: 106888
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32490 0 0 0 67900 109 0 0 25 0 1 0 775488357 109588480 26064 4294967295 134512640 134714508 3221224592 3221223200 134549302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26755 26064 1111 63 0 26692 0
vsize: 107020
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32524 0 0 0 68899 110 0 0 25 0 1 0 775488357 109748224 26098 4294967295 134512640 134714508 3221224592 3221223200 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26794 26098 1111 63 0 26731 0
vsize: 107176
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32578 0 0 0 69899 111 0 0 25 0 1 0 775488357 109998080 26152 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26855 26152 1111 63 0 26792 0
vsize: 107420
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32634 0 0 0 70898 112 0 0 25 0 1 0 775488357 110268416 26208 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26921 26208 1111 63 0 26858 0
vsize: 107684
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32744 0 0 0 71897 112 0 0 25 0 1 0 775488357 110735360 26312 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27035 26312 1111 63 0 26972 0
vsize: 108140
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32774 0 0 0 72897 113 0 0 25 0 1 0 775488357 110735360 26342 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27035 26342 1111 63 0 26972 0
vsize: 108140
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32856 0 0 0 73897 114 0 0 25 0 1 0 775488357 111071232 26424 4294967295 134512640 134714508 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27117 26424 1111 63 0 27054 0
vsize: 108468
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 32872 0 0 0 74896 114 0 0 25 0 1 0 775488357 111206400 26440 4294967295 134512640 134714508 3221224592 3221223360 134592098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27150 26440 1111 63 0 27087 0
vsize: 108600
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 33122 0 0 0 75896 115 0 0 25 0 1 0 775488357 112267264 26690 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27409 26690 1111 63 0 27346 0
vsize: 109636
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 33392 0 0 0 76895 116 0 0 25 0 1 0 775488357 113348608 26960 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27673 26960 1111 63 0 27610 0
vsize: 110692
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 33512 0 0 0 77895 116 0 0 25 0 1 0 775488357 113754112 27080 4294967295 134512640 134714508 3221224592 3221223148 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27772 27080 1111 63 0 27709 0
vsize: 111088
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 33715 0 0 0 78894 117 0 0 25 0 1 0 775488357 114675712 27283 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27997 27283 1111 63 0 27934 0
vsize: 111988
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 33786 0 0 0 79893 118 0 0 25 0 1 0 775488357 114933760 27354 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28060 27354 1111 63 0 27997 0
vsize: 112240
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 33968 0 0 0 80892 119 0 0 25 0 1 0 775488357 115732480 27536 4294967295 134512640 134714508 3221224592 3221223312 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28255 27536 1111 63 0 28192 0
vsize: 113020
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 34088 0 0 0 81892 120 0 0 25 0 1 0 775488357 116137984 27656 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28354 27656 1111 63 0 28291 0
vsize: 113416
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 34142 0 0 0 82892 120 0 0 25 0 1 0 775488357 116408320 27710 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28420 27710 1111 63 0 28357 0
vsize: 113680
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 34462 0 0 0 83891 122 0 0 25 0 1 0 775488357 117760000 28030 4294967295 134512640 134714508 3221224592 3221223300 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28750 28030 1111 63 0 28687 0
vsize: 115000
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 34523 0 0 0 84890 122 0 0 25 0 1 0 775488357 117882880 28085 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28780 28085 1111 63 0 28717 0
vsize: 115120
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 34523 0 0 0 85890 123 0 0 25 0 1 0 775488357 117882880 28085 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28780 28085 1111 63 0 28717 0
vsize: 115120
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 34629 0 0 0 86889 124 0 0 25 0 1 0 775488357 118423552 28191 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28912 28191 1111 63 0 28849 0
vsize: 115648
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 34710 0 0 0 87889 124 0 0 25 0 1 0 775488357 118693888 28272 4294967295 134512640 134714508 3221224592 3221223232 134696088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28978 28272 1111 63 0 28915 0
vsize: 115912
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 34974 0 0 0 88888 126 0 0 25 0 1 0 775488357 119840768 28536 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29258 28536 1111 63 0 29195 0
vsize: 117032
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35042 0 0 0 89887 126 0 0 25 0 1 0 775488357 120000512 28604 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29297 28604 1111 63 0 29234 0
vsize: 117188
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35147 0 0 0 90887 127 0 0 25 0 1 0 775488357 120532992 28709 4294967295 134512640 134714508 3221224592 3221223280 134542836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29427 28709 1111 63 0 29364 0
vsize: 117708
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35288 0 0 0 91886 127 0 0 25 0 1 0 775488357 121073664 28850 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29559 28850 1111 63 0 29496 0
vsize: 118236
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35289 0 0 0 92886 128 0 0 25 0 1 0 775488357 121061376 28851 4294967295 134512640 134714508 3221224592 3221223320 134558801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29556 28851 1111 63 0 29493 0
vsize: 118224
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35389 0 0 0 93886 128 0 0 25 0 1 0 775488357 121434112 28951 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29647 28951 1111 63 0 29584 0
vsize: 118588
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35482 0 0 0 94885 129 0 0 25 0 1 0 775488357 121880576 29041 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29756 29041 1111 63 0 29693 0
vsize: 119024
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35574 0 0 0 95885 130 0 0 25 0 1 0 775488357 122036224 29104 4294967295 134512640 134714508 3221224592 3221223376 134529410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29794 29104 1111 63 0 29731 0
vsize: 119176
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35713 0 0 0 96884 131 0 0 25 0 1 0 775488357 122613760 29217 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29935 29217 1111 63 0 29872 0
vsize: 119740
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35841 0 0 0 97883 132 0 0 25 0 1 0 775488357 122978304 29330 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30024 29330 1111 63 0 29961 0
vsize: 120096
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35873 0 0 0 98883 132 0 0 25 0 1 0 775488357 123113472 29362 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30057 29362 1111 63 0 29994 0
vsize: 120228
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 35900 0 0 0 99882 133 0 0 25 0 1 0 775488357 123248640 29389 4294967295 134512640 134714508 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30090 29389 1111 63 0 30027 0
vsize: 120360
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36043 0 0 0 100882 133 0 0 25 0 1 0 775488357 123789312 29532 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30222 29532 1111 63 0 30159 0
vsize: 120888
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36076 0 0 0 101882 134 0 0 25 0 1 0 775488357 123924480 29565 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30255 29565 1111 63 0 30192 0
vsize: 121020
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36076 0 0 0 102882 134 0 0 25 0 1 0 775488357 123924480 29565 4294967295 134512640 134714508 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30255 29565 1111 63 0 30192 0
vsize: 121020
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36135 0 0 0 103882 135 0 0 25 0 1 0 775488357 124194816 29624 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30321 29624 1111 63 0 30258 0
vsize: 121284
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36176 0 0 0 104881 136 0 0 25 0 1 0 775488357 124452864 29665 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30384 29665 1111 63 0 30321 0
vsize: 121536
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36244 0 0 0 105880 136 0 0 25 0 1 0 775488357 124657664 29733 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30434 29733 1111 63 0 30371 0
vsize: 121736
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36393 0 0 0 106879 138 0 0 25 0 1 0 775488357 125247488 29882 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36393 0 0 0 107878 138 0 0 25 0 1 0 775488357 125247488 29882 4294967295 134512640 134714508 3221224592 3221223184 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36393 0 0 0 108878 139 0 0 25 0 1 0 775488357 125247488 29882 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36393 0 0 0 109878 139 0 0 25 0 1 0 775488357 125247488 29882 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36404 0 0 0 110878 139 0 0 25 0 1 0 775488357 125317120 29893 4294967295 134512640 134714508 3221224592 3221223232 134696060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30595 29893 1111 63 0 30532 0
vsize: 122380
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36471 0 0 0 111877 140 0 0 25 0 1 0 775488357 125546496 29960 4294967295 134512640 134714508 3221224592 3221223148 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30651 29960 1111 63 0 30588 0
vsize: 122604
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36644 0 0 0 112877 141 0 0 25 0 1 0 775488357 126337024 30126 4294967295 134512640 134714508 3221224592 3221223184 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30844 30126 1111 63 0 30781 0
vsize: 123376
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36669 0 0 0 113876 142 0 0 25 0 1 0 775488357 126435328 30151 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30868 30151 1111 63 0 30805 0
vsize: 123472
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36690 0 0 0 114876 142 0 0 25 0 1 0 775488357 126435328 30172 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30868 30172 1111 63 0 30805 0
vsize: 123472
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36691 0 0 0 115876 143 0 0 25 0 1 0 775488357 126435328 30173 4294967295 134512640 134714508 3221224592 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30868 30173 1111 63 0 30805 0
vsize: 123472
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36819 0 0 0 116875 144 0 0 25 0 1 0 775488357 126976000 30301 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31000 30301 1111 63 0 30937 0
vsize: 124000
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10252
Raw data (stat): 10252 (bsolo_lpr) R 10251 3944 3943 0 -1 0 36819 0 0 0 116875 144 0 0 25 0 1 0 775488357 126976000 30301 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31000 30301 1111 63 0 30937 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.1
CPU user time (s): 1173.6
CPU system time (s): 1.50077
CPU usage (%): 100.014
Max. virtual memory (Kb): 124000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####