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/submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
MD5SUM	4313884ec3fa396c713faf5f812fe6b8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.136978
Number of variables	600
Total number of constraints	460
Number of constraints which are clauses	420
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 23347

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 16:15:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=370 boxname=wulflinc31 idbench=42 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4313884ec3fa396c713faf5f812fe6b8  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_20_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_20_sat_pb.cnf.cr.opb
IDLAUNCH: 370
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        927104 kB
Buffers:         38416 kB
Cached:          47204 kB
SwapCached:        944 kB
Active:          72280 kB
Inactive:        15776 kB
HighTotal:      131008 kB
HighFree:        82852 kB
LowTotal:       903652 kB
LowFree:        844252 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13964 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 16:34:46 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 370 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 600 variables and 460 constraints.
c After prepocess the problem consists of 600 variables and 460 constraints.
c preprocess terminated 0.504 s
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.92 0.99 0.97 2/54 25907
Raw data (stat): 25907 (runsolver) R 25906 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 641478613 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99976 s]
Raw data (loadavg): 0.93 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 2189 0 0 0 984 9 0 0 25 0 1 0 641478613 12075008 2110 4294967295 134512640 134714508 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2948 2110 1111 63 0 2885 0
vsize: 11792
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 2871 0 0 0 1981 13 0 0 25 0 1 0 641478613 14905344 2792 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3639 2792 1111 63 0 3576 0
vsize: 14556
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 3863 0 0 0 2976 18 0 0 25 0 1 0 641478613 18956288 3784 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4628 3784 1111 63 0 4565 0
vsize: 18512
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 4438 0 0 0 3973 21 0 0 25 0 1 0 641478613 21254144 4359 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5189 4359 1111 63 0 5126 0
vsize: 20756
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 4741 0 0 0 4972 23 0 0 25 0 1 0 641478613 22597632 4662 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5517 4662 1111 63 0 5454 0
vsize: 22068
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 4863 0 0 0 5971 24 0 0 25 0 1 0 641478613 23003136 4784 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5616 4784 1111 63 0 5553 0
vsize: 22464
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 5047 0 0 0 6970 25 0 0 25 0 1 0 641478613 23810048 4968 4294967295 134512640 134714508 3221221776 3221220368 134549591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5813 4968 1111 63 0 5750 0
vsize: 23252
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 5177 0 0 0 7969 26 0 0 25 0 1 0 641478613 24350720 5098 4294967295 134512640 134714508 3221221776 3221220400 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5945 5098 1111 63 0 5882 0
vsize: 23780
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 5368 0 0 0 8967 28 0 0 25 0 1 0 641478613 25133056 5289 4294967295 134512640 134714508 3221221776 3221220336 134696447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6136 5289 1111 63 0 6073 0
vsize: 24544
[startup+100.002 s]
Raw data (loadavg): 0.98 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 5537 0 0 0 9967 28 0 0 25 0 1 0 641478613 25792512 5458 4294967295 134512640 134714508 3221221776 3221220576 134588067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6297 5458 1111 63 0 6234 0
vsize: 25188
[startup+110.005 s]
Raw data (loadavg): 0.98 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 5747 0 0 0 10966 30 0 0 25 0 1 0 641478613 26755072 5667 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6532 5667 1111 63 0 6469 0
vsize: 26128
[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 5906 0 0 0 11965 31 0 0 25 0 1 0 641478613 27295744 5826 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6664 5826 1111 63 0 6601 0
vsize: 26656
[startup+130.006 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6026 0 0 0 12964 32 0 0 25 0 1 0 641478613 27844608 5946 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6798 5946 1111 63 0 6735 0
vsize: 27192
[startup+140.006 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6158 0 0 0 13963 34 0 0 25 0 1 0 641478613 28381184 6078 4294967295 134512640 134714508 3221221776 3221220416 134695969 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6929 6078 1111 63 0 6866 0
vsize: 27716
[startup+150.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6311 0 0 0 14961 35 0 0 25 0 1 0 641478613 29057024 6231 4294967295 134512640 134714508 3221221776 3221220344 1077377501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7094 6231 1111 63 0 7031 0
vsize: 28376
[startup+160.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6426 0 0 0 15959 37 0 0 25 0 1 0 641478613 29462528 6345 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7193 6345 1111 63 0 7130 0
vsize: 28772
[startup+170.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6521 0 0 0 16958 38 0 0 25 0 1 0 641478613 29868032 6440 4294967295 134512640 134714508 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7292 6440 1111 63 0 7229 0
vsize: 29168
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6572 0 0 0 17957 39 0 0 25 0 1 0 641478613 30138368 6491 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6491 1111 63 0 7295 0
vsize: 29432
[startup+190.006 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6652 0 0 0 18956 41 0 0 25 0 1 0 641478613 30408704 6571 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7424 6571 1111 63 0 7361 0
vsize: 29696
[startup+200.006 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6687 0 0 0 19955 41 0 0 25 0 1 0 641478613 30543872 6606 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6606 1111 63 0 7394 0
vsize: 29828
[startup+210.006 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6716 0 0 0 20954 42 0 0 25 0 1 0 641478613 30670848 6635 4294967295 134512640 134714508 3221221776 3221220304 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7488 6635 1111 63 0 7425 0
vsize: 29952
[startup+220.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6750 0 0 0 21954 43 0 0 25 0 1 0 641478613 30924800 6669 4294967295 134512640 134714508 3221221776 3221220368 134549520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7550 6669 1111 63 0 7487 0
vsize: 30200
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6834 0 0 0 22954 43 0 0 25 0 1 0 641478613 31195136 6753 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7616 6753 1111 63 0 7553 0
vsize: 30464
[startup+240.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 6922 0 0 0 23953 44 0 0 25 0 1 0 641478613 31596544 6841 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7714 6841 1111 63 0 7651 0
vsize: 30856
[startup+250.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7007 0 0 0 24951 46 0 0 25 0 1 0 641478613 31866880 6926 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7780 6926 1111 63 0 7717 0
vsize: 31120
[startup+260.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7031 0 0 0 25951 47 0 0 25 0 1 0 641478613 32002048 6950 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7813 6950 1111 63 0 7750 0
vsize: 31252
[startup+270.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7031 0 0 0 26950 47 0 0 25 0 1 0 641478613 32002048 6950 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7813 6950 1111 63 0 7750 0
vsize: 31252
[startup+280.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7049 0 0 0 27950 47 0 0 25 0 1 0 641478613 32137216 6968 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7846 6968 1111 63 0 7783 0
vsize: 31384
[startup+290.007 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7078 0 0 0 28949 48 0 0 25 0 1 0 641478613 32137216 6997 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7846 6997 1111 63 0 7783 0
vsize: 31384
[startup+300.008 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7088 0 0 0 29949 49 0 0 25 0 1 0 641478613 32272384 7007 4294967295 134512640 134714508 3221221776 3221220392 134542657 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7879 7007 1111 63 0 7816 0
vsize: 31516
[startup+310.008 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7115 0 0 0 30948 50 0 0 25 0 1 0 641478613 32407552 7034 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7912 7034 1111 63 0 7849 0
vsize: 31648
[startup+320.008 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7125 0 0 0 31948 50 0 0 25 0 1 0 641478613 32407552 7044 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7912 7044 1111 63 0 7849 0
vsize: 31648
[startup+330.008 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7135 0 0 0 32948 51 0 0 25 0 1 0 641478613 32407552 7054 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7912 7054 1111 63 0 7849 0
vsize: 31648
[startup+340.008 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7135 0 0 0 33947 52 0 0 25 0 1 0 641478613 32407552 7054 4294967295 134512640 134714508 3221221776 3221220336 134696541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7912 7054 1111 63 0 7849 0
vsize: 31648
[startup+350.009 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7135 0 0 0 34947 52 0 0 25 0 1 0 641478613 32407552 7054 4294967295 134512640 134714508 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7912 7054 1111 63 0 7849 0
vsize: 31648
[startup+360.009 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7155 0 0 0 35946 53 0 0 25 0 1 0 641478613 32542720 7074 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7945 7074 1111 63 0 7882 0
vsize: 31780
[startup+370.01 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7230 0 0 0 36946 54 0 0 25 0 1 0 641478613 32813056 7149 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8011 7149 1111 63 0 7948 0
vsize: 32044
[startup+380.01 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7263 0 0 0 37945 54 0 0 25 0 1 0 641478613 32903168 7182 4294967295 134512640 134714508 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8033 7182 1111 63 0 7970 0
vsize: 32132
[startup+390.01 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7271 0 0 0 38944 55 0 0 25 0 1 0 641478613 33030144 7190 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7190 1111 63 0 8001 0
vsize: 32256
[startup+400.011 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7298 0 0 0 39944 56 0 0 25 0 1 0 641478613 33165312 7217 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8097 7217 1111 63 0 8034 0
vsize: 32388
[startup+410.011 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7324 0 0 0 40943 57 0 0 25 0 1 0 641478613 33300480 7243 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8130 7243 1111 63 0 8067 0
vsize: 32520
[startup+420.012 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7383 0 0 0 41942 58 0 0 25 0 1 0 641478613 33435648 7302 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8163 7302 1111 63 0 8100 0
vsize: 32652
[startup+430.012 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7413 0 0 0 42942 58 0 0 25 0 1 0 641478613 33570816 7332 4294967295 134512640 134714508 3221221776 3221220272 134535477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8196 7332 1111 63 0 8133 0
vsize: 32784
[startup+440.012 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7429 0 0 0 43941 59 0 0 25 0 1 0 641478613 33705984 7348 4294967295 134512640 134714508 3221221776 3221220480 134528691 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8229 7348 1111 63 0 8166 0
vsize: 32916
[startup+450.012 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7434 0 0 0 44941 60 0 0 25 0 1 0 641478613 33705984 7353 4294967295 134512640 134714508 3221221776 3221220512 134523856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8229 7353 1111 63 0 8166 0
vsize: 32916
[startup+460.013 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7438 0 0 0 45941 60 0 0 25 0 1 0 641478613 33705984 7357 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8229 7357 1111 63 0 8166 0
vsize: 32916
[startup+470.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7443 0 0 0 46941 60 0 0 25 0 1 0 641478613 33705984 7362 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8229 7362 1111 63 0 8166 0
vsize: 32916
[startup+480.013 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7498 0 0 0 47941 61 0 0 25 0 1 0 641478613 33976320 7417 4294967295 134512640 134714508 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8295 7417 1111 63 0 8232 0
vsize: 33180
[startup+490.013 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7521 0 0 0 48940 62 0 0 25 0 1 0 641478613 34111488 7440 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8328 7440 1111 63 0 8265 0
vsize: 33312
[startup+500.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7531 0 0 0 49939 62 0 0 25 0 1 0 641478613 34111488 7450 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8328 7450 1111 63 0 8265 0
vsize: 33312
[startup+510.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7546 0 0 0 50939 63 0 0 25 0 1 0 641478613 34111488 7465 4294967295 134512640 134714508 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8328 7465 1111 63 0 8265 0
vsize: 33312
[startup+520.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7562 0 0 0 51938 64 0 0 25 0 1 0 641478613 34242560 7481 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8360 7481 1111 63 0 8297 0
vsize: 33440
[startup+530.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7590 0 0 0 52938 64 0 0 25 0 1 0 641478613 34377728 7509 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8393 7509 1111 63 0 8330 0
vsize: 33572
[startup+540.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7689 0 0 0 53937 65 0 0 25 0 1 0 641478613 34783232 7608 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8492 7608 1111 63 0 8429 0
vsize: 33968
[startup+550.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7838 0 0 0 54936 67 0 0 25 0 1 0 641478613 35323904 7757 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8624 7757 1111 63 0 8561 0
vsize: 34496
[startup+560.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 7956 0 0 0 55935 68 0 0 25 0 1 0 641478613 35864576 7875 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8756 7875 1111 63 0 8693 0
vsize: 35024
[startup+570.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 8036 0 0 0 56934 69 0 0 25 0 1 0 641478613 36134912 7955 4294967295 134512640 134714508 3221221776 3221220500 1076647544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8822 7955 1111 63 0 8759 0
vsize: 35288
[startup+580.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 8187 0 0 0 57933 70 0 0 25 0 1 0 641478613 36761600 8106 4294967295 134512640 134714508 3221221776 3221220344 1077377639 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8975 8106 1111 63 0 8912 0
vsize: 35900
[startup+590.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 8243 0 0 0 58933 70 0 0 25 0 1 0 641478613 37031936 8162 4294967295 134512640 134714508 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9041 8162 1111 63 0 8978 0
vsize: 36164
[startup+600.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 8297 0 0 0 59932 71 0 0 25 0 1 0 641478613 37302272 8216 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9107 8216 1111 63 0 9044 0
vsize: 36428
[startup+610.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 8805 0 0 0 60930 74 0 0 25 0 1 0 641478613 39325696 8724 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9601 8724 1111 63 0 9538 0
vsize: 38404
[startup+620.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 9534 0 0 0 61926 77 0 0 25 0 1 0 641478613 42299392 9453 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10327 9453 1111 63 0 10264 0
vsize: 41308
[startup+630.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 10799 0 0 0 62922 82 0 0 25 0 1 0 641478613 47439872 10718 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11582 10718 1111 63 0 11519 0
vsize: 46328
[startup+640.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 11242 0 0 0 63920 84 0 0 25 0 1 0 641478613 49328128 11161 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12043 11161 1111 63 0 11980 0
vsize: 48172
[startup+650.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 11882 0 0 0 64919 86 0 0 25 0 1 0 641478613 51904512 11801 4294967295 134512640 134714508 3221221776 3221220480 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12672 11801 1111 63 0 12609 0
vsize: 50688
[startup+660.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 12575 0 0 0 65915 89 0 0 25 0 1 0 641478613 54743040 12494 4294967295 134512640 134714508 3221221776 3221220392 134548551 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13365 12494 1111 63 0 13302 0
vsize: 53460
[startup+670.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 12942 0 0 0 66914 91 0 0 25 0 1 0 641478613 56365056 12861 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13761 12861 1111 63 0 13698 0
vsize: 55044
[startup+680.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 13373 0 0 0 67911 94 0 0 25 0 1 0 641478613 58122240 13292 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14190 13292 1111 63 0 14127 0
vsize: 56760
[startup+690.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 13824 0 0 0 68909 96 0 0 25 0 1 0 641478613 59879424 13743 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14619 13743 1111 63 0 14556 0
vsize: 58476
[startup+700.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 14010 0 0 0 69908 97 0 0 25 0 1 0 641478613 60694528 13929 4294967295 134512640 134714508 3221221776 3221220560 134529401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14818 13929 1111 63 0 14755 0
vsize: 59272
[startup+710.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 14193 0 0 0 70908 98 0 0 25 0 1 0 641478613 61513728 14112 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15018 14113 1111 63 0 14955 0
vsize: 60072
[startup+720.017 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 14460 0 0 0 71906 99 0 0 25 0 1 0 641478613 62595072 14379 4294967295 134512640 134714508 3221221776 3221220476 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15282 14379 1111 63 0 15219 0
vsize: 61128
[startup+730.017 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 14675 0 0 0 72905 101 0 0 25 0 1 0 641478613 63406080 14594 4294967295 134512640 134714508 3221221776 3221220480 134528726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15480 14594 1111 63 0 15417 0
vsize: 61920
[startup+740.017 s]
Raw data (loadavg): 0.99 0.99 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 15038 0 0 0 73903 102 0 0 25 0 1 0 641478613 64933888 14956 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15853 14956 1111 63 0 15790 0
vsize: 63412
[startup+750.017 s]
Raw data (loadavg): 1.07 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 15207 0 0 0 74903 103 0 0 25 0 1 0 641478613 65613824 15125 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16019 15125 1111 63 0 15956 0
vsize: 64076
[startup+760.017 s]
Raw data (loadavg): 1.06 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 15407 0 0 0 75902 104 0 0 25 0 1 0 641478613 66555904 15325 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16249 15325 1111 63 0 16186 0
vsize: 64996
[startup+770.018 s]
Raw data (loadavg): 1.05 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 15693 0 0 0 76901 106 0 0 25 0 1 0 641478613 67637248 15611 4294967295 134512640 134714508 3221221776 3221220544 134592146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16513 15611 1111 63 0 16450 0
vsize: 66052
[startup+780.018 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 15912 0 0 0 77899 108 0 0 25 0 1 0 641478613 68579328 15829 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16743 15829 1111 63 0 16680 0
vsize: 66972
[startup+790.018 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 15995 0 0 0 78899 108 0 0 25 0 1 0 641478613 69017600 15911 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16850 15911 1111 63 0 16787 0
vsize: 67400
[startup+800.018 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 16136 0 0 0 79898 109 0 0 25 0 1 0 641478613 69558272 16052 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16982 16052 1111 63 0 16919 0
vsize: 67928
[startup+810.018 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 16342 0 0 0 80897 110 0 0 25 0 1 0 641478613 70381568 16258 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17183 16258 1111 63 0 17120 0
vsize: 68732
[startup+820.018 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 16414 0 0 0 81896 111 0 0 25 0 1 0 641478613 70680576 16330 4294967295 134512640 134714508 3221221776 3221220488 134535770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16330 1111 63 0 17193 0
vsize: 69024
[startup+830.018 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 16546 0 0 0 82895 112 0 0 25 0 1 0 641478613 71245824 16462 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17394 16462 1111 63 0 17331 0
vsize: 69576
[startup+840.018 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 16725 0 0 0 83894 113 0 0 25 0 1 0 641478613 72056832 16640 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17592 16640 1111 63 0 17529 0
vsize: 70368
[startup+850.019 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 16872 0 0 0 84894 114 0 0 25 0 1 0 641478613 72609792 16786 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17727 16786 1111 63 0 17664 0
vsize: 70908
[startup+860.019 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 17020 0 0 0 85894 114 0 0 25 0 1 0 641478613 73306112 16932 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17897 16932 1111 63 0 17834 0
vsize: 71588
[startup+870.019 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 17253 0 0 0 86893 115 0 0 25 0 1 0 641478613 74235904 17165 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18124 17165 1111 63 0 18061 0
vsize: 72496
[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 17407 0 0 0 87892 116 0 0 25 0 1 0 641478613 74911744 17319 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18289 17319 1111 63 0 18226 0
vsize: 73156
[startup+890.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 17538 0 0 0 88891 117 0 0 25 0 1 0 641478613 75452416 17450 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18421 17450 1111 63 0 18358 0
vsize: 73684
[startup+900.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 17639 0 0 0 89890 118 0 0 25 0 1 0 641478613 75849728 17551 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18518 17551 1111 63 0 18455 0
vsize: 74072
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 17721 0 0 0 90890 119 0 0 25 0 1 0 641478613 76115968 17632 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18583 17632 1111 63 0 18520 0
vsize: 74332
[startup+920.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 17758 0 0 0 91890 119 0 0 25 0 1 0 641478613 76267520 17669 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18620 17669 1111 63 0 18557 0
vsize: 74480
[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 17795 0 0 0 92889 120 0 0 25 0 1 0 641478613 76402688 17706 4294967295 134512640 134714508 3221221776 3221220560 134529288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18653 17706 1111 63 0 18590 0
vsize: 74612
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 17915 0 0 0 93889 121 0 0 25 0 1 0 641478613 76976128 17826 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18793 17826 1111 63 0 18730 0
vsize: 75172
[startup+950.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 18012 0 0 0 94889 121 0 0 25 0 1 0 641478613 77381632 17923 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18892 17923 1111 63 0 18829 0
vsize: 75568
[startup+960.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 18646 0 0 0 95887 123 0 0 25 0 1 0 641478613 79953920 18557 4294967295 134512640 134714508 3221221776 3221220432 134536721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19520 18557 1111 63 0 19457 0
vsize: 78080
[startup+970.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 19429 0 0 0 96883 127 0 0 25 0 1 0 641478613 83197952 19340 4294967295 134512640 134714508 3221221776 3221220548 134529372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20312 19340 1111 63 0 20249 0
vsize: 81248
[startup+980.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 20193 0 0 0 97881 129 0 0 25 0 1 0 641478613 86306816 20104 4294967295 134512640 134714508 3221221776 3221220464 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21071 20104 1111 63 0 21008 0
vsize: 84284
[startup+990.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 20728 0 0 0 98877 133 0 0 25 0 1 0 641478613 88477696 20638 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21601 20638 1111 63 0 21538 0
vsize: 86404
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 21232 0 0 0 99875 135 0 0 25 0 1 0 641478613 90640384 21142 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22129 21142 1111 63 0 22066 0
vsize: 88516
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 21626 0 0 0 100874 137 0 0 25 0 1 0 641478613 92274688 21536 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22528 21536 1111 63 0 22465 0
vsize: 90112
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 21852 0 0 0 101873 138 0 0 25 0 1 0 641478613 93220864 21762 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22759 21762 1111 63 0 22696 0
vsize: 91036
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 22075 0 0 0 102872 139 0 0 25 0 1 0 641478613 94044160 21985 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22960 21985 1111 63 0 22897 0
vsize: 91840
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 22226 0 0 0 103872 139 0 0 25 0 1 0 641478613 94732288 22135 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23128 22135 1111 63 0 23065 0
vsize: 92512
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 22317 0 0 0 104871 140 0 0 25 0 1 0 641478613 95006720 22226 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23195 22226 1111 63 0 23132 0
vsize: 92780
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 23209 0 0 0 105867 144 0 0 25 0 1 0 641478613 98660352 23117 4294967295 134512640 134714508 3221221776 3221220380 134536848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24087 23117 1111 63 0 24024 0
vsize: 96348
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 23858 0 0 0 106865 146 0 0 25 0 1 0 641478613 101363712 23766 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24747 23766 1111 63 0 24684 0
vsize: 98988
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 24219 0 0 0 107864 148 0 0 25 0 1 0 641478613 102850560 24127 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25110 24127 1111 63 0 25047 0
vsize: 100440
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 24457 0 0 0 108863 149 0 0 25 0 1 0 641478613 103936000 24364 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25375 24364 1111 63 0 25312 0
vsize: 101500
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 24693 0 0 0 109862 150 0 0 25 0 1 0 641478613 104898560 24599 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25610 24599 1111 63 0 25547 0
vsize: 102440
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 24836 0 0 0 110862 150 0 0 25 0 1 0 641478613 105472000 24742 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25750 24742 1111 63 0 25687 0
vsize: 103000
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 24912 0 0 0 111861 151 0 0 25 0 1 0 641478613 105750528 24818 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25818 24818 1111 63 0 25755 0
vsize: 103272
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 25021 0 0 0 112861 151 0 0 25 0 1 0 641478613 106156032 24927 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25917 24927 1111 63 0 25854 0
vsize: 103668
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 25584 0 0 0 113859 153 0 0 25 0 1 0 641478613 108453888 25488 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26478 25488 1111 63 0 26415 0
vsize: 105912
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 25755 0 0 0 114859 154 0 0 25 0 1 0 641478613 109264896 25659 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26676 25659 1111 63 0 26613 0
vsize: 106704
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 26165 0 0 0 115857 156 0 0 25 0 1 0 641478613 110940160 26067 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27085 26067 1111 63 0 27022 0
vsize: 108340
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 26405 0 0 0 116855 158 0 0 25 0 1 0 641478613 111910912 26307 4294967295 134512640 134714508 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27322 26307 1111 63 0 27259 0
vsize: 109288
[startup+1174.95 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 25907
Raw data (stat): 25907 (bsolo_lpr) R 25906 7876 7672 0 -1 0 26405 0 0 0 116855 158 0 0 25 0 1 0 641478613 111910912 26307 4294967295 134512640 134714508 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27322 26307 1111 63 0 27259 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.07
CPU user time (s): 1173.43
CPU system time (s): 1.63975
CPU usage (%): 100.01
Max. virtual memory (Kb): 109288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####