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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb
MD5SUM	9acbf5c4d628ba2ce39f0b2ebe624ef2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64629117
Optimality of the best value was proved	NO
Number of terms in the objective function	37200
Biggest coefficient in the objective function	41943040
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	30639361500
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	41943040
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	30639361500
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.14
Number of variables	49600
Total number of constraints	1480
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	1480
Minimum length of a constraint	60
Maximum length of a constraint	620
Trace number 27678

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-24 22:51:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16329 boxname=wulflinc3 idbench=1257 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9acbf5c4d628ba2ce39f0b2ebe624ef2  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-sctap3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-sctap3.opb
IDLAUNCH: 16329
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        854592 kB
Buffers:         11304 kB
Cached:         146684 kB
SwapCached:        112 kB
Active:          28320 kB
Inactive:       132660 kB
HighTotal:      131008 kB
HighFree:        54460 kB
LowTotal:       903652 kB
LowFree:        800132 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6904 kB
Slab:            13448 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:10:46 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 16329 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 49600 variables and 2028 constraints.
c After prepocess the problem consists of 27280 variables and 2432 constraints.
c preprocess terminated 355.958 s
c Initial Lower Bound: 182272
c Lower Bound Elapsed time: 14.254
c Not 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
Raw data (loadavg): 0.92 0.95 0.94 2/54 26072
Raw data (stat): 26072 (runsolver) R 26071 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775747596 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.0014 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 1259 0 0 0 994 3 0 0 25 0 1 0 775747596 17612800 1183 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4300 1183 1111 63 0 4237 0
vsize: 17200
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 1882 0 0 0 1992 5 0 0 25 0 1 0 775747596 20164608 1806 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 1806 1111 63 0 4860 0
vsize: 19692
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 2515 0 0 0 2990 7 0 0 25 0 1 0 775747596 22700032 2439 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5542 2439 1111 63 0 5479 0
vsize: 22168
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 3156 0 0 0 3989 8 0 0 25 0 1 0 775747596 25382912 3080 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6197 3080 1111 63 0 6134 0
vsize: 24788
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 3818 0 0 0 4988 10 0 0 25 0 1 0 775747596 28086272 3742 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6857 3742 1111 63 0 6794 0
vsize: 27428
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 4504 0 0 0 5986 12 0 0 25 0 1 0 775747596 30912512 4428 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7547 4428 1111 63 0 7484 0
vsize: 30188
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 5215 0 0 0 6985 13 0 0 25 0 1 0 775747596 33734656 5139 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8236 5139 1111 63 0 8173 0
vsize: 32944
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 5940 0 0 0 7984 14 0 0 25 0 1 0 775747596 36704256 5864 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8961 5864 1111 63 0 8898 0
vsize: 35844
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 6696 0 0 0 8983 15 0 0 25 0 1 0 775747596 39956480 6620 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9755 6620 1111 63 0 9692 0
vsize: 39020
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 7457 0 0 0 9982 16 0 0 25 0 1 0 775747596 43065344 7381 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10514 7381 1111 63 0 10451 0
vsize: 42056
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 8217 0 0 0 10981 18 0 0 25 0 1 0 775747596 46170112 8141 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11272 8141 1111 63 0 11209 0
vsize: 45088
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 9006 0 0 0 11980 20 0 0 25 0 1 0 775747596 49278976 8930 4294967295 134512640 134714508 3221224592 3221222828 1076647867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12031 8930 1111 63 0 11968 0
vsize: 48124
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 9800 0 0 0 12978 21 0 0 25 0 1 0 775747596 52531200 9724 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12825 9724 1111 63 0 12762 0
vsize: 51300
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 10622 0 0 0 13977 23 0 0 25 0 1 0 775747596 55914496 10546 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10546 1111 63 0 13588 0
vsize: 54604
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 11518 0 0 0 14975 24 0 0 25 0 1 0 775747596 59584512 11442 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14547 11442 1111 63 0 14484 0
vsize: 58188
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 12458 0 0 0 15974 26 0 0 25 0 1 0 775747596 63623168 12382 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15533 12382 1111 63 0 15470 0
vsize: 62132
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 13411 0 0 0 16973 27 0 0 25 0 1 0 775747596 67432448 13335 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16463 13335 1111 63 0 16400 0
vsize: 65852
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 14453 0 0 0 17971 29 0 0 25 0 1 0 775747596 71663616 14377 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17496 14377 1111 63 0 17433 0
vsize: 69984
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 15548 0 0 0 18969 31 0 0 25 0 1 0 775747596 76185600 15472 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18600 15472 1111 63 0 18537 0
vsize: 74400
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 16709 0 0 0 19968 33 0 0 25 0 1 0 775747596 80986112 16633 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19772 16633 1111 63 0 19709 0
vsize: 79088
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 17884 0 0 0 20966 35 0 0 25 0 1 0 775747596 85786624 17808 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20944 17808 1111 63 0 20881 0
vsize: 83776
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 19129 0 0 0 21963 38 0 0 25 0 1 0 775747596 90869760 19053 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22185 19053 1111 63 0 22122 0
vsize: 88740
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 20395 0 0 0 22961 40 0 0 25 0 1 0 775747596 95952896 20319 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23426 20319 1111 63 0 23363 0
vsize: 93704
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 21728 0 0 0 23958 43 0 0 25 0 1 0 775747596 101462016 21652 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24771 21652 1111 63 0 24708 0
vsize: 99084
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 23094 0 0 0 24955 46 0 0 25 0 1 0 775747596 107212800 23018 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26175 23018 1111 63 0 26112 0
vsize: 104700
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 24537 0 0 0 25953 49 0 0 25 0 1 0 775747596 113143808 24461 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27623 24461 1111 63 0 27560 0
vsize: 110492
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 25983 0 0 0 26951 52 0 0 25 0 1 0 775747596 119074816 25907 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29071 25907 1111 63 0 29008 0
vsize: 116284
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 31742 0 0 0 27938 64 0 0 25 0 1 0 775747596 141987840 31518 4294967295 134512640 134714508 3221224592 3221222656 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34665 31518 1111 63 0 34602 0
vsize: 138660
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 38867 0 0 0 28924 78 0 0 25 0 1 0 775747596 171130880 38643 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41780 38643 1111 63 0 41717 0
vsize: 167120
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 106924 0 0 0 29782 219 0 0 25 0 1 0 775747596 184504320 43888 4294967295 134512640 134714508 3221224592 3221223240 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45045 43888 1111 63 0 44982 0
vsize: 180180
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 106934 0 0 0 30782 219 0 0 25 0 1 0 775747596 184504320 43898 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45045 43898 1111 63 0 44982 0
vsize: 180180
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 106944 0 0 0 31782 219 0 0 25 0 1 0 775747596 184639488 43908 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45078 43908 1111 63 0 45015 0
vsize: 180312
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 106954 0 0 0 32782 219 0 0 25 0 1 0 775747596 184639488 43918 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45078 43918 1111 63 0 45015 0
vsize: 180312
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 106964 0 0 0 33782 220 0 0 25 0 1 0 775747596 184639488 43928 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45078 43928 1111 63 0 45015 0
vsize: 180312
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 106976 0 0 0 34782 220 0 0 25 0 1 0 775747596 184774656 43940 4294967295 134512640 134714508 3221224592 3221223244 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45111 43940 1111 63 0 45048 0
vsize: 180444
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 167736 0 0 0 35656 346 0 0 25 0 1 0 775747596 194367488 46150 4294967295 134512640 134714508 3221224592 3221222656 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47453 46150 1111 63 0 47390 0
vsize: 189812
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 284290 0 0 0 36397 606 0 0 25 0 1 0 775747596 194871296 46295 4294967295 134512640 134714508 3221224592 3221221720 1077799011 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47674 46301 1111 63 0 47611 0
vsize: 190304
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 350818 0 0 0 37232 770 0 0 25 0 1 0 775747596 200392704 47689 4294967295 134512640 134714508 3221224592 3221222512 1074917894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48924 47689 1111 63 0 48861 0
vsize: 195696
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 370376 0 0 0 38190 812 0 0 25 0 1 0 775747596 214044672 50522 4294967295 134512640 134714508 3221224592 3221220508 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52257 50522 1111 63 0 52194 0
vsize: 209028
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 388492 0 1 0 39124 856 0 0 25 0 1 0 775747596 215973888 51116 4294967295 134512640 134714508 3221224592 3221220508 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52728 51116 1111 63 0 52665 0
vsize: 210912
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 409290 0 1 0 40082 898 0 0 25 0 1 0 775747596 220766208 52291 4294967295 134512640 134714508 3221224592 3221220508 1074860985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53898 52291 1111 63 0 53835 0
vsize: 215592
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412158 0 1 0 41075 905 0 0 25 0 1 0 775747596 210108416 50139 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50139 1111 63 0 51233 0
vsize: 205184
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412158 0 1 0 42075 905 0 0 25 0 1 0 775747596 210108416 50139 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50139 1111 63 0 51233 0
vsize: 205184
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412158 0 1 0 43075 905 0 0 25 0 1 0 775747596 210108416 50139 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50139 1111 63 0 51233 0
vsize: 205184
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412160 0 1 0 44076 905 0 0 25 0 1 0 775747596 210108416 50141 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50141 1111 63 0 51233 0
vsize: 205184
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412160 0 1 0 45076 905 0 0 25 0 1 0 775747596 210108416 50141 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50141 1111 63 0 51233 0
vsize: 205184
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412160 0 1 0 46076 905 0 0 25 0 1 0 775747596 210108416 50141 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50141 1111 63 0 51233 0
vsize: 205184
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412160 0 1 0 47076 905 0 0 25 0 1 0 775747596 210108416 50141 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50141 1111 63 0 51233 0
vsize: 205184
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412162 0 1 0 48076 905 0 0 25 0 1 0 775747596 210108416 50143 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50143 1111 63 0 51233 0
vsize: 205184
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412162 0 1 0 49076 905 0 0 25 0 1 0 775747596 210108416 50143 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50143 1111 63 0 51233 0
vsize: 205184
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412162 0 1 0 50076 905 0 0 25 0 1 0 775747596 210108416 50143 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50143 1111 63 0 51233 0
vsize: 205184
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412164 0 1 0 51076 906 0 0 25 0 1 0 775747596 210108416 50145 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50145 1111 63 0 51233 0
vsize: 205184
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26072
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412164 0 1 0 52076 906 0 0 25 0 1 0 775747596 210108416 50145 4294967295 134512640 134714508 3221224592 3221223392 134597705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50145 1111 63 0 51233 0
vsize: 205184
[startup+540.021 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 26125
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412164 0 1 0 53076 906 0 0 25 0 1 0 775747596 210108416 50145 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50145 1111 63 0 51233 0
vsize: 205184
[startup+550.021 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 26125
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412166 0 1 0 54076 907 0 0 25 0 1 0 775747596 210108416 50147 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50147 1111 63 0 51233 0
vsize: 205184
[startup+560.022 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 26125
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412166 0 1 0 55076 907 0 0 25 0 1 0 775747596 210108416 50147 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50147 1111 63 0 51233 0
vsize: 205184
[startup+570.023 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 26125
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412166 0 1 0 56075 908 0 0 25 0 1 0 775747596 210108416 50147 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50147 1111 63 0 51233 0
vsize: 205184
[startup+580.023 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 26125
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412168 0 1 0 57075 908 0 0 25 0 1 0 775747596 210108416 50149 4294967295 134512640 134714508 3221224592 3221223356 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50149 1111 63 0 51233 0
vsize: 205184
[startup+590.025 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 26125
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412168 0 1 0 58075 908 0 0 25 0 1 0 775747596 210108416 50149 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50149 1111 63 0 51233 0
vsize: 205184
[startup+600.024 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412170 0 1 0 59075 908 0 0 25 0 1 0 775747596 210108416 50151 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50151 1111 63 0 51233 0
vsize: 205184
[startup+610.025 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412170 0 1 0 60075 909 0 0 25 0 1 0 775747596 210108416 50151 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50151 1111 63 0 51233 0
vsize: 205184
[startup+620.025 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412170 0 1 0 61075 909 0 0 25 0 1 0 775747596 210108416 50151 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50151 1111 63 0 51233 0
vsize: 205184
[startup+630.026 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412172 0 1 0 62074 910 0 0 25 0 1 0 775747596 210108416 50153 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50153 1111 63 0 51233 0
vsize: 205184
[startup+640.027 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412172 0 1 0 63074 910 0 0 25 0 1 0 775747596 210108416 50153 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50153 1111 63 0 51233 0
vsize: 205184
[startup+650.027 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412174 0 1 0 64074 911 0 0 25 0 1 0 775747596 210108416 50155 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50155 1111 63 0 51233 0
vsize: 205184
[startup+660.027 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412174 0 1 0 65073 911 0 0 25 0 1 0 775747596 210108416 50155 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50155 1111 63 0 51233 0
vsize: 205184
[startup+670.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412176 0 1 0 66073 912 0 0 25 0 1 0 775747596 210108416 50157 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50157 1111 63 0 51233 0
vsize: 205184
[startup+680.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 67073 912 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+690.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 68072 913 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+700.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 69072 913 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+710.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 70072 914 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+720.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 71072 914 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 72072 915 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 73071 915 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 74071 915 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 75071 916 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223360 134597634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+770.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 76070 916 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 77070 917 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 78070 917 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134613526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+800.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 79070 917 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 80070 918 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+820.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 81069 918 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 82069 919 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 83069 919 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 84068 920 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26127
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 85068 921 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 86067 921 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 87067 922 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 88067 922 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+900.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 89066 923 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+910.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 90066 923 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+920.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 91065 924 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+930.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 92065 925 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+940.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 93065 925 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+950.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 94064 926 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 95064 926 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223372 134613543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+970.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 96064 926 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223384 134597609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+980.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 97063 927 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+990.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 98063 928 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 99062 928 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 100062 929 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 101061 930 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 102061 930 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 103061 930 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 104061 931 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 105061 931 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 106060 931 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 107061 932 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 108061 933 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 109060 933 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412177 0 1 0 110060 933 0 0 25 0 1 0 775747596 210108416 50158 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412179 0 1 0 111060 934 0 0 25 0 1 0 775747596 210108416 50160 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412179 0 1 0 112059 935 0 0 25 0 1 0 775747596 210108416 50160 4294967295 134512640 134714508 3221224592 3221223376 134597614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412179 0 1 0 113059 935 0 0 25 0 1 0 775747596 210108416 50160 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412179 0 1 0 114059 935 0 0 25 0 1 0 775747596 210108416 50160 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412179 0 1 0 115059 936 0 0 25 0 1 0 775747596 210108416 50160 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412179 0 1 0 116059 936 0 0 25 0 1 0 775747596 210108416 50160 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1175.21 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 26129
Raw data (stat): 26072 (bsolo_lpr) R 26071 20224 20223 0 -1 0 412179 0 1 0 116059 936 0 0 25 0 1 0 775747596 210108416 50160 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 0

Child status: 0
Real time (s): 1175.21
CPU time (s): 1175.12
CPU user time (s): 1165.66
CPU system time (s): 9.45856
CPU usage (%): 99.9924
Max. virtual memory (Kb): 215592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####