PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
MD5SUM	2acc4f964e1e6f176bb0ec9705d398d2
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	13
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.044993
Number of variables	198
Total number of constraints	166
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	23
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 23282

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 03:18:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=253 boxname=wulflinc31 idbench=29 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  2acc4f964e1e6f176bb0ec9705d398d2  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_11_sat_pb.cnf.cr.opb
IDLAUNCH: 253
/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:        929004 kB
Buffers:         37352 kB
Cached:          46376 kB
SwapCached:        864 kB
Active:          71556 kB
Inactive:        14592 kB
HighTotal:      131008 kB
HighFree:        83664 kB
LowTotal:       903652 kB
LowFree:        845340 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13952 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 03:38:20 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 253 7 1175.15 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 198 variables and 166 constraints.
c After prepocess the problem consists of 198 variables and 166 constraints.
c preprocess terminated 0.108 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.80 0.95 0.90 2/54 18949
Raw data (stat): 18949 (runsolver) R 18948 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 636819489 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.0003 s]
Raw data (loadavg): 0.83 0.95 0.90 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 2881 0 0 0 985 10 0 0 25 0 1 0 636819489 14950400 2802 4294967295 134512640 134714508 3221221776 3221220444 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3650 2802 1111 63 0 3587 0
vsize: 14600
[startup+20.0011 s]
Raw data (loadavg): 0.86 0.95 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 4008 0 0 0 1981 14 0 0 25 0 1 0 636819489 19562496 3929 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4776 3929 1111 63 0 4713 0
vsize: 19104
[startup+30.001 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 5417 0 0 0 2975 20 0 0 25 0 1 0 636819489 25387008 5338 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6198 5338 1111 63 0 6135 0
vsize: 24792
[startup+40.001 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 6744 0 0 0 3970 25 0 0 25 0 1 0 636819489 30810112 6665 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7522 6665 1111 63 0 7459 0
vsize: 30088
[startup+50.0022 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 7469 0 0 0 4968 28 0 0 25 0 1 0 636819489 33853440 7388 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8265 7388 1111 63 0 8202 0
vsize: 33060
[startup+60.0019 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 8042 0 0 0 5965 31 0 0 25 0 1 0 636819489 36200448 7960 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8838 7960 1111 63 0 8775 0
vsize: 35352
[startup+70.0028 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 8840 0 0 0 6961 35 0 0 25 0 1 0 636819489 39444480 8758 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9630 8758 1111 63 0 9567 0
vsize: 38520
[startup+80.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 9536 0 0 0 7959 37 0 0 25 0 1 0 636819489 42311680 9454 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10330 9454 1111 63 0 10267 0
vsize: 41320
[startup+90.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 10065 0 0 0 8957 40 0 0 25 0 1 0 636819489 44531712 9982 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10872 9982 1111 63 0 10809 0
vsize: 43488
[startup+100.004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 10551 0 0 0 9955 42 0 0 25 0 1 0 636819489 46624768 10465 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11383 10465 1111 63 0 11320 0
vsize: 45532
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 11021 0 0 0 10953 44 0 0 25 0 1 0 636819489 48660480 10934 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11880 10934 1111 63 0 11817 0
vsize: 47520
[startup+120.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 11563 0 0 0 11951 46 0 0 25 0 1 0 636819489 50860032 11476 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12417 11476 1111 63 0 12354 0
vsize: 49668
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 12115 0 0 0 12949 48 0 0 25 0 1 0 636819489 53161984 12028 4294967295 134512640 134714508 3221221776 3221220388 134523611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12979 12028 1111 63 0 12916 0
vsize: 51916
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 12662 0 0 0 13947 51 0 0 25 0 1 0 636819489 55476224 12575 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13544 12575 1111 63 0 13481 0
vsize: 54176
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 13221 0 0 0 14944 53 0 0 25 0 1 0 636819489 57659392 13134 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14077 13134 1111 63 0 14014 0
vsize: 56308
[startup+160.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 13675 0 0 0 15942 56 0 0 25 0 1 0 636819489 59559936 13588 4294967295 134512640 134714508 3221221776 3221220432 134524085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14541 13588 1111 63 0 14478 0
vsize: 58164
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 13955 0 0 0 16941 57 0 0 25 0 1 0 636819489 60784640 13868 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14840 13868 1111 63 0 14777 0
vsize: 59360
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 14220 0 0 0 17940 59 0 0 25 0 1 0 636819489 61874176 14133 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15106 14133 1111 63 0 15043 0
vsize: 60424
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 14524 0 0 0 18938 60 0 0 25 0 1 0 636819489 63094784 14437 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15404 14437 1111 63 0 15341 0
vsize: 61616
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 15066 0 0 0 19935 64 0 0 25 0 1 0 636819489 65265664 14979 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15934 14979 1111 63 0 15871 0
vsize: 63736
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 15513 0 0 0 20933 65 0 0 25 0 1 0 636819489 67158016 15426 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16396 15426 1111 63 0 16333 0
vsize: 65584
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 15805 0 0 0 21932 67 0 0 25 0 1 0 636819489 68374528 15718 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16693 15718 1111 63 0 16630 0
vsize: 66772
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 16065 0 0 0 22930 69 0 0 25 0 1 0 636819489 69455872 15978 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16957 15978 1111 63 0 16894 0
vsize: 67828
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 16437 0 0 0 23928 71 0 0 25 0 1 0 636819489 70942720 16350 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17320 16350 1111 63 0 17257 0
vsize: 69280
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 16757 0 0 0 24927 72 0 0 25 0 1 0 636819489 72368128 16668 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17668 16668 1111 63 0 17605 0
vsize: 70672
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 17043 0 0 0 25925 74 0 0 25 0 1 0 636819489 73584640 16953 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17965 16953 1111 63 0 17902 0
vsize: 71860
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 17340 0 0 0 26924 76 0 0 25 0 1 0 636819489 74805248 17250 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17250 1111 63 0 18200 0
vsize: 73052
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 17629 0 0 0 27923 77 0 0 25 0 1 0 636819489 75907072 17539 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18532 17539 1111 63 0 18469 0
vsize: 74128
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 17787 0 0 0 28922 78 0 0 25 0 1 0 636819489 76582912 17697 4294967295 134512640 134714508 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18697 17697 1111 63 0 18634 0
vsize: 74788
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 18120 0 0 0 29921 80 0 0 25 0 1 0 636819489 78012416 18028 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19046 18028 1111 63 0 18983 0
vsize: 76184
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 18380 0 0 0 30919 81 0 0 25 0 1 0 636819489 79093760 18288 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19310 18288 1111 63 0 19247 0
vsize: 77240
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 18661 0 0 0 31919 82 0 0 25 0 1 0 636819489 80179200 18569 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19575 18569 1111 63 0 19512 0
vsize: 78300
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 18937 0 0 0 32917 84 0 0 25 0 1 0 636819489 81424384 18841 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19879 18841 1111 63 0 19816 0
vsize: 79516
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 19179 0 0 0 33916 85 0 0 25 0 1 0 636819489 82370560 19083 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20110 19083 1111 63 0 20047 0
vsize: 80440
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 19392 0 0 0 34915 87 0 0 25 0 1 0 636819489 83222528 19292 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20318 19292 1111 63 0 20255 0
vsize: 81272
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 19655 0 0 0 35914 88 0 0 25 0 1 0 636819489 84303872 19555 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20582 19555 1111 63 0 20519 0
vsize: 82328
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 19867 0 0 0 36913 88 0 0 25 0 1 0 636819489 85327872 19763 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20832 19763 1111 63 0 20769 0
vsize: 83328
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 20071 0 0 0 37913 89 0 0 25 0 1 0 636819489 86155264 19967 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21034 19967 1111 63 0 20971 0
vsize: 84136
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 20267 0 0 0 38912 90 0 0 25 0 1 0 636819489 86986752 20163 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21237 20163 1111 63 0 21174 0
vsize: 84948
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 20458 0 0 0 39911 91 0 0 25 0 1 0 636819489 87711744 20350 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21414 20350 1111 63 0 21351 0
vsize: 85656
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 20720 0 0 0 40910 92 0 0 25 0 1 0 636819489 88825856 20611 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21686 20611 1111 63 0 21623 0
vsize: 86744
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 21001 0 0 0 41910 93 0 0 25 0 1 0 636819489 90042368 20892 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21983 20892 1111 63 0 21920 0
vsize: 87932
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 21178 0 0 0 42910 93 0 0 25 0 1 0 636819489 90755072 21069 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22157 21069 1111 63 0 22094 0
vsize: 88628
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 21371 0 0 0 43909 94 0 0 25 0 1 0 636819489 91586560 21262 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22360 21262 1111 63 0 22297 0
vsize: 89440
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 21580 0 0 0 44907 96 0 0 25 0 1 0 636819489 92549120 21470 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22595 21470 1111 63 0 22532 0
vsize: 90380
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 21771 0 0 0 45907 96 0 0 25 0 1 0 636819489 93274112 21661 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22772 21661 1111 63 0 22709 0
vsize: 91088
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 21963 0 0 0 46907 97 0 0 25 0 1 0 636819489 94121984 21850 4294967295 134512640 134714508 3221221776 3221220480 134528647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22979 21850 1111 63 0 22916 0
vsize: 91916
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 22494 0 0 0 47905 99 0 0 25 0 1 0 636819489 96317440 22381 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23515 22381 1111 63 0 23452 0
vsize: 94060
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 22912 0 0 0 48903 101 0 0 25 0 1 0 636819489 98074624 22799 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23944 22799 1111 63 0 23881 0
vsize: 95776
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 23290 0 0 0 49902 103 0 0 25 0 1 0 636819489 99561472 23177 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24307 23177 1111 63 0 24244 0
vsize: 97228
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 23600 0 0 0 50900 104 0 0 25 0 1 0 636819489 100913152 23487 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24637 23487 1111 63 0 24574 0
vsize: 98548
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 23868 0 0 0 51899 106 0 0 25 0 1 0 636819489 101994496 23755 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24901 23755 1111 63 0 24838 0
vsize: 99604
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 24103 0 0 0 52898 106 0 0 25 0 1 0 636819489 102944768 23990 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25133 23990 1111 63 0 25070 0
vsize: 100532
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 24276 0 0 0 53898 107 0 0 25 0 1 0 636819489 103624704 24163 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25299 24163 1111 63 0 25236 0
vsize: 101196
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 24524 0 0 0 54898 107 0 0 25 0 1 0 636819489 104706048 24411 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25563 24411 1111 63 0 25500 0
vsize: 102252
[startup+560.019 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 24775 0 0 0 55897 108 0 0 25 0 1 0 636819489 105652224 24662 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25794 24662 1111 63 0 25731 0
vsize: 103176
[startup+570.02 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 25024 0 0 0 56896 109 0 0 25 0 1 0 636819489 106741760 24911 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26060 24911 1111 63 0 25997 0
vsize: 104240
[startup+580.02 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 25172 0 0 0 57895 110 0 0 25 0 1 0 636819489 107282432 25059 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26192 25059 1111 63 0 26129 0
vsize: 104768
[startup+590.02 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 25356 0 0 0 58895 111 0 0 25 0 1 0 636819489 108093440 25243 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26390 25243 1111 63 0 26327 0
vsize: 105560
[startup+600.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 25521 0 0 0 59894 112 0 0 25 0 1 0 636819489 108634112 25408 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26522 25408 1111 63 0 26459 0
vsize: 106088
[startup+610.021 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 25784 0 0 0 60892 114 0 0 25 0 1 0 636819489 109715456 25671 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26786 25671 1111 63 0 26723 0
vsize: 107144
[startup+620.021 s]
Raw data (loadavg): 1.20 1.03 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 26266 0 0 0 61891 116 0 0 25 0 1 0 636819489 111742976 26153 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27281 26153 1111 63 0 27218 0
vsize: 109124
[startup+630.021 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 26663 0 0 0 62889 118 0 0 25 0 1 0 636819489 113426432 26550 4294967295 134512640 134714508 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27692 26550 1111 63 0 27629 0
vsize: 110768
[startup+640.021 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 26905 0 0 0 63888 119 0 0 25 0 1 0 636819489 114372608 26792 4294967295 134512640 134714508 3221221776 3221220368 134549520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27923 26792 1111 63 0 27860 0
vsize: 111692
[startup+650.022 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 27135 0 0 0 64887 120 0 0 25 0 1 0 636819489 115318784 27022 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28154 27022 1111 63 0 28091 0
vsize: 112616
[startup+660.022 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 27302 0 0 0 65886 121 0 0 25 0 1 0 636819489 115994624 27189 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28319 27189 1111 63 0 28256 0
vsize: 113276
[startup+670.023 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 27469 0 0 0 66885 122 0 0 25 0 1 0 636819489 116699136 27356 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28491 27356 1111 63 0 28428 0
vsize: 113964
[startup+680.024 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 27744 0 0 0 67884 124 0 0 25 0 1 0 636819489 117780480 27631 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28755 27631 1111 63 0 28692 0
vsize: 115020
[startup+690.024 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 28077 0 0 0 68882 126 0 0 25 0 1 0 636819489 119132160 27964 4294967295 134512640 134714508 3221221776 3221220496 134529157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29085 27964 1111 63 0 29022 0
vsize: 116340
[startup+700.024 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 28299 0 0 0 69880 127 0 0 25 0 1 0 636819489 120094720 28185 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29320 28185 1111 63 0 29257 0
vsize: 117280
[startup+710.025 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 28637 0 0 0 70879 129 0 0 25 0 1 0 636819489 121585664 28523 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29684 28523 1111 63 0 29621 0
vsize: 118736
[startup+720.026 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 28904 0 0 0 71878 130 0 0 25 0 1 0 636819489 122675200 28789 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29950 28789 1111 63 0 29887 0
vsize: 119800
[startup+730.026 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 29094 0 0 0 72877 131 0 0 25 0 1 0 636819489 123351040 28979 4294967295 134512640 134714508 3221221776 3221220336 134549725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30115 28979 1111 63 0 30052 0
vsize: 120460
[startup+740.026 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 29301 0 0 0 73876 133 0 0 25 0 1 0 636819489 124162048 29186 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30313 29186 1111 63 0 30250 0
vsize: 121252
[startup+750.027 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 29511 0 0 0 74875 134 0 0 25 0 1 0 636819489 124989440 29395 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30515 29395 1111 63 0 30452 0
vsize: 122060
[startup+760.027 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 29791 0 0 0 75873 135 0 0 25 0 1 0 636819489 126140416 29673 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30796 29673 1111 63 0 30733 0
vsize: 123184
[startup+770.028 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 29971 0 0 0 76872 137 0 0 25 0 1 0 636819489 126816256 29853 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30961 29853 1111 63 0 30898 0
vsize: 123844
[startup+780.028 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 30157 0 0 0 77872 138 0 0 25 0 1 0 636819489 127627264 30039 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31159 30039 1111 63 0 31096 0
vsize: 124636
[startup+790.028 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 30302 0 0 0 78871 138 0 0 25 0 1 0 636819489 128167936 30184 4294967295 134512640 134714508 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31291 30184 1111 63 0 31228 0
vsize: 125164
[startup+800.028 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 30470 0 0 0 79871 139 0 0 25 0 1 0 636819489 128897024 30352 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31469 30352 1111 63 0 31406 0
vsize: 125876
[startup+810.028 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 30631 0 0 0 80870 139 0 0 25 0 1 0 636819489 129572864 30513 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31634 30513 1111 63 0 31571 0
vsize: 126536
[startup+820.029 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 30781 0 0 0 81869 140 0 0 25 0 1 0 636819489 130113536 30663 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31766 30663 1111 63 0 31703 0
vsize: 127064
[startup+830.029 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 30934 0 0 0 82868 142 0 0 25 0 1 0 636819489 130813952 30816 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31937 30816 1111 63 0 31874 0
vsize: 127748
[startup+840.029 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31067 0 0 0 83867 142 0 0 25 0 1 0 636819489 131457024 30947 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32094 30947 1111 63 0 32031 0
vsize: 128376
[startup+850.03 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31193 0 0 0 84867 143 0 0 25 0 1 0 636819489 132067328 31072 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32243 31072 1111 63 0 32180 0
vsize: 128972
[startup+860.03 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31297 0 0 0 85866 144 0 0 25 0 1 0 636819489 132550656 31174 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32361 31174 1111 63 0 32298 0
vsize: 129444
[startup+870.031 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31392 0 0 0 86866 144 0 0 25 0 1 0 636819489 132861952 31268 4294967295 134512640 134714508 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32437 31268 1111 63 0 32374 0
vsize: 129748
[startup+880.032 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31529 0 0 0 87866 145 0 0 25 0 1 0 636819489 133402624 31405 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32569 31405 1111 63 0 32506 0
vsize: 130276
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31625 0 0 0 88865 145 0 0 25 0 1 0 636819489 133836800 31497 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32675 31497 1111 63 0 32612 0
vsize: 130700
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31715 0 0 0 89866 145 0 0 25 0 1 0 636819489 134295552 31586 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32787 31586 1111 63 0 32724 0
vsize: 131148
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31785 0 0 0 90866 145 0 0 25 0 1 0 636819489 134430720 31656 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32820 31656 1111 63 0 32757 0
vsize: 131280
[startup+920.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31884 0 0 0 91865 146 0 0 25 0 1 0 636819489 134864896 31754 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32926 31754 1111 63 0 32863 0
vsize: 131704
[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 31993 0 0 0 92865 146 0 0 25 0 1 0 636819489 135483392 31863 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33077 31863 1111 63 0 33014 0
vsize: 132308
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32095 0 0 0 93864 147 0 0 25 0 1 0 636819489 135942144 31965 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33189 31965 1111 63 0 33126 0
vsize: 132756
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32179 0 0 0 94864 148 0 0 25 0 1 0 636819489 136237056 32048 4294967295 134512640 134714508 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33261 32048 1111 63 0 33198 0
vsize: 133044
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32275 0 0 0 95863 148 0 0 25 0 1 0 636819489 136572928 32143 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33343 32143 1111 63 0 33280 0
vsize: 133372
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32377 0 0 0 96863 149 0 0 25 0 1 0 636819489 137035776 32242 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33456 32242 1111 63 0 33393 0
vsize: 133824
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32489 0 0 0 97863 149 0 0 25 0 1 0 636819489 137674752 32349 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33612 32349 1111 63 0 33549 0
vsize: 134448
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32617 0 0 0 98863 149 0 0 25 0 1 0 636819489 138326016 32476 4294967295 134512640 134714508 3221221776 3221220476 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33771 32476 1111 63 0 33708 0
vsize: 135084
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32701 0 0 0 99863 149 0 0 25 0 1 0 636819489 138620928 32559 4294967295 134512640 134714508 3221221776 3221220540 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33843 32559 1111 63 0 33780 0
vsize: 135372
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32775 0 0 0 100862 150 0 0 25 0 1 0 636819489 138891264 32633 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33909 32633 1111 63 0 33846 0
vsize: 135636
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32856 0 0 0 101862 150 0 0 25 0 1 0 636819489 139296768 32713 4294967295 134512640 134714508 3221221776 3221220468 134528706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34008 32713 1111 63 0 33945 0
vsize: 136032
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 32944 0 0 0 102862 151 0 0 25 0 1 0 636819489 139567104 32801 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34074 32801 1111 63 0 34011 0
vsize: 136296
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 33030 0 0 0 103862 151 0 0 25 0 1 0 636819489 139972608 32887 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34173 32887 1111 63 0 34110 0
vsize: 136692
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 33105 0 0 0 104862 152 0 0 25 0 1 0 636819489 140242944 32962 4294967295 134512640 134714508 3221221776 3221220540 134524382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34239 32962 1111 63 0 34176 0
vsize: 136956
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 33190 0 0 0 105861 152 0 0 25 0 1 0 636819489 140734464 33043 4294967295 134512640 134714508 3221221776 3221220400 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34359 33043 1111 63 0 34296 0
vsize: 137436
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 33269 0 0 0 106861 152 0 0 25 0 1 0 636819489 141004800 33122 4294967295 134512640 134714508 3221221776 3221220512 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34425 33122 1111 63 0 34362 0
vsize: 137700
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 33344 0 0 0 107861 153 0 0 25 0 1 0 636819489 141275136 33197 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34491 33197 1111 63 0 34428 0
vsize: 137964
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 33427 0 0 0 108861 153 0 0 25 0 1 0 636819489 141680640 33280 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34590 33280 1111 63 0 34527 0
vsize: 138360
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 33554 0 0 0 109860 154 0 0 25 0 1 0 636819489 142086144 33407 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34689 33407 1111 63 0 34626 0
vsize: 138756
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 33742 0 0 0 110860 155 0 0 25 0 1 0 636819489 143097856 33594 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34936 33594 1111 63 0 34873 0
vsize: 139744
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 33992 0 0 0 111858 156 0 0 25 0 1 0 636819489 144044032 33844 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35167 33844 1111 63 0 35104 0
vsize: 140668
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 34115 0 0 0 112857 157 0 0 25 0 1 0 636819489 144584704 33967 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35299 33967 1111 63 0 35236 0
vsize: 141196
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 34293 0 0 0 113857 158 0 0 25 0 1 0 636819489 145272832 34144 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35467 34144 1111 63 0 35404 0
vsize: 141868
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 34459 0 0 0 114855 160 0 0 25 0 1 0 636819489 146149376 34310 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35681 34310 1111 63 0 35618 0
vsize: 142724
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 34637 0 0 0 115854 161 0 0 25 0 1 0 636819489 146825216 34488 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35846 34488 1111 63 0 35783 0
vsize: 143384
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 34791 0 0 0 116854 161 0 0 25 0 1 0 636819489 147501056 34642 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36011 34642 1111 63 0 35948 0
vsize: 144044
[startup+1175.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 18949
Raw data (stat): 18949 (bsolo_lpr) R 18948 7876 7672 0 -1 0 34791 0 0 0 116854 161 0 0 25 0 1 0 636819489 147501056 34642 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36011 34642 1111 63 0 35948 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.15
CPU user time (s): 1173.47
CPU system time (s): 1.68274
CPU usage (%): 100.01
Max. virtual memory (Kb): 144044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####