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-fpga15_13_sat_pb.cnf.cr.opb
MD5SUM	4b4e9c4dea51b53ba8323ee6782645f0
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	16
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.066989
Number of variables	293
Total number of constraints	236
Number of constraints which are clauses	208
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 23322

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 11:16:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=325 boxname=wulflinc31 idbench=37 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4b4e9c4dea51b53ba8323ee6782645f0  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_13_sat_pb.cnf.cr.opb
IDLAUNCH: 325
/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:        927824 kB
Buffers:         37992 kB
Cached:          46756 kB
SwapCached:        864 kB
Active:          71828 kB
Inactive:        15344 kB
HighTotal:      131008 kB
HighFree:        83188 kB
LowTotal:       903652 kB
LowFree:        844636 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13992 kB
Committed_AS:    63616 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 11:36:07 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 325 7 1175.13 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 293 variables and 236 constraints.
c After prepocess the problem consists of 293 variables and 236 constraints.
c preprocess terminated 0.17 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.71 0.90 0.96 2/54 23172
Raw data (stat): 23172 (runsolver) R 23171 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 639686481 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.76 0.91 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 3179 0 0 0 985 11 0 0 25 0 1 0 639686481 16158720 3100 4294967295 134512640 134714508 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3945 3100 1111 63 0 3882 0
vsize: 15780
[startup+20.0011 s]
Raw data (loadavg): 0.79 0.91 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 4980 0 0 0 1978 18 0 0 25 0 1 0 639686481 23457792 4901 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5727 4901 1111 63 0 5664 0
vsize: 22908
[startup+30.002 s]
Raw data (loadavg): 0.83 0.91 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 6397 0 0 0 2972 24 0 0 25 0 1 0 639686481 29282304 6317 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7149 6317 1111 63 0 7086 0
vsize: 28596
[startup+40.0019 s]
Raw data (loadavg): 0.85 0.91 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 7159 0 0 0 3969 27 0 0 25 0 1 0 639686481 32399360 7079 4294967295 134512640 134714508 3221221776 3221220536 134552570 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7910 7079 1111 63 0 7847 0
vsize: 31640
[startup+50.0021 s]
Raw data (loadavg): 0.87 0.92 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 8233 0 0 0 4965 31 0 0 25 0 1 0 639686481 36864000 8153 4294967295 134512640 134714508 3221221776 3221220480 134528543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9000 8153 1111 63 0 8937 0
vsize: 36000
[startup+60.0028 s]
Raw data (loadavg): 0.89 0.92 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 9103 0 0 0 5962 35 0 0 25 0 1 0 639686481 40378368 9023 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9858 9023 1111 63 0 9795 0
vsize: 39432
[startup+70.0027 s]
Raw data (loadavg): 0.91 0.92 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 9494 0 0 0 6960 37 0 0 25 0 1 0 639686481 42000384 9414 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10254 9414 1111 63 0 10191 0
vsize: 41016
[startup+80.0037 s]
Raw data (loadavg): 0.92 0.92 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 9669 0 0 0 7959 38 0 0 25 0 1 0 639686481 42676224 9589 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9589 1111 63 0 10356 0
vsize: 41676
[startup+90.0036 s]
Raw data (loadavg): 0.93 0.92 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 10202 0 0 0 8956 41 0 0 25 0 1 0 639686481 44974080 10122 4294967295 134512640 134714508 3221221776 3221220192 134697499 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10980 10122 1111 63 0 10917 0
vsize: 43920
[startup+100.004 s]
Raw data (loadavg): 0.94 0.93 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 10920 0 0 0 9954 43 0 0 25 0 1 0 639686481 47947776 10839 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11706 10839 1111 63 0 11643 0
vsize: 46824
[startup+110.005 s]
Raw data (loadavg): 0.95 0.93 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 11491 0 0 0 10952 46 0 0 25 0 1 0 639686481 50245632 11410 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12267 11410 1111 63 0 12204 0
vsize: 49068
[startup+120.005 s]
Raw data (loadavg): 0.96 0.93 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 12135 0 0 0 11950 48 0 0 25 0 1 0 639686481 52813824 12053 4294967295 134512640 134714508 3221221776 3221220384 134549818 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12894 12053 1111 63 0 12831 0
vsize: 51576
[startup+130.006 s]
Raw data (loadavg): 0.96 0.93 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 12606 0 0 0 12948 50 0 0 25 0 1 0 639686481 54841344 12524 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13389 12524 1111 63 0 13326 0
vsize: 53556
[startup+140.006 s]
Raw data (loadavg): 0.97 0.93 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 13087 0 0 0 13946 53 0 0 25 0 1 0 639686481 56733696 13005 4294967295 134512640 134714508 3221221776 3221220332 134535518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13851 13005 1111 63 0 13788 0
vsize: 55404
[startup+150.006 s]
Raw data (loadavg): 0.97 0.94 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 13599 0 0 0 14944 54 0 0 25 0 1 0 639686481 58933248 13516 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14388 13516 1111 63 0 14325 0
vsize: 57552
[startup+160.006 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 14038 0 0 0 15943 56 0 0 25 0 1 0 639686481 60690432 13955 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14817 13955 1111 63 0 14754 0
vsize: 59268
[startup+170.006 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 14225 0 0 0 16942 57 0 0 25 0 1 0 639686481 61517824 14142 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15019 14142 1111 63 0 14956 0
vsize: 60076
[startup+180.007 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 14477 0 0 0 17941 58 0 0 25 0 1 0 639686481 62599168 14394 4294967295 134512640 134714508 3221221776 3221220400 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15283 14394 1111 63 0 15220 0
vsize: 61132
[startup+190.008 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 14719 0 0 0 18940 59 0 0 25 0 1 0 639686481 63557632 14636 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15517 14636 1111 63 0 15454 0
vsize: 62068
[startup+200.008 s]
Raw data (loadavg): 0.99 0.94 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 15334 0 0 0 19938 61 0 0 25 0 1 0 639686481 66166784 15251 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16154 15251 1111 63 0 16091 0
vsize: 64616
[startup+210.008 s]
Raw data (loadavg): 0.99 0.94 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 15683 0 0 0 20938 62 0 0 25 0 1 0 639686481 67518464 15600 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16484 15600 1111 63 0 16421 0
vsize: 65936
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 16229 0 0 0 21936 63 0 0 25 0 1 0 639686481 69816320 16146 4294967295 134512640 134714508 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17045 16146 1111 63 0 16982 0
vsize: 68180
[startup+230.009 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 16724 0 0 0 22934 66 0 0 25 0 1 0 639686481 71847936 16639 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17541 16639 1111 63 0 17478 0
vsize: 70164
[startup+240.009 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 17224 0 0 0 23931 69 0 0 25 0 1 0 639686481 73883648 17139 4294967295 134512640 134714508 3221221776 3221220368 134549616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18038 17139 1111 63 0 17975 0
vsize: 72152
[startup+250.009 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 17959 0 0 0 24929 72 0 0 25 0 1 0 639686481 76861440 17874 4294967295 134512640 134714508 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18765 17874 1111 63 0 18702 0
vsize: 75060
[startup+260.009 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 18662 0 0 0 25925 75 0 0 25 0 1 0 639686481 79835136 18577 4294967295 134512640 134714508 3221221776 3221220416 134696276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19491 18578 1111 63 0 19428 0
vsize: 77964
[startup+270.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 18888 0 0 0 26925 76 0 0 25 0 1 0 639686481 80654336 18803 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19691 18803 1111 63 0 19628 0
vsize: 78764
[startup+280.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 19138 0 0 0 27924 77 0 0 25 0 1 0 639686481 81735680 19053 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19955 19053 1111 63 0 19892 0
vsize: 79820
[startup+290.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 19499 0 0 0 28923 79 0 0 25 0 1 0 639686481 83222528 19414 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20318 19414 1111 63 0 20255 0
vsize: 81272
[startup+300.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 20039 0 0 0 29920 82 0 0 25 0 1 0 639686481 85385216 19954 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20846 19954 1111 63 0 20783 0
vsize: 83384
[startup+310.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 20189 0 0 0 30919 82 0 0 25 0 1 0 639686481 86085632 20104 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21017 20104 1111 63 0 20954 0
vsize: 84068
[startup+320.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 20426 0 0 0 31918 83 0 0 25 0 1 0 639686481 87031808 20341 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21248 20341 1111 63 0 21185 0
vsize: 84992
[startup+330.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 20943 0 0 0 32916 86 0 0 25 0 1 0 639686481 89071616 20857 4294967295 134512640 134714508 3221221776 3221220480 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21746 20857 1111 63 0 21683 0
vsize: 86984
[startup+340.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 21366 0 0 0 33914 88 0 0 25 0 1 0 639686481 90906624 21276 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22194 21276 1111 63 0 22131 0
vsize: 88776
[startup+350.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 21981 0 0 0 34912 90 0 0 25 0 1 0 639686481 93474816 21891 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22821 21891 1111 63 0 22758 0
vsize: 91284
[startup+360.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 22680 0 0 0 35908 94 0 0 25 0 1 0 639686481 96313344 22589 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23514 22589 1111 63 0 23451 0
vsize: 94056
[startup+370.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 23163 0 0 0 36906 96 0 0 25 0 1 0 639686481 98201600 23072 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23975 23072 1111 63 0 23912 0
vsize: 95900
[startup+380.016 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 23762 0 0 0 37904 99 0 0 25 0 1 0 639686481 100769792 23671 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24602 23671 1111 63 0 24539 0
vsize: 98408
[startup+390.017 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 24360 0 0 0 38903 100 0 0 25 0 1 0 639686481 103202816 24269 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25196 24269 1111 63 0 25133 0
vsize: 100784
[startup+400.017 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 24607 0 0 0 39902 101 0 0 25 0 1 0 639686481 104144896 24516 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25426 24516 1111 63 0 25363 0
vsize: 101704
[startup+410.017 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 24975 0 0 0 40901 103 0 0 25 0 1 0 639686481 105766912 24884 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25822 24884 1111 63 0 25759 0
vsize: 103288
[startup+420.017 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 25405 0 0 0 41898 105 0 0 25 0 1 0 639686481 107524096 25314 4294967295 134512640 134714508 3221221776 3221220384 134543759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26251 25314 1111 63 0 26188 0
vsize: 105004
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 25930 0 0 0 42895 109 0 0 25 0 1 0 639686481 109690880 25839 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26780 25839 1111 63 0 26717 0
vsize: 107120
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 26271 0 0 0 43894 110 0 0 25 0 1 0 639686481 111042560 26179 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27110 26179 1111 63 0 27047 0
vsize: 108440
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 26693 0 0 0 44892 112 0 0 25 0 1 0 639686481 112799744 26601 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27539 26601 1111 63 0 27476 0
vsize: 110156
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 27201 0 0 0 45889 114 0 0 25 0 1 0 639686481 114827264 27107 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28034 27107 1111 63 0 27971 0
vsize: 112136
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 27574 0 0 0 46888 116 0 0 25 0 1 0 639686481 116314112 27480 4294967295 134512640 134714508 3221221776 3221220348 134539208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28397 27480 1111 63 0 28334 0
vsize: 113588
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 28011 0 0 0 47887 117 0 0 25 0 1 0 639686481 118206464 27917 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28859 27917 1111 63 0 28796 0
vsize: 115436
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 28364 0 0 0 48885 119 0 0 25 0 1 0 639686481 119566336 28270 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29191 28270 1111 63 0 29128 0
vsize: 116764
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 28677 0 0 0 49884 120 0 0 25 0 1 0 639686481 120918016 28583 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29521 28583 1111 63 0 29458 0
vsize: 118084
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 29086 0 0 0 50883 122 0 0 25 0 1 0 639686481 122540032 28992 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29917 28992 1111 63 0 29854 0
vsize: 119668
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 29602 0 0 0 51880 124 0 0 25 0 1 0 639686481 124702720 29508 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30445 29508 1111 63 0 30382 0
vsize: 121780
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 30055 0 0 0 52878 126 0 0 25 0 1 0 639686481 126611456 29961 4294967295 134512640 134714508 3221221776 3221220544 134529133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30911 29961 1111 63 0 30848 0
vsize: 123644
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 30446 0 0 0 53877 128 0 0 25 0 1 0 639686481 128233472 30352 4294967295 134512640 134714508 3221221776 3221220272 134697255 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31307 30352 1111 63 0 31244 0
vsize: 125228
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 30944 0 0 0 54875 130 0 0 25 0 1 0 639686481 130260992 30850 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31802 30850 1111 63 0 31739 0
vsize: 127208
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 31481 0 0 0 55873 133 0 0 25 0 1 0 639686481 132423680 31387 4294967295 134512640 134714508 3221221776 3221220324 134696414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32330 31387 1111 63 0 32267 0
vsize: 129320
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 32105 0 0 0 56871 135 0 0 25 0 1 0 639686481 134991872 32011 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32957 32011 1111 63 0 32894 0
vsize: 131828
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 32614 0 0 0 57870 136 0 0 25 0 1 0 639686481 137019392 32520 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33452 32520 1111 63 0 33389 0
vsize: 133808
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 32742 0 0 0 58869 137 0 0 25 0 1 0 639686481 137560064 32648 4294967295 134512640 134714508 3221221776 3221220560 134529410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33584 32648 1111 63 0 33521 0
vsize: 134336
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 32868 0 0 0 59869 137 0 0 25 0 1 0 639686481 138133504 32773 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33724 32773 1111 63 0 33661 0
vsize: 134896
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 33021 0 0 0 60869 138 0 0 25 0 1 0 639686481 138674176 32926 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33856 32926 1111 63 0 33793 0
vsize: 135424
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 33132 0 0 0 61868 138 0 0 25 0 1 0 639686481 139214848 33037 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33988 33037 1111 63 0 33925 0
vsize: 135952
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 33314 0 0 0 62868 139 0 0 25 0 1 0 639686481 139890688 33219 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34153 33219 1111 63 0 34090 0
vsize: 136612
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 33484 0 0 0 63867 140 0 0 25 0 1 0 639686481 140566528 33389 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34318 33389 1111 63 0 34255 0
vsize: 137272
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 33653 0 0 0 64866 141 0 0 25 0 1 0 639686481 141246464 33558 4294967295 134512640 134714508 3221221776 3221220480 134528674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34484 33558 1111 63 0 34421 0
vsize: 137936
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 33804 0 0 0 65866 141 0 0 25 0 1 0 639686481 141934592 33709 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34652 33709 1111 63 0 34589 0
vsize: 138608
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 33922 0 0 0 66866 142 0 0 25 0 1 0 639686481 142340096 33827 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34751 33827 1111 63 0 34688 0
vsize: 139004
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 34079 0 0 0 67865 142 0 0 25 0 1 0 639686481 143015936 33984 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34916 33984 1111 63 0 34853 0
vsize: 139664
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 34266 0 0 0 68865 143 0 0 25 0 1 0 639686481 143822848 34169 4294967295 134512640 134714508 3221221776 3221220560 134529335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35113 34169 1111 63 0 35050 0
vsize: 140452
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 34454 0 0 0 69864 144 0 0 25 0 1 0 639686481 144633856 34357 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35311 34357 1111 63 0 35248 0
vsize: 141244
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 34636 0 0 0 70863 146 0 0 25 0 1 0 639686481 145309696 34539 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35476 34539 1111 63 0 35413 0
vsize: 141904
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 34938 0 0 0 71861 147 0 0 25 0 1 0 639686481 146526208 34841 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35773 34841 1111 63 0 35710 0
vsize: 143092
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 35262 0 0 0 72861 148 0 0 25 0 1 0 639686481 147877888 35165 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36103 35165 1111 63 0 36040 0
vsize: 144412
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 35657 0 0 0 73859 150 0 0 25 0 1 0 639686481 149544960 35556 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36510 35556 1111 63 0 36447 0
vsize: 146040
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 35993 0 0 0 74858 151 0 0 25 0 1 0 639686481 150896640 35892 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36840 35892 1111 63 0 36777 0
vsize: 147360
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 36254 0 0 0 75857 153 0 0 25 0 1 0 639686481 151982080 36151 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37105 36151 1111 63 0 37042 0
vsize: 148420
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 36487 0 0 0 76857 153 0 0 25 0 1 0 639686481 152932352 36382 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37337 36382 1111 63 0 37274 0
vsize: 149348
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 36769 0 0 0 77855 154 0 0 25 0 1 0 639686481 154152960 36664 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37635 36664 1111 63 0 37572 0
vsize: 150540
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 37066 0 0 0 78854 156 0 0 25 0 1 0 639686481 155369472 36961 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37932 36961 1111 63 0 37869 0
vsize: 151728
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 37367 0 0 0 79853 157 0 0 25 0 1 0 639686481 156585984 37262 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38229 37262 1111 63 0 38166 0
vsize: 152916
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 37563 0 0 0 80852 158 0 0 25 0 1 0 639686481 157396992 37458 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38427 37458 1111 63 0 38364 0
vsize: 153708
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 37726 0 0 0 81851 159 0 0 25 0 1 0 639686481 158085120 37621 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38595 37621 1111 63 0 38532 0
vsize: 154380
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 37945 0 0 0 82850 160 0 0 25 0 1 0 639686481 159031296 37840 4294967295 134512640 134714508 3221221776 3221220480 134528576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38826 37840 1111 63 0 38763 0
vsize: 155304
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 38154 0 0 0 83850 161 0 0 25 0 1 0 639686481 159850496 38049 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39026 38049 1111 63 0 38963 0
vsize: 156104
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 38372 0 0 0 84849 162 0 0 25 0 1 0 639686481 160796672 38266 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39257 38266 1111 63 0 39194 0
vsize: 157028
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 38525 0 0 0 85848 163 0 0 25 0 1 0 639686481 161337344 38419 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39389 38419 1111 63 0 39326 0
vsize: 157556
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 38724 0 0 0 86847 164 0 0 25 0 1 0 639686481 162148352 38618 4294967295 134512640 134714508 3221221776 3221220392 134549509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39587 38618 1111 63 0 39524 0
vsize: 158348
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 39071 0 0 0 87846 166 0 0 25 0 1 0 639686481 163708928 38961 4294967295 134512640 134714508 3221221776 3221220416 134536695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39968 38961 1111 63 0 39905 0
vsize: 159872
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 39540 0 0 0 88844 168 0 0 25 0 1 0 639686481 165605376 39430 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40431 39430 1111 63 0 40368 0
vsize: 161724
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 39878 0 0 0 89843 169 0 0 25 0 1 0 639686481 166957056 39768 4294967295 134512640 134714508 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40761 39768 1111 63 0 40698 0
vsize: 163044
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 40207 0 0 0 90841 171 0 0 25 0 1 0 639686481 168308736 40097 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41091 40097 1111 63 0 41028 0
vsize: 164364
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 40397 0 0 0 91840 172 0 0 25 0 1 0 639686481 169254912 40285 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41322 40285 1111 63 0 41259 0
vsize: 165288
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 40634 0 0 0 92840 172 0 0 25 0 1 0 639686481 170201088 40522 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41553 40522 1111 63 0 41490 0
vsize: 166212
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 40995 0 0 0 93838 174 0 0 25 0 1 0 639686481 171552768 40883 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41883 40883 1111 63 0 41820 0
vsize: 167532
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 41244 0 0 0 94837 175 0 0 25 0 1 0 639686481 172695552 41128 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42162 41128 1111 63 0 42099 0
vsize: 168648
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 41626 0 0 0 95836 177 0 0 25 0 1 0 639686481 174182400 41510 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42525 41510 1111 63 0 42462 0
vsize: 170100
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 41873 0 0 0 96835 178 0 0 25 0 1 0 639686481 175296512 41756 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42797 41756 1111 63 0 42734 0
vsize: 171188
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 42125 0 0 0 97834 179 0 0 25 0 1 0 639686481 176259072 42008 4294967295 134512640 134714508 3221221776 3221220544 134529152 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43032 42008 1111 63 0 42969 0
vsize: 172128
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 42296 0 0 0 98833 181 0 0 25 0 1 0 639686481 177078272 42179 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43232 42179 1111 63 0 43169 0
vsize: 172928
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 42574 0 0 0 99832 181 0 0 25 0 1 0 639686481 178159616 42457 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43496 42457 1111 63 0 43433 0
vsize: 173984
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 42826 0 0 0 100832 182 0 0 25 0 1 0 639686481 179265536 42708 4294967295 134512640 134714508 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43766 42708 1111 63 0 43703 0
vsize: 175064
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 43181 0 0 0 101831 184 0 0 25 0 1 0 639686481 180617216 43063 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44096 43063 1111 63 0 44033 0
vsize: 176384
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 43351 0 0 0 102830 184 0 0 25 0 1 0 639686481 181297152 43233 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44262 43233 1111 63 0 44199 0
vsize: 177048
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 43643 0 0 0 103829 186 0 0 25 0 1 0 639686481 182513664 43525 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44559 43525 1111 63 0 44496 0
vsize: 178236
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 43792 0 0 0 104828 187 0 0 25 0 1 0 639686481 183197696 43674 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44726 43674 1111 63 0 44663 0
vsize: 178904
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 44035 0 0 0 105828 187 0 0 25 0 1 0 639686481 184184832 43911 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44967 43911 1111 63 0 44904 0
vsize: 179868
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 44331 0 0 0 106826 189 0 0 25 0 1 0 639686481 185401344 44207 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45264 44207 1111 63 0 45201 0
vsize: 181056
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 44485 0 0 0 107825 190 0 0 25 0 1 0 639686481 185942016 44361 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45396 44361 1111 63 0 45333 0
vsize: 181584
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 44672 0 0 0 108825 191 0 0 25 0 1 0 639686481 186753024 44548 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45594 44548 1111 63 0 45531 0
vsize: 182376
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 44900 0 0 0 109824 191 0 0 25 0 1 0 639686481 187768832 44772 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45842 44772 1111 63 0 45779 0
vsize: 183368
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 45110 0 0 0 110823 192 0 0 25 0 1 0 639686481 188653568 44981 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46058 44981 1111 63 0 45995 0
vsize: 184232
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 45333 0 0 0 111822 193 0 0 25 0 1 0 639686481 189612032 45202 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46292 45202 1111 63 0 46229 0
vsize: 185168
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 45738 0 0 0 112821 195 0 0 25 0 1 0 639686481 191238144 45607 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46689 45607 1111 63 0 46626 0
vsize: 186756
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 46002 0 0 0 113821 196 0 0 25 0 1 0 639686481 192344064 45870 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46959 45870 1111 63 0 46896 0
vsize: 187836
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 46318 0 0 0 114820 197 0 0 25 0 1 0 639686481 193560576 46186 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47256 46186 1111 63 0 47193 0
vsize: 189024
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 46550 0 0 0 115818 199 0 0 25 0 1 0 639686481 194506752 46418 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47487 46418 1111 63 0 47424 0
vsize: 189948
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 46804 0 0 0 116817 200 0 0 25 0 1 0 639686481 195588096 46672 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47751 46672 1111 63 0 47688 0
vsize: 191004
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 23172
Raw data (stat): 23172 (bsolo_lpr) R 23171 7876 7672 0 -1 0 46804 0 0 0 116817 200 0 0 25 0 1 0 639686481 195588096 46672 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47751 46672 1111 63 0 47688 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.13
CPU user time (s): 1173.04
CPU system time (s): 2.09268
CPU usage (%): 100.012
Max. virtual memory (Kb): 191004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####