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_12_sat_pb.cnf.cr.opb
MD5SUM	a8b77e93664627ad0410220dcaf11219
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.05899
Number of variables	252
Total number of constraints	206
Number of constraints which are clauses	180
Number of constraints which are cardinality constraints (but not clauses)	26
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 23307

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 08:17:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=298 boxname=wulflinc31 idbench=34 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a8b77e93664627ad0410220dcaf11219  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_12_sat_pb.cnf.cr.opb
IDLAUNCH: 298
/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:        928192 kB
Buffers:         37732 kB
Cached:          46608 kB
SwapCached:        864 kB
Active:          71664 kB
Inactive:        15096 kB
HighTotal:      131008 kB
HighFree:        83356 kB
LowTotal:       903652 kB
LowFree:        844836 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            14020 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 08:36:40 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 298 7 1175.16 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 252 variables and 206 constraints.
c After prepocess the problem consists of 252 variables and 206 constraints.
c preprocess terminated 0.14 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.80 0.95 0.98 2/54 21624
Raw data (stat): 21624 (runsolver) R 21623 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638609716 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.0011 s]
Raw data (loadavg): 0.83 0.95 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 2994 0 0 0 983 13 0 0 25 0 1 0 638609716 15347712 2915 4294967295 134512640 134714508 3221221776 3221220480 134528724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3747 2915 1111 63 0 3684 0
vsize: 14988
[startup+20.0007 s]
Raw data (loadavg): 0.86 0.95 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 4918 0 0 0 1976 20 0 0 25 0 1 0 638609716 23187456 4839 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5661 4839 1111 63 0 5598 0
vsize: 22644
[startup+30.0016 s]
Raw data (loadavg): 0.88 0.95 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 6003 0 0 0 2972 25 0 0 25 0 1 0 638609716 27652096 5924 4294967295 134512640 134714508 3221221776 3221220388 134523392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6751 5924 1111 63 0 6688 0
vsize: 27004
[startup+40.0019 s]
Raw data (loadavg): 0.90 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 7178 0 0 0 3968 29 0 0 25 0 1 0 638609716 32534528 7099 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7943 7099 1111 63 0 7880 0
vsize: 31772
[startup+50.0029 s]
Raw data (loadavg): 0.91 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 8075 0 0 0 4965 32 0 0 25 0 1 0 638609716 36192256 7995 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8836 7995 1111 63 0 8773 0
vsize: 35344
[startup+60.0034 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 8829 0 0 0 5961 35 0 0 25 0 1 0 638609716 39317504 8749 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9599 8749 1111 63 0 9536 0
vsize: 38396
[startup+70.0037 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 9572 0 0 0 6958 39 0 0 25 0 1 0 638609716 42438656 9492 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10361 9492 1111 63 0 10298 0
vsize: 41444
[startup+80.0043 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 10763 0 0 0 7955 42 0 0 25 0 1 0 638609716 47304704 10683 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11549 10683 1111 63 0 11486 0
vsize: 46196
[startup+90.0042 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 12047 0 0 0 8951 46 0 0 25 0 1 0 638609716 52576256 11967 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12836 11967 1111 63 0 12773 0
vsize: 51344
[startup+100.005 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 13315 0 0 0 9946 51 0 0 25 0 1 0 638609716 57708544 13233 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14089 13233 1111 63 0 14026 0
vsize: 56356
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 14660 0 0 0 10941 57 0 0 25 0 1 0 638609716 63258624 14578 4294967295 134512640 134714508 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15444 14578 1111 63 0 15381 0
vsize: 61776
[startup+120.006 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 16179 0 0 0 11935 62 0 0 25 0 1 0 638609716 69484544 16095 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16964 16095 1111 63 0 16901 0
vsize: 67856
[startup+130.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 16992 0 0 0 12931 67 0 0 25 0 1 0 638609716 72863744 16908 4294967295 134512640 134714508 3221221776 3221220268 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17789 16908 1111 63 0 17726 0
vsize: 71156
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 17606 0 0 0 13928 70 0 0 25 0 1 0 638609716 75440128 17521 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18418 17521 1111 63 0 18355 0
vsize: 73672
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 17996 0 0 0 14926 73 0 0 25 0 1 0 638609716 77066240 17906 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18815 17906 1111 63 0 18752 0
vsize: 75260
[startup+160.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 18754 0 0 0 15922 76 0 0 25 0 1 0 638609716 80314368 18663 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19608 18663 1111 63 0 19545 0
vsize: 78432
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 19189 0 0 0 16920 79 0 0 25 0 1 0 638609716 82100224 19096 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20044 19096 1111 63 0 19981 0
vsize: 80176
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 19519 0 0 0 17919 80 0 0 25 0 1 0 638609716 83472384 19424 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20379 19424 1111 63 0 20316 0
vsize: 81516
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 19902 0 0 0 18918 81 0 0 25 0 1 0 638609716 84996096 19802 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20751 19802 1111 63 0 20688 0
vsize: 83004
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 20212 0 0 0 19917 83 0 0 25 0 1 0 638609716 86384640 20108 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21090 20108 1111 63 0 21027 0
vsize: 84360
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 20468 0 0 0 20916 84 0 0 25 0 1 0 638609716 87465984 20361 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21354 20361 1111 63 0 21291 0
vsize: 85416
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 20942 0 0 0 21913 86 0 0 25 0 1 0 638609716 89366528 20835 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21818 20835 1111 63 0 21755 0
vsize: 87272
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 21230 0 0 0 22912 88 0 0 25 0 1 0 638609716 90447872 21123 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22082 21123 1111 63 0 22019 0
vsize: 88328
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 21530 0 0 0 23910 90 0 0 25 0 1 0 638609716 91705344 21421 4294967295 134512640 134714508 3221221776 3221220448 1076647554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22389 21421 1111 63 0 22326 0
vsize: 89556
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 21795 0 0 0 24910 91 0 0 25 0 1 0 638609716 92786688 21686 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22653 21686 1111 63 0 22590 0
vsize: 90612
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 23422 0 0 0 25905 96 0 0 25 0 1 0 638609716 99549184 23313 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24304 23313 1111 63 0 24241 0
vsize: 97216
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 24676 0 0 0 26900 100 0 0 25 0 1 0 638609716 104689664 24567 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25559 24567 1111 63 0 25496 0
vsize: 102236
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 25462 0 0 0 27898 103 0 0 25 0 1 0 638609716 107933696 25352 4294967295 134512640 134714508 3221221776 3221220480 134528749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26351 25352 1111 63 0 26288 0
vsize: 105404
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 26012 0 0 0 28896 105 0 0 25 0 1 0 638609716 110129152 25900 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26887 25900 1111 63 0 26824 0
vsize: 107548
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 26336 0 0 0 29895 106 0 0 25 0 1 0 638609716 111505408 26224 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27223 26224 1111 63 0 27160 0
vsize: 108892
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 26646 0 0 0 30894 107 0 0 25 0 1 0 638609716 112857088 26534 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27553 26534 1111 63 0 27490 0
vsize: 110212
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 26940 0 0 0 31893 108 0 0 25 0 1 0 638609716 114020352 26827 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27837 26827 1111 63 0 27774 0
vsize: 111348
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 27172 0 0 0 32893 109 0 0 25 0 1 0 638609716 115040256 27055 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28086 27055 1111 63 0 28023 0
vsize: 112344
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 27382 0 0 0 33892 110 0 0 25 0 1 0 638609716 115851264 27265 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28284 27265 1111 63 0 28221 0
vsize: 113136
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 27639 0 0 0 34891 111 0 0 25 0 1 0 638609716 116801536 27521 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28516 27521 1111 63 0 28453 0
vsize: 114064
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 27856 0 0 0 35890 112 0 0 25 0 1 0 638609716 117747712 27738 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28747 27738 1111 63 0 28684 0
vsize: 114988
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28049 0 0 0 36890 112 0 0 25 0 1 0 638609716 118423552 27931 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28912 27931 1111 63 0 28849 0
vsize: 115648
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28221 0 0 0 37890 113 0 0 25 0 1 0 638609716 119136256 28103 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29086 28103 1111 63 0 29023 0
vsize: 116344
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28426 0 0 0 38889 114 0 0 25 0 1 0 638609716 119975936 28308 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29291 28308 1111 63 0 29228 0
vsize: 117164
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28613 0 0 0 39888 115 0 0 25 0 1 0 638609716 120676352 28495 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29462 28495 1111 63 0 29399 0
vsize: 117848
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28802 0 0 0 40887 116 0 0 25 0 1 0 638609716 121401344 28684 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29639 28684 1111 63 0 29576 0
vsize: 118556
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29015 0 0 0 41887 117 0 0 25 0 1 0 638609716 122392576 28896 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29881 28896 1111 63 0 29818 0
vsize: 119524
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29197 0 0 0 42886 118 0 0 25 0 1 0 638609716 123068416 29078 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30046 29078 1111 63 0 29983 0
vsize: 120184
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29394 0 0 0 43886 118 0 0 25 0 1 0 638609716 123949056 29273 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30261 29273 1111 63 0 30198 0
vsize: 121044
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29595 0 0 0 44885 119 0 0 25 0 1 0 638609716 124760064 29474 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30459 29474 1111 63 0 30396 0
vsize: 121836
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29845 0 0 0 45884 120 0 0 25 0 1 0 638609716 125841408 29724 4294967295 134512640 134714508 3221221776 3221220444 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30723 29724 1111 63 0 30660 0
vsize: 122892
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30071 0 0 0 46883 122 0 0 25 0 1 0 638609716 126783488 29950 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30953 29950 1111 63 0 30890 0
vsize: 123812
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30276 0 0 0 47882 123 0 0 25 0 1 0 638609716 127651840 30154 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31165 30154 1111 63 0 31102 0
vsize: 124660
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30464 0 0 0 48881 124 0 0 25 0 1 0 638609716 128462848 30342 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31363 30342 1111 63 0 31300 0
vsize: 125452
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30659 0 0 0 49881 124 0 0 25 0 1 0 638609716 129138688 30537 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31528 30537 1111 63 0 31465 0
vsize: 126112
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30911 0 0 0 50879 126 0 0 25 0 1 0 638609716 130220032 30789 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31792 30789 1111 63 0 31729 0
vsize: 127168
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31122 0 0 0 51878 127 0 0 25 0 1 0 638609716 131211264 30997 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32034 30997 1111 63 0 31971 0
vsize: 128136
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31276 0 0 0 52878 128 0 0 25 0 1 0 638609716 131751936 31151 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32166 31151 1111 63 0 32103 0
vsize: 128664
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31434 0 0 0 53877 129 0 0 25 0 1 0 638609716 132427776 31309 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32331 31309 1111 63 0 32268 0
vsize: 129324
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31641 0 0 0 54876 130 0 0 25 0 1 0 638609716 133238784 31516 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32529 31516 1111 63 0 32466 0
vsize: 130116
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31838 0 0 0 55875 132 0 0 25 0 1 0 638609716 134057984 31710 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32729 31710 1111 63 0 32666 0
vsize: 130916
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32011 0 0 0 56874 133 0 0 25 0 1 0 638609716 134733824 31883 4294967295 134512640 134714508 3221221776 3221220512 134523886 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32894 31883 1111 63 0 32831 0
vsize: 131576
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32221 0 0 0 57873 134 0 0 25 0 1 0 638609716 135589888 32093 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33103 32093 1111 63 0 33040 0
vsize: 132412
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32437 0 0 0 58872 135 0 0 25 0 1 0 638609716 136695808 32302 4294967295 134512640 134714508 3221221776 3221220272 134535335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33373 32302 1111 63 0 33310 0
vsize: 133492
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32647 0 0 0 59871 136 0 0 25 0 1 0 638609716 137728000 32510 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33625 32510 1111 63 0 33562 0
vsize: 134500
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32875 0 0 0 60869 137 0 0 25 0 1 0 638609716 138711040 32738 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33865 32738 1111 63 0 33802 0
vsize: 135460
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 33078 0 0 0 61869 138 0 0 25 0 1 0 638609716 139587584 32941 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34079 32941 1111 63 0 34016 0
vsize: 136316
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 33345 0 0 0 62868 139 0 0 25 0 1 0 638609716 140726272 33208 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34357 33208 1111 63 0 34294 0
vsize: 137428
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 33517 0 0 0 63867 140 0 0 25 0 1 0 638609716 141402112 33380 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34522 33380 1111 63 0 34459 0
vsize: 138088
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 33723 0 0 0 64867 141 0 0 25 0 1 0 638609716 142213120 33586 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34720 33586 1111 63 0 34657 0
vsize: 138880
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34007 0 0 0 65865 142 0 0 25 0 1 0 638609716 143429632 33870 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35017 33870 1111 63 0 34954 0
vsize: 140068
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34269 0 0 0 66865 143 0 0 25 0 1 0 638609716 144605184 34128 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35304 34128 1111 63 0 35241 0
vsize: 141216
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34557 0 0 0 67864 144 0 0 25 0 1 0 638609716 146018304 34415 4294967295 134512640 134714508 3221221776 3221220544 134529113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35649 34415 1111 63 0 35586 0
vsize: 142596
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34697 0 0 0 68863 145 0 0 25 0 1 0 638609716 146571264 34555 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35784 34555 1111 63 0 35721 0
vsize: 143136
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34880 0 0 0 69863 146 0 0 25 0 1 0 638609716 147247104 34738 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35949 34738 1111 63 0 35886 0
vsize: 143796
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35051 0 0 0 70862 147 0 0 25 0 1 0 638609716 147922944 34909 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36114 34909 1111 63 0 36051 0
vsize: 144456
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35263 0 0 0 71861 148 0 0 25 0 1 0 638609716 148869120 35121 4294967295 134512640 134714508 3221221776 3221220480 134528647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36345 35121 1111 63 0 36282 0
vsize: 145380
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35439 0 0 0 72860 149 0 0 25 0 1 0 638609716 149544960 35296 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36510 35296 1111 63 0 36447 0
vsize: 146040
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35617 0 0 0 73859 150 0 0 25 0 1 0 638609716 150355968 35474 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36708 35474 1111 63 0 36645 0
vsize: 146832
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35771 0 0 0 74859 150 0 0 25 0 1 0 638609716 150896640 35628 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36840 35628 1111 63 0 36777 0
vsize: 147360
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35971 0 0 0 75858 151 0 0 25 0 1 0 638609716 151707648 35828 4294967295 134512640 134714508 3221221776 3221220472 134528705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37038 35828 1111 63 0 36975 0
vsize: 148152
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36143 0 0 0 76857 152 0 0 25 0 1 0 638609716 152383488 36000 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37203 36000 1111 63 0 37140 0
vsize: 148812
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36327 0 0 0 77857 153 0 0 25 0 1 0 638609716 153231360 36183 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37410 36183 1111 63 0 37347 0
vsize: 149640
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36479 0 0 0 78856 154 0 0 25 0 1 0 638609716 153907200 36335 4294967295 134512640 134714508 3221221776 3221220512 134535728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37575 36335 1111 63 0 37512 0
vsize: 150300
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36652 0 0 0 79856 154 0 0 25 0 1 0 638609716 154583040 36508 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37740 36508 1111 63 0 37677 0
vsize: 150960
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36840 0 0 0 80855 155 0 0 25 0 1 0 638609716 155258880 36696 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37905 36696 1111 63 0 37842 0
vsize: 151620
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37037 0 0 0 81854 156 0 0 25 0 1 0 638609716 156069888 36893 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38103 36893 1111 63 0 38040 0
vsize: 152412
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37201 0 0 0 82853 157 0 0 25 0 1 0 638609716 156786688 37054 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38278 37054 1111 63 0 38215 0
vsize: 153112
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37365 0 0 0 83853 158 0 0 25 0 1 0 638609716 157462528 37218 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38443 37218 1111 63 0 38380 0
vsize: 153772
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37558 0 0 0 84852 159 0 0 25 0 1 0 638609716 158273536 37411 4294967295 134512640 134714508 3221221776 3221220416 134536655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38641 37411 1111 63 0 38578 0
vsize: 154564
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37762 0 0 0 85851 160 0 0 25 0 1 0 638609716 159084544 37615 4294967295 134512640 134714508 3221221776 3221220512 134535821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38839 37615 1111 63 0 38776 0
vsize: 155356
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37998 0 0 0 86850 161 0 0 25 0 1 0 638609716 160067584 37850 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39079 37850 1111 63 0 39016 0
vsize: 156316
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 38191 0 0 0 87850 162 0 0 25 0 1 0 638609716 160878592 38043 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39277 38043 1111 63 0 39214 0
vsize: 157108
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 38372 0 0 0 88848 163 0 0 25 0 1 0 638609716 161554432 38224 4294967295 134512640 134714508 3221221776 3221220368 134549520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39442 38224 1111 63 0 39379 0
vsize: 157768
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 38556 0 0 0 89848 164 0 0 25 0 1 0 638609716 162365440 38408 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39640 38408 1111 63 0 39577 0
vsize: 158560
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 38803 0 0 0 90847 165 0 0 25 0 1 0 638609716 163348480 38653 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39880 38653 1111 63 0 39817 0
vsize: 159520
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39022 0 0 0 91846 166 0 0 25 0 1 0 638609716 164159488 38872 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40078 38872 1111 63 0 40015 0
vsize: 160312
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39232 0 0 0 92845 167 0 0 25 0 1 0 638609716 165105664 39082 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40309 39082 1111 63 0 40246 0
vsize: 161236
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39444 0 0 0 93844 168 0 0 25 0 1 0 638609716 165916672 39294 4294967295 134512640 134714508 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40507 39294 1111 63 0 40444 0
vsize: 162028
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39693 0 0 0 94843 170 0 0 25 0 1 0 638609716 166862848 39543 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40738 39543 1111 63 0 40675 0
vsize: 162952
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39934 0 0 0 95842 171 0 0 25 0 1 0 638609716 167809024 39784 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40969 39784 1111 63 0 40906 0
vsize: 163876
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40174 0 0 0 96841 172 0 0 25 0 1 0 638609716 168890368 40024 4294967295 134512640 134714508 3221221776 3221220332 134535509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41233 40024 1111 63 0 41170 0
vsize: 164932
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40439 0 0 0 97840 173 0 0 25 0 1 0 638609716 169836544 40289 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41464 40289 1111 63 0 41401 0
vsize: 165856
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40667 0 0 0 98839 174 0 0 25 0 1 0 638609716 170782720 40517 4294967295 134512640 134714508 3221221776 3221220348 134535876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41695 40517 1111 63 0 41632 0
vsize: 166780
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40817 0 0 0 99839 175 0 0 25 0 1 0 638609716 171458560 40667 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41860 40667 1111 63 0 41797 0
vsize: 167440
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40957 0 0 0 100839 175 0 0 25 0 1 0 638609716 171999232 40807 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41992 40807 1111 63 0 41929 0
vsize: 167968
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 41102 0 0 0 101839 175 0 0 25 0 1 0 638609716 172572672 40952 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42132 40952 1111 63 0 42069 0
vsize: 168528
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 41271 0 0 0 102838 176 0 0 25 0 1 0 638609716 173252608 41121 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42298 41121 1111 63 0 42235 0
vsize: 169192
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 42320 0 0 0 103835 179 0 0 25 0 1 0 638609716 177577984 42170 4294967295 134512640 134714508 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43354 42170 1111 63 0 43291 0
vsize: 173416
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 43171 0 0 0 104832 182 0 0 25 0 1 0 638609716 181092352 43021 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44212 43021 1111 63 0 44149 0
vsize: 176848
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 43604 0 0 0 105831 184 0 0 25 0 1 0 638609716 182861824 43453 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44644 43453 1111 63 0 44581 0
vsize: 178576
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 43990 0 0 0 106829 185 0 0 25 0 1 0 638609716 184483840 43839 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45040 43839 1111 63 0 44977 0
vsize: 180160
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 44665 0 0 0 107827 188 0 0 25 0 1 0 638609716 187232256 44514 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45711 44514 1111 63 0 45648 0
vsize: 182844
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 45038 0 0 0 108826 190 0 0 25 0 1 0 638609716 188854272 44887 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46107 44887 1111 63 0 46044 0
vsize: 184428
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 45435 0 0 0 109824 191 0 0 25 0 1 0 638609716 190480384 45284 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46504 45284 1111 63 0 46441 0
vsize: 186016
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 45890 0 0 0 110823 193 0 0 25 0 1 0 638609716 192278528 45735 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46943 45735 1111 63 0 46880 0
vsize: 187772
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 46337 0 0 0 111822 194 0 0 25 0 1 0 638609716 194170880 46182 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47405 46182 1111 63 0 47342 0
vsize: 189620
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 46746 0 0 0 112820 196 0 0 25 0 1 0 638609716 195932160 46586 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47835 46586 1111 63 0 47772 0
vsize: 191340
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47123 0 0 0 113819 197 0 0 25 0 1 0 638609716 197435392 46963 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48202 46963 1111 63 0 48139 0
vsize: 192808
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47417 0 0 0 114818 199 0 0 25 0 1 0 638609716 198651904 47257 4294967295 134512640 134714508 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48499 47257 1111 63 0 48436 0
vsize: 193996
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47728 0 0 0 115816 200 0 0 25 0 1 0 638609716 199868416 47568 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48796 47568 1111 63 0 48733 0
vsize: 195184
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47999 0 0 0 116815 201 0 0 25 0 1 0 638609716 200949760 47839 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49060 47839 1111 63 0 48997 0
vsize: 196240
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 21624
Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47999 0 0 0 116815 201 0 0 25 0 1 0 638609716 200949760 47839 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49060 47839 1111 63 0 48997 0
vsize: 0

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