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-fpga14_13_sat_pb.cnf.cr.opb
MD5SUM	6c5be32f385b6b14a9d33e85ff7013ea
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	15
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.099984
Number of variables	273
Total number of constraints	222
Number of constraints which are clauses	195
Number of constraints which are cardinality constraints (but not clauses)	27
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 23312

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 09:16:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=307 boxname=wulflinc31 idbench=35 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6c5be32f385b6b14a9d33e85ff7013ea  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_13_sat_pb.cnf.cr.opb
IDLAUNCH: 307
/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:        928092 kB
Buffers:         37808 kB
Cached:          46736 kB
SwapCached:        864 kB
Active:          71712 kB
Inactive:        15168 kB
HighTotal:      131008 kB
HighFree:        83272 kB
LowTotal:       903652 kB
LowFree:        844820 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13988 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 09:36:20 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 307 7 1175.15 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 273 variables and 222 constraints.
c After prepocess the problem consists of 273 variables and 222 constraints.
c preprocess terminated 0.156 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.85 0.97 0.99 2/54 22159
Raw data (stat): 22159 (runsolver) R 22158 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638967719 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 3067 0 0 0 983 12 0 0 25 0 1 0 638967719 15634432 2988 4294967295 134512640 134714508 3221221776 3221220416 134536657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3817 2988 1111 63 0 3754 0
vsize: 15268
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 4419 0 0 0 1978 18 0 0 25 0 1 0 638967719 21176320 4340 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4340 1111 63 0 5107 0
vsize: 20680
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 5400 0 0 0 2973 23 0 0 25 0 1 0 638967719 25235456 5321 4294967295 134512640 134714508 3221221776 3221220288 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6161 5321 1111 63 0 6098 0
vsize: 24644
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 6535 0 0 0 3969 27 0 0 25 0 1 0 638967719 29827072 6456 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7282 6456 1111 63 0 7219 0
vsize: 29128
[startup+50.0014 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 7906 0 0 0 4963 33 0 0 25 0 1 0 638967719 35508224 7827 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8669 7827 1111 63 0 8606 0
vsize: 34676
[startup+60.002 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 8874 0 0 0 5961 36 0 0 25 0 1 0 638967719 39448576 8795 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8795 1111 63 0 9568 0
vsize: 38524
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 9566 0 0 0 6958 38 0 0 25 0 1 0 638967719 42426368 9487 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10358 9487 1111 63 0 10295 0
vsize: 41432
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 10091 0 0 0 7956 41 0 0 25 0 1 0 638967719 44609536 10012 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10891 10012 1111 63 0 10828 0
vsize: 43564
[startup+90.0028 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 10520 0 0 0 8954 43 0 0 25 0 1 0 638967719 46395392 10441 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11327 10441 1111 63 0 11264 0
vsize: 45308
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 10983 0 0 0 9952 45 0 0 25 0 1 0 638967719 48177152 10904 4294967295 134512640 134714508 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11762 10904 1111 63 0 11699 0
vsize: 47048
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 11508 0 0 0 10951 47 0 0 25 0 1 0 638967719 50536448 11426 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12338 11426 1111 63 0 12275 0
vsize: 49352
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 11876 0 0 0 11950 48 0 0 25 0 1 0 638967719 52035584 11793 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12704 11793 1111 63 0 12641 0
vsize: 50816
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 12191 0 0 0 12948 50 0 0 25 0 1 0 638967719 53297152 12107 4294967295 134512640 134714508 3221221776 3221220532 134587950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13012 12107 1111 63 0 12949 0
vsize: 52048
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 12790 0 0 0 13945 53 0 0 25 0 1 0 638967719 55816192 12706 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13627 12706 1111 63 0 13564 0
vsize: 54508
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 13376 0 0 0 14943 56 0 0 25 0 1 0 638967719 58298368 13291 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14233 13291 1111 63 0 14170 0
vsize: 56932
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 14209 0 0 0 15940 58 0 0 25 0 1 0 638967719 61853696 14124 4294967295 134512640 134714508 3221221776 3221220336 134549730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15101 14124 1111 63 0 15038 0
vsize: 60404
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 15156 0 0 0 16938 61 0 0 25 0 1 0 638967719 65638400 15071 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16025 15071 1111 63 0 15962 0
vsize: 64100
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 15912 0 0 0 17935 63 0 0 25 0 1 0 638967719 68775936 15827 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16791 15827 1111 63 0 16728 0
vsize: 67164
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 16598 0 0 0 18933 66 0 0 25 0 1 0 638967719 71614464 16513 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17484 16513 1111 63 0 17421 0
vsize: 69936
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 17313 0 0 0 19930 69 0 0 25 0 1 0 638967719 74452992 17228 4294967295 134512640 134714508 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18177 17228 1111 63 0 18114 0
vsize: 72708
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 17976 0 0 0 20927 72 0 0 25 0 1 0 638967719 77156352 17891 4294967295 134512640 134714508 3221221776 3221220480 134528647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18837 17891 1111 63 0 18774 0
vsize: 75348
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 18503 0 0 0 21925 74 0 0 25 0 1 0 638967719 79319040 18418 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19365 18418 1111 63 0 19302 0
vsize: 77460
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 18929 0 0 0 22924 76 0 0 25 0 1 0 638967719 81108992 18844 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19802 18844 1111 63 0 19739 0
vsize: 79208
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 19324 0 0 0 23922 77 0 0 25 0 1 0 638967719 82731008 19239 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20198 19239 1111 63 0 20135 0
vsize: 80792
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 19697 0 0 0 24921 79 0 0 25 0 1 0 638967719 84221952 19612 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20562 19612 1111 63 0 20499 0
vsize: 82248
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 20114 0 0 0 25918 82 0 0 25 0 1 0 638967719 85979136 20029 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20991 20029 1111 63 0 20928 0
vsize: 83964
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 20413 0 0 0 26917 83 0 0 25 0 1 0 638967719 87232512 20328 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21297 20328 1111 63 0 21234 0
vsize: 85188
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 20749 0 0 0 27915 85 0 0 25 0 1 0 638967719 88584192 20664 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21627 20664 1111 63 0 21564 0
vsize: 86508
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 21119 0 0 0 28914 87 0 0 25 0 1 0 638967719 90230784 21034 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22029 21034 1111 63 0 21966 0
vsize: 88116
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 21394 0 0 0 29912 88 0 0 25 0 1 0 638967719 91312128 21309 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22293 21309 1111 63 0 22230 0
vsize: 89172
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 21638 0 0 0 30912 89 0 0 25 0 1 0 638967719 92258304 21553 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22524 21553 1111 63 0 22461 0
vsize: 90096
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 21931 0 0 0 31911 90 0 0 25 0 1 0 638967719 93474816 21846 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22821 21846 1111 63 0 22758 0
vsize: 91284
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 22344 0 0 0 32909 92 0 0 25 0 1 0 638967719 95232000 22259 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23250 22259 1111 63 0 23187 0
vsize: 93000
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 23563 0 0 0 33904 97 0 0 25 0 1 0 638967719 100118528 23477 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24443 23477 1111 63 0 24380 0
vsize: 97772
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 24583 0 0 0 34900 101 0 0 25 0 1 0 638967719 104353792 24496 4294967295 134512640 134714508 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25477 24496 1111 63 0 25414 0
vsize: 101908
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 25359 0 0 0 35897 105 0 0 25 0 1 0 638967719 107606016 25268 4294967295 134512640 134714508 3221221776 3221220544 134529110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26271 25268 1111 63 0 26208 0
vsize: 105084
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 25927 0 0 0 36895 107 0 0 25 0 1 0 638967719 110084096 25831 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26876 25831 1111 63 0 26813 0
vsize: 107504
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 26392 0 0 0 37894 108 0 0 25 0 1 0 638967719 112013312 26293 4294967295 134512640 134714508 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27347 26293 1111 63 0 27284 0
vsize: 109388
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 26742 0 0 0 38893 110 0 0 25 0 1 0 638967719 113590272 26640 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27732 26640 1111 63 0 27669 0
vsize: 110928
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 27062 0 0 0 39891 111 0 0 25 0 1 0 638967719 114941952 26960 4294967295 134512640 134714508 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28062 26960 1111 63 0 27999 0
vsize: 112248
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 27821 0 0 0 40888 114 0 0 25 0 1 0 638967719 118112256 27715 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28836 27715 1111 63 0 28773 0
vsize: 115344
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 28593 0 0 0 41885 118 0 0 25 0 1 0 638967719 121221120 28487 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29595 28487 1111 63 0 29532 0
vsize: 118380
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 29253 0 0 0 42883 120 0 0 25 0 1 0 638967719 123928576 29145 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30256 29145 1111 63 0 30193 0
vsize: 121024
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 29630 0 0 0 43881 122 0 0 25 0 1 0 638967719 125464576 29521 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30631 29521 1111 63 0 30568 0
vsize: 122524
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 30237 0 0 0 44878 125 0 0 25 0 1 0 638967719 127995904 30121 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31249 30121 1111 63 0 31186 0
vsize: 124996
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 30787 0 0 0 45877 127 0 0 25 0 1 0 638967719 130158592 30671 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31777 30671 1111 63 0 31714 0
vsize: 127108
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 31248 0 0 0 46875 128 0 0 25 0 1 0 638967719 132050944 31132 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32239 31132 1111 63 0 32176 0
vsize: 128956
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 31650 0 0 0 47874 130 0 0 25 0 1 0 638967719 133705728 31533 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32643 31533 1111 63 0 32580 0
vsize: 130572
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 31917 0 0 0 48873 131 0 0 25 0 1 0 638967719 134823936 31796 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32916 31796 1111 63 0 32853 0
vsize: 131664
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 32208 0 0 0 49872 132 0 0 25 0 1 0 638967719 136044544 32086 4294967295 134512640 134714508 3221221776 3221220480 134528592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33214 32086 1111 63 0 33151 0
vsize: 132856
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 32506 0 0 0 50871 134 0 0 25 0 1 0 638967719 137297920 32383 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33520 32383 1111 63 0 33457 0
vsize: 134080
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 32751 0 0 0 51870 134 0 0 25 0 1 0 638967719 138244096 32628 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33751 32628 1111 63 0 33688 0
vsize: 135004
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 32984 0 0 0 52869 135 0 0 25 0 1 0 638967719 139247616 32859 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33996 32859 1111 63 0 33933 0
vsize: 135984
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 33192 0 0 0 53868 137 0 0 25 0 1 0 638967719 140005376 33064 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34181 33064 1111 63 0 34118 0
vsize: 136724
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 33395 0 0 0 54867 138 0 0 25 0 1 0 638967719 140816384 33267 4294967295 134512640 134714508 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34379 33267 1111 63 0 34316 0
vsize: 137516
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 33696 0 0 0 55866 139 0 0 25 0 1 0 638967719 142135296 33560 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34701 33560 1111 63 0 34638 0
vsize: 138804
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 34008 0 0 0 56865 140 0 0 25 0 1 0 638967719 143413248 33870 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35013 33870 1111 63 0 34950 0
vsize: 140052
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 34177 0 0 0 57865 141 0 0 25 0 1 0 638967719 144166912 34038 4294967295 134512640 134714508 3221221776 3221220380 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35197 34038 1111 63 0 35134 0
vsize: 140788
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 34535 0 0 0 58863 142 0 0 25 0 1 0 638967719 145584128 34392 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35543 34392 1111 63 0 35480 0
vsize: 142172
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 35035 0 0 0 59861 145 0 0 25 0 1 0 638967719 147611648 34892 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36038 34892 1111 63 0 35975 0
vsize: 144152
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 35358 0 0 0 60860 147 0 0 25 0 1 0 638967719 148828160 35215 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36335 35215 1111 63 0 36272 0
vsize: 145340
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 35643 0 0 0 61858 148 0 0 25 0 1 0 638967719 150065152 35498 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36637 35498 1111 63 0 36574 0
vsize: 146548
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 35948 0 0 0 62857 149 0 0 25 0 1 0 638967719 151371776 35801 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36956 35801 1111 63 0 36893 0
vsize: 147824
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 36295 0 0 0 63856 151 0 0 25 0 1 0 638967719 152920064 36147 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37334 36147 1111 63 0 37271 0
vsize: 149336
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 36623 0 0 0 64855 152 0 0 25 0 1 0 638967719 154271744 36475 4294967295 134512640 134714508 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37664 36475 1111 63 0 37601 0
vsize: 150656
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 36928 0 0 0 65854 153 0 0 25 0 1 0 638967719 155537408 36780 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37973 36780 1111 63 0 37910 0
vsize: 151892
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 37174 0 0 0 66853 154 0 0 25 0 1 0 638967719 156528640 37026 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38215 37026 1111 63 0 38152 0
vsize: 152860
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 37465 0 0 0 67852 155 0 0 25 0 1 0 638967719 157810688 37317 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38528 37317 1111 63 0 38465 0
vsize: 154112
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 37706 0 0 0 68851 157 0 0 25 0 1 0 638967719 158760960 37558 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38760 37558 1111 63 0 38697 0
vsize: 155040
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 37995 0 0 0 69850 158 0 0 25 0 1 0 638967719 159842304 37847 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39024 37847 1111 63 0 38961 0
vsize: 156096
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 38234 0 0 0 70849 159 0 0 25 0 1 0 638967719 160952320 38082 4294967295 134512640 134714508 3221221776 3221220328 134696461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39295 38082 1111 63 0 39232 0
vsize: 157180
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 38498 0 0 0 71848 160 0 0 25 0 1 0 638967719 162054144 38345 4294967295 134512640 134714508 3221221776 3221220404 134696245 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39564 38345 1111 63 0 39501 0
vsize: 158256
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 38762 0 0 0 72847 162 0 0 25 0 1 0 638967719 163024896 38605 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39801 38605 1111 63 0 39738 0
vsize: 159204
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 38990 0 0 0 73846 163 0 0 25 0 1 0 638967719 163971072 38833 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40032 38833 1111 63 0 39969 0
vsize: 160128
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 39292 0 0 0 74845 164 0 0 25 0 1 0 638967719 165232640 39133 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40340 39133 1111 63 0 40277 0
vsize: 161360
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 39570 0 0 0 75844 165 0 0 25 0 1 0 638967719 166404096 39410 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40626 39410 1111 63 0 40563 0
vsize: 162504
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 39867 0 0 0 76842 167 0 0 25 0 1 0 638967719 167759872 39707 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40957 39707 1111 63 0 40894 0
vsize: 163828
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 40125 0 0 0 77841 168 0 0 25 0 1 0 638967719 168767488 39965 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41203 39965 1111 63 0 41140 0
vsize: 164812
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 40400 0 0 0 78840 169 0 0 25 0 1 0 638967719 169926656 40238 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41486 40238 1111 63 0 41423 0
vsize: 165944
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 40645 0 0 0 79839 171 0 0 25 0 1 0 638967719 170889216 40482 4294967295 134512640 134714508 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41721 40482 1111 63 0 41658 0
vsize: 166884
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 40824 0 0 0 80838 171 0 0 25 0 1 0 638967719 171630592 40660 4294967295 134512640 134714508 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41902 40660 1111 63 0 41839 0
vsize: 167608
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 41149 0 0 0 81837 173 0 0 25 0 1 0 638967719 172982272 40985 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42232 40985 1111 63 0 42169 0
vsize: 168928
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 41540 0 0 0 82836 174 0 0 25 0 1 0 638967719 174604288 41376 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42628 41376 1111 63 0 42565 0
vsize: 170512
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 41825 0 0 0 83835 175 0 0 25 0 1 0 638967719 175886336 41657 4294967295 134512640 134714508 3221221776 3221220512 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42941 41657 1111 63 0 42878 0
vsize: 171764
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 42148 0 0 0 84834 177 0 0 25 0 1 0 638967719 177238016 41979 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43271 41979 1111 63 0 43208 0
vsize: 173084
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 42475 0 0 0 85832 178 0 0 25 0 1 0 638967719 178454528 42306 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43568 42306 1111 63 0 43505 0
vsize: 174272
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.99 3/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 42708 0 0 0 86831 180 0 0 25 0 1 0 638967719 179585024 42537 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43844 42537 1111 63 0 43781 0
vsize: 175376
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 42888 0 0 0 87830 181 0 0 25 0 1 0 638967719 180260864 42717 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44009 42717 1111 63 0 43946 0
vsize: 176036
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43053 0 0 0 88829 182 0 0 25 0 1 0 638967719 180867072 42881 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44157 42881 1111 63 0 44094 0
vsize: 176628
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43238 0 0 0 89828 183 0 0 25 0 1 0 638967719 181542912 43064 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44322 43064 1111 63 0 44259 0
vsize: 177288
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43387 0 0 0 90828 184 0 0 25 0 1 0 638967719 182218752 43213 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44487 43213 1111 63 0 44424 0
vsize: 177948
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43561 0 0 0 91827 185 0 0 25 0 1 0 638967719 182894592 43387 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44652 43387 1111 63 0 44589 0
vsize: 178608
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.99 4/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43746 0 0 0 92826 187 0 0 25 0 1 0 638967719 183574528 43572 4294967295 134512640 134714508 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44818 43572 1111 63 0 44755 0
vsize: 179272
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43944 0 0 0 93825 188 0 0 25 0 1 0 638967719 184401920 43770 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45020 43770 1111 63 0 44957 0
vsize: 180080
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44168 0 0 0 94824 189 0 0 25 0 1 0 638967719 185212928 43994 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45218 43994 1111 63 0 45155 0
vsize: 180872
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44385 0 0 0 95823 190 0 0 25 0 1 0 638967719 186208256 44207 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45461 44207 1111 63 0 45398 0
vsize: 181844
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44553 0 0 0 96822 191 0 0 25 0 1 0 638967719 186802176 44375 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45606 44375 1111 63 0 45543 0
vsize: 182424
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44687 0 0 0 97821 192 0 0 25 0 1 0 638967719 187535360 44509 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45785 44509 1111 63 0 45722 0
vsize: 183140
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44840 0 0 0 98821 193 0 0 25 0 1 0 638967719 188076032 44662 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45917 44662 1111 63 0 45854 0
vsize: 183668
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 45103 0 0 0 99820 194 0 0 25 0 1 0 638967719 189222912 44925 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46197 44925 1111 63 0 46134 0
vsize: 184788
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 45419 0 0 0 100819 195 0 0 25 0 1 0 638967719 190574592 45241 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46527 45241 1111 63 0 46464 0
vsize: 186108
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 45664 0 0 0 101818 196 0 0 25 0 1 0 638967719 191520768 45486 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46758 45486 1111 63 0 46695 0
vsize: 187032
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 45842 0 0 0 102817 197 0 0 25 0 1 0 638967719 192397312 45664 4294967295 134512640 134714508 3221221776 3221220352 134549640 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46972 45664 1111 63 0 46909 0
vsize: 187888
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46071 0 0 0 103816 199 0 0 25 0 1 0 638967719 193544192 45889 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47252 45889 1111 63 0 47189 0
vsize: 189008
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46362 0 0 0 104815 200 0 0 25 0 1 0 638967719 194826240 46177 4294967295 134512640 134714508 3221221776 3221220252 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47565 46177 1111 63 0 47502 0
vsize: 190260
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46566 0 0 0 105814 201 0 0 25 0 1 0 638967719 195637248 46381 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47763 46381 1111 63 0 47700 0
vsize: 191052
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46823 0 0 0 106813 202 0 0 25 0 1 0 638967719 196784128 46636 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48043 46636 1111 63 0 47980 0
vsize: 192172
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46985 0 0 0 107812 203 0 0 25 0 1 0 638967719 197459968 46798 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48208 46798 1111 63 0 48145 0
vsize: 192832
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47146 0 0 0 108812 204 0 0 25 0 1 0 638967719 198201344 46958 4294967295 134512640 134714508 3221221776 3221220544 134529113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48389 46958 1111 63 0 48326 0
vsize: 193556
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47290 0 0 0 109811 205 0 0 25 0 1 0 638967719 198942720 47098 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48570 47098 1111 63 0 48507 0
vsize: 194280
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47503 0 0 0 110810 206 0 0 25 0 1 0 638967719 200065024 47296 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48844 47296 1111 63 0 48781 0
vsize: 195376
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47666 0 0 0 111810 206 0 0 25 0 1 0 638967719 201007104 47457 4294967295 134512640 134714508 3221221776 3221220428 134536823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49074 47457 1111 63 0 49011 0
vsize: 196296
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47907 0 0 0 112810 207 0 0 25 0 1 0 638967719 202153984 47694 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49354 47694 1111 63 0 49291 0
vsize: 197416
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48072 0 0 0 113809 208 0 0 25 0 1 0 638967719 202838016 47859 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49521 47859 1111 63 0 49458 0
vsize: 198084
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48184 0 0 0 114809 208 0 0 25 0 1 0 638967719 203243520 47971 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49620 47971 1111 63 0 49557 0
vsize: 198480
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48300 0 0 0 115808 209 0 0 25 0 1 0 638967719 203714560 48085 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49735 48085 1111 63 0 49672 0
vsize: 198940
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48420 0 0 0 116808 209 0 0 25 0 1 0 638967719 204120064 48205 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49834 48205 1111 63 0 49771 0
vsize: 199336
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 22159
Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48420 0 0 0 116808 209 0 0 25 0 1 0 638967719 204120064 48205 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49834 48205 1111 63 0 49771 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.15
CPU user time (s): 1172.96
CPU system time (s): 2.18967
CPU usage (%): 100.012
Max. virtual memory (Kb): 199336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####