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-chnl15_16_pb.cnf.cr.opb
MD5SUM	3f8902c4e8af50006f671e2bddb3e9aa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	17
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	480
Total number of constraints	62
Number of constraints which are clauses	32
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	16
Trace number 23162

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-30 22:40:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=37 boxname=wulflinc31 idbench=5 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3f8902c4e8af50006f671e2bddb3e9aa  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_16_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_16_pb.cnf.cr.opb
IDLAUNCH: 37
/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:        930996 kB
Buffers:         35244 kB
Cached:          46716 kB
SwapCached:        864 kB
Active:          67336 kB
Inactive:        16972 kB
HighTotal:      131008 kB
HighFree:        83272 kB
LowTotal:       903652 kB
LowFree:        847724 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:            2128 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13848 kB
Committed_AS:    63668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-30 22:59:52 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 37 7 1175.13 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 480 variables and 62 constraints.
c After prepocess the problem consists of 480 variables and 62 constraints.
c preprocess terminated 0.112 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.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (runsolver) R 5808 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 626507539 1056768 100 4294967295 134512640 135381576 3221221648 3221216868 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99978 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 3336 0 0 0 982 13 0 0 25 0 1 0 626507539 16711680 3257 4294967295 134512640 134714508 3221221744 3221220056 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4080 3257 1111 63 0 4017 0
vsize: 16320
[startup+20.0009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 4951 0 0 0 1976 18 0 0 25 0 1 0 626507539 23359488 4872 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5703 4872 1111 63 0 5640 0
vsize: 22812
[startup+30.0018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 6355 0 0 0 2971 25 0 0 25 0 1 0 626507539 29171712 6276 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7122 6276 1111 63 0 7059 0
vsize: 28488
[startup+40.0025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 7222 0 0 0 3967 28 0 0 25 0 1 0 626507539 32849920 7143 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8020 7143 1111 63 0 7957 0
vsize: 32080
[startup+50.0039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 8382 0 0 0 4962 34 0 0 25 0 1 0 626507539 37584896 8302 4294967295 134512640 134714508 3221221744 3221220300 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9176 8302 1111 63 0 9113 0
vsize: 36704
[startup+60.0036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 9516 0 0 0 5959 37 0 0 25 0 1 0 626507539 42184704 9434 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10299 9434 1111 63 0 10236 0
vsize: 41196
[startup+70.0047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 10241 0 0 0 6956 40 0 0 25 0 1 0 626507539 45322240 10159 4294967295 134512640 134714508 3221221744 3221220504 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11065 10159 1111 63 0 11002 0
vsize: 44260
[startup+80.0054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 11183 0 0 0 7952 44 0 0 25 0 1 0 626507539 49156096 11096 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12001 11096 1111 63 0 11938 0
vsize: 48004
[startup+90.0064 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 11941 0 0 0 8949 47 0 0 25 0 1 0 626507539 52264960 11854 4294967295 134512640 134714508 3221221744 3221220484 134523855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12760 11854 1111 63 0 12697 0
vsize: 51040
[startup+100.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 12719 0 0 0 9947 50 0 0 25 0 1 0 626507539 55373824 12632 4294967295 134512640 134714508 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13519 12632 1111 63 0 13456 0
vsize: 54076
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 13327 0 0 0 10944 53 0 0 25 0 1 0 626507539 57970688 13239 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14153 13239 1111 63 0 14090 0
vsize: 56612
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 13883 0 0 0 11942 56 0 0 25 0 1 0 626507539 60317696 13795 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14726 13795 1111 63 0 14663 0
vsize: 58904
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 14371 0 0 0 12940 57 0 0 25 0 1 0 626507539 62259200 14283 4294967295 134512640 134714508 3221221744 3221220384 134536700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15200 14283 1111 63 0 15137 0
vsize: 60800
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 14851 0 0 0 13938 59 0 0 25 0 1 0 626507539 64299008 14763 4294967295 134512640 134714508 3221221744 3221220396 134536788 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15698 14763 1111 63 0 15635 0
vsize: 62792
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 15323 0 0 0 14937 61 0 0 25 0 1 0 626507539 66265088 15231 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16178 15231 1111 63 0 16115 0
vsize: 64712
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 16058 0 0 0 15934 64 0 0 25 0 1 0 626507539 69443584 15965 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16954 15965 1111 63 0 16891 0
vsize: 67816
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 17335 0 0 0 16929 69 0 0 25 0 1 0 626507539 74596352 17242 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18212 17242 1111 63 0 18149 0
vsize: 72848
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 18267 0 0 0 17924 74 0 0 25 0 1 0 626507539 78528512 18173 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19172 18173 1111 63 0 19109 0
vsize: 76688
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 18808 0 0 0 18922 76 0 0 25 0 1 0 626507539 80707584 18714 4294967295 134512640 134714508 3221221744 3221220400 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19704 18714 1111 63 0 19641 0
vsize: 78816
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 19969 0 0 0 19918 81 0 0 25 0 1 0 626507539 85438464 19873 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20859 19873 1111 63 0 20796 0
vsize: 83436
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 20605 0 0 0 20915 84 0 0 25 0 1 0 626507539 88006656 20509 4294967295 134512640 134714508 3221221744 3221220300 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21486 20509 1111 63 0 21423 0
vsize: 85944
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 21204 0 0 0 21912 87 0 0 25 0 1 0 626507539 90460160 21108 4294967295 134512640 134714508 3221221744 3221220512 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22085 21108 1111 63 0 22022 0
vsize: 88340
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 21685 0 0 0 22911 89 0 0 25 0 1 0 626507539 92508160 21589 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22585 21589 1111 63 0 22522 0
vsize: 90340
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 22161 0 0 0 23909 91 0 0 25 0 1 0 626507539 94535680 22065 4294967295 134512640 134714508 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23080 22065 1111 63 0 23017 0
vsize: 92320
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 22922 0 0 0 24906 94 0 0 25 0 1 0 626507539 97546240 22826 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23815 22826 1111 63 0 23752 0
vsize: 95260
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 23467 0 0 0 25904 96 0 0 25 0 1 0 626507539 99844096 23371 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24376 23371 1111 63 0 24313 0
vsize: 97504
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 24116 0 0 0 26902 99 0 0 25 0 1 0 626507539 102453248 24020 4294967295 134512640 134714508 3221221744 3221220336 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25013 24020 1111 63 0 24950 0
vsize: 100052
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 24580 0 0 0 27900 100 0 0 25 0 1 0 626507539 104501248 24484 4294967295 134512640 134714508 3221221744 3221220404 134524380 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25513 24484 1111 63 0 25450 0
vsize: 102052
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 25227 0 0 0 28898 103 0 0 25 0 1 0 626507539 107069440 25127 4294967295 134512640 134714508 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26140 25127 1111 63 0 26077 0
vsize: 104560
[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 25830 0 0 0 29896 105 0 0 25 0 1 0 626507539 109551616 25730 4294967295 134512640 134714508 3221221744 3221220528 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26746 25730 1111 63 0 26683 0
vsize: 106984
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 26509 0 0 0 30894 107 0 0 25 0 1 0 626507539 112435200 26409 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27450 26409 1111 63 0 27387 0
vsize: 109800
[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 27000 0 0 0 31892 109 0 0 25 0 1 0 626507539 114544640 26897 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27965 26897 1111 63 0 27902 0
vsize: 111860
[startup+330.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 27322 0 0 0 32891 110 0 0 25 0 1 0 626507539 115957760 27218 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28310 27218 1111 63 0 28247 0
vsize: 113240
[startup+340.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 27711 0 0 0 33891 111 0 0 25 0 1 0 626507539 117518336 27605 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28691 27605 1111 63 0 28628 0
vsize: 114764
[startup+350.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 27947 0 0 0 34890 113 0 0 25 0 1 0 626507539 118476800 27841 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28925 27841 1111 63 0 28862 0
vsize: 115700
[startup+360.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 28993 0 0 0 35885 117 0 0 25 0 1 0 626507539 122920960 28885 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30010 28885 1111 63 0 29947 0
vsize: 120040
[startup+370.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 29666 0 0 0 36883 120 0 0 25 0 1 0 626507539 125624320 29558 4294967295 134512640 134714508 3221221744 3221220508 134552579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30670 29558 1111 63 0 30607 0
vsize: 122680
[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 30194 0 0 0 37881 122 0 0 25 0 1 0 626507539 127922176 30086 4294967295 134512640 134714508 3221221744 3221220516 134529275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31231 30086 1111 63 0 31168 0
vsize: 124924
[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 30662 0 0 0 38879 124 0 0 25 0 1 0 626507539 129716224 30554 4294967295 134512640 134714508 3221221744 3221220232 134697437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31669 30554 1111 63 0 31606 0
vsize: 126676
[startup+400.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 31350 0 0 0 39877 127 0 0 25 0 1 0 626507539 132669440 31240 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32390 31240 1111 63 0 32327 0
vsize: 129560
[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 31798 0 0 0 40875 128 0 0 25 0 1 0 626507539 134561792 31688 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32852 31688 1111 63 0 32789 0
vsize: 131408
[startup+420.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 32191 0 0 0 41874 130 0 0 25 0 1 0 626507539 136048640 32081 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33215 32081 1111 63 0 33152 0
vsize: 132860
[startup+430.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 32735 0 0 0 42871 133 0 0 25 0 1 0 626507539 138383360 32618 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33785 32618 1111 63 0 33722 0
vsize: 135140
[startup+440.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 33108 0 0 0 43869 135 0 0 25 0 1 0 626507539 139890688 32991 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34153 32991 1111 63 0 34090 0
vsize: 136612
[startup+450.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 33467 0 0 0 44868 136 0 0 25 0 1 0 626507539 141377536 33350 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34516 33350 1111 63 0 34453 0
vsize: 138064
[startup+460.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 33856 0 0 0 45866 138 0 0 25 0 1 0 626507539 142925824 33737 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34894 33737 1111 63 0 34831 0
vsize: 139576
[startup+470.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 34253 0 0 0 46865 139 0 0 25 0 1 0 626507539 144621568 34130 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35308 34130 1111 63 0 35245 0
vsize: 141232
[startup+480.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 34584 0 0 0 47864 141 0 0 25 0 1 0 626507539 146067456 34461 4294967295 134512640 134714508 3221221744 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35661 34461 1111 63 0 35598 0
vsize: 142644
[startup+490.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 34888 0 0 0 48863 142 0 0 25 0 1 0 626507539 147357696 34762 4294967295 134512640 134714508 3221221744 3221220528 134529192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35976 34762 1111 63 0 35913 0
vsize: 143904
[startup+500.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 35141 0 0 0 49862 144 0 0 25 0 1 0 626507539 148402176 35012 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36231 35012 1111 63 0 36168 0
vsize: 144924
[startup+510.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 35315 0 0 0 50861 144 0 0 25 0 1 0 626507539 149139456 35184 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36411 35184 1111 63 0 36348 0
vsize: 145644
[startup+520.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 35533 0 0 0 51861 145 0 0 25 0 1 0 626507539 150130688 35400 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36653 35400 1111 63 0 36590 0
vsize: 146612
[startup+530.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 35776 0 0 0 52860 146 0 0 25 0 1 0 626507539 151080960 35641 4294967295 134512640 134714508 3221221744 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36885 35641 1111 63 0 36822 0
vsize: 147540
[startup+540.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 36107 0 0 0 53859 148 0 0 25 0 1 0 626507539 152432640 35972 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37215 35972 1111 63 0 37152 0
vsize: 148860
[startup+550.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 36390 0 0 0 54858 149 0 0 25 0 1 0 626507539 153534464 36251 4294967295 134512640 134714508 3221221744 3221220424 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37484 36251 1111 63 0 37421 0
vsize: 149936
[startup+560.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 36627 0 0 0 55856 150 0 0 25 0 1 0 626507539 154382336 36487 4294967295 134512640 134714508 3221221744 3221220300 134535626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37691 36487 1111 63 0 37628 0
vsize: 150764
[startup+570.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 36964 0 0 0 56854 153 0 0 25 0 1 0 626507539 155734016 36824 4294967295 134512640 134714508 3221221744 3221220516 134529372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38021 36824 1111 63 0 37958 0
vsize: 152084
[startup+580.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 37277 0 0 0 57853 155 0 0 25 0 1 0 626507539 157085696 37137 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38351 37137 1111 63 0 38288 0
vsize: 153404
[startup+590.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 37571 0 0 0 58852 156 0 0 25 0 1 0 626507539 158363648 37430 4294967295 134512640 134714508 3221221744 3221220336 134549702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38663 37430 1111 63 0 38600 0
vsize: 154652
[startup+600.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 37779 0 0 0 59851 156 0 0 25 0 1 0 626507539 159109120 37638 4294967295 134512640 134714508 3221221744 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38845 37638 1111 63 0 38782 0
vsize: 155380
[startup+610.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 37992 0 0 0 60851 157 0 0 25 0 1 0 626507539 160096256 37847 4294967295 134512640 134714508 3221221744 3221220336 134549770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39086 37847 1111 63 0 39023 0
vsize: 156344
[startup+620.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 38197 0 0 0 61851 158 0 0 25 0 1 0 626507539 160772096 38052 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39251 38052 1111 63 0 39188 0
vsize: 157004
[startup+630.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 38427 0 0 0 62850 158 0 0 25 0 1 0 626507539 161718272 38282 4294967295 134512640 134714508 3221221744 3221220528 134529269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39482 38282 1111 63 0 39419 0
vsize: 157928
[startup+640.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 38615 0 0 0 63849 160 0 0 25 0 1 0 626507539 162537472 38468 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39682 38468 1111 63 0 39619 0
vsize: 158728
[startup+650.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 38765 0 0 0 64849 160 0 0 25 0 1 0 626507539 163078144 38618 4294967295 134512640 134714508 3221221744 3221220448 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39814 38618 1111 63 0 39751 0
vsize: 159256
[startup+660.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 39065 0 0 0 65848 161 0 0 25 0 1 0 626507539 164294656 38918 4294967295 134512640 134714508 3221221744 3221220336 134549789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40111 38918 1111 63 0 40048 0
vsize: 160444
[startup+670.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 39304 0 0 0 66847 163 0 0 25 0 1 0 626507539 165240832 39157 4294967295 134512640 134714508 3221221744 3221220340 134535492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40342 39157 1111 63 0 40279 0
vsize: 161368
[startup+680.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 39495 0 0 0 67846 164 0 0 25 0 1 0 626507539 166121472 39348 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40557 39348 1111 63 0 40494 0
vsize: 162228
[startup+690.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 39686 0 0 0 68845 165 0 0 25 0 1 0 626507539 166920192 39537 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40752 39537 1111 63 0 40689 0
vsize: 163008
[startup+700.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 39851 0 0 0 69845 165 0 0 25 0 1 0 626507539 167714816 39701 4294967295 134512640 134714508 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39701 1111 63 0 40883 0
vsize: 163784
[startup+710.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 40070 0 0 0 70844 166 0 0 25 0 1 0 626507539 168689664 39919 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41184 39919 1111 63 0 41121 0
vsize: 164736
[startup+720.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 40337 0 0 0 71843 168 0 0 25 0 1 0 626507539 169771008 40186 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41448 40186 1111 63 0 41385 0
vsize: 165792
[startup+730.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 40527 0 0 0 72842 168 0 0 25 0 1 0 626507539 170446848 40376 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41613 40376 1111 63 0 41550 0
vsize: 166452
[startup+740.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 40675 0 0 0 73842 169 0 0 25 0 1 0 626507539 171122688 40524 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41778 40524 1111 63 0 41715 0
vsize: 167112
[startup+750.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 41041 0 0 0 74841 170 0 0 25 0 1 0 626507539 172675072 40886 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42157 40886 1111 63 0 42094 0
vsize: 168628
[startup+760.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 41775 0 0 0 75838 173 0 0 25 0 1 0 626507539 175648768 41620 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42883 41620 1111 63 0 42820 0
vsize: 171532
[startup+770.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 42228 0 0 0 76837 175 0 0 25 0 1 0 626507539 177541120 42073 4294967295 134512640 134714508 3221221744 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43345 42073 1111 63 0 43282 0
vsize: 173380
[startup+780.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 42669 0 0 0 77836 176 0 0 25 0 1 0 626507539 179298304 42514 4294967295 134512640 134714508 3221221744 3221220300 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43774 42514 1111 63 0 43711 0
vsize: 175096
[startup+790.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 43237 0 0 0 78834 179 0 0 25 0 1 0 626507539 181596160 43082 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44335 43082 1111 63 0 44272 0
vsize: 177340
[startup+800.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 43650 0 0 0 79832 180 0 0 25 0 1 0 626507539 183353344 43495 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44764 43495 1111 63 0 44701 0
vsize: 179056
[startup+810.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 44090 0 0 0 80830 182 0 0 25 0 1 0 626507539 185110528 43935 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45193 43935 1111 63 0 45130 0
vsize: 180772
[startup+820.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 44535 0 0 0 81828 185 0 0 25 0 1 0 626507539 186867712 44380 4294967295 134512640 134714508 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45622 44380 1111 63 0 45559 0
vsize: 182488
[startup+830.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 44884 0 0 0 82827 186 0 0 25 0 1 0 626507539 188354560 44729 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45985 44729 1111 63 0 45922 0
vsize: 183940
[startup+840.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 45171 0 0 0 83826 187 0 0 25 0 1 0 626507539 189435904 45016 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46249 45016 1111 63 0 46186 0
vsize: 184996
[startup+850.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 45338 0 0 0 84826 187 0 0 25 0 1 0 626507539 190124032 45182 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46417 45182 1111 63 0 46354 0
vsize: 185668
[startup+860.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 45740 0 0 0 85825 189 0 0 25 0 1 0 626507539 192004096 45578 4294967295 134512640 134714508 3221221744 3221220428 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46876 45578 1111 63 0 46813 0
vsize: 187504
[startup+870.059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 46286 0 0 0 86823 191 0 0 25 0 1 0 626507539 194166784 46124 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47404 46124 1111 63 0 47341 0
vsize: 189616
[startup+880.059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 46594 0 0 0 87822 192 0 0 25 0 1 0 626507539 195383296 46432 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47701 46432 1111 63 0 47638 0
vsize: 190804
[startup+890.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 46994 0 0 0 88821 194 0 0 25 0 1 0 626507539 197005312 46832 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48097 46832 1111 63 0 48034 0
vsize: 192388
[startup+900.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 47260 0 0 0 89820 195 0 0 25 0 1 0 626507539 197951488 47098 4294967295 134512640 134714508 3221221744 3221220320 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48328 47098 1111 63 0 48265 0
vsize: 193312
[startup+910.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 47620 0 0 0 90819 196 0 0 25 0 1 0 626507539 199438336 47458 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48691 47458 1111 63 0 48628 0
vsize: 194764
[startup+920.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 47859 0 0 0 91818 197 0 0 25 0 1 0 626507539 200462336 47697 4294967295 134512640 134714508 3221221744 3221220508 134552557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48941 47697 1111 63 0 48878 0
vsize: 195764
[startup+930.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 48071 0 0 0 92817 198 0 0 25 0 1 0 626507539 201461760 47909 4294967295 134512640 134714508 3221221744 3221220484 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49185 47909 1111 63 0 49122 0
vsize: 196740
[startup+940.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 48375 0 0 0 93816 199 0 0 25 0 1 0 626507539 202792960 48210 4294967295 134512640 134714508 3221221744 3221220528 134528816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49510 48210 1111 63 0 49447 0
vsize: 198040
[startup+950.062 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 48657 0 0 0 94814 201 0 0 25 0 1 0 626507539 203886592 48492 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49777 48492 1111 63 0 49714 0
vsize: 199108
[startup+960.062 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 48877 0 0 0 95814 201 0 0 25 0 1 0 626507539 204832768 48712 4294967295 134512640 134714508 3221221744 3221220448 134528735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50008 48712 1111 63 0 49945 0
vsize: 200032
[startup+970.062 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 49110 0 0 0 96813 202 0 0 25 0 1 0 626507539 205864960 48940 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50260 48940 1111 63 0 50197 0
vsize: 201040
[startup+980.062 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 49391 0 0 0 97812 204 0 0 25 0 1 0 626507539 207081472 49221 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50557 49221 1111 63 0 50494 0
vsize: 202228
[startup+990.063 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 49569 0 0 0 98812 205 0 0 25 0 1 0 626507539 207687680 49399 4294967295 134512640 134714508 3221221744 3221220328 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50705 49399 1111 63 0 50642 0
vsize: 202820
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 49859 0 0 0 99811 206 0 0 25 0 1 0 626507539 208969728 49680 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51018 49680 1111 63 0 50955 0
vsize: 204072
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 50097 0 0 0 100810 206 0 0 25 0 1 0 626507539 210116608 49914 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51298 49914 1111 63 0 51235 0
vsize: 205192
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 50388 0 0 0 101808 209 0 0 25 0 1 0 626507539 211267584 50205 4294967295 134512640 134714508 3221221744 3221220396 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51579 50205 1111 63 0 51516 0
vsize: 206316
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 50549 0 0 0 102807 210 0 0 25 0 1 0 626507539 211808256 50366 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51711 50366 1111 63 0 51648 0
vsize: 206844
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 50754 0 0 0 103807 210 0 0 25 0 1 0 626507539 212684800 50568 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51925 50568 1111 63 0 51862 0
vsize: 207700
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 50969 0 0 0 104806 212 0 0 25 0 1 0 626507539 213762048 50773 4294967295 134512640 134714508 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52188 50773 1111 63 0 52125 0
vsize: 208752
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 51130 0 0 0 105805 212 0 0 25 0 1 0 626507539 214503424 50934 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52369 50934 1111 63 0 52306 0
vsize: 209476
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 51442 0 0 0 106804 213 0 0 25 0 1 0 626507539 215785472 51244 4294967295 134512640 134714508 3221221744 3221220300 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51244 1111 63 0 52619 0
vsize: 210728
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 51808 0 0 0 107804 214 0 0 25 0 1 0 626507539 217272320 51610 4294967295 134512640 134714508 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53045 51610 1111 63 0 52982 0
vsize: 212180
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 52015 0 0 0 108802 216 0 0 25 0 1 0 626507539 218083328 51817 4294967295 134512640 134714508 3221221744 3221220448 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53243 51817 1111 63 0 53180 0
vsize: 212972
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 52178 0 0 0 109802 217 0 0 25 0 1 0 626507539 218759168 51980 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53408 51980 1111 63 0 53345 0
vsize: 213632
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 52392 0 0 0 110801 217 0 0 25 0 1 0 626507539 219664384 52191 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53629 52191 1111 63 0 53566 0
vsize: 214516
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 52581 0 0 0 111801 218 0 0 25 0 1 0 626507539 220475392 52380 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53827 52380 1111 63 0 53764 0
vsize: 215308
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 52797 0 0 0 112800 219 0 0 25 0 1 0 626507539 221286400 52596 4294967295 134512640 134714508 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54025 52596 1111 63 0 53962 0
vsize: 216100
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 53047 0 0 0 113799 220 0 0 25 0 1 0 626507539 222351360 52846 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54285 52846 1111 63 0 54222 0
vsize: 217140
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 53263 0 0 0 114798 221 0 0 25 0 1 0 626507539 223162368 53062 4294967295 134512640 134714508 3221221744 3221220508 134552548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54483 53062 1111 63 0 54420 0
vsize: 217932
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 53422 0 0 0 115798 222 0 0 25 0 1 0 626507539 223842304 53221 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54649 53221 1111 63 0 54586 0
vsize: 218596
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 53703 0 0 0 116797 222 0 0 25 0 1 0 626507539 225034240 53501 4294967295 134512640 134714508 3221221744 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54940 53501 1111 63 0 54877 0
vsize: 219760
[startup+1175 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 5809
Raw data (stat): 5809 (bsolo_lpr) R 5808 3722 3553 0 -1 0 53703 0 0 0 116797 222 0 0 25 0 1 0 626507539 225034240 53501 4294967295 134512640 134714508 3221221744 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54940 53501 1111 63 0 54877 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.13
CPU user time (s): 1172.8
CPU system time (s): 2.33365
CPU usage (%): 100.012
Max. virtual memory (Kb): 219760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####