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-fpga11_9_sat_pb.cnf.cr.opb
MD5SUM	489d094bb23422a6c4624d745553a200
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	12
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.050991
Number of variables	149
Total number of constraints	128
Number of constraints which are clauses	108
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	11
Trace number 23272

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 01:19:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=235 boxname=wulflinc31 idbench=27 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  489d094bb23422a6c4624d745553a200  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb
IDLAUNCH: 235
/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:        929144 kB
Buffers:         37208 kB
Cached:          46316 kB
SwapCached:        864 kB
Active:          71464 kB
Inactive:        14444 kB
HighTotal:      131008 kB
HighFree:        83748 kB
LowTotal:       903652 kB
LowFree:        845396 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            14012 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 01:39:03 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 235 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 149 variables and 128 constraints.
c After prepocess the problem consists of 149 variables and 128 constraints.
c preprocess terminated 0.076 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.73 0.91 0.89 2/54 17879
Raw data (stat): 17879 (runsolver) R 17878 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 636103681 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+10.0004 s]
Raw data (loadavg): 0.77 0.91 0.89 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 2419 0 0 0 984 11 0 0 25 0 1 0 636103681 13045760 2340 4294967295 134512640 134714508 3221221776 3221220536 134543541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2340 1111 63 0 3122 0
vsize: 12740
[startup+20.0012 s]
Raw data (loadavg): 0.81 0.91 0.89 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 3638 0 0 0 1978 17 0 0 25 0 1 0 636103681 18063360 3558 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3558 1111 63 0 4347 0
vsize: 17640
[startup+30.0012 s]
Raw data (loadavg): 0.84 0.92 0.89 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 4371 0 0 0 2974 21 0 0 25 0 1 0 636103681 21037056 4291 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5136 4291 1111 63 0 5073 0
vsize: 20544
[startup+40.0021 s]
Raw data (loadavg): 0.86 0.92 0.89 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 4673 0 0 0 3972 23 0 0 25 0 1 0 636103681 22253568 4593 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5433 4593 1111 63 0 5370 0
vsize: 21732
[startup+50.0033 s]
Raw data (loadavg): 0.88 0.92 0.89 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 4961 0 0 0 4971 24 0 0 25 0 1 0 636103681 23474176 4881 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5731 4881 1111 63 0 5668 0
vsize: 22924
[startup+60.0029 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 5306 0 0 0 5970 26 0 0 25 0 1 0 636103681 24825856 5226 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6061 5226 1111 63 0 5998 0
vsize: 24244
[startup+70.0038 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 5717 0 0 0 6968 28 0 0 25 0 1 0 636103681 26583040 5637 4294967295 134512640 134714508 3221221776 3221220540 134552693 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6490 5637 1111 63 0 6427 0
vsize: 25960
[startup+80.0038 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 6388 0 0 0 7965 31 0 0 25 0 1 0 636103681 29302784 6308 4294967295 134512640 134714508 3221221776 3221220496 134535767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7154 6308 1111 63 0 7091 0
vsize: 28616
[startup+90.0037 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 7052 0 0 0 8962 34 0 0 25 0 1 0 636103681 32022528 6971 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7818 6971 1111 63 0 7755 0
vsize: 31272
[startup+100.004 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 7490 0 0 0 9959 37 0 0 25 0 1 0 636103681 33816576 7408 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8256 7408 1111 63 0 8193 0
vsize: 33024
[startup+110.004 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 7930 0 0 0 10957 39 0 0 25 0 1 0 636103681 35745792 7847 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8727 7847 1111 63 0 8664 0
vsize: 34908
[startup+120.005 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 8275 0 0 0 11956 41 0 0 25 0 1 0 636103681 37117952 8192 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9062 8192 1111 63 0 8999 0
vsize: 36248
[startup+130.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 8647 0 0 0 12955 42 0 0 25 0 1 0 636103681 38744064 8562 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9459 8562 1111 63 0 9396 0
vsize: 37836
[startup+140.005 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 9203 0 0 0 13952 45 0 0 25 0 1 0 636103681 41058304 9118 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10024 9118 1111 63 0 9961 0
vsize: 40096
[startup+150.005 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 9919 0 0 0 14950 47 0 0 25 0 1 0 636103681 44032000 9834 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10750 9834 1111 63 0 10687 0
vsize: 43000
[startup+160.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 10484 0 0 0 15948 50 0 0 25 0 1 0 636103681 46366720 10399 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11320 10399 1111 63 0 11257 0
vsize: 45280
[startup+170.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 11066 0 0 0 16945 53 0 0 25 0 1 0 636103681 48799744 10981 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11914 10981 1111 63 0 11851 0
vsize: 47656
[startup+180.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 11667 0 0 0 17942 56 0 0 25 0 1 0 636103681 51232768 11582 4294967295 134512640 134714508 3221221776 3221220400 134696358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12508 11582 1111 63 0 12445 0
vsize: 50032
[startup+190.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 12218 0 0 0 18940 58 0 0 25 0 1 0 636103681 53551104 12131 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13074 12131 1111 63 0 13011 0
vsize: 52296
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 12856 0 0 0 19937 61 0 0 25 0 1 0 636103681 56119296 12769 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13701 12769 1111 63 0 13638 0
vsize: 54804
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 13571 0 0 0 20935 64 0 0 25 0 1 0 636103681 59092992 13484 4294967295 134512640 134714508 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14427 13484 1111 63 0 14364 0
vsize: 57708
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 14158 0 0 0 21932 67 0 0 25 0 1 0 636103681 61554688 14071 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15028 14071 1111 63 0 14965 0
vsize: 60112
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 14676 0 0 0 22930 69 0 0 25 0 1 0 636103681 63717376 14589 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15556 14589 1111 63 0 15493 0
vsize: 62224
[startup+240.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 15321 0 0 0 23928 71 0 0 25 0 1 0 636103681 66351104 15232 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16199 15232 1111 63 0 16136 0
vsize: 64796
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 16066 0 0 0 24925 74 0 0 25 0 1 0 636103681 69459968 15977 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16958 15977 1111 63 0 16895 0
vsize: 67832
[startup+260.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 16638 0 0 0 25923 77 0 0 25 0 1 0 636103681 71770112 16549 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17522 16549 1111 63 0 17459 0
vsize: 70088
[startup+270.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 17123 0 0 0 26921 79 0 0 25 0 1 0 636103681 73797632 17034 4294967295 134512640 134714508 3221221776 3221220304 134535385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18017 17034 1111 63 0 17954 0
vsize: 72068
[startup+280.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 17650 0 0 0 27919 81 0 0 25 0 1 0 636103681 76005376 17559 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18556 17559 1111 63 0 18493 0
vsize: 74224
[startup+290.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 18139 0 0 0 28916 83 0 0 25 0 1 0 636103681 78032896 18048 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18048 1111 63 0 18988 0
vsize: 76204
[startup+300.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 18504 0 0 0 29915 85 0 0 25 0 1 0 636103681 79519744 18413 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19414 18413 1111 63 0 19351 0
vsize: 77656
[startup+310.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 19092 0 0 0 30912 88 0 0 25 0 1 0 636103681 81965056 18998 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20011 18998 1111 63 0 19948 0
vsize: 80044
[startup+320.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 19610 0 0 0 31909 91 0 0 25 0 1 0 636103681 83992576 19516 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20506 19516 1111 63 0 20443 0
vsize: 82024
[startup+330.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 20104 0 0 0 32906 94 0 0 25 0 1 0 636103681 86044672 20008 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21007 20008 1111 63 0 20944 0
vsize: 84028
[startup+340.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 20481 0 0 0 33905 96 0 0 25 0 1 0 636103681 87666688 20385 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21403 20385 1111 63 0 21340 0
vsize: 85612
[startup+350.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 21059 0 0 0 34902 99 0 0 25 0 1 0 636103681 90025984 20961 4294967295 134512640 134714508 3221221776 3221220448 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21979 20961 1111 63 0 21916 0
vsize: 87916
[startup+360.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 21532 0 0 0 35899 102 0 0 25 0 1 0 636103681 91918336 21434 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22441 21434 1111 63 0 22378 0
vsize: 89764
[startup+370.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 21945 0 0 0 36898 104 0 0 25 0 1 0 636103681 93675520 21847 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22870 21847 1111 63 0 22807 0
vsize: 91480
[startup+380.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 22454 0 0 0 37896 106 0 0 25 0 1 0 636103681 95735808 22353 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23373 22353 1111 63 0 23310 0
vsize: 93492
[startup+390.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 22949 0 0 0 38894 108 0 0 25 0 1 0 636103681 97763328 22848 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23868 22848 1111 63 0 23805 0
vsize: 95472
[startup+400.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 23361 0 0 0 39892 110 0 0 25 0 1 0 636103681 99520512 23260 4294967295 134512640 134714508 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24297 23260 1111 63 0 24234 0
vsize: 97188
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 23736 0 0 0 40891 111 0 0 25 0 1 0 636103681 101011456 23635 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24661 23635 1111 63 0 24598 0
vsize: 98644
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 24067 0 0 0 41890 112 0 0 25 0 1 0 636103681 102363136 23966 4294967295 134512640 134714508 3221221776 3221220520 134551601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24991 23966 1111 63 0 24928 0
vsize: 99964
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 24615 0 0 0 42888 114 0 0 25 0 1 0 636103681 104566784 24510 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25529 24510 1111 63 0 25466 0
vsize: 102116
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 25059 0 0 0 43886 117 0 0 25 0 1 0 636103681 106471424 24954 4294967295 134512640 134714508 3221221776 3221220540 134552557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25994 24954 1111 63 0 25931 0
vsize: 103976
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 25445 0 0 0 44884 119 0 0 25 0 1 0 636103681 107958272 25340 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26357 25340 1111 63 0 26294 0
vsize: 105428
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 25954 0 0 0 45882 121 0 0 25 0 1 0 636103681 110120960 25849 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26885 25849 1111 63 0 26822 0
vsize: 107540
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 26427 0 0 0 46880 123 0 0 25 0 1 0 636103681 112025600 26322 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27350 26322 1111 63 0 27287 0
vsize: 109400
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 26846 0 0 0 47878 125 0 0 25 0 1 0 636103681 113725440 26740 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27765 26740 1111 63 0 27702 0
vsize: 111060
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 27222 0 0 0 48876 127 0 0 25 0 1 0 636103681 115347456 27116 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28161 27116 1111 63 0 28098 0
vsize: 112644
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 27552 0 0 0 49875 129 0 0 25 0 1 0 636103681 116699136 27446 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28491 27446 1111 63 0 28428 0
vsize: 113964
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 27886 0 0 0 50874 130 0 0 25 0 1 0 636103681 118063104 27776 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28824 27776 1111 63 0 28761 0
vsize: 115296
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 28169 0 0 0 51873 132 0 0 25 0 1 0 636103681 119345152 28055 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29137 28055 1111 63 0 29074 0
vsize: 116548
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 28547 0 0 0 52871 133 0 0 25 0 1 0 636103681 120832000 28433 4294967295 134512640 134714508 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29500 28433 1111 63 0 29437 0
vsize: 118000
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 28879 0 0 0 53870 135 0 0 25 0 1 0 636103681 122183680 28765 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29830 28765 1111 63 0 29767 0
vsize: 119320
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 29190 0 0 0 54868 137 0 0 25 0 1 0 636103681 123535360 29076 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30160 29076 1111 63 0 30097 0
vsize: 120640
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 29488 0 0 0 55867 138 0 0 25 0 1 0 636103681 124751872 29373 4294967295 134512640 134714508 3221221776 3221220520 134523854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30457 29373 1111 63 0 30394 0
vsize: 121828
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 29766 0 0 0 56866 139 0 0 25 0 1 0 636103681 125857792 29650 4294967295 134512640 134714508 3221221776 3221220560 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30727 29650 1111 63 0 30664 0
vsize: 122908
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 30056 0 0 0 57865 141 0 0 25 0 1 0 636103681 126976000 29938 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31000 29938 1111 63 0 30937 0
vsize: 124000
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 30375 0 0 0 58864 142 0 0 25 0 1 0 636103681 128327680 30255 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31330 30255 1111 63 0 31267 0
vsize: 125320
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 30625 0 0 0 59863 143 0 0 25 0 1 0 636103681 129409024 30503 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31594 30503 1111 63 0 31531 0
vsize: 126376
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 30968 0 0 0 60862 144 0 0 25 0 1 0 636103681 130809856 30846 4294967295 134512640 134714508 3221221776 3221220464 134528602 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31936 30846 1111 63 0 31873 0
vsize: 127744
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 31264 0 0 0 61861 145 0 0 25 0 1 0 636103681 132026368 31142 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32233 31142 1111 63 0 32170 0
vsize: 128932
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 31532 0 0 0 62859 147 0 0 25 0 1 0 636103681 133107712 31410 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32497 31410 1111 63 0 32434 0
vsize: 129988
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 31819 0 0 0 63858 148 0 0 25 0 1 0 636103681 134324224 31697 4294967295 134512640 134714508 3221221776 3221220428 134536788 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32794 31697 1111 63 0 32731 0
vsize: 131176
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 32069 0 0 0 64857 150 0 0 25 0 1 0 636103681 135282688 31947 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33028 31947 1111 63 0 32965 0
vsize: 132112
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 32299 0 0 0 65856 151 0 0 25 0 1 0 636103681 136228864 32177 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33259 32177 1111 63 0 33196 0
vsize: 133036
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 32533 0 0 0 66855 152 0 0 25 0 1 0 636103681 137211904 32409 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33499 32409 1111 63 0 33436 0
vsize: 133996
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 32751 0 0 0 67854 153 0 0 25 0 1 0 636103681 138162176 32626 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33731 32626 1111 63 0 33668 0
vsize: 134924
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33027 0 0 0 68854 154 0 0 25 0 1 0 636103681 139243520 32898 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33995 32898 1111 63 0 33932 0
vsize: 135980
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33260 0 0 0 69853 155 0 0 25 0 1 0 636103681 140189696 33129 4294967295 134512640 134714508 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34226 33129 1111 63 0 34163 0
vsize: 136904
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33501 0 0 0 70852 156 0 0 25 0 1 0 636103681 141271040 33370 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34490 33370 1111 63 0 34427 0
vsize: 137960
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33735 0 0 0 71851 157 0 0 25 0 1 0 636103681 142217216 33604 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34721 33604 1111 63 0 34658 0
vsize: 138884
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33947 0 0 0 72850 158 0 0 25 0 1 0 636103681 143028224 33816 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34919 33816 1111 63 0 34856 0
vsize: 139676
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 34312 0 0 0 73848 160 0 0 25 0 1 0 636103681 144515072 34181 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35282 34181 1111 63 0 35219 0
vsize: 141128
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 34671 0 0 0 74847 162 0 0 25 0 1 0 636103681 146001920 34540 4294967295 134512640 134714508 3221221776 3221220324 134552003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35645 34540 1111 63 0 35582 0
vsize: 142580
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 35067 0 0 0 75844 164 0 0 25 0 1 0 636103681 147623936 34936 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36041 34936 1111 63 0 35978 0
vsize: 144164
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 35414 0 0 0 76843 166 0 0 25 0 1 0 636103681 148975616 35283 4294967295 134512640 134714508 3221221776 3221220564 134529422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36371 35283 1111 63 0 36308 0
vsize: 145484
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 35786 0 0 0 77841 167 0 0 25 0 1 0 636103681 150597632 35655 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36767 35655 1111 63 0 36704 0
vsize: 147068
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 36080 0 0 0 78840 169 0 0 25 0 1 0 636103681 151678976 35949 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37031 35949 1111 63 0 36968 0
vsize: 148124
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 36376 0 0 0 79839 170 0 0 25 0 1 0 636103681 152895488 36245 4294967295 134512640 134714508 3221221776 3221220560 134529126 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37328 36245 1111 63 0 37265 0
vsize: 149312
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 36705 0 0 0 80838 172 0 0 25 0 1 0 636103681 154255360 36573 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37660 36573 1111 63 0 37597 0
vsize: 150640
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 37124 0 0 0 81836 174 0 0 25 0 1 0 636103681 156012544 36992 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38089 36992 1111 63 0 38026 0
vsize: 152356
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 37477 0 0 0 82835 175 0 0 25 0 1 0 636103681 157364224 37345 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38419 37345 1111 63 0 38356 0
vsize: 153676
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 37821 0 0 0 83834 176 0 0 25 0 1 0 636103681 158851072 37689 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38782 37689 1111 63 0 38719 0
vsize: 155128
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 38161 0 0 0 84832 178 0 0 25 0 1 0 636103681 160202752 38029 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39112 38029 1111 63 0 39049 0
vsize: 156448
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 38404 0 0 0 85831 179 0 0 25 0 1 0 636103681 161349632 38264 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39392 38264 1111 63 0 39329 0
vsize: 157568
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 38617 0 0 0 86830 180 0 0 25 0 1 0 636103681 162160640 38477 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39590 38477 1111 63 0 39527 0
vsize: 158360
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 38842 0 0 0 87830 180 0 0 25 0 1 0 636103681 163209216 38700 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39846 38700 1111 63 0 39783 0
vsize: 159384
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39087 0 0 0 88829 181 0 0 25 0 1 0 636103681 164188160 38941 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40085 38941 1111 63 0 40022 0
vsize: 160340
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39290 0 0 0 89829 182 0 0 25 0 1 0 636103681 164999168 39144 4294967295 134512640 134714508 3221221776 3221220560 134529252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40283 39144 1111 63 0 40220 0
vsize: 161132
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39477 0 0 0 90828 183 0 0 25 0 1 0 636103681 165810176 39331 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40481 39331 1111 63 0 40418 0
vsize: 161924
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39646 0 0 0 91827 184 0 0 25 0 1 0 636103681 166686720 39497 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40695 39497 1111 63 0 40632 0
vsize: 162780
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39829 0 0 0 92827 185 0 0 25 0 1 0 636103681 167378944 39676 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40864 39676 1111 63 0 40801 0
vsize: 163456
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39979 0 0 0 93826 186 0 0 25 0 1 0 636103681 167919616 39826 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40996 39826 1111 63 0 40933 0
vsize: 163984
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40109 0 0 0 94826 186 0 0 25 0 1 0 636103681 168538112 39955 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41147 39955 1111 63 0 41084 0
vsize: 164588
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40223 0 0 0 95825 187 0 0 25 0 1 0 636103681 169078784 40069 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41279 40069 1111 63 0 41216 0
vsize: 165116
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40354 0 0 0 96825 188 0 0 25 0 1 0 636103681 169484288 40200 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41378 40200 1111 63 0 41315 0
vsize: 165512
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40485 0 0 0 97824 189 0 0 25 0 1 0 636103681 170045440 40331 4294967295 134512640 134714508 3221221776 3221220492 134551979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41515 40331 1111 63 0 41452 0
vsize: 166060
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40709 0 0 0 98823 190 0 0 25 0 1 0 636103681 171044864 40555 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41759 40555 1111 63 0 41696 0
vsize: 167036
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40960 0 0 0 99821 192 0 0 25 0 1 0 636103681 172126208 40806 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42023 40806 1111 63 0 41960 0
vsize: 168092
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 41147 0 0 0 100820 193 0 0 25 0 1 0 636103681 172851200 40993 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42200 40993 1111 63 0 42137 0
vsize: 168800
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 41388 0 0 0 101819 194 0 0 25 0 1 0 636103681 173797376 41234 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42431 41234 1111 63 0 42368 0
vsize: 169724
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 41571 0 0 0 102819 195 0 0 25 0 1 0 636103681 174608384 41417 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42629 41417 1111 63 0 42566 0
vsize: 170516
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 41807 0 0 0 103818 196 0 0 25 0 1 0 636103681 175419392 41653 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42827 41653 1111 63 0 42764 0
vsize: 171308
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42007 0 0 0 104817 197 0 0 25 0 1 0 636103681 176230400 41853 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43025 41853 1111 63 0 42962 0
vsize: 172100
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42204 0 0 0 105816 198 0 0 25 0 1 0 636103681 177086464 42050 4294967295 134512640 134714508 3221221776 3221220368 134549616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43234 42050 1111 63 0 43171 0
vsize: 172936
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42355 0 0 0 106816 198 0 0 25 0 1 0 636103681 177762304 42201 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43399 42201 1111 63 0 43336 0
vsize: 173596
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42482 0 0 0 107815 199 0 0 25 0 1 0 636103681 178302976 42328 4294967295 134512640 134714508 3221221776 3221220400 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43531 42328 1111 63 0 43468 0
vsize: 174124
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42597 0 0 0 108815 200 0 0 25 0 1 0 636103681 178733056 42441 4294967295 134512640 134714508 3221221776 3221220540 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43636 42441 1111 63 0 43573 0
vsize: 174544
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42687 0 0 0 109815 200 0 0 25 0 1 0 636103681 179138560 42531 4294967295 134512640 134714508 3221221776 3221220332 134535888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43735 42531 1111 63 0 43672 0
vsize: 174940
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42836 0 0 0 110814 201 0 0 25 0 1 0 636103681 179818496 42676 4294967295 134512640 134714508 3221221776 3221220440 134536851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43901 42676 1111 63 0 43838 0
vsize: 175604
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42970 0 0 0 111814 201 0 0 25 0 1 0 636103681 180359168 42810 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44033 42810 1111 63 0 43970 0
vsize: 176132
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43093 0 0 0 112814 202 0 0 25 0 1 0 636103681 180928512 42932 4294967295 134512640 134714508 3221221776 3221220560 134529341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44172 42932 1111 63 0 44109 0
vsize: 176688
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43233 0 0 0 113813 203 0 0 25 0 1 0 636103681 181469184 43072 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44304 43072 1111 63 0 44241 0
vsize: 177216
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43455 0 0 0 114812 204 0 0 25 0 1 0 636103681 182284288 43293 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44503 43293 1111 63 0 44440 0
vsize: 178012
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43598 0 0 0 115811 205 0 0 25 0 1 0 636103681 182960128 43436 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44668 43436 1111 63 0 44605 0
vsize: 178672
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43828 0 0 0 116810 206 0 0 25 0 1 0 636103681 183939072 43665 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44907 43665 1111 63 0 44844 0
vsize: 179628
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17879
Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43828 0 0 0 116810 206 0 0 25 0 1 0 636103681 183939072 43665 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44907 43665 1111 63 0 44844 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.11
CPU user time (s): 1172.96
CPU system time (s): 2.14967
CPU usage (%): 100.011
Max. virtual memory (Kb): 179628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####