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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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	1175.28
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 28679

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 03:36:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11896 boxname=wulflinc24 idbench=916 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 11896
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        915596 kB
Buffers:          4728 kB
Cached:          92532 kB
SwapCached:        524 kB
Active:          21732 kB
Inactive:        77952 kB
HighTotal:      131008 kB
HighFree:        75684 kB
LowTotal:       903652 kB
LowFree:        839912 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:             136 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13824 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:55:53 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 11896 7 1175.07 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 390 constraints.
c preprocess terminated 75.166 s
c Initial Lower Bound: 4658
c Lower Bound Elapsed time: 2.09675
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.97 0.92 2/54 13585
Raw data (stat): 13585 (runsolver) R 13584 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835684929 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99982 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 16238 0 0 0 957 40 0 0 25 0 1 0 835684929 69668864 16151 4294967295 134512640 134714508 3221224592 3221223104 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17009 16151 1111 63 0 16946 0
vsize: 68036
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 17636 0 0 0 1954 43 0 0 25 0 1 0 835684929 75350016 17549 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18396 17549 1111 63 0 18333 0
vsize: 73584
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 17689 0 0 0 2954 43 0 0 25 0 1 0 835684929 75620352 17602 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18462 17602 1111 63 0 18399 0
vsize: 73848
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 17737 0 0 0 3954 43 0 0 25 0 1 0 835684929 75755520 17650 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18495 17650 1111 63 0 18432 0
vsize: 73980
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 17782 0 0 0 4954 44 0 0 25 0 1 0 835684929 76025856 17695 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18561 17695 1111 63 0 18498 0
vsize: 74244
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 17831 0 0 0 5954 44 0 0 25 0 1 0 835684929 76161024 17744 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18594 17744 1111 63 0 18531 0
vsize: 74376
[startup+70.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 17871 0 0 0 6955 44 0 0 25 0 1 0 835684929 76296192 17784 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18627 17784 1111 63 0 18564 0
vsize: 74508
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 21941 0 0 0 7946 52 0 0 25 0 1 0 835684929 82620416 19368 4294967295 134512640 134714508 3221224592 3221220556 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20171 19368 1111 63 0 20108 0
vsize: 80684
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25307 0 0 0 8937 61 0 0 25 0 1 0 835684929 82272256 19302 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20086 19302 1111 63 0 20023 0
vsize: 80344
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25307 0 0 0 9936 62 0 0 25 0 1 0 835684929 82272256 19302 4294967295 134512640 134714508 3221224592 3221223320 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20086 19302 1111 63 0 20023 0
vsize: 80344
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25324 0 0 0 10935 63 0 0 25 0 1 0 835684929 82272256 19319 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20086 19319 1111 63 0 20023 0
vsize: 80344
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25328 0 0 0 11935 64 0 0 25 0 1 0 835684929 82272256 19323 4294967295 134512640 134714508 3221224592 3221223324 134524384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20086 19323 1111 63 0 20023 0
vsize: 80344
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25361 0 0 0 12934 65 0 0 25 0 1 0 835684929 82272256 19356 4294967295 134512640 134714508 3221224592 3221223288 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20086 19356 1111 63 0 20023 0
vsize: 80344
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25407 0 0 0 13934 65 0 0 25 0 1 0 835684929 82407424 19402 4294967295 134512640 134714508 3221224592 3221223160 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20119 19402 1111 63 0 20056 0
vsize: 80476
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25561 0 0 0 14933 66 0 0 25 0 1 0 835684929 83005440 19556 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20265 19556 1111 63 0 20202 0
vsize: 81060
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25570 0 0 0 15933 67 0 0 25 0 1 0 835684929 83005440 19565 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20265 19565 1111 63 0 20202 0
vsize: 81060
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25619 0 0 0 16932 68 0 0 25 0 1 0 835684929 83275776 19614 4294967295 134512640 134714508 3221224592 3221223344 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20331 19614 1111 63 0 20268 0
vsize: 81324
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25631 0 0 0 17931 69 0 0 25 0 1 0 835684929 83222528 19626 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20318 19626 1111 63 0 20255 0
vsize: 81272
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 25631 0 0 0 18930 69 0 0 25 0 1 0 835684929 83222528 19626 4294967295 134512640 134714508 3221224592 3221223236 134539352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20318 19626 1111 63 0 20255 0
vsize: 81272
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 26293 0 0 0 19928 72 0 0 25 0 1 0 835684929 86052864 20288 4294967295 134512640 134714508 3221224592 3221223144 134696461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21009 20288 1111 63 0 20946 0
vsize: 84036
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 26512 0 0 0 20928 73 0 0 25 0 1 0 835684929 86818816 20504 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21196 20504 1111 63 0 21133 0
vsize: 84784
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 26738 0 0 0 21926 74 0 0 25 0 1 0 835684929 87764992 20730 4294967295 134512640 134714508 3221224592 3221223320 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21427 20730 1111 63 0 21364 0
vsize: 85708
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 26861 0 0 0 22925 75 0 0 25 0 1 0 835684929 88236032 20853 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21542 20853 1111 63 0 21479 0
vsize: 86168
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27086 0 0 0 23925 76 0 0 25 0 1 0 835684929 89186304 21078 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21774 21078 1111 63 0 21711 0
vsize: 87096
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27180 0 0 0 24925 77 0 0 25 0 1 0 835684929 89493504 21159 4294967295 134512640 134714508 3221224592 3221223376 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21849 21159 1111 63 0 21786 0
vsize: 87396
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27261 0 0 0 25924 77 0 0 25 0 1 0 835684929 89862144 21240 4294967295 134512640 134714508 3221224592 3221223376 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21939 21240 1111 63 0 21876 0
vsize: 87756
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27261 0 0 0 26924 78 0 0 25 0 1 0 835684929 89862144 21240 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21939 21240 1111 63 0 21876 0
vsize: 87756
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27347 0 0 0 27923 78 0 0 25 0 1 0 835684929 90214400 21326 4294967295 134512640 134714508 3221224592 3221223280 134594343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22025 21326 1111 63 0 21962 0
vsize: 88100
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27430 0 0 0 28923 79 0 0 25 0 1 0 835684929 90619904 21409 4294967295 134512640 134714508 3221224592 3221223296 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22124 21409 1111 63 0 22061 0
vsize: 88496
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27497 0 0 0 29923 80 0 0 25 0 1 0 835684929 90791936 21464 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22166 21464 1111 63 0 22103 0
vsize: 88664
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27497 0 0 0 30922 80 0 0 25 0 1 0 835684929 90791936 21464 4294967295 134512640 134714508 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22166 21464 1111 63 0 22103 0
vsize: 88664
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27553 0 0 0 31921 82 0 0 25 0 1 0 835684929 91062272 21520 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22232 21520 1111 63 0 22169 0
vsize: 88928
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27553 0 0 0 32921 82 0 0 25 0 1 0 835684929 90955776 21517 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22206 21517 1111 63 0 22143 0
vsize: 88824
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27636 0 0 0 33920 83 0 0 25 0 1 0 835684929 91361280 21600 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22305 21600 1111 63 0 22242 0
vsize: 89220
[startup+350.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27789 0 0 0 34921 84 0 0 25 0 1 0 835684929 92016640 21749 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22465 21749 1111 63 0 22402 0
vsize: 89860
[startup+360.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 27929 0 0 0 35921 85 0 0 25 0 1 0 835684929 92549120 21889 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 21889 1111 63 0 22532 0
vsize: 90380
[startup+370.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 28077 0 0 0 36921 86 0 0 25 0 1 0 835684929 92950528 22004 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22693 22004 1111 63 0 22630 0
vsize: 90772
[startup+380.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 28192 0 0 0 37921 87 0 0 25 0 1 0 835684929 93491200 22119 4294967295 134512640 134714508 3221224592 3221223200 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22825 22119 1111 63 0 22762 0
vsize: 91300
[startup+390.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 28419 0 0 0 38920 88 0 0 25 0 1 0 835684929 94441472 22346 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23057 22346 1111 63 0 22994 0
vsize: 92228
[startup+400.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 28449 0 0 0 39919 89 0 0 25 0 1 0 835684929 94560256 22376 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23086 22376 1111 63 0 23023 0
vsize: 92344
[startup+410.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 28461 0 0 0 40919 90 0 0 25 0 1 0 835684929 94560256 22388 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23086 22388 1111 63 0 23023 0
vsize: 92344
[startup+420.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 28644 0 0 0 41918 91 0 0 25 0 1 0 835684929 95371264 22571 4294967295 134512640 134714508 3221224592 3221223228 134543760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23284 22571 1111 63 0 23221 0
vsize: 93136
[startup+430.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 28778 0 0 0 42917 92 0 0 25 0 1 0 835684929 95690752 22673 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23362 22673 1111 63 0 23299 0
vsize: 93448
[startup+440.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 28872 0 0 0 43916 93 0 0 25 0 1 0 835684929 96083968 22751 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23458 22751 1111 63 0 23395 0
vsize: 93832
[startup+450.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29038 0 0 0 44916 94 0 0 25 0 1 0 835684929 96735232 22914 4294967295 134512640 134714508 3221224592 3221223132 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23617 22914 1111 63 0 23554 0
vsize: 94468
[startup+460.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29083 0 0 0 45915 95 0 0 25 0 1 0 835684929 96870400 22959 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23650 22959 1111 63 0 23587 0
vsize: 94600
[startup+470.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29084 0 0 0 46915 95 0 0 25 0 1 0 835684929 96870400 22960 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23650 22960 1111 63 0 23587 0
vsize: 94600
[startup+480.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29208 0 0 0 47914 96 0 0 25 0 1 0 835684929 97443840 23084 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23790 23084 1111 63 0 23727 0
vsize: 95160
[startup+490.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29358 0 0 0 48914 97 0 0 25 0 1 0 835684929 97685504 23134 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23849 23134 1111 63 0 23786 0
vsize: 95396
[startup+500.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29556 0 0 0 49914 97 0 0 25 0 1 0 835684929 98496512 23332 4294967295 134512640 134714508 3221224592 3221223336 134672936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24047 23332 1111 63 0 23984 0
vsize: 96188
[startup+510.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29617 0 0 0 50913 98 0 0 25 0 1 0 835684929 98635776 23392 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24081 23392 1111 63 0 24018 0
vsize: 96324
[startup+520.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29617 0 0 0 51912 99 0 0 25 0 1 0 835684929 98635776 23392 4294967295 134512640 134714508 3221224592 3221223244 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24081 23392 1111 63 0 24018 0
vsize: 96324
[startup+530.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29617 0 0 0 52912 99 0 0 25 0 1 0 835684929 98635776 23392 4294967295 134512640 134714508 3221224592 3221222964 1077374125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24081 23392 1111 63 0 24018 0
vsize: 96324
[startup+540.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29638 0 0 0 53912 100 0 0 25 0 1 0 835684929 98770944 23413 4294967295 134512640 134714508 3221224592 3221223200 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24114 23413 1111 63 0 24051 0
vsize: 96456
[startup+550.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29638 0 0 0 54911 100 0 0 25 0 1 0 835684929 98770944 23413 4294967295 134512640 134714508 3221224592 3221223136 134696734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24114 23413 1111 63 0 24051 0
vsize: 96456
[startup+560.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29638 0 0 0 55911 101 0 0 25 0 1 0 835684929 98770944 23413 4294967295 134512640 134714508 3221224592 3221223312 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24114 23413 1111 63 0 24051 0
vsize: 96456
[startup+570.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29666 0 0 0 56911 101 0 0 25 0 1 0 835684929 98897920 23441 4294967295 134512640 134714508 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24145 23441 1111 63 0 24082 0
vsize: 96580
[startup+580.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29666 0 0 0 57910 102 0 0 25 0 1 0 835684929 98897920 23441 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24145 23441 1111 63 0 24082 0
vsize: 96580
[startup+590.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29828 0 0 0 58910 103 0 0 25 0 1 0 835684929 99504128 23601 4294967295 134512640 134714508 3221224592 3221223248 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24293 23601 1111 63 0 24230 0
vsize: 97172
[startup+600.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 29856 0 0 0 59910 103 0 0 25 0 1 0 835684929 99495936 23597 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24291 23597 1111 63 0 24228 0
vsize: 97164
[startup+610.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30119 0 0 0 60909 104 0 0 25 0 1 0 835684929 100581376 23860 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24556 23860 1111 63 0 24493 0
vsize: 98224
[startup+620.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30210 0 0 0 61909 104 0 0 25 0 1 0 835684929 100909056 23947 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24636 23947 1111 63 0 24573 0
vsize: 98544
[startup+630.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30210 0 0 0 62908 105 0 0 25 0 1 0 835684929 100909056 23947 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24636 23947 1111 63 0 24573 0
vsize: 98544
[startup+640.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30210 0 0 0 63908 106 0 0 25 0 1 0 835684929 100909056 23947 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24636 23947 1111 63 0 24573 0
vsize: 98544
[startup+650.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30349 0 0 0 64907 106 0 0 25 0 1 0 835684929 101445632 24076 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24767 24076 1111 63 0 24704 0
vsize: 99068
[startup+660.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30349 0 0 0 65907 106 0 0 25 0 1 0 835684929 101445632 24076 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24767 24076 1111 63 0 24704 0
vsize: 99068
[startup+670.061 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30349 0 0 0 66907 107 0 0 25 0 1 0 835684929 101445632 24076 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24767 24076 1111 63 0 24704 0
vsize: 99068
[startup+680.061 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30349 0 0 0 67906 108 0 0 25 0 1 0 835684929 101445632 24076 4294967295 134512640 134714508 3221224592 3221223352 134592427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24767 24076 1111 63 0 24704 0
vsize: 99068
[startup+690.061 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30349 0 0 0 68906 109 0 0 25 0 1 0 835684929 101445632 24076 4294967295 134512640 134714508 3221224592 3221223316 134652855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24767 24076 1111 63 0 24704 0
vsize: 99068
[startup+700.061 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30349 0 0 0 69905 109 0 0 25 0 1 0 835684929 101445632 24076 4294967295 134512640 134714508 3221224592 3221223264 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24767 24076 1111 63 0 24704 0
vsize: 99068
[startup+710.061 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30356 0 0 0 70905 110 0 0 25 0 1 0 835684929 101580800 24083 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24800 24083 1111 63 0 24737 0
vsize: 99200
[startup+720.062 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30419 0 0 0 71904 111 0 0 25 0 1 0 835684929 101842944 24146 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24864 24146 1111 63 0 24801 0
vsize: 99456
[startup+730.061 s]
Raw data (loadavg): 1.06 0.99 0.93 3/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30433 0 0 0 72904 111 0 0 25 0 1 0 835684929 101842944 24160 4294967295 134512640 134714508 3221224592 3221223168 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24864 24160 1111 63 0 24801 0
vsize: 99456
[startup+740.062 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30509 0 0 0 73904 112 0 0 25 0 1 0 835684929 102113280 24236 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24930 24236 1111 63 0 24867 0
vsize: 99720
[startup+750.062 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30737 0 0 0 74904 112 0 0 25 0 1 0 835684929 102858752 24413 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25112 24413 1111 63 0 25049 0
vsize: 100448
[startup+760.061 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30836 0 0 0 75903 112 0 0 25 0 1 0 835684929 103112704 24485 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25174 24485 1111 63 0 25111 0
vsize: 100696
[startup+770.061 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30883 0 0 0 76903 113 0 0 25 0 1 0 835684929 103383040 24532 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25240 24532 1111 63 0 25177 0
vsize: 100960
[startup+780.061 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30883 0 0 0 77903 113 0 0 25 0 1 0 835684929 103383040 24532 4294967295 134512640 134714508 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25240 24532 1111 63 0 25177 0
vsize: 100960
[startup+790.06 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 30883 0 0 0 78902 114 0 0 25 0 1 0 835684929 103383040 24532 4294967295 134512640 134714508 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25240 24532 1111 63 0 25177 0
vsize: 100960
[startup+800.06 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 31048 0 0 0 79901 115 0 0 25 0 1 0 835684929 104108032 24697 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25417 24697 1111 63 0 25354 0
vsize: 101668
[startup+810.059 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 31134 0 0 0 80900 117 0 0 25 0 1 0 835684929 104345600 24783 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25475 24783 1111 63 0 25412 0
vsize: 101900
[startup+820.059 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 31168 0 0 0 81899 117 0 0 25 0 1 0 835684929 104480768 24817 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25508 24817 1111 63 0 25445 0
vsize: 102032
[startup+830.059 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 31235 0 0 0 82899 118 0 0 25 0 1 0 835684929 104751104 24884 4294967295 134512640 134714508 3221224592 3221223200 134549444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25574 24884 1111 63 0 25511 0
vsize: 102296
[startup+840.059 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 31332 0 0 0 83898 119 0 0 25 0 1 0 835684929 105197568 24966 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25683 24966 1111 63 0 25620 0
vsize: 102732
[startup+850.059 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 31645 0 0 0 84896 121 0 0 25 0 1 0 835684929 106414080 25279 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25980 25279 1111 63 0 25917 0
vsize: 103920
[startup+860.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 31645 0 0 0 85896 121 0 0 25 0 1 0 835684929 106414080 25279 4294967295 134512640 134714508 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25980 25279 1111 63 0 25917 0
vsize: 103920
[startup+870.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 31835 0 0 0 86895 123 0 0 25 0 1 0 835684929 107212800 25469 4294967295 134512640 134714508 3221224592 3221223132 134613740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26175 25469 1111 63 0 26112 0
vsize: 104700
[startup+880.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 31954 0 0 0 87894 123 0 0 25 0 1 0 835684929 107651072 25583 4294967295 134512640 134714508 3221224592 3221223132 134539273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26282 25583 1111 63 0 26219 0
vsize: 105128
[startup+890.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 32208 0 0 0 88893 125 0 0 25 0 1 0 835684929 108765184 25837 4294967295 134512640 134714508 3221224592 3221223328 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26554 25837 1111 63 0 26491 0
vsize: 106216
[startup+900.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 32490 0 0 0 89891 127 0 0 25 0 1 0 835684929 109879296 26119 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26826 26119 1111 63 0 26763 0
vsize: 107304
[startup+910.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 32600 0 0 0 90890 128 0 0 25 0 1 0 835684929 110063616 26182 4294967295 134512640 134714508 3221224592 3221223260 134551608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26871 26182 1111 63 0 26808 0
vsize: 107484
[startup+920.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 32682 0 0 0 91890 128 0 0 25 0 1 0 835684929 110366720 26256 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26945 26256 1111 63 0 26882 0
vsize: 107780
[startup+930.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 32828 0 0 0 92889 129 0 0 25 0 1 0 835684929 111042560 26402 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27110 26402 1111 63 0 27047 0
vsize: 108440
[startup+940.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 32852 0 0 0 93888 130 0 0 25 0 1 0 835684929 111177728 26426 4294967295 134512640 134714508 3221224592 3221223328 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27143 26426 1111 63 0 27080 0
vsize: 108572
[startup+950.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 33216 0 0 0 94887 132 0 0 25 0 1 0 835684929 112488448 26769 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27463 26769 1111 63 0 27400 0
vsize: 109852
[startup+960.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 33690 0 0 0 95885 134 0 0 25 0 1 0 835684929 114515968 27243 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27958 27243 1111 63 0 27895 0
vsize: 111832
[startup+970.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 33955 0 0 0 96884 135 0 0 25 0 1 0 835684929 115437568 27489 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28183 27489 1111 63 0 28120 0
vsize: 112732
[startup+980.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 34219 0 0 0 97883 136 0 0 25 0 1 0 835684929 116518912 27753 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28447 27753 1111 63 0 28384 0
vsize: 113788
[startup+990.059 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 34400 0 0 0 98882 138 0 0 25 0 1 0 835684929 117329920 27934 4294967295 134512640 134714508 3221224592 3221223220 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28645 27934 1111 63 0 28582 0
vsize: 114580
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 34634 0 0 0 99881 139 0 0 25 0 1 0 835684929 118276096 28168 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28876 28168 1111 63 0 28813 0
vsize: 115504
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 34753 0 0 0 100880 140 0 0 25 0 1 0 835684929 118476800 28236 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28925 28236 1111 63 0 28862 0
vsize: 115700
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 34805 0 0 0 101880 141 0 0 25 0 1 0 835684929 118743040 28288 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28990 28288 1111 63 0 28927 0
vsize: 115960
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35067 0 0 0 102879 141 0 0 25 0 1 0 835684929 119775232 28550 4294967295 134512640 134714508 3221224592 3221223184 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29242 28550 1111 63 0 29179 0
vsize: 116968
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35067 0 0 0 103879 142 0 0 25 0 1 0 835684929 119705600 28536 4294967295 134512640 134714508 3221224592 3221223088 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29225 28536 1111 63 0 29162 0
vsize: 116900
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35121 0 0 0 104878 142 0 0 25 0 1 0 835684929 119975936 28590 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29291 28590 1111 63 0 29228 0
vsize: 117164
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35131 0 0 0 105878 143 0 0 25 0 1 0 835684929 119975936 28600 4294967295 134512640 134714508 3221224592 3221223056 134535376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29291 28600 1111 63 0 29228 0
vsize: 117164
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35285 0 0 0 106877 144 0 0 25 0 1 0 835684929 120651776 28754 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29456 28754 1111 63 0 29393 0
vsize: 117824
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35303 0 0 0 107877 144 0 0 25 0 1 0 835684929 120778752 28772 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29487 28772 1111 63 0 29424 0
vsize: 117948
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35464 0 0 0 108876 145 0 0 25 0 1 0 835684929 121450496 28933 4294967295 134512640 134714508 3221224592 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29651 28933 1111 63 0 29588 0
vsize: 118604
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35549 0 0 0 109875 146 0 0 25 0 1 0 835684929 121720832 29018 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29717 29018 1111 63 0 29654 0
vsize: 118868
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35549 0 0 0 110875 147 0 0 25 0 1 0 835684929 121720832 29018 4294967295 134512640 134714508 3221224592 3221223184 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29717 29018 1111 63 0 29654 0
vsize: 118868
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35709 0 0 0 111874 148 0 0 25 0 1 0 835684929 122449920 29178 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29895 29178 1111 63 0 29832 0
vsize: 119580
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 35840 0 0 0 112873 149 0 0 25 0 1 0 835684929 122957824 29309 4294967295 134512640 134714508 3221224592 3221223284 134528706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30019 29309 1111 63 0 29956 0
vsize: 120076
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 36008 0 0 0 113872 149 0 0 25 0 1 0 835684929 123609088 29477 4294967295 134512640 134714508 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30178 29477 1111 63 0 30115 0
vsize: 120712
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 36040 0 0 0 114872 150 0 0 25 0 1 0 835684929 123699200 29509 4294967295 134512640 134714508 3221224592 3221223100 134535952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30200 29509 1111 63 0 30137 0
vsize: 120800
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 36238 0 0 0 115872 150 0 0 25 0 1 0 835684929 124416000 29686 4294967295 134512640 134714508 3221224592 3221223296 134524477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30375 29686 1111 63 0 30312 0
vsize: 121500
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 36318 0 0 0 116872 151 0 0 25 0 1 0 835684929 124764160 29766 4294967295 134512640 134714508 3221224592 3221223184 134548587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30460 29766 1111 63 0 30397 0
vsize: 121840
[startup+1174.89 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 13585
Raw data (stat): 13585 (bsolo_lpr) R 13584 4613 4612 0 -1 0 36318 0 0 0 116872 151 0 0 25 0 1 0 835684929 124764160 29766 4294967295 134512640 134714508 3221224592 3221223184 134548587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30460 29766 1111 63 0 30397 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.07
CPU user time (s): 1173.49
CPU system time (s): 1.57276
CPU usage (%): 100.015
Max. virtual memory (Kb): 121840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####