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 39411

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 08:41:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27477 boxname=wulflinc1 idbench=35 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6c5be32f385b6b14a9d33e85ff7013ea  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga14_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga14_13_sat_pb.cnf.cr.opb
IDLAUNCH: 27477
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        293980 kB
Buffers:         34452 kB
Cached:         680988 kB
SwapCached:        668 kB
Active:          70744 kB
Inactive:       647004 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        293728 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17164 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:01:34 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 27477 7 1175.11 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.157 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 3958
Raw data (stat): 3958 (runsolver) R 3957 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 834778470 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99944 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 3062 0 0 0 989 7 0 0 25 0 1 0 834778470 15630336 2980 4294967295 134512640 134716908 3221224560 3221223212 134536791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3816 2981 1111 63 0 3753 0
vsize: 15264
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 4443 0 0 0 1985 12 0 0 25 0 1 0 834778470 21307392 4361 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5202 4361 1111 63 0 5139 0
vsize: 20808
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 5454 0 0 0 2980 17 0 0 25 0 1 0 834778470 25501696 5372 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5372 1111 63 0 6163 0
vsize: 24904
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 6656 0 0 0 3975 22 0 0 25 0 1 0 834778470 30363648 6574 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7413 6574 1111 63 0 7350 0
vsize: 29652
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 8007 0 0 0 4971 27 0 0 25 0 1 0 834778470 35909632 7925 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7925 1111 63 0 8704 0
vsize: 35068
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 9006 0 0 0 5967 30 0 0 25 0 1 0 834778470 39985152 8924 4294967295 134512640 134716908 3221224560 3221223332 134529151 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9762 8924 1111 63 0 9699 0
vsize: 39048
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 9716 0 0 0 6964 33 0 0 25 0 1 0 834778470 42975232 9634 4294967295 134512640 134716908 3221224560 3221223296 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10492 9634 1111 63 0 10429 0
vsize: 41968
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 10204 0 0 0 7963 35 0 0 25 0 1 0 834778470 45010944 10122 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10989 10122 1111 63 0 10926 0
vsize: 43956
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 10654 0 0 0 8961 37 0 0 25 0 1 0 834778470 46931968 10572 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11458 10572 1111 63 0 11395 0
vsize: 45832
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 11125 0 0 0 9960 39 0 0 25 0 1 0 834778470 48848896 11041 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11926 11041 1111 63 0 11863 0
vsize: 47704
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 11653 0 0 0 10957 41 0 0 25 0 1 0 834778470 51073024 11567 4294967295 134512640 134716908 3221224560 3221223148 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12469 11567 1111 63 0 12406 0
vsize: 49876
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 12011 0 0 0 11955 43 0 0 25 0 1 0 834778470 52604928 11924 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12843 11924 1111 63 0 12780 0
vsize: 51372
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 12445 0 0 0 12953 45 0 0 25 0 1 0 834778470 54411264 12358 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13284 12358 1111 63 0 13221 0
vsize: 53136
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 13066 0 0 0 13950 48 0 0 25 0 1 0 834778470 57040896 12979 4294967295 134512640 134716908 3221224560 3221223152 134549818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13926 12979 1111 63 0 13863 0
vsize: 55704
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 13824 0 0 0 14947 52 0 0 25 0 1 0 834778470 60194816 13736 4294967295 134512640 134716908 3221224560 3221223056 134535439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14696 13736 1111 63 0 14633 0
vsize: 58784
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 14829 0 0 0 15943 56 0 0 25 0 1 0 834778470 64282624 14741 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15694 14741 1111 63 0 15631 0
vsize: 62776
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 15584 0 0 0 16940 59 0 0 25 0 1 0 834778470 67420160 15496 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16460 15496 1111 63 0 16397 0
vsize: 65840
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 16409 0 0 0 17937 63 0 0 25 0 1 0 834778470 70799360 16321 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17285 16321 1111 63 0 17222 0
vsize: 69140
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 17133 0 0 0 18935 64 0 0 25 0 1 0 834778470 73773056 17045 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18011 17045 1111 63 0 17948 0
vsize: 72044
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 17815 0 0 0 19932 68 0 0 25 0 1 0 834778470 76476416 17727 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18671 17727 1111 63 0 18608 0
vsize: 74684
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 18351 0 0 0 20930 70 0 0 25 0 1 0 834778470 78774272 18263 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19232 18263 1111 63 0 19169 0
vsize: 76928
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 18847 0 0 0 21927 73 0 0 25 0 1 0 834778470 80801792 18759 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19727 18759 1111 63 0 19664 0
vsize: 78908
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 19271 0 0 0 22925 76 0 0 25 0 1 0 834778470 82456576 19183 4294967295 134512640 134716908 3221224560 3221223144 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20131 19183 1111 63 0 20068 0
vsize: 80524
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 19660 0 0 0 23924 77 0 0 25 0 1 0 834778470 84082688 19572 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20528 19572 1111 63 0 20465 0
vsize: 82112
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 20102 0 0 0 24921 79 0 0 25 0 1 0 834778470 85975040 20014 4294967295 134512640 134716908 3221224560 3221223116 134535942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20990 20014 1111 63 0 20927 0
vsize: 83960
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 20416 0 0 0 25920 81 0 0 25 0 1 0 834778470 87228416 20328 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21296 20328 1111 63 0 21233 0
vsize: 85184
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 20779 0 0 0 26918 83 0 0 25 0 1 0 834778470 88715264 20691 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21659 20691 1111 63 0 21596 0
vsize: 86636
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 21166 0 0 0 27917 85 0 0 25 0 1 0 834778470 90361856 21078 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22061 21078 1111 63 0 21998 0
vsize: 88244
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 21438 0 0 0 28915 86 0 0 25 0 1 0 834778470 91443200 21350 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22325 21350 1111 63 0 22262 0
vsize: 89300
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 21712 0 0 0 29915 87 0 0 25 0 1 0 834778470 92524544 21624 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22589 21624 1111 63 0 22526 0
vsize: 90356
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 22018 0 0 0 30914 88 0 0 25 0 1 0 834778470 93876224 21930 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22919 21930 1111 63 0 22856 0
vsize: 91676
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 22630 0 0 0 31912 90 0 0 25 0 1 0 834778470 96309248 22542 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23513 22542 1111 63 0 23450 0
vsize: 94052
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 23935 0 0 0 32909 93 0 0 25 0 1 0 834778470 101736448 23846 4294967295 134512640 134716908 3221224560 3221223044 134699567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24838 23846 1111 63 0 24775 0
vsize: 99352
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 24970 0 0 0 33906 97 0 0 25 0 1 0 834778470 105979904 24879 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25874 24879 1111 63 0 25811 0
vsize: 103496
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 25536 0 0 0 34904 99 0 0 25 0 1 0 834778470 108429312 25441 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26472 25441 1111 63 0 26409 0
vsize: 105888
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 26131 0 0 0 35902 101 0 0 25 0 1 0 834778470 110891008 26032 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27073 26032 1111 63 0 27010 0
vsize: 108292
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 26549 0 0 0 36901 102 0 0 25 0 1 0 834778470 112730112 26447 4294967295 134512640 134716908 3221224560 3221223116 134535952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27522 26447 1111 63 0 27459 0
vsize: 110088
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 26909 0 0 0 37899 104 0 0 25 0 1 0 834778470 114262016 26805 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27896 26805 1111 63 0 27833 0
vsize: 111584
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 27209 0 0 0 38898 105 0 0 25 0 1 0 834778470 115478528 27105 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28193 27105 1111 63 0 28130 0
vsize: 112772
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 28239 0 0 0 39894 110 0 0 25 0 1 0 834778470 119730176 28131 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29231 28131 1111 63 0 29168 0
vsize: 116924
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 29010 0 0 0 40891 112 0 0 25 0 1 0 834778470 122843136 28902 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29991 28902 1111 63 0 29928 0
vsize: 119964
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 29484 0 0 0 41890 114 0 0 25 0 1 0 834778470 124882944 29373 4294967295 134512640 134716908 3221224560 3221223184 134549517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30489 29373 1111 63 0 30426 0
vsize: 121956
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 29866 0 0 0 42888 116 0 0 25 0 1 0 834778470 126468096 29752 4294967295 134512640 134716908 3221224560 3221223212 134536831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30876 29752 1111 63 0 30813 0
vsize: 123504
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 30622 0 0 0 43885 120 0 0 25 0 1 0 834778470 129478656 30504 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31611 30504 1111 63 0 31548 0
vsize: 126444
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 31143 0 0 0 44882 122 0 0 25 0 1 0 834778470 131641344 31025 4294967295 134512640 134716908 3221224560 3221223212 134536845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32139 31025 1111 63 0 32076 0
vsize: 128556
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 31525 0 0 0 45881 123 0 0 25 0 1 0 834778470 133160960 31406 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32510 31406 1111 63 0 32447 0
vsize: 130040
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 31826 0 0 0 46880 125 0 0 25 0 1 0 834778470 134377472 31707 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32807 31707 1111 63 0 32744 0
vsize: 131228
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 32135 0 0 0 47878 127 0 0 25 0 1 0 834778470 135634944 32011 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33114 32011 1111 63 0 33051 0
vsize: 132456
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 32438 0 0 0 48878 127 0 0 25 0 1 0 834778470 137023488 32313 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33453 32313 1111 63 0 33390 0
vsize: 133812
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 32708 0 0 0 49876 129 0 0 25 0 1 0 834778470 138104832 32583 4294967295 134512640 134716908 3221224560 3221223248 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33717 32583 1111 63 0 33654 0
vsize: 134868
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 32950 0 0 0 50876 130 0 0 25 0 1 0 834778470 139108352 32823 4294967295 134512640 134716908 3221224560 3221223288 134552622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33962 32823 1111 63 0 33899 0
vsize: 135848
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 33168 0 0 0 51875 131 0 0 25 0 1 0 834778470 140001280 33038 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34180 33038 1111 63 0 34117 0
vsize: 136720
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 33368 0 0 0 52874 131 0 0 25 0 1 0 834778470 140677120 33238 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34345 33238 1111 63 0 34282 0
vsize: 137380
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 33660 0 0 0 53874 132 0 0 25 0 1 0 834778470 141996032 33522 4294967295 134512640 134716908 3221224560 3221223136 134549807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34667 33522 1111 63 0 34604 0
vsize: 138668
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 33995 0 0 0 54872 134 0 0 25 0 1 0 834778470 143409152 33855 4294967295 134512640 134716908 3221224560 3221223164 134536839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35012 33855 1111 63 0 34949 0
vsize: 140048
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 34176 0 0 0 55872 134 0 0 25 0 1 0 834778470 144162816 34035 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35196 34035 1111 63 0 35133 0
vsize: 140784
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 34527 0 0 0 56871 136 0 0 25 0 1 0 834778470 145580032 34382 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35542 34382 1111 63 0 35479 0
vsize: 142168
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 35036 0 0 0 57869 138 0 0 25 0 1 0 834778470 147607552 34891 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36037 34891 1111 63 0 35974 0
vsize: 144148
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 35365 0 0 0 58868 139 0 0 25 0 1 0 834778470 148959232 35220 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36367 35220 1111 63 0 36304 0
vsize: 145468
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 35650 0 0 0 59866 141 0 0 25 0 1 0 834778470 150061056 35503 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36636 35503 1111 63 0 36573 0
vsize: 146544
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 35976 0 0 0 60866 141 0 0 25 0 1 0 834778470 151502848 35827 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36988 35827 1111 63 0 36925 0
vsize: 147952
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 36322 0 0 0 61865 142 0 0 25 0 1 0 834778470 152915968 36172 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37333 36172 1111 63 0 37270 0
vsize: 149332
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 36675 0 0 0 62864 144 0 0 25 0 1 0 834778470 154402816 36525 4294967295 134512640 134716908 3221224560 3221223196 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37696 36525 1111 63 0 37633 0
vsize: 150784
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 36964 0 0 0 63862 145 0 0 25 0 1 0 834778470 155668480 36814 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38005 36814 1111 63 0 37942 0
vsize: 152020
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 37241 0 0 0 64862 146 0 0 25 0 1 0 834778470 156860416 37091 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38296 37091 1111 63 0 38233 0
vsize: 153184
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 37507 0 0 0 65860 148 0 0 25 0 1 0 834778470 157941760 37357 4294967295 134512640 134716908 3221224560 3221223344 134529217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38560 37357 1111 63 0 38497 0
vsize: 154240
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 37775 0 0 0 66860 148 0 0 25 0 1 0 834778470 159027200 37625 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38825 37625 1111 63 0 38762 0
vsize: 155300
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 38071 0 0 0 67859 149 0 0 25 0 1 0 834778470 160243712 37919 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39122 37919 1111 63 0 39059 0
vsize: 156488
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 38296 0 0 0 68858 150 0 0 25 0 1 0 834778470 161083392 38142 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39327 38142 1111 63 0 39264 0
vsize: 157308
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 38567 0 0 0 69857 151 0 0 25 0 1 0 834778470 162320384 38412 4294967295 134512640 134716908 3221224560 3221223344 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39629 38412 1111 63 0 39566 0
vsize: 158516
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 38845 0 0 0 70857 152 0 0 25 0 1 0 834778470 163426304 38686 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39899 38686 1111 63 0 39836 0
vsize: 159596
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 39103 0 0 0 71855 154 0 0 25 0 1 0 834778470 164552704 38942 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40174 38942 1111 63 0 40111 0
vsize: 160696
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 39397 0 0 0 72855 154 0 0 25 0 1 0 834778470 165691392 39235 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40452 39235 1111 63 0 40389 0
vsize: 161808
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 39690 0 0 0 73854 155 0 0 25 0 1 0 834778470 166940672 39528 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40757 39528 1111 63 0 40694 0
vsize: 163028
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 39976 0 0 0 74855 156 0 0 25 0 1 0 834778470 168087552 39814 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41037 39814 1111 63 0 40974 0
vsize: 164148
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 40268 0 0 0 75854 157 0 0 25 0 1 0 834778470 169381888 40104 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41353 40104 1111 63 0 41290 0
vsize: 165412
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 40510 0 0 0 76853 158 0 0 25 0 1 0 834778470 170328064 40346 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41584 40346 1111 63 0 41521 0
vsize: 166336
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 40752 0 0 0 77852 159 0 0 25 0 1 0 834778470 171356160 40586 4294967295 134512640 134716908 3221224560 3221223288 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41835 40586 1111 63 0 41772 0
vsize: 167340
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 40979 0 0 0 78850 161 0 0 25 0 1 0 834778470 172302336 40813 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42066 40813 1111 63 0 42003 0
vsize: 168264
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 41379 0 0 0 79849 163 0 0 25 0 1 0 834778470 173924352 41213 4294967295 134512640 134716908 3221224560 3221223236 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42462 41213 1111 63 0 42399 0
vsize: 169848
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 41709 0 0 0 80848 164 0 0 25 0 1 0 834778470 175276032 41543 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42792 41543 1111 63 0 42729 0
vsize: 171168
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 42003 0 0 0 81847 165 0 0 25 0 1 0 834778470 176558080 41832 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43105 41832 1111 63 0 43042 0
vsize: 172420
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 42376 0 0 0 82845 168 0 0 25 0 1 0 834778470 178180096 42205 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43501 42205 1111 63 0 43438 0
vsize: 174004
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 42644 0 0 0 83843 169 0 0 25 0 1 0 834778470 179261440 42473 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43765 42473 1111 63 0 43702 0
vsize: 175060
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 42830 0 0 0 84842 171 0 0 25 0 1 0 834778470 179986432 42657 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43942 42657 1111 63 0 43879 0
vsize: 175768
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 43002 0 0 0 85841 172 0 0 25 0 1 0 834778470 180662272 42829 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44107 42829 1111 63 0 44044 0
vsize: 176428
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 43184 0 0 0 86840 173 0 0 25 0 1 0 834778470 181403648 43008 4294967295 134512640 134716908 3221224560 3221223128 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44288 43008 1111 63 0 44225 0
vsize: 177152
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 43347 0 0 0 87840 174 0 0 25 0 1 0 834778470 182079488 43171 4294967295 134512640 134716908 3221224560 3221223296 134535844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44453 43171 1111 63 0 44390 0
vsize: 177812
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 43529 0 0 0 88839 174 0 0 25 0 1 0 834778470 182755328 43353 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44618 43353 1111 63 0 44555 0
vsize: 178472
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 43713 0 0 0 89838 175 0 0 25 0 1 0 834778470 183570432 43537 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44817 43537 1111 63 0 44754 0
vsize: 179268
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 43908 0 0 0 90837 177 0 0 25 0 1 0 834778470 184262656 43732 4294967295 134512640 134716908 3221224560 3221223152 134549745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44986 43732 1111 63 0 44923 0
vsize: 179944
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 44128 0 0 0 91836 178 0 0 25 0 1 0 834778470 185073664 43952 4294967295 134512640 134716908 3221224560 3221223328 134529113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45184 43952 1111 63 0 45121 0
vsize: 180736
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 44357 0 0 0 92836 178 0 0 25 0 1 0 834778470 186068992 44177 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45427 44177 1111 63 0 45364 0
vsize: 181708
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 44537 0 0 0 93835 180 0 0 25 0 1 0 834778470 186798080 44357 4294967295 134512640 134716908 3221224560 3221223248 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45605 44357 1111 63 0 45542 0
vsize: 182420
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 44671 0 0 0 94834 180 0 0 25 0 1 0 834778470 187396096 44491 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45751 44491 1111 63 0 45688 0
vsize: 183004
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 44832 0 0 0 95834 181 0 0 25 0 1 0 834778470 188071936 44652 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45916 44652 1111 63 0 45853 0
vsize: 183664
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 45079 0 0 0 96833 182 0 0 25 0 1 0 834778470 189218816 44899 4294967295 134512640 134716908 3221224560 3221223220 134523855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46196 44899 1111 63 0 46133 0
vsize: 184784
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 45410 0 0 0 97832 183 0 0 25 0 1 0 834778470 190570496 45230 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46526 45230 1111 63 0 46463 0
vsize: 186104
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 45663 0 0 0 98830 185 0 0 25 0 1 0 834778470 191516672 45483 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46757 45483 1111 63 0 46694 0
vsize: 187028
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 45846 0 0 0 99830 186 0 0 25 0 1 0 834778470 192393216 45666 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46971 45666 1111 63 0 46908 0
vsize: 187884
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 46078 0 0 0 100829 187 0 0 25 0 1 0 834778470 193540096 45894 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47251 45894 1111 63 0 47188 0
vsize: 189004
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 46383 0 0 0 101827 189 0 0 25 0 1 0 834778470 194957312 46196 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47597 46196 1111 63 0 47534 0
vsize: 190388
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 46582 0 0 0 102826 190 0 0 25 0 1 0 834778470 195768320 46395 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47795 46395 1111 63 0 47732 0
vsize: 191180
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 46841 0 0 0 103825 191 0 0 25 0 1 0 834778470 196915200 46652 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48075 46652 1111 63 0 48012 0
vsize: 192300
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 47044 0 0 0 104825 191 0 0 25 0 1 0 834778470 197926912 46854 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48322 46854 1111 63 0 48259 0
vsize: 193288
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 47169 0 0 0 105825 192 0 0 25 0 1 0 834778470 198332416 46979 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48421 46979 1111 63 0 48358 0
vsize: 193684
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 47331 0 0 0 106824 192 0 0 25 0 1 0 834778470 199254016 47133 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48646 47133 1111 63 0 48583 0
vsize: 194584
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3958
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 47556 0 0 0 107824 193 0 0 25 0 1 0 834778470 200531968 47347 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48958 47347 1111 63 0 48895 0
vsize: 195832
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4011
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 47732 0 0 0 108821 195 0 0 25 0 1 0 834778470 201273344 47521 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49139 47521 1111 63 0 49076 0
vsize: 196556
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4011
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 47953 0 0 0 109819 196 0 0 25 0 1 0 834778470 202285056 47738 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49386 47738 1111 63 0 49323 0
vsize: 197544
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4011
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 48094 0 0 0 110819 197 0 0 25 0 1 0 834778470 202833920 47879 4294967295 134512640 134716908 3221224560 3221223356 134554961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49520 47879 1111 63 0 49457 0
vsize: 198080
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4011
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 48213 0 0 0 111819 198 0 0 25 0 1 0 834778470 203374592 47998 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49652 47998 1111 63 0 49589 0
vsize: 198608
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4011
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 48330 0 0 0 112818 198 0 0 25 0 1 0 834778470 203845632 48113 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49767 48113 1111 63 0 49704 0
vsize: 199068
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4011
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 48465 0 0 0 113817 199 0 0 25 0 1 0 834778470 204386304 48248 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49899 48248 1111 63 0 49836 0
vsize: 199596
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4015
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 48602 0 0 0 114816 201 0 0 25 0 1 0 834778470 205025280 48380 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50055 48380 1111 63 0 49992 0
vsize: 200220
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4015
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 48731 0 0 0 115815 201 0 0 25 0 1 0 834778470 205430784 48509 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50154 48509 1111 63 0 50091 0
vsize: 200616
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4015
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 48913 0 0 0 116814 202 0 0 25 0 1 0 834778470 206241792 48690 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50352 48690 1111 63 0 50289 0
vsize: 201408
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4015
Raw data (stat): 3958 (bsolo_lpr-v2) R 3957 8378 8377 0 -1 0 48913 0 0 0 116814 202 0 0 25 0 1 0 834778470 206241792 48690 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50352 48690 1111 63 0 50289 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.11
CPU user time (s): 1172.98
CPU system time (s): 2.12368
CPU usage (%): 100.012
Max. virtual memory (Kb): 201408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####