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-fpga12_10_sat_pb.cnf.cr.opb
MD5SUM	943ed21b69a083554f0cd43700c9a371
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	13
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	180
Total number of constraints	152
Number of constraints which are clauses	130
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 23277

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 02:19:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=244 boxname=wulflinc31 idbench=28 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  943ed21b69a083554f0cd43700c9a371  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_10_sat_pb.cnf.cr.opb
IDLAUNCH: 244
/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:        929008 kB
Buffers:         37280 kB
Cached:          46380 kB
SwapCached:        864 kB
Active:          71508 kB
Inactive:        14520 kB
HighTotal:      131008 kB
HighFree:        83692 kB
LowTotal:       903652 kB
LowFree:        845316 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13976 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 02:38:41 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 244 7 1175.12 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 180 variables and 152 constraints.
c After prepocess the problem consists of 180 variables and 152 constraints.
c preprocess terminated 0.095 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.80 0.95 0.90 2/54 18414
Raw data (stat): 18414 (runsolver) R 18413 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 636461556 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99995 s]
Raw data (loadavg): 0.83 0.95 0.90 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 2370 0 0 0 985 10 0 0 25 0 1 0 636461556 12787712 2291 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2291 1111 63 0 3059 0
vsize: 12488
[startup+20.0011 s]
Raw data (loadavg): 0.86 0.95 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 4131 0 0 0 1979 16 0 0 25 0 1 0 636461556 20090880 4051 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4905 4051 1111 63 0 4842 0
vsize: 19620
[startup+30.0017 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 4938 0 0 0 2975 20 0 0 25 0 1 0 636461556 23359488 4858 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4858 1111 63 0 5640 0
vsize: 22812
[startup+40.0026 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 5541 0 0 0 3973 22 0 0 25 0 1 0 636461556 25960448 5461 4294967295 134512640 134714508 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6338 5461 1111 63 0 6275 0
vsize: 25352
[startup+50.0041 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 6333 0 0 0 4970 25 0 0 25 0 1 0 636461556 29212672 6253 4294967295 134512640 134714508 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6253 1111 63 0 7069 0
vsize: 28528
[startup+60.0035 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 7321 0 0 0 5966 29 0 0 25 0 1 0 636461556 33280000 7241 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8125 7241 1111 63 0 8062 0
vsize: 32500
[startup+70.0044 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 8161 0 0 0 6963 33 0 0 25 0 1 0 636461556 36659200 8081 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8950 8081 1111 63 0 8887 0
vsize: 35800
[startup+80.0046 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 8846 0 0 0 7960 36 0 0 25 0 1 0 636461556 39497728 8765 4294967295 134512640 134714508 3221221776 3221220512 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9643 8765 1111 63 0 9580 0
vsize: 38572
[startup+90.0053 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 9387 0 0 0 8958 38 0 0 25 0 1 0 636461556 41803776 9306 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10206 9306 1111 63 0 10143 0
vsize: 40824
[startup+100.005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 10046 0 0 0 9955 42 0 0 25 0 1 0 636461556 44371968 9965 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10833 9965 1111 63 0 10770 0
vsize: 43332
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 10702 0 0 0 10952 44 0 0 25 0 1 0 636461556 47075328 10621 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11493 10621 1111 63 0 11430 0
vsize: 45972
[startup+120.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 11461 0 0 0 11950 47 0 0 25 0 1 0 636461556 50192384 11379 4294967295 134512640 134714508 3221221776 3221220272 134535330 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12254 11379 1111 63 0 12191 0
vsize: 49016
[startup+130.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 12035 0 0 0 12947 50 0 0 25 0 1 0 636461556 52633600 11950 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12850 11950 1111 63 0 12787 0
vsize: 51400
[startup+140.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 12542 0 0 0 13945 52 0 0 25 0 1 0 636461556 54812672 12457 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13382 12457 1111 63 0 13319 0
vsize: 53528
[startup+150.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 12934 0 0 0 14944 54 0 0 25 0 1 0 636461556 56438784 12849 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13779 12849 1111 63 0 13716 0
vsize: 55116
[startup+160.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 13285 0 0 0 15942 55 0 0 25 0 1 0 636461556 57831424 13196 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14119 13196 1111 63 0 14056 0
vsize: 56476
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 13762 0 0 0 16940 58 0 0 25 0 1 0 636461556 59731968 13673 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14583 13673 1111 63 0 14520 0
vsize: 58332
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 14360 0 0 0 17938 60 0 0 25 0 1 0 636461556 62316544 14271 4294967295 134512640 134714508 3221221776 3221220304 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15214 14271 1111 63 0 15151 0
vsize: 60856
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 15103 0 0 0 18935 63 0 0 25 0 1 0 636461556 65318912 15012 4294967295 134512640 134714508 3221221776 3221220480 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15947 15012 1111 63 0 15884 0
vsize: 63788
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 15688 0 0 0 19932 66 0 0 25 0 1 0 636461556 67776512 15597 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16547 15597 1111 63 0 16484 0
vsize: 66188
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 16047 0 0 0 20930 68 0 0 25 0 1 0 636461556 69373952 15952 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16937 15952 1111 63 0 16874 0
vsize: 67748
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 16384 0 0 0 21929 70 0 0 25 0 1 0 636461556 70729728 16289 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17268 16289 1111 63 0 17205 0
vsize: 69072
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 16663 0 0 0 22928 71 0 0 25 0 1 0 636461556 71835648 16568 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17538 16568 1111 63 0 17475 0
vsize: 70152
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 17288 0 0 0 23926 73 0 0 25 0 1 0 636461556 74465280 17188 4294967295 134512640 134714508 3221221776 3221220272 134535462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18180 17188 1111 63 0 18117 0
vsize: 72720
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 17735 0 0 0 24924 76 0 0 25 0 1 0 636461556 76386304 17633 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18649 17633 1111 63 0 18586 0
vsize: 74596
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 18159 0 0 0 25923 77 0 0 25 0 1 0 636461556 78143488 18052 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19078 18052 1111 63 0 19015 0
vsize: 76312
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 18453 0 0 0 26921 79 0 0 25 0 1 0 636461556 79417344 18346 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19389 18346 1111 63 0 19326 0
vsize: 77556
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 18705 0 0 0 27920 80 0 0 25 0 1 0 636461556 80367616 18597 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19621 18597 1111 63 0 19558 0
vsize: 78484
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 19027 0 0 0 28919 81 0 0 25 0 1 0 636461556 81592320 18918 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19920 18918 1111 63 0 19857 0
vsize: 79680
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 19287 0 0 0 29918 82 0 0 25 0 1 0 636461556 82673664 19178 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20184 19178 1111 63 0 20121 0
vsize: 80736
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 19786 0 0 0 30916 84 0 0 25 0 1 0 636461556 84901888 19672 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20728 19672 1111 63 0 20665 0
vsize: 82912
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 19944 0 0 0 31915 86 0 0 25 0 1 0 636461556 85577728 19830 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20893 19830 1111 63 0 20830 0
vsize: 83572
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 20512 0 0 0 32912 89 0 0 25 0 1 0 636461556 87941120 20396 4294967295 134512640 134714508 3221221776 3221220560 134529192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21470 20396 1111 63 0 21407 0
vsize: 85880
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 21452 0 0 0 33909 93 0 0 25 0 1 0 636461556 91893760 21333 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22435 21333 1111 63 0 22372 0
vsize: 89740
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 22168 0 0 0 34905 96 0 0 25 0 1 0 636461556 94732288 22049 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23128 22049 1111 63 0 23065 0
vsize: 92512
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 23122 0 0 0 35902 100 0 0 25 0 1 0 636461556 98680832 23001 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24092 23001 1111 63 0 24029 0
vsize: 96368
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 23719 0 0 0 36899 103 0 0 25 0 1 0 636461556 101113856 23598 4294967295 134512640 134714508 3221221776 3221220344 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24686 23598 1111 63 0 24623 0
vsize: 98744
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 24280 0 0 0 37897 105 0 0 25 0 1 0 636461556 103415808 24159 4294967295 134512640 134714508 3221221776 3221220348 134535488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25248 24159 1111 63 0 25185 0
vsize: 100992
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 24500 0 0 0 38896 106 0 0 25 0 1 0 636461556 104394752 24379 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25487 24379 1111 63 0 25424 0
vsize: 101948
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 24666 0 0 0 39896 107 0 0 25 0 1 0 636461556 105070592 24545 4294967295 134512640 134714508 3221221776 3221220536 134592430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25652 24545 1111 63 0 25589 0
vsize: 102608
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 25004 0 0 0 40895 108 0 0 25 0 1 0 636461556 106422272 24882 4294967295 134512640 134714508 3221221776 3221220440 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25982 24882 1111 63 0 25919 0
vsize: 103928
[startup+420.019 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 25261 0 0 0 41894 109 0 0 25 0 1 0 636461556 107503616 25139 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26246 25139 1111 63 0 26183 0
vsize: 104984
[startup+430.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 25805 0 0 0 42892 111 0 0 25 0 1 0 636461556 109678592 25682 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26777 25682 1111 63 0 26714 0
vsize: 107108
[startup+440.019 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 26503 0 0 0 43889 114 0 0 25 0 1 0 636461556 112517120 26380 4294967295 134512640 134714508 3221221776 3221220480 134528721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27470 26380 1111 63 0 27407 0
vsize: 109880
[startup+450.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 27481 0 0 0 44884 119 0 0 25 0 1 0 636461556 116436992 27358 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28427 27358 1111 63 0 28364 0
vsize: 113708
[startup+460.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 28165 0 0 0 45882 122 0 0 25 0 1 0 636461556 119279616 28042 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29121 28042 1111 63 0 29058 0
vsize: 116484
[startup+470.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 29015 0 0 0 46878 126 0 0 25 0 1 0 636461556 122798080 28892 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29980 28892 1111 63 0 29917 0
vsize: 119920
[startup+480.022 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 29878 0 0 0 47874 130 0 0 25 0 1 0 636461556 126312448 29755 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30838 29755 1111 63 0 30775 0
vsize: 123352
[startup+490.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 30755 0 0 0 48871 133 0 0 25 0 1 0 636461556 129843200 30631 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31700 30631 1111 63 0 31637 0
vsize: 126800
[startup+500.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 31331 0 0 0 49869 136 0 0 25 0 1 0 636461556 132276224 31207 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32294 31207 1111 63 0 32231 0
vsize: 129176
[startup+510.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 32014 0 0 0 50865 140 0 0 25 0 1 0 636461556 135172096 31888 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33001 31888 1111 63 0 32938 0
vsize: 132004
[startup+520.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 32328 0 0 0 51864 141 0 0 25 0 1 0 636461556 136441856 32199 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33311 32199 1111 63 0 33248 0
vsize: 133244
[startup+530.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 33174 0 0 0 52860 145 0 0 25 0 1 0 636461556 139878400 33044 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34150 33044 1111 63 0 34087 0
vsize: 136600
[startup+540.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 33735 0 0 0 53857 148 0 0 25 0 1 0 636461556 142311424 33605 4294967295 134512640 134714508 3221221776 3221220400 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34744 33605 1111 63 0 34681 0
vsize: 138976
[startup+550.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 34381 0 0 0 54855 150 0 0 25 0 1 0 636461556 144879616 34251 4294967295 134512640 134714508 3221221776 3221220544 134529110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35371 34251 1111 63 0 35308 0
vsize: 141484
[startup+560.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 35168 0 0 0 55852 153 0 0 25 0 1 0 636461556 148123648 35038 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36163 35038 1111 63 0 36100 0
vsize: 144652
[startup+570.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 35820 0 0 0 56850 155 0 0 25 0 1 0 636461556 150691840 35690 4294967295 134512640 134714508 3221221776 3221220464 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36790 35690 1111 63 0 36727 0
vsize: 147160
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 36408 0 0 0 57847 159 0 0 25 0 1 0 636461556 153124864 36278 4294967295 134512640 134714508 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37384 36278 1111 63 0 37321 0
vsize: 149536
[startup+590.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 37229 0 0 0 58844 162 0 0 25 0 1 0 636461556 156512256 37099 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38211 37099 1111 63 0 38148 0
vsize: 152844
[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 37840 0 0 0 59842 164 0 0 25 0 1 0 636461556 159080448 37710 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38838 37710 1111 63 0 38775 0
vsize: 155352
[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 38083 0 0 0 60841 165 0 0 25 0 1 0 636461556 159895552 37952 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39037 37952 1111 63 0 38974 0
vsize: 156148
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 38484 0 0 0 61839 167 0 0 25 0 1 0 636461556 161701888 38351 4294967295 134512640 134714508 3221221776 3221220512 134588000 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39478 38351 1111 63 0 39415 0
vsize: 157912
[startup+630.025 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 38849 0 0 0 62838 169 0 0 25 0 1 0 636461556 163188736 38715 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39841 38715 1111 63 0 39778 0
vsize: 159364
[startup+640.025 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 39255 0 0 0 63836 171 0 0 25 0 1 0 636461556 164970496 39119 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40276 39120 1111 63 0 40213 0
vsize: 161104
[startup+650.025 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 39676 0 0 0 64834 173 0 0 25 0 1 0 636461556 166633472 39538 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40682 39538 1111 63 0 40619 0
vsize: 162728
[startup+660.025 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 40003 0 0 0 65832 174 0 0 25 0 1 0 636461556 168050688 39856 4294967295 134512640 134714508 3221221776 3221220336 134535493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41028 39856 1111 63 0 40965 0
vsize: 164112
[startup+670.024 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 40284 0 0 0 66832 175 0 0 25 0 1 0 636461556 169283584 40137 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41329 40137 1111 63 0 41266 0
vsize: 165316
[startup+680.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 40572 0 0 0 67831 176 0 0 25 0 1 0 636461556 170504192 40422 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41627 40422 1111 63 0 41564 0
vsize: 166508
[startup+690.024 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 40972 0 0 0 68829 178 0 0 25 0 1 0 636461556 172126208 40821 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42023 40821 1111 63 0 41960 0
vsize: 168092
[startup+700.024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 41299 0 0 0 69828 180 0 0 25 0 1 0 636461556 173678592 41139 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42402 41139 1111 63 0 42339 0
vsize: 169608
[startup+710.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 41541 0 0 0 70826 181 0 0 25 0 1 0 636461556 174690304 41374 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42649 41374 1111 63 0 42586 0
vsize: 170596
[startup+720.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 41688 0 0 0 71826 182 0 0 25 0 1 0 636461556 175230976 41521 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42781 41521 1111 63 0 42718 0
vsize: 171124
[startup+730.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 41916 0 0 0 72825 183 0 0 25 0 1 0 636461556 176177152 41749 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43012 41749 1111 63 0 42949 0
vsize: 172048
[startup+740.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 42055 0 0 0 73824 184 0 0 25 0 1 0 636461556 176717824 41888 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43144 41888 1111 63 0 43081 0
vsize: 172576
[startup+750.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 42335 0 0 0 74823 185 0 0 25 0 1 0 636461556 177852416 42167 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43421 42167 1111 63 0 43358 0
vsize: 173684
[startup+760.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 42526 0 0 0 75823 186 0 0 25 0 1 0 636461556 178528256 42358 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43586 42358 1111 63 0 43523 0
vsize: 174344
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 42754 0 0 0 76822 187 0 0 25 0 1 0 636461556 179531776 42586 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43831 42586 1111 63 0 43768 0
vsize: 175324
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 43025 0 0 0 77820 188 0 0 25 0 1 0 636461556 180858880 42856 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44155 42856 1111 63 0 44092 0
vsize: 176620
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 43186 0 0 0 78820 189 0 0 25 0 1 0 636461556 181399552 43017 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44287 43017 1111 63 0 44224 0
vsize: 177148
[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 43414 0 0 0 79819 191 0 0 25 0 1 0 636461556 182480896 43241 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44551 43241 1111 63 0 44488 0
vsize: 178204
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 43604 0 0 0 80819 191 0 0 25 0 1 0 636461556 183308288 43431 4294967295 134512640 134714508 3221221776 3221220548 134529375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44753 43431 1111 63 0 44690 0
vsize: 179012
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 43819 0 0 0 81817 193 0 0 25 0 1 0 636461556 184119296 43646 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44951 43646 1111 63 0 44888 0
vsize: 179804
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 43951 0 0 0 82816 193 0 0 25 0 1 0 636461556 184659968 43778 4294967295 134512640 134714508 3221221776 3221220488 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45083 43778 1111 63 0 45020 0
vsize: 180332
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 44106 0 0 0 83815 195 0 0 25 0 1 0 636461556 185356288 43932 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45253 43932 1111 63 0 45190 0
vsize: 181012
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 44404 0 0 0 84814 196 0 0 25 0 1 0 636461556 186572800 44230 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45550 44230 1111 63 0 45487 0
vsize: 182200
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 44693 0 0 0 85813 197 0 0 25 0 1 0 636461556 187658240 44519 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45815 44519 1111 63 0 45752 0
vsize: 183260
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 44901 0 0 0 86813 198 0 0 25 0 1 0 636461556 188637184 44726 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46054 44726 1111 63 0 45991 0
vsize: 184216
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 45040 0 0 0 87812 199 0 0 25 0 1 0 636461556 189214720 44861 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46195 44861 1111 63 0 46132 0
vsize: 184780
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 45278 0 0 0 88811 200 0 0 25 0 1 0 636461556 190164992 45099 4294967295 134512640 134714508 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46427 45099 1111 63 0 46364 0
vsize: 185708
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 45579 0 0 0 89809 202 0 0 25 0 1 0 636461556 191447040 45395 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46740 45395 1111 63 0 46677 0
vsize: 186960
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 45851 0 0 0 90808 203 0 0 25 0 1 0 636461556 192679936 45666 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47041 45666 1111 63 0 46978 0
vsize: 188164
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 46031 0 0 0 91808 204 0 0 25 0 1 0 636461556 193503232 45842 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47242 45842 1111 63 0 47179 0
vsize: 188968
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 46181 0 0 0 92807 205 0 0 25 0 1 0 636461556 194052096 45991 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47376 45991 1111 63 0 47313 0
vsize: 189504
[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 46312 0 0 0 93806 206 0 0 25 0 1 0 636461556 194609152 46122 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47512 46122 1111 63 0 47449 0
vsize: 190048
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 46436 0 0 0 94805 206 0 0 25 0 1 0 636461556 195186688 46246 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47653 46246 1111 63 0 47590 0
vsize: 190612
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 46523 0 0 0 95805 207 0 0 25 0 1 0 636461556 195457024 46333 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47719 46333 1111 63 0 47656 0
vsize: 190876
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 46622 0 0 0 96805 207 0 0 25 0 1 0 636461556 196063232 46432 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47867 46432 1111 63 0 47804 0
vsize: 191468
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 46749 0 0 0 97805 207 0 0 25 0 1 0 636461556 196612096 46559 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48001 46559 1111 63 0 47938 0
vsize: 192004
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 46911 0 0 0 98804 208 0 0 25 0 1 0 636461556 197152768 46721 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48133 46721 1111 63 0 48070 0
vsize: 192532
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 47082 0 0 0 99804 209 0 0 25 0 1 0 636461556 198094848 46891 4294967295 134512640 134714508 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48363 46891 1111 63 0 48300 0
vsize: 193452
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 47229 0 0 0 100804 209 0 0 25 0 1 0 636461556 198672384 47036 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48504 47036 1111 63 0 48441 0
vsize: 194016
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 47378 0 0 0 101804 210 0 0 25 0 1 0 636461556 199344128 47182 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48668 47182 1111 63 0 48605 0
vsize: 194672
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 47535 0 0 0 102803 210 0 0 25 0 1 0 636461556 200220672 47339 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48882 47339 1111 63 0 48819 0
vsize: 195528
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 47948 0 0 0 103802 212 0 0 25 0 1 0 636461556 201842688 47752 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49278 47752 1111 63 0 49215 0
vsize: 197112
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 48333 0 0 0 104800 214 0 0 25 0 1 0 636461556 203464704 48137 4294967295 134512640 134714508 3221221776 3221220404 134696230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49674 48137 1111 63 0 49611 0
vsize: 198696
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 48646 0 0 0 105798 215 0 0 25 0 1 0 636461556 204681216 48450 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49971 48450 1111 63 0 49908 0
vsize: 199884
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 48922 0 0 0 106797 217 0 0 25 0 1 0 636461556 205897728 48726 4294967295 134512640 134714508 3221221776 3221220364 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50268 48726 1111 63 0 50205 0
vsize: 201072
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 49210 0 0 0 107795 219 0 0 25 0 1 0 636461556 206979072 49014 4294967295 134512640 134714508 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50532 49014 1111 63 0 50469 0
vsize: 202128
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 49488 0 0 0 108793 221 0 0 25 0 1 0 636461556 208195584 49292 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50829 49292 1111 63 0 50766 0
vsize: 203316
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 49786 0 0 0 109792 223 0 0 25 0 1 0 636461556 209412096 49590 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51126 49590 1111 63 0 51063 0
vsize: 204504
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 50056 0 0 0 110791 224 0 0 25 0 1 0 636461556 210493440 49860 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51390 49860 1111 63 0 51327 0
vsize: 205560
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 50251 0 0 0 111790 225 0 0 25 0 1 0 636461556 211243008 50052 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51573 50052 1111 63 0 51510 0
vsize: 206292
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 50474 0 0 0 112789 226 0 0 25 0 1 0 636461556 212189184 50275 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51804 50275 1111 63 0 51741 0
vsize: 207216
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 50638 0 0 0 113789 227 0 0 25 0 1 0 636461556 212865024 50439 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51969 50439 1111 63 0 51906 0
vsize: 207876
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 50812 0 0 0 114788 228 0 0 25 0 1 0 636461556 213540864 50613 4294967295 134512640 134714508 3221221776 3221220484 134528750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52134 50613 1111 63 0 52071 0
vsize: 208536
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 50947 0 0 0 115788 228 0 0 25 0 1 0 636461556 214081536 50748 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52266 50748 1111 63 0 52203 0
vsize: 209064
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 51243 0 0 0 116786 230 0 0 25 0 1 0 636461556 215298048 51044 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52563 51044 1111 63 0 52500 0
vsize: 210252
[startup+1174.99 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 18414
Raw data (stat): 18414 (bsolo_lpr) R 18413 7876 7672 0 -1 0 51243 0 0 0 116786 230 0 0 25 0 1 0 636461556 215298048 51044 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52563 51044 1111 63 0 52500 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.12
CPU user time (s): 1172.72
CPU system time (s): 2.40064
CPU usage (%): 100.011
Max. virtual memory (Kb): 210252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####