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_11_sat_pb.cnf.cr.opb
MD5SUM	c8e6fe6db41022cd334d76fea54bd93c
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.047992
Number of variables	182
Total number of constraints	154
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	11
Trace number 23267

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 00:19:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=226 boxname=wulflinc31 idbench=26 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c8e6fe6db41022cd334d76fea54bd93c  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_11_sat_pb.cnf.cr.opb
IDLAUNCH: 226
/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:        929236 kB
Buffers:         37132 kB
Cached:          46256 kB
SwapCached:        864 kB
Active:          71420 kB
Inactive:        14376 kB
HighTotal:      131008 kB
HighFree:        83776 kB
LowTotal:       903652 kB
LowFree:        845460 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            14020 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 00:39:24 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 226 7 1175.19 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 182 variables and 154 constraints.
c After prepocess the problem consists of 182 variables and 154 constraints.
c preprocess terminated 0.101 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 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.95 0.96 0.91 2/54 17344
Raw data (stat): 17344 (runsolver) R 17343 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 635745724 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 2821 0 0 0 983 13 0 0 25 0 1 0 635745724 14667776 2742 4294967295 134512640 134714508 3221221776 3221220688 134588491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2742 1111 63 0 3518 0
vsize: 14324
[startup+20.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 3964 0 0 0 1979 17 0 0 25 0 1 0 635745724 19271680 3885 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3885 1111 63 0 4642 0
vsize: 18820
[startup+30.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 5013 0 0 0 2975 21 0 0 25 0 1 0 635745724 23605248 4933 4294967295 134512640 134714508 3221221776 3221220252 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5763 4933 1111 63 0 5700 0
vsize: 23052
[startup+40.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 5663 0 0 0 3972 24 0 0 25 0 1 0 635745724 26333184 5583 4294967295 134512640 134714508 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6429 5583 1111 63 0 6366 0
vsize: 25716
[startup+50.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 6385 0 0 0 4970 26 0 0 25 0 1 0 635745724 29306880 6305 4294967295 134512640 134714508 3221221776 3221220480 134528614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7155 6305 1111 63 0 7092 0
vsize: 28620
[startup+60.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 7030 0 0 0 5967 29 0 0 25 0 1 0 635745724 31887360 6949 4294967295 134512640 134714508 3221221776 3221220272 134535424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7785 6949 1111 63 0 7722 0
vsize: 31140
[startup+70.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 7546 0 0 0 6965 32 0 0 25 0 1 0 635745724 34050048 7465 4294967295 134512640 134714508 3221221776 3221220380 134536771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8313 7465 1111 63 0 8250 0
vsize: 33252
[startup+80.0041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 8373 0 0 0 7961 36 0 0 25 0 1 0 635745724 37441536 8291 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9141 8291 1111 63 0 9078 0
vsize: 36564
[startup+90.0048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 8938 0 0 0 8959 38 0 0 25 0 1 0 635745724 39772160 8856 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9710 8856 1111 63 0 9647 0
vsize: 38840
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 9509 0 0 0 9957 40 0 0 25 0 1 0 635745724 42233856 9425 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10311 9425 1111 63 0 10248 0
vsize: 41244
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 10307 0 0 0 10954 44 0 0 25 0 1 0 635745724 45498368 10223 4294967295 134512640 134714508 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11108 10223 1111 63 0 11045 0
vsize: 44432
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 11189 0 0 0 11951 47 0 0 25 0 1 0 635745724 49016832 11105 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11967 11105 1111 63 0 11904 0
vsize: 47868
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 12185 0 0 0 12947 51 0 0 25 0 1 0 635745724 53223424 12101 4294967295 134512640 134714508 3221221776 3221220416 134696278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12994 12101 1111 63 0 12931 0
vsize: 51976
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 13150 0 0 0 13942 56 0 0 25 0 1 0 635745724 57184256 13064 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13961 13064 1111 63 0 13898 0
vsize: 55844
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 13727 0 0 0 14939 60 0 0 25 0 1 0 635745724 59625472 13641 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14557 13641 1111 63 0 14494 0
vsize: 58228
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 14363 0 0 0 15937 62 0 0 25 0 1 0 635745724 62193664 14275 4294967295 134512640 134714508 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15184 14275 1111 63 0 15121 0
vsize: 60736
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 15166 0 0 0 16933 66 0 0 25 0 1 0 635745724 65445888 15078 4294967295 134512640 134714508 3221221776 3221220512 134528702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15978 15078 1111 63 0 15915 0
vsize: 63912
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 15981 0 0 0 17930 69 0 0 25 0 1 0 635745724 68890624 15889 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16819 15889 1111 63 0 16756 0
vsize: 67276
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 16509 0 0 0 18927 72 0 0 25 0 1 0 635745724 71053312 16417 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17347 16417 1111 63 0 17284 0
vsize: 69388
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 16948 0 0 0 19925 75 0 0 25 0 1 0 635745724 72839168 16856 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17783 16856 1111 63 0 17720 0
vsize: 71132
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 17616 0 0 0 20922 78 0 0 25 0 1 0 635745724 75583488 17523 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18453 17523 1111 63 0 18390 0
vsize: 73812
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 18461 0 0 0 21918 81 0 0 25 0 1 0 635745724 79032320 18364 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19295 18364 1111 63 0 19232 0
vsize: 77180
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 18942 0 0 0 22917 83 0 0 25 0 1 0 635745724 81059840 18845 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19790 18845 1111 63 0 19727 0
vsize: 79160
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 19477 0 0 0 23915 85 0 0 25 0 1 0 635745724 83234816 19379 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20321 19379 1111 63 0 20258 0
vsize: 81284
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 20066 0 0 0 24913 87 0 0 25 0 1 0 635745724 85663744 19967 4294967295 134512640 134714508 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20914 19967 1111 63 0 20851 0
vsize: 83656
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 20637 0 0 0 25911 89 0 0 25 0 1 0 635745724 88133632 20530 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21517 20530 1111 63 0 21454 0
vsize: 86068
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 21079 0 0 0 26910 91 0 0 25 0 1 0 635745724 89899008 20972 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21948 20972 1111 63 0 21885 0
vsize: 87792
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 21564 0 0 0 27908 93 0 0 25 0 1 0 635745724 91959296 21456 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22451 21456 1111 63 0 22388 0
vsize: 89804
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 21978 0 0 0 28906 95 0 0 25 0 1 0 635745724 93745152 21870 4294967295 134512640 134714508 3221221776 3221220376 134549515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22887 21870 1111 63 0 22824 0
vsize: 91548
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 22320 0 0 0 29905 96 0 0 25 0 1 0 635745724 95133696 22211 4294967295 134512640 134714508 3221221776 3221220464 134523886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23226 22211 1111 63 0 23163 0
vsize: 92904
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 22706 0 0 0 30904 98 0 0 25 0 1 0 635745724 96665600 22597 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23600 22597 1111 63 0 23537 0
vsize: 94400
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 23052 0 0 0 31903 99 0 0 25 0 1 0 635745724 98222080 22943 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23980 22943 1111 63 0 23917 0
vsize: 95920
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 23430 0 0 0 32901 101 0 0 25 0 1 0 635745724 99758080 23317 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24355 23317 1111 63 0 24292 0
vsize: 97420
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 23810 0 0 0 33900 102 0 0 25 0 1 0 635745724 101445632 23688 4294967295 134512640 134714508 3221221776 3221220572 134554961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24767 23688 1111 63 0 24704 0
vsize: 99068
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 24156 0 0 0 34898 104 0 0 25 0 1 0 635745724 102797312 24034 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25097 24034 1111 63 0 25034 0
vsize: 100388
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 24479 0 0 0 35897 106 0 0 25 0 1 0 635745724 104148992 24357 4294967295 134512640 134714508 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 24357 1111 63 0 25364 0
vsize: 101708
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 24648 0 0 0 36897 106 0 0 25 0 1 0 635745724 104824832 24526 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25592 24526 1111 63 0 25529 0
vsize: 102368
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 25048 0 0 0 37895 108 0 0 25 0 1 0 635745724 106446848 24925 4294967295 134512640 134714508 3221221776 3221220432 134535807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25988 24925 1111 63 0 25925 0
vsize: 103952
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 25365 0 0 0 38894 109 0 0 25 0 1 0 635745724 107798528 25242 4294967295 134512640 134714508 3221221776 3221220380 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26318 25242 1111 63 0 26255 0
vsize: 105272
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 25562 0 0 0 39894 110 0 0 25 0 1 0 635745724 108625920 25439 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26520 25439 1111 63 0 26457 0
vsize: 106080
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 25866 0 0 0 40892 111 0 0 25 0 1 0 635745724 109862912 25743 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26822 25743 1111 63 0 26759 0
vsize: 107288
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 26145 0 0 0 41891 113 0 0 25 0 1 0 635745724 110944256 26022 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27086 26022 1111 63 0 27023 0
vsize: 108344
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 26428 0 0 0 42890 114 0 0 25 0 1 0 635745724 112078848 26304 4294967295 134512640 134714508 3221221776 3221220368 134549597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27363 26304 1111 63 0 27300 0
vsize: 109452
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 26729 0 0 0 43888 116 0 0 25 0 1 0 635745724 113373184 26602 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27679 26602 1111 63 0 27616 0
vsize: 110716
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 27041 0 0 0 44888 117 0 0 25 0 1 0 635745724 114728960 26914 4294967295 134512640 134714508 3221221776 3221220340 134549722 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28010 26914 1111 63 0 27947 0
vsize: 112040
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 27388 0 0 0 45887 118 0 0 25 0 1 0 635745724 116178944 27259 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28364 27259 1111 63 0 28301 0
vsize: 113456
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 27643 0 0 0 46886 119 0 0 25 0 1 0 635745724 117268480 27514 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28630 27514 1111 63 0 28567 0
vsize: 114520
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 27939 0 0 0 47885 120 0 0 25 0 1 0 635745724 118534144 27806 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28939 27806 1111 63 0 28876 0
vsize: 115756
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 28242 0 0 0 48884 121 0 0 25 0 1 0 635745724 119783424 28109 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29244 28109 1111 63 0 29181 0
vsize: 116976
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 28571 0 0 0 49883 122 0 0 25 0 1 0 635745724 120999936 28438 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29541 28438 1111 63 0 29478 0
vsize: 118164
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 28939 0 0 0 50882 124 0 0 25 0 1 0 635745724 122507264 28806 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29909 28806 1111 63 0 29846 0
vsize: 119636
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 29238 0 0 0 51881 125 0 0 25 0 1 0 635745724 123723776 29105 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30206 29105 1111 63 0 30143 0
vsize: 120824
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 29448 0 0 0 52881 125 0 0 25 0 1 0 635745724 124551168 29315 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30408 29315 1111 63 0 30345 0
vsize: 121632
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 29695 0 0 0 53880 127 0 0 25 0 1 0 635745724 125775872 29551 4294967295 134512640 134714508 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30707 29551 1111 63 0 30644 0
vsize: 122828
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 30345 0 0 0 54877 129 0 0 25 0 1 0 635745724 128499712 30199 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31372 30199 1111 63 0 31309 0
vsize: 125488
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 30896 0 0 0 55875 132 0 0 25 0 1 0 635745724 130662400 30750 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31900 30750 1111 63 0 31837 0
vsize: 127600
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 31274 0 0 0 56873 134 0 0 25 0 1 0 635745724 132284416 31128 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32296 31128 1111 63 0 32233 0
vsize: 129184
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 31749 0 0 0 57871 136 0 0 25 0 1 0 635745724 134176768 31603 4294967295 134512640 134714508 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32758 31603 1111 63 0 32695 0
vsize: 131032
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 32239 0 0 0 58869 138 0 0 25 0 1 0 635745724 136290304 32092 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33274 32092 1111 63 0 33211 0
vsize: 133096
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 32658 0 0 0 59867 140 0 0 25 0 1 0 635745724 138072064 32510 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33709 32510 1111 63 0 33646 0
vsize: 134836
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 33123 0 0 0 60865 143 0 0 25 0 1 0 635745724 139964416 32975 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34171 32975 1111 63 0 34108 0
vsize: 136684
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 33544 0 0 0 61862 146 0 0 25 0 1 0 635745724 141586432 33396 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34567 33396 1111 63 0 34504 0
vsize: 138268
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 33757 0 0 0 62862 146 0 0 25 0 1 0 635745724 142532608 33609 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34798 33609 1111 63 0 34735 0
vsize: 139192
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 34093 0 0 0 63861 147 0 0 25 0 1 0 635745724 143884288 33945 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35128 33945 1111 63 0 35065 0
vsize: 140512
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 34442 0 0 0 64859 149 0 0 25 0 1 0 635745724 145235968 34294 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35458 34294 1111 63 0 35395 0
vsize: 141832
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 34828 0 0 0 65858 151 0 0 25 0 1 0 635745724 146857984 34680 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35854 34680 1111 63 0 35791 0
vsize: 143416
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 35087 0 0 0 66857 152 0 0 25 0 1 0 635745724 147955712 34938 4294967295 134512640 134714508 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36122 34938 1111 63 0 36059 0
vsize: 144488
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 35366 0 0 0 67857 152 0 0 25 0 1 0 635745724 149037056 35217 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36386 35217 1111 63 0 36323 0
vsize: 145544
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 35691 0 0 0 68855 155 0 0 25 0 1 0 635745724 150392832 35542 4294967295 134512640 134714508 3221221776 3221220432 134523856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36717 35542 1111 63 0 36654 0
vsize: 146868
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 36014 0 0 0 69853 156 0 0 25 0 1 0 635745724 151748608 35865 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37048 35865 1111 63 0 36985 0
vsize: 148192
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 36412 0 0 0 70851 158 0 0 25 0 1 0 635745724 153370624 36263 4294967295 134512640 134714508 3221221776 3221220428 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37444 36263 1111 63 0 37381 0
vsize: 149776
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 36745 0 0 0 71850 159 0 0 25 0 1 0 635745724 154722304 36596 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37774 36596 1111 63 0 37711 0
vsize: 151096
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 37034 0 0 0 72849 161 0 0 25 0 1 0 635745724 156016640 36885 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38090 36885 1111 63 0 38027 0
vsize: 152360
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 37345 0 0 0 73848 162 0 0 25 0 1 0 635745724 157233152 37196 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38387 37196 1111 63 0 38324 0
vsize: 153548
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 37623 0 0 0 74847 164 0 0 25 0 1 0 635745724 158314496 37474 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38651 37474 1111 63 0 38588 0
vsize: 154604
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 37828 0 0 0 75846 165 0 0 25 0 1 0 635745724 159338496 37675 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38901 37675 1111 63 0 38838 0
vsize: 155604
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 38046 0 0 0 76845 166 0 0 25 0 1 0 635745724 160149504 37892 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39099 37892 1111 63 0 39036 0
vsize: 156396
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 38305 0 0 0 77844 166 0 0 25 0 1 0 635745724 161230848 38151 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39363 38151 1111 63 0 39300 0
vsize: 157452
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 38679 0 0 0 78844 167 0 0 25 0 1 0 635745724 162717696 38525 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39726 38525 1111 63 0 39663 0
vsize: 158904
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 39024 0 0 0 79842 169 0 0 25 0 1 0 635745724 164069376 38870 4294967295 134512640 134714508 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40056 38870 1111 63 0 39993 0
vsize: 160224
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 39409 0 0 0 80841 170 0 0 25 0 1 0 635745724 165691392 39255 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40452 39255 1111 63 0 40389 0
vsize: 161808
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 39821 0 0 0 81839 172 0 0 25 0 1 0 635745724 167358464 39667 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40859 39667 1111 63 0 40796 0
vsize: 163436
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 40096 0 0 0 82838 173 0 0 25 0 1 0 635745724 168439808 39941 4294967295 134512640 134714508 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41123 39941 1111 63 0 41060 0
vsize: 164492
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 40431 0 0 0 83837 175 0 0 25 0 1 0 635745724 169938944 40275 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41489 40275 1111 63 0 41426 0
vsize: 165956
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 40716 0 0 0 84836 176 0 0 25 0 1 0 635745724 171155456 40560 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41786 40560 1111 63 0 41723 0
vsize: 167144
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 41048 0 0 0 85835 177 0 0 25 0 1 0 635745724 172507136 40892 4294967295 134512640 134714508 3221221776 3221220464 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42116 40892 1111 63 0 42053 0
vsize: 168464
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 41385 0 0 0 86833 179 0 0 25 0 1 0 635745724 173858816 41229 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42446 41229 1111 63 0 42383 0
vsize: 169784
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 41554 0 0 0 87833 180 0 0 25 0 1 0 635745724 174563328 41395 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42618 41395 1111 63 0 42555 0
vsize: 170472
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 41720 0 0 0 88832 181 0 0 25 0 1 0 635745724 175239168 41561 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42783 41561 1111 63 0 42720 0
vsize: 171132
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 41845 0 0 0 89832 181 0 0 25 0 1 0 635745724 175779840 41686 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42915 41686 1111 63 0 42852 0
vsize: 171660
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 42048 0 0 0 90831 182 0 0 25 0 1 0 635745724 176590848 41889 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43113 41889 1111 63 0 43050 0
vsize: 172452
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 42249 0 0 0 91831 183 0 0 25 0 1 0 635745724 177401856 42090 4294967295 134512640 134714508 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43311 42090 1111 63 0 43248 0
vsize: 173244
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 42406 0 0 0 92830 183 0 0 25 0 1 0 635745724 178077696 42247 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43476 42247 1111 63 0 43413 0
vsize: 173904
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 42569 0 0 0 93829 184 0 0 25 0 1 0 635745724 178753536 42410 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43641 42410 1111 63 0 43578 0
vsize: 174564
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 42706 0 0 0 94829 185 0 0 25 0 1 0 635745724 179294208 42547 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43773 42547 1111 63 0 43710 0
vsize: 175092
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 42842 0 0 0 95829 185 0 0 25 0 1 0 635745724 179834880 42683 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43905 42683 1111 63 0 43842 0
vsize: 175620
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 42954 0 0 0 96828 186 0 0 25 0 1 0 635745724 180240384 42795 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44004 42795 1111 63 0 43941 0
vsize: 176016
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 43124 0 0 0 97828 186 0 0 25 0 1 0 635745724 180916224 42965 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44169 42965 1111 63 0 44106 0
vsize: 176676
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 43270 0 0 0 98827 187 0 0 25 0 1 0 635745724 181592064 43111 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44334 43111 1111 63 0 44271 0
vsize: 177336
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 43409 0 0 0 99827 187 0 0 25 0 1 0 635745724 182132736 43250 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44466 43250 1111 63 0 44403 0
vsize: 177864
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 43529 0 0 0 100827 188 0 0 25 0 1 0 635745724 182542336 43370 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44566 43370 1111 63 0 44503 0
vsize: 178264
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 43656 0 0 0 101827 188 0 0 25 0 1 0 635745724 183083008 43497 4294967295 134512640 134714508 3221221776 3221220512 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44698 43497 1111 63 0 44635 0
vsize: 178792
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 43757 0 0 0 102826 189 0 0 25 0 1 0 635745724 183492608 43598 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44798 43598 1111 63 0 44735 0
vsize: 179192
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 43879 0 0 0 103826 189 0 0 25 0 1 0 635745724 184033280 43720 4294967295 134512640 134714508 3221221776 3221220340 134535986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44930 43720 1111 63 0 44867 0
vsize: 179720
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 43997 0 0 0 104825 190 0 0 25 0 1 0 635745724 184442880 43838 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45030 43838 1111 63 0 44967 0
vsize: 180120
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 44103 0 0 0 105825 190 0 0 25 0 1 0 635745724 184983552 43944 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45162 43944 1111 63 0 45099 0
vsize: 180648
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 44239 0 0 0 106825 191 0 0 25 0 1 0 635745724 185524224 44080 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45294 44080 1111 63 0 45231 0
vsize: 181176
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 44417 0 0 0 107824 192 0 0 25 0 1 0 635745724 186200064 44258 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45459 44258 1111 63 0 45396 0
vsize: 181836
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 44531 0 0 0 108824 192 0 0 25 0 1 0 635745724 186740736 44372 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45591 44372 1111 63 0 45528 0
vsize: 182364
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 44686 0 0 0 109823 193 0 0 25 0 1 0 635745724 187281408 44527 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45723 44527 1111 63 0 45660 0
vsize: 182892
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 44848 0 0 0 110823 193 0 0 25 0 1 0 635745724 188157952 44686 4294967295 134512640 134714508 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45937 44686 1111 63 0 45874 0
vsize: 183748
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 44946 0 0 0 111823 193 0 0 25 0 1 0 635745724 188563456 44784 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46036 44784 1111 63 0 45973 0
vsize: 184144
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 45119 0 0 0 112823 194 0 0 25 0 1 0 635745724 189239296 44957 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46201 44957 1111 63 0 46138 0
vsize: 184804
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 45338 0 0 0 113822 195 0 0 25 0 1 0 635745724 190185472 45176 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46432 45176 1111 63 0 46369 0
vsize: 185728
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 45519 0 0 0 114822 195 0 0 25 0 1 0 635745724 190861312 45357 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46597 45357 1111 63 0 46534 0
vsize: 186388
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 45720 0 0 0 115822 196 0 0 25 0 1 0 635745724 191672320 45558 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46795 45558 1111 63 0 46732 0
vsize: 187180
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 45918 0 0 0 116821 197 0 0 25 0 1 0 635745724 192483328 45756 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46993 45756 1111 63 0 46930 0
vsize: 187972
[startup+1175.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17344
Raw data (stat): 17344 (bsolo_lpr) R 17343 7876 7672 0 -1 0 45918 0 0 0 116821 197 0 0 25 0 1 0 635745724 192483328 45756 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46993 45756 1111 63 0 46930 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.19
CPU user time (s): 1173.13
CPU system time (s): 2.05869
CPU usage (%): 100.012
Max. virtual memory (Kb): 187972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####