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-fpga30_29_sat_pb.cnf.cr.opb
MD5SUM	99cab377899feaa32c19b4b5cf94d7d4
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.871866
Number of variables	1305
Total number of constraints	958
Number of constraints which are clauses	899
Number of constraints which are cardinality constraints (but not clauses)	59
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 23372

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 21:42:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=415 boxname=wulflinc31 idbench=47 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  99cab377899feaa32c19b4b5cf94d7d4  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_29_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_29_sat_pb.cnf.cr.opb
IDLAUNCH: 415
/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:        925572 kB
Buffers:         38840 kB
Cached:          48208 kB
SwapCached:        944 kB
Active:          72964 kB
Inactive:        16592 kB
HighTotal:      131008 kB
HighFree:        81816 kB
LowTotal:       903652 kB
LowFree:        843756 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             440 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14092 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 22:01:35 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 415 7 1175.07 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 1305 variables and 958 constraints.
c After prepocess the problem consists of 1305 variables and 958 constraints.
c preprocess terminated 1.843 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.85 0.95 0.95 2/54 28578
Raw data (stat): 28578 (runsolver) R 28577 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 643439757 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.0003 s]
Raw data (loadavg): 0.88 0.95 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 2104 0 0 0 988 8 0 0 25 0 1 0 643439757 11702272 2025 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2857 2025 1111 63 0 2794 0
vsize: 11428
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.95 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 2965 0 0 0 1984 12 0 0 25 0 1 0 643439757 15216640 2886 4294967295 134512640 134714508 3221221776 3221220464 134523330 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3715 2886 1111 63 0 3652 0
vsize: 14860
[startup+30.002 s]
Raw data (loadavg): 0.91 0.95 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 3282 0 0 0 2982 14 0 0 25 0 1 0 643439757 16564224 3203 4294967295 134512640 134714508 3221221776 3221220336 134696549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3203 1111 63 0 3981 0
vsize: 16176
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.95 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 3994 0 0 0 3979 17 0 0 25 0 1 0 643439757 19533824 3915 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4769 3915 1111 63 0 4706 0
vsize: 19076
[startup+50.0034 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 4261 0 0 0 4977 19 0 0 25 0 1 0 643439757 20615168 4182 4294967295 134512640 134714508 3221221776 3221220540 134524382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5033 4182 1111 63 0 4970 0
vsize: 20132
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 4990 0 0 0 5975 22 0 0 25 0 1 0 643439757 23592960 4911 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5760 4911 1111 63 0 5697 0
vsize: 23040
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 5584 0 0 0 6972 25 0 0 25 0 1 0 643439757 26021888 5505 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6353 5505 1111 63 0 6290 0
vsize: 25412
[startup+80.0039 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 6162 0 0 0 7969 28 0 0 25 0 1 0 643439757 28315648 6083 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6913 6083 1111 63 0 6850 0
vsize: 27652
[startup+90.0035 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 6864 0 0 0 8965 32 0 0 25 0 1 0 643439757 31289344 6785 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7639 6785 1111 63 0 7576 0
vsize: 30556
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 7131 0 0 0 9963 35 0 0 25 0 1 0 643439757 32370688 7052 4294967295 134512640 134714508 3221221776 3221220368 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7903 7052 1111 63 0 7840 0
vsize: 31612
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 7625 0 0 0 10961 36 0 0 25 0 1 0 643439757 34398208 7546 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8398 7546 1111 63 0 8335 0
vsize: 33592
[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 8000 0 0 0 11960 38 0 0 25 0 1 0 643439757 35880960 7921 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8760 7921 1111 63 0 8697 0
vsize: 35040
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 8246 0 0 0 12959 39 0 0 25 0 1 0 643439757 36966400 8167 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9025 8167 1111 63 0 8962 0
vsize: 36100
[startup+140.004 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 8641 0 0 0 13957 41 0 0 25 0 1 0 643439757 38584320 8562 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9420 8562 1111 63 0 9357 0
vsize: 37680
[startup+150.005 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 9124 0 0 0 14955 44 0 0 25 0 1 0 643439757 40472576 9045 4294967295 134512640 134714508 3221221776 3221220384 134523171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9881 9045 1111 63 0 9818 0
vsize: 39524
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 9569 0 0 0 15952 46 0 0 25 0 1 0 643439757 42364928 9490 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10343 9490 1111 63 0 10280 0
vsize: 41372
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 9844 0 0 0 16951 47 0 0 25 0 1 0 643439757 43442176 9765 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10606 9765 1111 63 0 10543 0
vsize: 42424
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 9923 0 0 0 17951 48 0 0 25 0 1 0 643439757 43712512 9844 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10672 9844 1111 63 0 10609 0
vsize: 42688
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 10164 0 0 0 18950 49 0 0 25 0 1 0 643439757 44789760 10085 4294967295 134512640 134714508 3221221776 3221220344 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10935 10085 1111 63 0 10872 0
vsize: 43740
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 10416 0 0 0 19949 50 0 0 25 0 1 0 643439757 45862912 10337 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11197 10337 1111 63 0 11134 0
vsize: 44788
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 10751 0 0 0 20947 52 0 0 25 0 1 0 643439757 47214592 10672 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11527 10672 1111 63 0 11464 0
vsize: 46108
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 11119 0 0 0 21945 55 0 0 25 0 1 0 643439757 48701440 11040 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11890 11040 1111 63 0 11827 0
vsize: 47560
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 11369 0 0 0 22944 56 0 0 25 0 1 0 643439757 49774592 11290 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12152 11290 1111 63 0 12089 0
vsize: 48608
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 11524 0 0 0 23943 57 0 0 25 0 1 0 643439757 50315264 11445 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12284 11445 1111 63 0 12221 0
vsize: 49136
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 11832 0 0 0 24942 58 0 0 25 0 1 0 643439757 51662848 11753 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12613 11753 1111 63 0 12550 0
vsize: 50452
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 12229 0 0 0 25941 59 0 0 25 0 1 0 643439757 53284864 12150 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13009 12150 1111 63 0 12946 0
vsize: 52036
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 12722 0 0 0 26939 62 0 0 25 0 1 0 643439757 55312384 12643 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13504 12643 1111 63 0 13441 0
vsize: 54016
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 12883 0 0 0 27938 62 0 0 25 0 1 0 643439757 55988224 12804 4294967295 134512640 134714508 3221221776 3221220400 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13669 12804 1111 63 0 13606 0
vsize: 54676
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 12912 0 0 0 28938 63 0 0 25 0 1 0 643439757 55988224 12833 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13669 12833 1111 63 0 13606 0
vsize: 54676
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 13132 0 0 0 29937 64 0 0 25 0 1 0 643439757 56934400 13053 4294967295 134512640 134714508 3221221776 3221220420 134613632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13900 13053 1111 63 0 13837 0
vsize: 55600
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 13385 0 0 0 30935 66 0 0 25 0 1 0 643439757 58011648 13306 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14163 13306 1111 63 0 14100 0
vsize: 56652
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 13729 0 0 0 31934 67 0 0 25 0 1 0 643439757 59363328 13650 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14493 13650 1111 63 0 14430 0
vsize: 57972
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 14152 0 0 0 32933 68 0 0 25 0 1 0 643439757 61120512 14073 4294967295 134512640 134714508 3221221776 3221220464 134542884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14922 14073 1111 63 0 14859 0
vsize: 59688
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 14531 0 0 0 33932 70 0 0 25 0 1 0 643439757 62742528 14452 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15318 14452 1111 63 0 15255 0
vsize: 61272
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 14657 0 0 0 34931 71 0 0 25 0 1 0 643439757 63139840 14578 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15415 14578 1111 63 0 15352 0
vsize: 61660
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 14991 0 0 0 35929 73 0 0 25 0 1 0 643439757 64626688 14912 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15778 14912 1111 63 0 15715 0
vsize: 63112
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 15162 0 0 0 36927 75 0 0 25 0 1 0 643439757 65302528 15083 4294967295 134512640 134714508 3221221776 3221220512 134558501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15943 15083 1111 63 0 15880 0
vsize: 63772
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 15576 0 0 0 37926 77 0 0 25 0 1 0 643439757 66908160 15497 4294967295 134512640 134714508 3221221776 3221220476 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16335 15497 1111 63 0 16272 0
vsize: 65340
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 15745 0 0 0 38924 78 0 0 25 0 1 0 643439757 67584000 15666 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16500 15666 1111 63 0 16437 0
vsize: 66000
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 16019 0 0 0 39923 80 0 0 25 0 1 0 643439757 68792320 15940 4294967295 134512640 134714508 3221221776 3221220420 134536691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16795 15940 1111 63 0 16732 0
vsize: 67180
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 16203 0 0 0 40921 82 0 0 25 0 1 0 643439757 69578752 16124 4294967295 134512640 134714508 3221221776 3221220452 1077374514 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16987 16124 1111 63 0 16924 0
vsize: 67948
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 16299 0 0 0 41919 84 0 0 25 0 1 0 643439757 69984256 16220 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17086 16220 1111 63 0 17023 0
vsize: 68344
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 16355 0 0 0 42918 85 0 0 25 0 1 0 643439757 70119424 16276 4294967295 134512640 134714508 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17119 16276 1111 63 0 17056 0
vsize: 68476
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 16459 0 0 0 43917 87 0 0 25 0 1 0 643439757 70643712 16380 4294967295 134512640 134714508 3221221776 3221220384 134549324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17247 16380 1111 63 0 17184 0
vsize: 68988
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 16549 0 0 0 44915 89 0 0 25 0 1 0 643439757 70914048 16470 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17313 16470 1111 63 0 17250 0
vsize: 69252
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 16628 0 0 0 45914 90 0 0 25 0 1 0 643439757 71319552 16549 4294967295 134512640 134714508 3221221776 3221220316 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17412 16549 1111 63 0 17349 0
vsize: 69648
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 16709 0 0 0 46912 92 0 0 25 0 1 0 643439757 71589888 16630 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17478 16630 1111 63 0 17415 0
vsize: 69912
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 16927 0 0 0 47911 93 0 0 25 0 1 0 643439757 72536064 16848 4294967295 134512640 134714508 3221221776 3221220560 134529240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17709 16848 1111 63 0 17646 0
vsize: 70836
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17069 0 0 0 48909 95 0 0 25 0 1 0 643439757 73039872 16990 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17832 16990 1111 63 0 17769 0
vsize: 71328
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17190 0 0 0 49908 97 0 0 25 0 1 0 643439757 73547776 17111 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17956 17111 1111 63 0 17893 0
vsize: 71824
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17326 0 0 0 50906 99 0 0 25 0 1 0 643439757 74084352 17247 4294967295 134512640 134714508 3221221776 3221220344 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18087 17247 1111 63 0 18024 0
vsize: 72348
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17400 0 0 0 51905 100 0 0 25 0 1 0 643439757 74489856 17321 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18186 17321 1111 63 0 18123 0
vsize: 72744
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17453 0 0 0 52904 101 0 0 25 0 1 0 643439757 74616832 17374 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18217 17374 1111 63 0 18154 0
vsize: 72868
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17467 0 0 0 53903 103 0 0 25 0 1 0 643439757 74735616 17388 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18246 17388 1111 63 0 18183 0
vsize: 72984
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17515 0 0 0 54902 104 0 0 25 0 1 0 643439757 74866688 17436 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18278 17436 1111 63 0 18215 0
vsize: 73112
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17547 0 0 0 55901 104 0 0 25 0 1 0 643439757 75055104 17468 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18324 17468 1111 63 0 18261 0
vsize: 73296
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17596 0 0 0 56900 106 0 0 25 0 1 0 643439757 75190272 17517 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18357 17517 1111 63 0 18294 0
vsize: 73428
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17642 0 0 0 57900 107 0 0 25 0 1 0 643439757 75460608 17563 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18423 17563 1111 63 0 18360 0
vsize: 73692
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17684 0 0 0 58899 107 0 0 25 0 1 0 643439757 75595776 17605 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18456 17605 1111 63 0 18393 0
vsize: 73824
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17784 0 0 0 59897 109 0 0 25 0 1 0 643439757 76001280 17705 4294967295 134512640 134714508 3221221776 3221220512 134523886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18555 17705 1111 63 0 18492 0
vsize: 74220
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17890 0 0 0 60896 111 0 0 25 0 1 0 643439757 76406784 17811 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18654 17811 1111 63 0 18591 0
vsize: 74616
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 17982 0 0 0 61895 112 0 0 25 0 1 0 643439757 76812288 17903 4294967295 134512640 134714508 3221221776 3221220432 1076647576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18753 17903 1111 63 0 18690 0
vsize: 75012
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18090 0 0 0 62894 113 0 0 25 0 1 0 643439757 77217792 18011 4294967295 134512640 134714508 3221221776 3221220480 134535807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18852 18011 1111 63 0 18789 0
vsize: 75408
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18170 0 0 0 63893 115 0 0 25 0 1 0 643439757 77623296 18091 4294967295 134512640 134714508 3221221776 3221220476 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18951 18091 1111 63 0 18888 0
vsize: 75804
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18255 0 0 0 64892 116 0 0 25 0 1 0 643439757 77893632 18176 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19017 18176 1111 63 0 18954 0
vsize: 76068
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18302 0 0 0 65890 117 0 0 25 0 1 0 643439757 78163968 18223 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19083 18223 1111 63 0 19020 0
vsize: 76332
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18332 0 0 0 66890 118 0 0 25 0 1 0 643439757 78299136 18253 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19116 18253 1111 63 0 19053 0
vsize: 76464
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18346 0 0 0 67889 119 0 0 25 0 1 0 643439757 78299136 18267 4294967295 134512640 134714508 3221221776 3221220492 134542828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19116 18267 1111 63 0 19053 0
vsize: 76464
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18360 0 0 0 68888 120 0 0 25 0 1 0 643439757 78299136 18281 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19116 18281 1111 63 0 19053 0
vsize: 76464
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18392 0 0 0 69886 122 0 0 25 0 1 0 643439757 78434304 18313 4294967295 134512640 134714508 3221221776 3221220520 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19149 18313 1111 63 0 19086 0
vsize: 76596
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18463 0 0 0 70886 122 0 0 25 0 1 0 643439757 78839808 18384 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19248 18384 1111 63 0 19185 0
vsize: 76992
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18579 0 0 0 71885 124 0 0 25 0 1 0 643439757 79233024 18500 4294967295 134512640 134714508 3221221776 3221220592 134590269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19344 18500 1111 63 0 19281 0
vsize: 77376
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18631 0 0 0 72884 125 0 0 25 0 1 0 643439757 79491072 18552 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19407 18552 1111 63 0 19344 0
vsize: 77628
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18669 0 0 0 73882 127 0 0 25 0 1 0 643439757 79626240 18590 4294967295 134512640 134714508 3221221776 3221220452 1077374516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19440 18590 1111 63 0 19377 0
vsize: 77760
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18696 0 0 0 74881 129 0 0 25 0 1 0 643439757 79761408 18617 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19473 18617 1111 63 0 19410 0
vsize: 77892
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18722 0 0 0 75880 129 0 0 25 0 1 0 643439757 79896576 18643 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19506 18643 1111 63 0 19443 0
vsize: 78024
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18743 0 0 0 76879 130 0 0 25 0 1 0 643439757 79896576 18664 4294967295 134512640 134714508 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19506 18664 1111 63 0 19443 0
vsize: 78024
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18749 0 0 0 77878 132 0 0 25 0 1 0 643439757 79896576 18670 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19506 18670 1111 63 0 19443 0
vsize: 78024
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18758 0 0 0 78877 133 0 0 25 0 1 0 643439757 80031744 18679 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19539 18679 1111 63 0 19476 0
vsize: 78156
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18772 0 0 0 79876 134 0 0 25 0 1 0 643439757 80031744 18693 4294967295 134512640 134714508 3221221776 3221220436 1077378648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19539 18693 1111 63 0 19476 0
vsize: 78156
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18772 0 0 0 80875 135 0 0 25 0 1 0 643439757 80031744 18693 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19539 18693 1111 63 0 19476 0
vsize: 78156
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18804 0 0 0 81874 136 0 0 25 0 1 0 643439757 80166912 18725 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19572 18725 1111 63 0 19509 0
vsize: 78288
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18813 0 0 0 82873 137 0 0 25 0 1 0 643439757 80166912 18734 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19572 18734 1111 63 0 19509 0
vsize: 78288
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18823 0 0 0 83873 138 0 0 25 0 1 0 643439757 80302080 18744 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19605 18744 1111 63 0 19542 0
vsize: 78420
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18830 0 0 0 84872 139 0 0 25 0 1 0 643439757 80302080 18751 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19605 18751 1111 63 0 19542 0
vsize: 78420
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18833 0 0 0 85870 141 0 0 25 0 1 0 643439757 80302080 18754 4294967295 134512640 134714508 3221221776 3221220688 134595081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19605 18754 1111 63 0 19542 0
vsize: 78420
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18874 0 0 0 86869 143 0 0 25 0 1 0 643439757 80437248 18795 4294967295 134512640 134714508 3221221776 3221220428 134536771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19638 18795 1111 63 0 19575 0
vsize: 78552
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18904 0 0 0 87868 144 0 0 25 0 1 0 643439757 80572416 18825 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19671 18825 1111 63 0 19608 0
vsize: 78684
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18939 0 0 0 88867 145 0 0 25 0 1 0 643439757 80707584 18860 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19704 18860 1111 63 0 19641 0
vsize: 78816
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18939 0 0 0 89866 146 0 0 25 0 1 0 643439757 80707584 18860 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19704 18860 1111 63 0 19641 0
vsize: 78816
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 18985 0 0 0 90865 147 0 0 25 0 1 0 643439757 80977920 18906 4294967295 134512640 134714508 3221221776 3221220332 134539337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19770 18906 1111 63 0 19707 0
vsize: 79080
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19046 0 0 0 91863 149 0 0 25 0 1 0 643439757 81113088 18967 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19803 18967 1111 63 0 19740 0
vsize: 79212
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19092 0 0 0 92862 150 0 0 25 0 1 0 643439757 81383424 19013 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19869 19013 1111 63 0 19806 0
vsize: 79476
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19131 0 0 0 93861 151 0 0 25 0 1 0 643439757 81518592 19052 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19902 19052 1111 63 0 19839 0
vsize: 79608
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19167 0 0 0 94861 152 0 0 25 0 1 0 643439757 81653760 19088 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19935 19088 1111 63 0 19872 0
vsize: 79740
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19196 0 0 0 95860 154 0 0 25 0 1 0 643439757 81727488 19117 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19953 19117 1111 63 0 19890 0
vsize: 79812
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19243 0 0 0 96859 155 0 0 25 0 1 0 643439757 81989632 19164 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20017 19164 1111 63 0 19954 0
vsize: 80068
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19286 0 0 0 97857 157 0 0 25 0 1 0 643439757 82100224 19207 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20044 19207 1111 63 0 19981 0
vsize: 80176
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19320 0 0 0 98856 158 0 0 25 0 1 0 643439757 82235392 19241 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20077 19241 1111 63 0 20014 0
vsize: 80308
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19331 0 0 0 99855 159 0 0 25 0 1 0 643439757 82370560 19252 4294967295 134512640 134714508 3221221776 3221220428 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20110 19252 1111 63 0 20047 0
vsize: 80440
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19346 0 0 0 100854 160 0 0 25 0 1 0 643439757 82370560 19267 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20110 19267 1111 63 0 20047 0
vsize: 80440
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19360 0 0 0 101854 161 0 0 25 0 1 0 643439757 82505728 19281 4294967295 134512640 134714508 3221221776 3221220416 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20143 19281 1111 63 0 20080 0
vsize: 80572
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19360 0 0 0 102852 162 0 0 25 0 1 0 643439757 82505728 19281 4294967295 134512640 134714508 3221221776 3221220548 134529375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20143 19281 1111 63 0 20080 0
vsize: 80572
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19369 0 0 0 103852 163 0 0 25 0 1 0 643439757 82505728 19290 4294967295 134512640 134714508 3221221776 3221220464 134594338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20143 19290 1111 63 0 20080 0
vsize: 80572
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19398 0 0 0 104850 165 0 0 25 0 1 0 643439757 82636800 19319 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20175 19319 1111 63 0 20112 0
vsize: 80700
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19405 0 0 0 105849 166 0 0 25 0 1 0 643439757 82636800 19326 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20175 19326 1111 63 0 20112 0
vsize: 80700
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19409 0 0 0 106848 167 0 0 25 0 1 0 643439757 82636800 19330 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20175 19330 1111 63 0 20112 0
vsize: 80700
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28578
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19423 0 0 0 107847 168 0 0 25 0 1 0 643439757 82767872 19344 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20207 19344 1111 63 0 20144 0
vsize: 80828
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28631
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19449 0 0 0 108847 169 0 0 25 0 1 0 643439757 82767872 19370 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20207 19370 1111 63 0 20144 0
vsize: 80828
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28631
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19473 0 0 0 109846 170 0 0 25 0 1 0 643439757 82890752 19394 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20237 19394 1111 63 0 20174 0
vsize: 80948
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28631
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19485 0 0 0 110844 172 0 0 25 0 1 0 643439757 83025920 19406 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20270 19406 1111 63 0 20207 0
vsize: 81080
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28631
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19501 0 0 0 111844 173 0 0 25 0 1 0 643439757 83025920 19422 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20270 19422 1111 63 0 20207 0
vsize: 81080
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28631
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19514 0 0 0 112843 174 0 0 25 0 1 0 643439757 83025920 19435 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20270 19435 1111 63 0 20207 0
vsize: 81080
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28631
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19526 0 0 0 113842 175 0 0 25 0 1 0 643439757 83156992 19447 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20302 19447 1111 63 0 20239 0
vsize: 81208
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28631
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19569 0 0 0 114841 176 0 0 25 0 1 0 643439757 83292160 19490 4294967295 134512640 134714508 3221221776 3221220420 134536694 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20335 19490 1111 63 0 20272 0
vsize: 81340
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28633
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19590 0 0 0 115840 177 0 0 25 0 1 0 643439757 83427328 19511 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20368 19511 1111 63 0 20305 0
vsize: 81472
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 28633
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19627 0 0 0 116839 179 0 0 25 0 1 0 643439757 83562496 19548 4294967295 134512640 134714508 3221221776 3221220480 134524393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20401 19548 1111 63 0 20338 0
vsize: 81604
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 28633
Raw data (stat): 28578 (bsolo_lpr) R 28577 7876 7672 0 -1 0 19627 0 0 0 116839 179 0 0 25 0 1 0 643439757 83562496 19548 4294967295 134512640 134714508 3221221776 3221220480 134524393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20401 19548 1111 63 0 20338 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1173.24
CPU system time (s): 1.83072
CPU usage (%): 100.012
Max. virtual memory (Kb): 81604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####