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-fpga20_20_sat_pb.cnf.cr.opb
MD5SUM	4313884ec3fa396c713faf5f812fe6b8
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	21
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.136978
Number of variables	600
Total number of constraints	460
Number of constraints which are clauses	420
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 23348

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 16:34:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=371 boxname=wulflinc31 idbench=42 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4313884ec3fa396c713faf5f812fe6b8  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_20_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_20_sat_pb.cnf.cr.opb
IDLAUNCH: 371
/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:        926988 kB
Buffers:         38436 kB
Cached:          47252 kB
SwapCached:        944 kB
Active:          72328 kB
Inactive:        15760 kB
HighTotal:      131008 kB
HighFree:        82768 kB
LowTotal:       903652 kB
LowFree:        844220 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13912 kB
Committed_AS:    63616 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 16:54:31 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 371 7 1175.09 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 600 variables and 460 constraints.
c After prepocess the problem consists of 600 variables and 460 constraints.
c preprocess terminated 0.506 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.93 0.98 0.97 2/54 26000
Raw data (stat): 26000 (runsolver) R 25999 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 641597162 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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.001 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 2189 0 0 0 985 10 0 0 25 0 1 0 641597162 12075008 2110 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2948 2110 1111 63 0 2885 0
vsize: 11792
[startup+20.002 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 2867 0 0 0 1981 14 0 0 25 0 1 0 641597162 14905344 2788 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3639 2788 1111 63 0 3576 0
vsize: 14556
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 3852 0 0 0 2977 19 0 0 25 0 1 0 641597162 18821120 3773 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3773 1111 63 0 4532 0
vsize: 18380
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 4438 0 0 0 3974 22 0 0 25 0 1 0 641597162 21254144 4359 4294967295 134512640 134714508 3221221760 3221220332 134535488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5189 4359 1111 63 0 5126 0
vsize: 20756
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 4741 0 0 0 4972 24 0 0 25 0 1 0 641597162 22597632 4662 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5517 4662 1111 63 0 5454 0
vsize: 22068
[startup+60.0051 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 4863 0 0 0 5971 25 0 0 25 0 1 0 641597162 23003136 4784 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5616 4784 1111 63 0 5553 0
vsize: 22464
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 5047 0 0 0 6969 27 0 0 25 0 1 0 641597162 23810048 4968 4294967295 134512640 134714508 3221221760 3221220492 134524593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5813 4968 1111 63 0 5750 0
vsize: 23252
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 5177 0 0 0 7968 28 0 0 25 0 1 0 641597162 24350720 5098 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5945 5098 1111 63 0 5882 0
vsize: 23780
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 5365 0 0 0 8967 30 0 0 25 0 1 0 641597162 25133056 5286 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6136 5286 1111 63 0 6073 0
vsize: 24544
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 5537 0 0 0 9965 31 0 0 25 0 1 0 641597162 25792512 5458 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6297 5458 1111 63 0 6234 0
vsize: 25188
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 5729 0 0 0 10964 33 0 0 25 0 1 0 641597162 26619904 5650 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6499 5650 1111 63 0 6436 0
vsize: 25996
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 5889 0 0 0 11962 34 0 0 25 0 1 0 641597162 27295744 5809 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6664 5809 1111 63 0 6601 0
vsize: 26656
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6026 0 0 0 12960 37 0 0 25 0 1 0 641597162 27844608 5946 4294967295 134512640 134714508 3221221760 3221220316 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6798 5946 1111 63 0 6735 0
vsize: 27192
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6152 0 0 0 13958 39 0 0 25 0 1 0 641597162 28381184 6072 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6929 6072 1111 63 0 6866 0
vsize: 27716
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6297 0 0 0 14957 40 0 0 25 0 1 0 641597162 28921856 6217 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7061 6217 1111 63 0 6998 0
vsize: 28244
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6405 0 0 0 15955 42 0 0 25 0 1 0 641597162 29462528 6325 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7193 6325 1111 63 0 7130 0
vsize: 28772
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6516 0 0 0 16954 44 0 0 25 0 1 0 641597162 29868032 6435 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7292 6435 1111 63 0 7229 0
vsize: 29168
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6570 0 0 0 17952 45 0 0 25 0 1 0 641597162 30138368 6489 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6489 1111 63 0 7295 0
vsize: 29432
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6643 0 0 0 18950 47 0 0 25 0 1 0 641597162 30408704 6562 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7424 6562 1111 63 0 7361 0
vsize: 29696
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6687 0 0 0 19949 48 0 0 25 0 1 0 641597162 30543872 6606 4294967295 134512640 134714508 3221221760 3221220416 134536713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6606 1111 63 0 7394 0
vsize: 29828
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6716 0 0 0 20948 50 0 0 25 0 1 0 641597162 30670848 6635 4294967295 134512640 134714508 3221221760 3221220244 134697183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7488 6635 1111 63 0 7425 0
vsize: 29952
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6750 0 0 0 21947 51 0 0 25 0 1 0 641597162 30924800 6669 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7550 6669 1111 63 0 7487 0
vsize: 30200
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6828 0 0 0 22946 53 0 0 25 0 1 0 641597162 31195136 6747 4294967295 134512640 134714508 3221221760 3221220272 134535017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7616 6747 1111 63 0 7553 0
vsize: 30464
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 6914 0 0 0 23945 53 0 0 25 0 1 0 641597162 31596544 6833 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7714 6833 1111 63 0 7651 0
vsize: 30856
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7007 0 0 0 24944 55 0 0 25 0 1 0 641597162 31866880 6926 4294967295 134512640 134714508 3221221760 3221220360 134535679 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7780 6926 1111 63 0 7717 0
vsize: 31120
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7031 0 0 0 25944 55 0 0 25 0 1 0 641597162 32002048 6950 4294967295 134512640 134714508 3221221760 3221220544 134584866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7813 6950 1111 63 0 7750 0
vsize: 31252
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7031 0 0 0 26943 56 0 0 25 0 1 0 641597162 32002048 6950 4294967295 134512640 134714508 3221221760 3221220164 134697324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7813 6950 1111 63 0 7750 0
vsize: 31252
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7049 0 0 0 27943 56 0 0 25 0 1 0 641597162 32137216 6968 4294967295 134512640 134714508 3221221760 3221220528 134529138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7846 6968 1111 63 0 7783 0
vsize: 31384
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7078 0 0 0 28942 57 0 0 25 0 1 0 641597162 32137216 6997 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7846 6997 1111 63 0 7783 0
vsize: 31384
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7088 0 0 0 29942 58 0 0 25 0 1 0 641597162 32272384 7007 4294967295 134512640 134714508 3221221760 3221220472 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7879 7007 1111 63 0 7816 0
vsize: 31516
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7115 0 0 0 30941 59 0 0 25 0 1 0 641597162 32407552 7034 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7912 7034 1111 63 0 7849 0
vsize: 31648
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7125 0 0 0 31940 60 0 0 25 0 1 0 641597162 32407552 7044 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7912 7044 1111 63 0 7849 0
vsize: 31648
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7135 0 0 0 32940 60 0 0 25 0 1 0 641597162 32407552 7054 4294967295 134512640 134714508 3221221760 3221220348 134535484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7912 7054 1111 63 0 7849 0
vsize: 31648
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7135 0 0 0 33940 61 0 0 25 0 1 0 641597162 32407552 7054 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7912 7054 1111 63 0 7849 0
vsize: 31648
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7140 0 0 0 34939 62 0 0 25 0 1 0 641597162 32407552 7059 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7912 7059 1111 63 0 7849 0
vsize: 31648
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7163 0 0 0 35938 63 0 0 25 0 1 0 641597162 32542720 7082 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7945 7082 1111 63 0 7882 0
vsize: 31780
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7233 0 0 0 36937 64 0 0 25 0 1 0 641597162 32813056 7152 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8011 7152 1111 63 0 7948 0
vsize: 32044
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7263 0 0 0 37936 65 0 0 25 0 1 0 641597162 32903168 7182 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8033 7182 1111 63 0 7970 0
vsize: 32132
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7271 0 0 0 38936 66 0 0 25 0 1 0 641597162 33030144 7190 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7190 1111 63 0 8001 0
vsize: 32256
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7300 0 0 0 39935 67 0 0 25 0 1 0 641597162 33165312 7219 4294967295 134512640 134714508 3221221760 3221220368 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8097 7219 1111 63 0 8034 0
vsize: 32388
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7327 0 0 0 40935 67 0 0 25 0 1 0 641597162 33300480 7246 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8130 7246 1111 63 0 8067 0
vsize: 32520
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7394 0 0 0 41933 69 0 0 25 0 1 0 641597162 33570816 7313 4294967295 134512640 134714508 3221221760 3221220368 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7313 1111 63 0 8133 0
vsize: 32784
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7413 0 0 0 42932 70 0 0 25 0 1 0 641597162 33570816 7332 4294967295 134512640 134714508 3221221760 3221220416 134536738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7332 1111 63 0 8133 0
vsize: 32784
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7429 0 0 0 43932 70 0 0 25 0 1 0 641597162 33705984 7348 4294967295 134512640 134714508 3221221760 3221220524 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7348 1111 63 0 8166 0
vsize: 32916
[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7434 0 0 0 44931 71 0 0 25 0 1 0 641597162 33705984 7353 4294967295 134512640 134714508 3221221760 3221220160 134697360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7353 1111 63 0 8166 0
vsize: 32916
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7438 0 0 0 45931 72 0 0 25 0 1 0 641597162 33705984 7357 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7357 1111 63 0 8166 0
vsize: 32916
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7449 0 0 0 46931 72 0 0 25 0 1 0 641597162 33705984 7368 4294967295 134512640 134714508 3221221760 3221220352 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7368 1111 63 0 8166 0
vsize: 32916
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7511 0 0 0 47930 73 0 0 25 0 1 0 641597162 33976320 7430 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8295 7430 1111 63 0 8232 0
vsize: 33180
[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7521 0 0 0 48929 74 0 0 25 0 1 0 641597162 34111488 7440 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8328 7440 1111 63 0 8265 0
vsize: 33312
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7535 0 0 0 49929 74 0 0 25 0 1 0 641597162 34111488 7454 4294967295 134512640 134714508 3221221760 3221220352 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8328 7454 1111 63 0 8265 0
vsize: 33312
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7550 0 0 0 50929 75 0 0 25 0 1 0 641597162 34246656 7469 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8361 7469 1111 63 0 8298 0
vsize: 33444
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7562 0 0 0 51929 75 0 0 25 0 1 0 641597162 34242560 7481 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8360 7481 1111 63 0 8297 0
vsize: 33440
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7591 0 0 0 52928 76 0 0 25 0 1 0 641597162 34377728 7510 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8393 7510 1111 63 0 8330 0
vsize: 33572
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7744 0 0 0 53927 78 0 0 25 0 1 0 641597162 34918400 7663 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8525 7663 1111 63 0 8462 0
vsize: 34100
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7892 0 0 0 54926 79 0 0 25 0 1 0 641597162 35594240 7811 4294967295 134512640 134714508 3221221760 3221220448 134536738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8690 7811 1111 63 0 8627 0
vsize: 34760
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 7981 0 0 0 55925 79 0 0 25 0 1 0 641597162 35999744 7900 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8789 7900 1111 63 0 8726 0
vsize: 35156
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 8094 0 0 0 56924 81 0 0 25 0 1 0 641597162 36405248 8013 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8888 8013 1111 63 0 8825 0
vsize: 35552
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 8222 0 0 0 57923 82 0 0 25 0 1 0 641597162 36896768 8141 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9008 8141 1111 63 0 8945 0
vsize: 36032
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 8278 0 0 0 58922 83 0 0 25 0 1 0 641597162 37167104 8197 4294967295 134512640 134714508 3221221760 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9074 8197 1111 63 0 9011 0
vsize: 36296
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 8318 0 0 0 59922 83 0 0 25 0 1 0 641597162 37302272 8237 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9107 8237 1111 63 0 9044 0
vsize: 36428
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 9129 0 0 0 60919 86 0 0 25 0 1 0 641597162 40677376 9048 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 9048 1111 63 0 9868 0
vsize: 39724
[startup+620.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 10094 0 0 0 61915 90 0 0 25 0 1 0 641597162 44601344 10013 4294967295 134512640 134714508 3221221760 3221220428 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10889 10013 1111 63 0 10826 0
vsize: 43556
[startup+630.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 11006 0 0 0 62912 94 0 0 25 0 1 0 641597162 48381952 10925 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11812 10925 1111 63 0 11749 0
vsize: 47248
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 11389 0 0 0 63911 96 0 0 25 0 1 0 641597162 49868800 11308 4294967295 134512640 134714508 3221221760 3221220400 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12175 11308 1111 63 0 12112 0
vsize: 48700
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 12359 0 0 0 64907 99 0 0 25 0 1 0 641597162 53932032 12278 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13167 12278 1111 63 0 13104 0
vsize: 52668
[startup+660.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 12747 0 0 0 65905 101 0 0 25 0 1 0 641597162 55554048 12666 4294967295 134512640 134714508 3221221760 3221220384 134696252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13563 12666 1111 63 0 13500 0
vsize: 54252
[startup+670.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 13101 0 0 0 66903 104 0 0 25 0 1 0 641597162 56905728 13020 4294967295 134512640 134714508 3221221760 3221220672 134588446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13893 13020 1111 63 0 13830 0
vsize: 55572
[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 13707 0 0 0 67901 106 0 0 25 0 1 0 641597162 59473920 13626 4294967295 134512640 134714508 3221221760 3221220352 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14520 13626 1111 63 0 14457 0
vsize: 58080
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 13926 0 0 0 68899 108 0 0 25 0 1 0 641597162 60284928 13845 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14718 13845 1111 63 0 14655 0
vsize: 58872
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 14114 0 0 0 69899 108 0 0 25 0 1 0 641597162 61100032 14033 4294967295 134512640 134714508 3221221760 3221220416 134536849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14917 14033 1111 63 0 14854 0
vsize: 59668
[startup+710.042 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 14400 0 0 0 70899 110 0 0 25 0 1 0 641597162 62324736 14319 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15216 14319 1111 63 0 15153 0
vsize: 60864
[startup+720.042 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 14631 0 0 0 71898 111 0 0 25 0 1 0 641597162 63270912 14550 4294967295 134512640 134714508 3221221760 3221220072 1077377311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15447 14550 1111 63 0 15384 0
vsize: 61788
[startup+730.042 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 14776 0 0 0 72897 112 0 0 25 0 1 0 641597162 63823872 14695 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15582 14695 1111 63 0 15519 0
vsize: 62328
[startup+740.043 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 15181 0 0 0 73896 114 0 0 25 0 1 0 641597162 65613824 15099 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16019 15099 1111 63 0 15956 0
vsize: 64076
[startup+750.043 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 15307 0 0 0 74895 114 0 0 25 0 1 0 641597162 66019328 15225 4294967295 134512640 134714508 3221221760 3221220348 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16118 15225 1111 63 0 16055 0
vsize: 64472
[startup+760.044 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 15602 0 0 0 75894 116 0 0 25 0 1 0 641597162 67366912 15520 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16447 15520 1111 63 0 16384 0
vsize: 65788
[startup+770.045 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 15862 0 0 0 76892 117 0 0 25 0 1 0 641597162 68456448 15779 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16713 15779 1111 63 0 16650 0
vsize: 66852
[startup+780.045 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 15982 0 0 0 77892 118 0 0 25 0 1 0 641597162 68882432 15898 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16817 15898 1111 63 0 16754 0
vsize: 67268
[startup+790.045 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 16086 0 0 0 78891 119 0 0 25 0 1 0 641597162 69287936 16002 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16916 16002 1111 63 0 16853 0
vsize: 67664
[startup+800.045 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 16317 0 0 0 79890 120 0 0 25 0 1 0 641597162 70246400 16233 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17150 16233 1111 63 0 17087 0
vsize: 68600
[startup+810.045 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 16401 0 0 0 80889 121 0 0 25 0 1 0 641597162 70680576 16317 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16317 1111 63 0 17193 0
vsize: 69024
[startup+820.045 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 16442 0 0 0 81889 122 0 0 25 0 1 0 641597162 70840320 16358 4294967295 134512640 134714508 3221221760 3221220528 134529138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17295 16358 1111 63 0 17232 0
vsize: 69180
[startup+830.046 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 16688 0 0 0 82888 123 0 0 25 0 1 0 641597162 71921664 16603 4294967295 134512640 134714508 3221221760 3221220480 134535760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17559 16603 1111 63 0 17496 0
vsize: 70236
[startup+840.046 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 16855 0 0 0 83887 124 0 0 25 0 1 0 641597162 72609792 16769 4294967295 134512640 134714508 3221221760 3221220496 134535840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17727 16769 1111 63 0 17664 0
vsize: 70908
[startup+850.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 16995 0 0 0 84887 125 0 0 25 0 1 0 641597162 73166848 16909 4294967295 134512640 134714508 3221221760 3221220496 134591946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17863 16909 1111 63 0 17800 0
vsize: 71452
[startup+860.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 17180 0 0 0 85886 125 0 0 25 0 1 0 641597162 73965568 17092 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18058 17092 1111 63 0 17995 0
vsize: 72232
[startup+870.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 17381 0 0 0 86885 127 0 0 25 0 1 0 641597162 74776576 17293 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18256 17293 1111 63 0 18193 0
vsize: 73024
[startup+880.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 17528 0 0 0 87884 128 0 0 25 0 1 0 641597162 75317248 17440 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18388 17440 1111 63 0 18325 0
vsize: 73552
[startup+890.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 17627 0 0 0 88884 128 0 0 25 0 1 0 641597162 75714560 17539 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17539 1111 63 0 18422 0
vsize: 73940
[startup+900.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 17710 0 0 0 89883 129 0 0 25 0 1 0 641597162 76115968 17621 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18583 17621 1111 63 0 18520 0
vsize: 74332
[startup+910.048 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 17749 0 0 0 90883 129 0 0 25 0 1 0 641597162 76267520 17660 4294967295 134512640 134714508 3221221760 3221220516 134587950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18620 17660 1111 63 0 18557 0
vsize: 74480
[startup+920.049 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 17794 0 0 0 91883 130 0 0 25 0 1 0 641597162 76402688 17705 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18653 17705 1111 63 0 18590 0
vsize: 74612
[startup+930.049 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 17897 0 0 0 92883 130 0 0 25 0 1 0 641597162 76976128 17808 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18793 17808 1111 63 0 18730 0
vsize: 75172
[startup+940.049 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 18003 0 0 0 93882 131 0 0 25 0 1 0 641597162 77381632 17914 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18892 17914 1111 63 0 18829 0
vsize: 75568
[startup+950.049 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 18507 0 0 0 94881 132 0 0 25 0 1 0 641597162 79413248 18418 4294967295 134512640 134714508 3221221760 3221220528 134529115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19388 18418 1111 63 0 19325 0
vsize: 77552
[startup+960.049 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 19329 0 0 0 95877 136 0 0 25 0 1 0 641597162 82792448 19240 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20213 19240 1111 63 0 20150 0
vsize: 80852
[startup+970.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 20169 0 0 0 96874 140 0 0 25 0 1 0 641597162 86171648 20080 4294967295 134512640 134714508 3221221760 3221220316 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21038 20080 1111 63 0 20975 0
vsize: 84152
[startup+980.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 20703 0 0 0 97872 142 0 0 25 0 1 0 641597162 88477696 20613 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21601 20613 1111 63 0 21538 0
vsize: 86404
[startup+990.051 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 21230 0 0 0 98870 144 0 0 25 0 1 0 641597162 90505216 21140 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22096 21140 1111 63 0 22033 0
vsize: 88384
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 21626 0 0 0 99869 145 0 0 25 0 1 0 641597162 92274688 21536 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22528 21536 1111 63 0 22465 0
vsize: 90112
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 21852 0 0 0 100868 146 0 0 25 0 1 0 641597162 93220864 21762 4294967295 134512640 134714508 3221221760 3221220544 134529390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22759 21762 1111 63 0 22696 0
vsize: 91036
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 22075 0 0 0 101867 147 0 0 25 0 1 0 641597162 94044160 21985 4294967295 134512640 134714508 3221221760 3221220380 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22960 21985 1111 63 0 22897 0
vsize: 91840
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 22228 0 0 0 102866 148 0 0 25 0 1 0 641597162 94732288 22137 4294967295 134512640 134714508 3221221760 3221220352 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23128 22137 1111 63 0 23065 0
vsize: 92512
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 22329 0 0 0 103866 149 0 0 25 0 1 0 641597162 95150080 22237 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23230 22237 1111 63 0 23167 0
vsize: 92920
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 23218 0 0 0 104863 152 0 0 25 0 1 0 641597162 98795520 23126 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24120 23126 1111 63 0 24057 0
vsize: 96480
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 23887 0 0 0 105861 155 0 0 25 0 1 0 641597162 101498880 23795 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24780 23795 1111 63 0 24717 0
vsize: 99120
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 24230 0 0 0 106859 156 0 0 25 0 1 0 641597162 102850560 24138 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25110 24138 1111 63 0 25047 0
vsize: 100440
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 24523 0 0 0 107858 158 0 0 25 0 1 0 641597162 104206336 24430 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25441 24430 1111 63 0 25378 0
vsize: 101764
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 24713 0 0 0 108857 159 0 0 25 0 1 0 641597162 104898560 24619 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25610 24619 1111 63 0 25547 0
vsize: 102440
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 24848 0 0 0 109857 159 0 0 25 0 1 0 641597162 105472000 24754 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25750 24754 1111 63 0 25687 0
vsize: 103000
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 24928 0 0 0 110857 160 0 0 25 0 1 0 641597162 105885696 24834 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25851 24834 1111 63 0 25788 0
vsize: 103404
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 25042 0 0 0 111857 160 0 0 25 0 1 0 641597162 106291200 24948 4294967295 134512640 134714508 3221221760 3221220316 134535984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25950 24948 1111 63 0 25887 0
vsize: 103800
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 25613 0 0 0 112855 163 0 0 25 0 1 0 641597162 108589056 25517 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26511 25517 1111 63 0 26448 0
vsize: 106044
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 25819 0 0 0 113854 164 0 0 25 0 1 0 641597162 109535232 25723 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26742 25723 1111 63 0 26679 0
vsize: 106968
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 26190 0 0 0 114853 165 0 0 25 0 1 0 641597162 111075328 26092 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27118 26092 1111 63 0 27055 0
vsize: 108472
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 26445 0 0 0 115853 165 0 0 25 0 1 0 641597162 112181248 26347 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27388 26347 1111 63 0 27325 0
vsize: 109552
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 26668 0 0 0 116852 166 0 0 25 0 1 0 641597162 113029120 26570 4294967295 134512640 134714508 3221221760 3221220252 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27595 26570 1111 63 0 27532 0
vsize: 110380
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.98 0.97 1/53 26000
Raw data (stat): 26000 (bsolo_lpr_cuts) R 25999 7876 7672 0 -1 0 26668 0 0 0 116852 166 0 0 25 0 1 0 641597162 113029120 26570 4294967295 134512640 134714508 3221221760 3221220252 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27595 26570 1111 63 0 27532 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.09
CPU user time (s): 1173.37
CPU system time (s): 1.71774
CPU usage (%): 100.011
Max. virtual memory (Kb): 110380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####