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-fpga15_15_sat_pb.cnf.cr.opb
MD5SUM	5845da453401bb95aae2b4a79f2952fc
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	16
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.082987
Number of variables	338
Total number of constraints	270
Number of constraints which are clauses	240
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 23333

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 13:35:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=344 boxname=wulflinc31 idbench=39 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5845da453401bb95aae2b4a79f2952fc  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_15_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_15_sat_pb.cnf.cr.opb
IDLAUNCH: 344
/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:        927688 kB
Buffers:         38172 kB
Cached:          46916 kB
SwapCached:        864 kB
Active:          71980 kB
Inactive:        15508 kB
HighTotal:      131008 kB
HighFree:        83132 kB
LowTotal:       903652 kB
LowFree:        844556 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13944 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 13:55:10 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 344 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 338 variables and 270 constraints.
c After prepocess the problem consists of 338 variables and 270 constraints.
c preprocess terminated 0.209 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.91 0.95 0.95 2/54 24384
Raw data (stat): 24384 (runsolver) R 24383 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 640520956 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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.0014 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 3079 0 0 0 985 10 0 0 25 0 1 0 640520956 15753216 3000 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3846 3000 1111 63 0 3783 0
vsize: 15384
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 4215 0 0 0 1981 14 0 0 25 0 1 0 640520956 20348928 4136 4294967295 134512640 134714508 3221221760 3221220528 134529110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4968 4137 1111 63 0 4905 0
vsize: 19872
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 5613 0 0 0 2976 20 0 0 25 0 1 0 640520956 26161152 5534 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6387 5534 1111 63 0 6324 0
vsize: 25548
[startup+40.0028 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 6338 0 0 0 3972 24 0 0 25 0 1 0 640520956 28999680 6259 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7080 6259 1111 63 0 7017 0
vsize: 28320
[startup+50.0034 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 7251 0 0 0 4970 26 0 0 25 0 1 0 640520956 32784384 7172 4294967295 134512640 134714508 3221221760 3221220412 134536831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8004 7173 1111 63 0 7941 0
vsize: 32016
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 8146 0 0 0 5965 31 0 0 25 0 1 0 640520956 36438016 8066 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8896 8066 1111 63 0 8833 0
vsize: 35584
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 8601 0 0 0 6964 33 0 0 25 0 1 0 640520956 38338560 8521 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9360 8521 1111 63 0 9297 0
vsize: 37440
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 9301 0 0 0 7962 35 0 0 25 0 1 0 640520956 41181184 9221 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10054 9221 1111 63 0 9991 0
vsize: 40216
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 9733 0 0 0 8960 37 0 0 25 0 1 0 640520956 42938368 9653 4294967295 134512640 134714508 3221221760 3221220256 134535383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10483 9653 1111 63 0 10420 0
vsize: 41932
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 10047 0 0 0 9958 39 0 0 25 0 1 0 640520956 44290048 9967 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10813 9967 1111 63 0 10750 0
vsize: 43252
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 10867 0 0 0 10956 42 0 0 25 0 1 0 640520956 47697920 10787 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11645 10787 1111 63 0 11582 0
vsize: 46580
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 11458 0 0 0 11953 44 0 0 25 0 1 0 640520956 50139136 11378 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12241 11378 1111 63 0 12178 0
vsize: 48964
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 11988 0 0 0 12951 47 0 0 25 0 1 0 640520956 52301824 11907 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12769 11907 1111 63 0 12706 0
vsize: 51076
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 12481 0 0 0 13948 50 0 0 25 0 1 0 640520956 54353920 12398 4294967295 134512640 134714508 3221221760 3221220384 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13270 12398 1111 63 0 13207 0
vsize: 53080
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 12751 0 0 0 14947 51 0 0 25 0 1 0 640520956 55439360 12666 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13535 12666 1111 63 0 13472 0
vsize: 54140
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 13029 0 0 0 15947 51 0 0 25 0 1 0 640520956 56655872 12942 4294967295 134512640 134714508 3221221760 3221220384 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13832 12942 1111 63 0 13769 0
vsize: 55328
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 13307 0 0 0 16945 53 0 0 25 0 1 0 640520956 57741312 13220 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14097 13220 1111 63 0 14034 0
vsize: 56388
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 13547 0 0 0 17944 55 0 0 25 0 1 0 640520956 58839040 13459 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14365 13459 1111 63 0 14302 0
vsize: 57460
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 13846 0 0 0 18942 56 0 0 25 0 1 0 640520956 60084224 13756 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14669 13756 1111 63 0 14606 0
vsize: 58676
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 14233 0 0 0 19941 58 0 0 25 0 1 0 640520956 61771776 14140 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15081 14140 1111 63 0 15018 0
vsize: 60324
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 14578 0 0 0 20939 60 0 0 25 0 1 0 640520956 63123456 14484 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15411 14484 1111 63 0 15348 0
vsize: 61644
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 14879 0 0 0 21938 62 0 0 25 0 1 0 640520956 64479232 14785 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15742 14785 1111 63 0 15679 0
vsize: 62968
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 15115 0 0 0 22937 62 0 0 25 0 1 0 640520956 65445888 15020 4294967295 134512640 134714508 3221221760 3221220252 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15978 15020 1111 63 0 15915 0
vsize: 63912
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 15522 0 0 0 23935 65 0 0 25 0 1 0 640520956 67235840 15425 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16415 15425 1111 63 0 16352 0
vsize: 65660
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 15831 0 0 0 24934 66 0 0 25 0 1 0 640520956 68456448 15729 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16713 15729 1111 63 0 16650 0
vsize: 66852
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 16183 0 0 0 25934 66 0 0 25 0 1 0 640520956 69971968 16080 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17083 16080 1111 63 0 17020 0
vsize: 68332
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 16537 0 0 0 26932 68 0 0 25 0 1 0 640520956 71512064 16432 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17459 16432 1111 63 0 17396 0
vsize: 69836
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 16919 0 0 0 27931 70 0 0 25 0 1 0 640520956 73183232 16811 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17867 16811 1111 63 0 17804 0
vsize: 71468
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 17312 0 0 0 28929 72 0 0 25 0 1 0 640520956 74678272 17203 4294967295 134512640 134714508 3221221760 3221220328 1077378362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18232 17203 1111 63 0 18169 0
vsize: 72928
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 17557 0 0 0 29928 73 0 0 25 0 1 0 640520956 75767808 17448 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18498 17448 1111 63 0 18435 0
vsize: 73992
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 18048 0 0 0 30926 75 0 0 25 0 1 0 640520956 77799424 17939 4294967295 134512640 134714508 3221221760 3221220348 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18994 17939 1111 63 0 18931 0
vsize: 75976
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 19122 0 0 0 31923 78 0 0 25 0 1 0 640520956 82132992 19013 4294967295 134512640 134714508 3221221760 3221220444 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20052 19013 1111 63 0 19989 0
vsize: 80208
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 20388 0 0 0 32918 84 0 0 25 0 1 0 640520956 87269376 20279 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21306 20279 1111 63 0 21243 0
vsize: 85224
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 21551 0 0 0 33913 89 0 0 25 0 1 0 640520956 92135424 21442 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22494 21442 1111 63 0 22431 0
vsize: 89976
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 22729 0 0 0 34909 92 0 0 25 0 1 0 640520956 97021952 22620 4294967295 134512640 134714508 3221221760 3221220444 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23687 22620 1111 63 0 23624 0
vsize: 94748
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 23482 0 0 0 35907 95 0 0 25 0 1 0 640520956 100130816 23373 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24446 23373 1111 63 0 24383 0
vsize: 97784
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 24454 0 0 0 36903 99 0 0 25 0 1 0 640520956 104054784 24345 4294967295 134512640 134714508 3221221760 3221220416 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25404 24345 1111 63 0 25341 0
vsize: 101616
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 25160 0 0 0 37900 102 0 0 25 0 1 0 640520956 107044864 25051 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26134 25051 1111 63 0 26071 0
vsize: 104536
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 25729 0 0 0 38898 105 0 0 25 0 1 0 640520956 109342720 25620 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26695 25620 1111 63 0 26632 0
vsize: 106780
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 26571 0 0 0 39895 108 0 0 25 0 1 0 640520956 112721920 26462 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27520 26462 1111 63 0 27457 0
vsize: 110080
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 27311 0 0 0 40892 111 0 0 25 0 1 0 640520956 115707904 27202 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28249 27202 1111 63 0 28186 0
vsize: 112996
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 27778 0 0 0 41891 112 0 0 25 0 1 0 640520956 117612544 27669 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28714 27669 1111 63 0 28651 0
vsize: 114856
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 28343 0 0 0 42889 115 0 0 25 0 1 0 640520956 120045568 28234 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29308 28234 1111 63 0 29245 0
vsize: 117232
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 28808 0 0 0 43888 116 0 0 25 0 1 0 640520956 121942016 28697 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29771 28697 1111 63 0 29708 0
vsize: 119084
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 29284 0 0 0 44887 117 0 0 25 0 1 0 640520956 123834368 29173 4294967295 134512640 134714508 3221221760 3221220316 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30233 29173 1111 63 0 30170 0
vsize: 120932
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 29754 0 0 0 45885 119 0 0 25 0 1 0 640520956 125726720 29643 4294967295 134512640 134714508 3221221760 3221220316 134535962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30695 29643 1111 63 0 30632 0
vsize: 122780
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 30128 0 0 0 46883 121 0 0 25 0 1 0 640520956 127213568 30017 4294967295 134512640 134714508 3221221760 3221220256 134535468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31058 30017 1111 63 0 30995 0
vsize: 124232
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 30420 0 0 0 47882 123 0 0 25 0 1 0 640520956 128430080 30309 4294967295 134512640 134714508 3221221760 3221220384 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31355 30309 1111 63 0 31292 0
vsize: 125420
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 30631 0 0 0 48882 123 0 0 25 0 1 0 640520956 129241088 30520 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31553 30520 1111 63 0 31490 0
vsize: 126212
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 31029 0 0 0 49881 124 0 0 25 0 1 0 640520956 131063808 30918 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31998 30918 1111 63 0 31935 0
vsize: 127992
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 31582 0 0 0 50879 126 0 0 25 0 1 0 640520956 133226496 31471 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32526 31471 1111 63 0 32463 0
vsize: 130104
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 32537 0 0 0 51875 130 0 0 25 0 1 0 640520956 137146368 32426 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33483 32426 1111 63 0 33420 0
vsize: 133932
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 33398 0 0 0 52872 133 0 0 25 0 1 0 640520956 140660736 33287 4294967295 134512640 134714508 3221221760 3221220480 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34341 33288 1111 63 0 34278 0
vsize: 137364
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 34013 0 0 0 53870 136 0 0 25 0 1 0 640520956 143237120 33902 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34970 33902 1111 63 0 34907 0
vsize: 139880
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 34712 0 0 0 54867 139 0 0 25 0 1 0 640520956 146075648 34601 4294967295 134512640 134714508 3221221760 3221220352 134549730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35663 34601 1111 63 0 35600 0
vsize: 142652
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 35282 0 0 0 55865 141 0 0 25 0 1 0 640520956 148381696 35171 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36226 35171 1111 63 0 36163 0
vsize: 144904
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 35784 0 0 0 56864 143 0 0 25 0 1 0 640520956 150409216 35673 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36721 35673 1111 63 0 36658 0
vsize: 146884
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 36309 0 0 0 57862 144 0 0 25 0 1 0 640520956 152592384 36198 4294967295 134512640 134714508 3221221760 3221220256 134697222 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37254 36198 1111 63 0 37191 0
vsize: 149016
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 36799 0 0 0 58861 146 0 0 25 0 1 0 640520956 154632192 36688 4294967295 134512640 134714508 3221221760 3221220528 134529138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37752 36688 1111 63 0 37689 0
vsize: 151008
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 37149 0 0 0 59859 148 0 0 25 0 1 0 640520956 156119040 37038 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38115 37038 1111 63 0 38052 0
vsize: 152460
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 37525 0 0 0 60858 149 0 0 25 0 1 0 640520956 157765632 37414 4294967295 134512640 134714508 3221221760 3221220288 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38517 37414 1111 63 0 38454 0
vsize: 154068
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 37758 0 0 0 61857 151 0 0 25 0 1 0 640520956 158724096 37647 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38751 37647 1111 63 0 38688 0
vsize: 155004
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 38109 0 0 0 62856 152 0 0 25 0 1 0 640520956 160206848 37998 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39113 37998 1111 63 0 39050 0
vsize: 156452
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 38395 0 0 0 63855 153 0 0 25 0 1 0 640520956 161288192 38284 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39377 38284 1111 63 0 39314 0
vsize: 157508
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 38763 0 0 0 64853 155 0 0 25 0 1 0 640520956 162775040 38652 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39740 38652 1111 63 0 39677 0
vsize: 158960
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 39208 0 0 0 65852 156 0 0 25 0 1 0 640520956 164667392 39097 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40202 39097 1111 63 0 40139 0
vsize: 160808
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 39430 0 0 0 66850 158 0 0 25 0 1 0 640520956 165478400 39319 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40400 39319 1111 63 0 40337 0
vsize: 161600
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 39877 0 0 0 67849 160 0 0 25 0 1 0 640520956 167370752 39766 4294967295 134512640 134714508 3221221760 3221220448 134535829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40862 39766 1111 63 0 40799 0
vsize: 163448
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 40130 0 0 0 68848 161 0 0 25 0 1 0 640520956 168316928 40019 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41093 40019 1111 63 0 41030 0
vsize: 164372
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 40552 0 0 0 69846 163 0 0 25 0 1 0 640520956 170074112 40441 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41522 40441 1111 63 0 41459 0
vsize: 166088
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 40883 0 0 0 70845 165 0 0 25 0 1 0 640520956 171446272 40772 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41857 40772 1111 63 0 41794 0
vsize: 167428
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 41095 0 0 0 71844 166 0 0 25 0 1 0 640520956 172392448 40984 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42088 40984 1111 63 0 42025 0
vsize: 168352
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 41419 0 0 0 72843 167 0 0 25 0 1 0 640520956 173744128 41307 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42418 41308 1111 63 0 42355 0
vsize: 169672
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 41650 0 0 0 73842 168 0 0 25 0 1 0 640520956 174555136 41538 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42616 41538 1111 63 0 42553 0
vsize: 170464
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 41852 0 0 0 74841 169 0 0 25 0 1 0 640520956 175509504 41740 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42849 41740 1111 63 0 42786 0
vsize: 171396
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 42231 0 0 0 75840 170 0 0 25 0 1 0 640520956 177057792 42115 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43227 42115 1111 63 0 43164 0
vsize: 172908
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 42515 0 0 0 76839 171 0 0 25 0 1 0 640520956 178274304 42399 4294967295 134512640 134714508 3221221760 3221220412 134536825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43524 42399 1111 63 0 43461 0
vsize: 174096
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 42871 0 0 0 77838 172 0 0 25 0 1 0 640520956 179650560 42755 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43860 42755 1111 63 0 43797 0
vsize: 175440
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 43077 0 0 0 78837 173 0 0 25 0 1 0 640520956 180604928 42961 4294967295 134512640 134714508 3221221760 3221220488 134552630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44093 42961 1111 63 0 44030 0
vsize: 176372
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 43248 0 0 0 79837 174 0 0 25 0 1 0 640520956 181293056 43130 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44261 43130 1111 63 0 44198 0
vsize: 177044
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 43370 0 0 0 80837 174 0 0 25 0 1 0 640520956 181698560 43252 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44360 43252 1111 63 0 44297 0
vsize: 177440
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 43559 0 0 0 81836 175 0 0 25 0 1 0 640520956 182509568 43440 4294967295 134512640 134714508 3221221760 3221220384 134549773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44558 43440 1111 63 0 44495 0
vsize: 178232
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 43824 0 0 0 82835 176 0 0 25 0 1 0 640520956 183590912 43705 4294967295 134512640 134714508 3221221760 3221220412 134536820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44822 43705 1111 63 0 44759 0
vsize: 179288
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 44001 0 0 0 83834 177 0 0 25 0 1 0 640520956 184401920 43882 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45020 43882 1111 63 0 44957 0
vsize: 180080
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 44204 0 0 0 84834 178 0 0 25 0 1 0 640520956 185212928 44085 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45218 44085 1111 63 0 45155 0
vsize: 180872
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 44572 0 0 0 85833 179 0 0 25 0 1 0 640520956 186806272 44453 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45607 44453 1111 63 0 45544 0
vsize: 182428
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 44973 0 0 0 86832 180 0 0 25 0 1 0 640520956 188477440 44851 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46015 44851 1111 63 0 45952 0
vsize: 184060
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 45313 0 0 0 87831 181 0 0 25 0 1 0 640520956 189829120 45191 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46345 45191 1111 63 0 46282 0
vsize: 185380
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 45704 0 0 0 88830 183 0 0 25 0 1 0 640520956 191381504 45578 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46724 45578 1111 63 0 46661 0
vsize: 186896
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 45979 0 0 0 89829 184 0 0 25 0 1 0 640520956 192634880 45853 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47030 45853 1111 63 0 46967 0
vsize: 188120
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 46371 0 0 0 90827 185 0 0 25 0 1 0 640520956 194150400 46241 4294967295 134512640 134714508 3221221760 3221220324 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47400 46241 1111 63 0 47337 0
vsize: 189600
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 46663 0 0 0 91826 187 0 0 25 0 1 0 640520956 195375104 46533 4294967295 134512640 134714508 3221221760 3221220464 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47699 46533 1111 63 0 47636 0
vsize: 190796
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 47096 0 0 0 92824 189 0 0 25 0 1 0 640520956 197230592 46966 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48152 46966 1111 63 0 48089 0
vsize: 192608
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 47416 0 0 0 93823 190 0 0 25 0 1 0 640520956 198619136 47283 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48491 47283 1111 63 0 48428 0
vsize: 193964
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 47740 0 0 0 94822 191 0 0 25 0 1 0 640520956 199970816 47607 4294967295 134512640 134714508 3221221760 3221220544 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48821 47607 1111 63 0 48758 0
vsize: 195284
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 48126 0 0 0 95821 193 0 0 25 0 1 0 640520956 201515008 47990 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49198 47990 1111 63 0 49135 0
vsize: 196792
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 48496 0 0 0 96819 194 0 0 25 0 1 0 640520956 202997760 48360 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49560 48360 1111 63 0 49497 0
vsize: 198240
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 48765 0 0 0 97819 195 0 0 25 0 1 0 640520956 204259328 48624 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49868 48624 1111 63 0 49805 0
vsize: 199472
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 49156 0 0 0 98818 197 0 0 25 0 1 0 640520956 205881344 49015 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50264 49015 1111 63 0 50201 0
vsize: 201056
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 49462 0 0 0 99817 197 0 0 25 0 1 0 640520956 207163392 49312 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50577 49312 1111 63 0 50514 0
vsize: 202308
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 49718 0 0 0 100816 198 0 0 25 0 1 0 640520956 208109568 49568 4294967295 134512640 134714508 3221221760 3221220476 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50808 49568 1111 63 0 50745 0
vsize: 203232
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 49906 0 0 0 101816 199 0 0 25 0 1 0 640520956 208920576 49756 4294967295 134512640 134714508 3221221760 3221220436 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51006 49756 1111 63 0 50943 0
vsize: 204024
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 50117 0 0 0 102815 200 0 0 25 0 1 0 640520956 209735680 49967 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51205 49967 1111 63 0 51142 0
vsize: 204820
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 50427 0 0 0 103814 201 0 0 25 0 1 0 640520956 211144704 50277 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51549 50277 1111 63 0 51486 0
vsize: 206196
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 50673 0 0 0 104813 203 0 0 25 0 1 0 640520956 212090880 50523 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51780 50523 1111 63 0 51717 0
vsize: 207120
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 50874 0 0 0 105812 203 0 0 25 0 1 0 640520956 213041152 50724 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52012 50724 1111 63 0 51949 0
vsize: 208048
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 51065 0 0 0 106812 204 0 0 25 0 1 0 640520956 213716992 50915 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52177 50915 1111 63 0 52114 0
vsize: 208708
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 51299 0 0 0 107811 205 0 0 25 0 1 0 640520956 214659072 51149 4294967295 134512640 134714508 3221221760 3221220304 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52407 51149 1111 63 0 52344 0
vsize: 209628
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 51396 0 0 0 108811 205 0 0 25 0 1 0 640520956 215064576 51246 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52506 51246 1111 63 0 52443 0
vsize: 210024
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 51486 0 0 0 109811 205 0 0 25 0 1 0 640520956 215502848 51335 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52613 51335 1111 63 0 52550 0
vsize: 210452
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 51778 0 0 0 110810 207 0 0 25 0 1 0 640520956 216788992 51616 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52927 51616 1111 63 0 52864 0
vsize: 211708
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 52028 0 0 0 111808 208 0 0 25 0 1 0 640520956 217735168 51866 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53158 51866 1111 63 0 53095 0
vsize: 212632
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 52420 0 0 0 112807 210 0 0 25 0 1 0 640520956 219357184 52258 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53554 52258 1111 63 0 53491 0
vsize: 214216
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 52639 0 0 0 113806 211 0 0 25 0 1 0 640520956 220372992 52472 4294967295 134512640 134714508 3221221760 3221220460 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53802 52472 1111 63 0 53739 0
vsize: 215208
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 52853 0 0 0 114805 212 0 0 25 0 1 0 640520956 221184000 52686 4294967295 134512640 134714508 3221221760 3221220416 134536716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54000 52686 1111 63 0 53937 0
vsize: 216000
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 53219 0 0 0 115804 213 0 0 25 0 1 0 640520956 222666752 53052 4294967295 134512640 134714508 3221221760 3221220352 134549670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54362 53052 1111 63 0 54299 0
vsize: 217448
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 53332 0 0 0 116803 214 0 0 25 0 1 0 640520956 223232000 53165 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54500 53165 1111 63 0 54437 0
vsize: 218000
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 24384
Raw data (stat): 24384 (bsolo_lpr_cuts) R 24383 7876 7672 0 -1 0 53332 0 0 0 116803 214 0 0 25 0 1 0 640520956 223232000 53165 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54500 53165 1111 63 0 54437 0
vsize: 0

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