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_19_sat_pb.cnf.cr.opb
MD5SUM	421f138371e66f1365608f6ff657e450
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.157975
Number of variables	570
Total number of constraints	438
Number of constraints which are clauses	399
Number of constraints which are cardinality constraints (but not clauses)	39
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 23343

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 15:34:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=362 boxname=wulflinc31 idbench=41 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  421f138371e66f1365608f6ff657e450  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_19_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_19_sat_pb.cnf.cr.opb
IDLAUNCH: 362
/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:        927192 kB
Buffers:         38352 kB
Cached:          47064 kB
SwapCached:        944 kB
Active:          72252 kB
Inactive:        15668 kB
HighTotal:      131008 kB
HighFree:        82852 kB
LowTotal:       903652 kB
LowFree:        844340 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13936 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 15:54:34 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 362 7 1175.05 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 570 variables and 438 constraints.
c After prepocess the problem consists of 570 variables and 438 constraints.
c preprocess terminated 0.451 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.99 0.97 0.95 2/54 25465
Raw data (stat): 25465 (runsolver) R 25464 7876 7672 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 641237412 1056768 98 4294967295 134512640 135381576 3221221664 3221217104 134514522 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 2176 0 0 0 986 9 0 0 25 0 1 0 641237412 11972608 2097 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2923 2097 1111 63 0 2860 0
vsize: 11692
[startup+20.0011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 2902 0 0 0 1982 13 0 0 25 0 1 0 641237412 14921728 2823 4294967295 134512640 134714508 3221221760 3221220156 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3643 2823 1111 63 0 3580 0
vsize: 14572
[startup+30.0015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 3625 0 0 0 2979 16 0 0 25 0 1 0 641237412 17895424 3546 4294967295 134512640 134714508 3221221760 3221220480 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3546 1111 63 0 4306 0
vsize: 17476
[startup+40.0014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 3848 0 0 0 3977 18 0 0 25 0 1 0 641237412 18841600 3769 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3769 1111 63 0 4537 0
vsize: 18400
[startup+50.0023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 3923 0 0 0 4977 19 0 0 25 0 1 0 641237412 19111936 3844 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4666 3844 1111 63 0 4603 0
vsize: 18664
[startup+60.0022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 3956 0 0 0 5976 20 0 0 25 0 1 0 641237412 19243008 3877 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4698 3877 1111 63 0 4635 0
vsize: 18792
[startup+70.0025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 4500 0 0 0 6974 22 0 0 25 0 1 0 641237412 21516288 4421 4294967295 134512640 134714508 3221221760 3221220336 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5253 4421 1111 63 0 5190 0
vsize: 21012
[startup+80.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 4676 0 0 0 7973 23 0 0 25 0 1 0 641237412 22192128 4597 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5418 4597 1111 63 0 5355 0
vsize: 21672
[startup+90.003 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5114 0 0 0 8971 25 0 0 25 0 1 0 641237412 24084480 5035 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5880 5035 1111 63 0 5817 0
vsize: 23520
[startup+100.004 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5220 0 0 0 9970 26 0 0 25 0 1 0 641237412 24489984 5141 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5979 5141 1111 63 0 5916 0
vsize: 23916
[startup+110.005 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5451 0 0 0 10970 27 0 0 25 0 1 0 641237412 25436160 5372 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6210 5372 1111 63 0 6147 0
vsize: 24840
[startup+120.005 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5549 0 0 0 11969 28 0 0 25 0 1 0 641237412 25841664 5470 4294967295 134512640 134714508 3221221760 3221220520 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6309 5470 1111 63 0 6246 0
vsize: 25236
[startup+130.005 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5618 0 0 0 12968 29 0 0 25 0 1 0 641237412 26112000 5539 4294967295 134512640 134714508 3221221760 3221220428 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6375 5539 1111 63 0 6312 0
vsize: 25500
[startup+140.005 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5649 0 0 0 13967 30 0 0 25 0 1 0 641237412 26247168 5570 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6408 5570 1111 63 0 6345 0
vsize: 25632
[startup+150.005 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5703 0 0 0 14967 30 0 0 25 0 1 0 641237412 26517504 5624 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6474 5624 1111 63 0 6411 0
vsize: 25896
[startup+160.005 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5740 0 0 0 15967 31 0 0 25 0 1 0 641237412 26652672 5661 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6507 5661 1111 63 0 6444 0
vsize: 26028
[startup+170.005 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5775 0 0 0 16966 31 0 0 25 0 1 0 641237412 26787840 5696 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6540 5696 1111 63 0 6477 0
vsize: 26160
[startup+180.005 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5806 0 0 0 17966 32 0 0 25 0 1 0 641237412 26923008 5727 4294967295 134512640 134714508 3221221760 3221220520 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6573 5727 1111 63 0 6510 0
vsize: 26292
[startup+190.005 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5841 0 0 0 18965 33 0 0 25 0 1 0 641237412 27058176 5762 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6606 5762 1111 63 0 6543 0
vsize: 26424
[startup+200.006 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5867 0 0 0 19965 34 0 0 25 0 1 0 641237412 27193344 5788 4294967295 134512640 134714508 3221221760 3221220432 134524436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5788 1111 63 0 6576 0
vsize: 26556
[startup+210.006 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5896 0 0 0 20965 34 0 0 25 0 1 0 641237412 27193344 5817 4294967295 134512640 134714508 3221221760 3221220400 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5817 1111 63 0 6576 0
vsize: 26556
[startup+220.006 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 5963 0 0 0 21964 34 0 0 25 0 1 0 641237412 27463680 5884 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5884 1111 63 0 6642 0
vsize: 26820
[startup+230.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6005 0 0 0 22964 35 0 0 25 0 1 0 641237412 27734016 5926 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6771 5926 1111 63 0 6708 0
vsize: 27084
[startup+240.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6018 0 0 0 23964 35 0 0 25 0 1 0 641237412 27734016 5939 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6771 5939 1111 63 0 6708 0
vsize: 27084
[startup+250.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6039 0 0 0 24964 36 0 0 25 0 1 0 641237412 27869184 5960 4294967295 134512640 134714508 3221221760 3221220244 134697327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6804 5960 1111 63 0 6741 0
vsize: 27216
[startup+260.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6061 0 0 0 25963 36 0 0 25 0 1 0 641237412 27869184 5982 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6804 5982 1111 63 0 6741 0
vsize: 27216
[startup+270.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6105 0 0 0 26963 37 0 0 25 0 1 0 641237412 28139520 6026 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6870 6026 1111 63 0 6807 0
vsize: 27480
[startup+280.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6114 0 0 0 27962 37 0 0 25 0 1 0 641237412 28139520 6035 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6870 6035 1111 63 0 6807 0
vsize: 27480
[startup+290.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6131 0 0 0 28962 38 0 0 25 0 1 0 641237412 28274688 6052 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6052 1111 63 0 6840 0
vsize: 27612
[startup+300.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6131 0 0 0 29962 38 0 0 25 0 1 0 641237412 28274688 6052 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6052 1111 63 0 6840 0
vsize: 27612
[startup+310.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6146 0 0 0 30961 39 0 0 25 0 1 0 641237412 28274688 6067 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6067 1111 63 0 6840 0
vsize: 27612
[startup+320.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6146 0 0 0 31961 39 0 0 25 0 1 0 641237412 28274688 6067 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6067 1111 63 0 6840 0
vsize: 27612
[startup+330.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6184 0 0 0 32960 40 0 0 25 0 1 0 641237412 28405760 6105 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6935 6105 1111 63 0 6872 0
vsize: 27740
[startup+340.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6225 0 0 0 33960 40 0 0 25 0 1 0 641237412 28545024 6146 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6969 6146 1111 63 0 6906 0
vsize: 27876
[startup+350.008 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6240 0 0 0 34960 41 0 0 25 0 1 0 641237412 28680192 6161 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7002 6161 1111 63 0 6939 0
vsize: 28008
[startup+360.009 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6258 0 0 0 35960 41 0 0 25 0 1 0 641237412 28815360 6179 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7035 6179 1111 63 0 6972 0
vsize: 28140
[startup+370.009 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6275 0 0 0 36959 42 0 0 25 0 1 0 641237412 28815360 6196 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7035 6196 1111 63 0 6972 0
vsize: 28140
[startup+380.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6301 0 0 0 37959 43 0 0 25 0 1 0 641237412 28950528 6222 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7068 6222 1111 63 0 7005 0
vsize: 28272
[startup+390.011 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6314 0 0 0 38958 43 0 0 25 0 1 0 641237412 28950528 6235 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7068 6235 1111 63 0 7005 0
vsize: 28272
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6359 0 0 0 39958 44 0 0 25 0 1 0 641237412 29220864 6280 4294967295 134512640 134714508 3221221760 3221220592 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7134 6280 1111 63 0 7071 0
vsize: 28536
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6379 0 0 0 40958 44 0 0 25 0 1 0 641237412 29220864 6300 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7134 6300 1111 63 0 7071 0
vsize: 28536
[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6389 0 0 0 41958 44 0 0 25 0 1 0 641237412 29220864 6310 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7134 6310 1111 63 0 7071 0
vsize: 28536
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6409 0 0 0 42958 45 0 0 25 0 1 0 641237412 29356032 6330 4294967295 134512640 134714508 3221221760 3221220416 134536736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7167 6330 1111 63 0 7104 0
vsize: 28668
[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6438 0 0 0 43958 45 0 0 25 0 1 0 641237412 29491200 6359 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7200 6359 1111 63 0 7137 0
vsize: 28800
[startup+450.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6456 0 0 0 44957 46 0 0 25 0 1 0 641237412 29491200 6377 4294967295 134512640 134714508 3221221760 3221220448 134543728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7200 6377 1111 63 0 7137 0
vsize: 28800
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6459 0 0 0 45957 46 0 0 25 0 1 0 641237412 29626368 6380 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6380 1111 63 0 7170 0
vsize: 28932
[startup+470.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6462 0 0 0 46956 47 0 0 25 0 1 0 641237412 29626368 6383 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6383 1111 63 0 7170 0
vsize: 28932
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6475 0 0 0 47956 47 0 0 25 0 1 0 641237412 29626368 6396 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6396 1111 63 0 7170 0
vsize: 28932
[startup+490.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6477 0 0 0 48956 48 0 0 25 0 1 0 641237412 29626368 6398 4294967295 134512640 134714508 3221221760 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6398 1111 63 0 7170 0
vsize: 28932
[startup+500.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6498 0 0 0 49956 48 0 0 25 0 1 0 641237412 29761536 6419 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6419 1111 63 0 7203 0
vsize: 29064
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6500 0 0 0 50955 49 0 0 25 0 1 0 641237412 29761536 6421 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6421 1111 63 0 7203 0
vsize: 29064
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6525 0 0 0 51954 50 0 0 25 0 1 0 641237412 29896704 6446 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7299 6446 1111 63 0 7236 0
vsize: 29196
[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6571 0 0 0 52954 50 0 0 25 0 1 0 641237412 30031872 6492 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7332 6492 1111 63 0 7269 0
vsize: 29328
[startup+540.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6614 0 0 0 53953 51 0 0 25 0 1 0 641237412 30167040 6535 4294967295 134512640 134714508 3221221760 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7365 6535 1111 63 0 7302 0
vsize: 29460
[startup+550.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6614 0 0 0 54953 52 0 0 25 0 1 0 641237412 30167040 6535 4294967295 134512640 134714508 3221221760 3221220524 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7365 6535 1111 63 0 7302 0
vsize: 29460
[startup+560.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6626 0 0 0 55953 52 0 0 25 0 1 0 641237412 30302208 6547 4294967295 134512640 134714508 3221221760 3221220404 134536691 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7398 6547 1111 63 0 7335 0
vsize: 29592
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6663 0 0 0 56953 53 0 0 25 0 1 0 641237412 30437376 6584 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6584 1111 63 0 7368 0
vsize: 29724
[startup+580.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6663 0 0 0 57952 53 0 0 25 0 1 0 641237412 30437376 6584 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6584 1111 63 0 7368 0
vsize: 29724
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6668 0 0 0 58952 53 0 0 25 0 1 0 641237412 30437376 6589 4294967295 134512640 134714508 3221221760 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6589 1111 63 0 7368 0
vsize: 29724
[startup+600.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6680 0 0 0 59952 54 0 0 25 0 1 0 641237412 30437376 6601 4294967295 134512640 134714508 3221221760 3221220416 134524096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6601 1111 63 0 7368 0
vsize: 29724
[startup+610.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6680 0 0 0 60952 54 0 0 25 0 1 0 641237412 30437376 6601 4294967295 134512640 134714508 3221221760 3221220416 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6601 1111 63 0 7368 0
vsize: 29724
[startup+620.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6714 0 0 0 61951 55 0 0 25 0 1 0 641237412 30560256 6635 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6635 1111 63 0 7398 0
vsize: 29844
[startup+630.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6714 0 0 0 62951 55 0 0 25 0 1 0 641237412 30560256 6635 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6635 1111 63 0 7398 0
vsize: 29844
[startup+640.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6714 0 0 0 63951 55 0 0 25 0 1 0 641237412 30560256 6635 4294967295 134512640 134714508 3221221760 3221220416 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6635 1111 63 0 7398 0
vsize: 29844
[startup+650.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6721 0 0 0 64951 56 0 0 25 0 1 0 641237412 30695424 6642 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6642 1111 63 0 7431 0
vsize: 29976
[startup+660.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6721 0 0 0 65950 57 0 0 25 0 1 0 641237412 30695424 6642 4294967295 134512640 134714508 3221221760 3221220384 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6642 1111 63 0 7431 0
vsize: 29976
[startup+670.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6734 0 0 0 66950 57 0 0 25 0 1 0 641237412 30695424 6655 4294967295 134512640 134714508 3221221760 3221220432 134523869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6655 1111 63 0 7431 0
vsize: 29976
[startup+680.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6742 0 0 0 67950 57 0 0 25 0 1 0 641237412 30695424 6663 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6663 1111 63 0 7431 0
vsize: 29976
[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6767 0 0 0 68950 58 0 0 25 0 1 0 641237412 30830592 6688 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7527 6688 1111 63 0 7464 0
vsize: 30108
[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6786 0 0 0 69950 58 0 0 25 0 1 0 641237412 30965760 6707 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7560 6707 1111 63 0 7497 0
vsize: 30240
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6796 0 0 0 70950 58 0 0 25 0 1 0 641237412 30965760 6717 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7560 6717 1111 63 0 7497 0
vsize: 30240
[startup+720.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6828 0 0 0 71950 58 0 0 25 0 1 0 641237412 31100928 6749 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7593 6749 1111 63 0 7530 0
vsize: 30372
[startup+730.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6851 0 0 0 72950 59 0 0 25 0 1 0 641237412 31100928 6772 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7593 6772 1111 63 0 7530 0
vsize: 30372
[startup+740.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6851 0 0 0 73949 59 0 0 25 0 1 0 641237412 31100928 6772 4294967295 134512640 134714508 3221221760 3221220448 134551890 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7593 6772 1111 63 0 7530 0
vsize: 30372
[startup+750.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6872 0 0 0 74949 59 0 0 25 0 1 0 641237412 31236096 6793 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7626 6793 1111 63 0 7563 0
vsize: 30504
[startup+760.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6872 0 0 0 75949 60 0 0 25 0 1 0 641237412 31236096 6793 4294967295 134512640 134714508 3221221760 3221220352 134549742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7626 6793 1111 63 0 7563 0
vsize: 30504
[startup+770.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6896 0 0 0 76949 61 0 0 25 0 1 0 641237412 31371264 6817 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6817 1111 63 0 7596 0
vsize: 30636
[startup+780.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6913 0 0 0 77949 61 0 0 25 0 1 0 641237412 31371264 6834 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6834 1111 63 0 7596 0
vsize: 30636
[startup+790.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6913 0 0 0 78948 61 0 0 25 0 1 0 641237412 31371264 6834 4294967295 134512640 134714508 3221221760 3221220352 134549821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6834 1111 63 0 7596 0
vsize: 30636
[startup+800.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6913 0 0 0 79948 62 0 0 25 0 1 0 641237412 31371264 6834 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7659 6834 1111 63 0 7596 0
vsize: 30636
[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6946 0 0 0 80948 62 0 0 25 0 1 0 641237412 31510528 6867 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7693 6867 1111 63 0 7630 0
vsize: 30772
[startup+820.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6962 0 0 0 81947 63 0 0 25 0 1 0 641237412 31645696 6883 4294967295 134512640 134714508 3221221760 3221220488 134535782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6883 1111 63 0 7663 0
vsize: 30904
[startup+830.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6962 0 0 0 82947 64 0 0 25 0 1 0 641237412 31645696 6883 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6883 1111 63 0 7663 0
vsize: 30904
[startup+840.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6962 0 0 0 83946 64 0 0 25 0 1 0 641237412 31645696 6883 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6883 1111 63 0 7663 0
vsize: 30904
[startup+850.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6967 0 0 0 84946 65 0 0 25 0 1 0 641237412 31645696 6888 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6888 1111 63 0 7663 0
vsize: 30904
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6978 0 0 0 85946 65 0 0 25 0 1 0 641237412 31645696 6899 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 6899 1111 63 0 7663 0
vsize: 30904
[startup+870.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6991 0 0 0 86946 65 0 0 25 0 1 0 641237412 31780864 6912 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7759 6912 1111 63 0 7696 0
vsize: 31036
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 6991 0 0 0 87946 66 0 0 25 0 1 0 641237412 31780864 6912 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7759 6912 1111 63 0 7696 0
vsize: 31036
[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7002 0 0 0 88945 66 0 0 25 0 1 0 641237412 31780864 6923 4294967295 134512640 134714508 3221221760 3221220584 134590015 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7759 6923 1111 63 0 7696 0
vsize: 31036
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7024 0 0 0 89945 67 0 0 25 0 1 0 641237412 31916032 6945 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7792 6945 1111 63 0 7729 0
vsize: 31168
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7024 0 0 0 90945 67 0 0 25 0 1 0 641237412 31916032 6945 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7792 6945 1111 63 0 7729 0
vsize: 31168
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7035 0 0 0 91944 68 0 0 25 0 1 0 641237412 31916032 6956 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7792 6956 1111 63 0 7729 0
vsize: 31168
[startup+930.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7050 0 0 0 92943 69 0 0 25 0 1 0 641237412 32051200 6971 4294967295 134512640 134714508 3221221760 3221220352 134549517 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7825 6971 1111 63 0 7762 0
vsize: 31300
[startup+940.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7061 0 0 0 93943 69 0 0 25 0 1 0 641237412 32051200 6982 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7825 6982 1111 63 0 7762 0
vsize: 31300
[startup+950.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7072 0 0 0 94943 70 0 0 25 0 1 0 641237412 32051200 6993 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7825 6993 1111 63 0 7762 0
vsize: 31300
[startup+960.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7091 0 0 0 95943 70 0 0 25 0 1 0 641237412 32186368 7012 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7858 7012 1111 63 0 7795 0
vsize: 31432
[startup+970.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7101 0 0 0 96942 71 0 0 25 0 1 0 641237412 32186368 7022 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7858 7022 1111 63 0 7795 0
vsize: 31432
[startup+980.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7136 0 0 0 97942 72 0 0 25 0 1 0 641237412 32321536 7057 4294967295 134512640 134714508 3221221760 3221220388 134696248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7891 7057 1111 63 0 7828 0
vsize: 31564
[startup+990.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7143 0 0 0 98941 73 0 0 25 0 1 0 641237412 32321536 7064 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7891 7064 1111 63 0 7828 0
vsize: 31564
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7143 0 0 0 99941 73 0 0 25 0 1 0 641237412 32321536 7064 4294967295 134512640 134714508 3221221760 3221220348 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7891 7064 1111 63 0 7828 0
vsize: 31564
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7143 0 0 0 100941 73 0 0 25 0 1 0 641237412 32321536 7064 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7891 7064 1111 63 0 7828 0
vsize: 31564
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7165 0 0 0 101940 74 0 0 25 0 1 0 641237412 32456704 7086 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7924 7086 1111 63 0 7861 0
vsize: 31696
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7177 0 0 0 102940 74 0 0 25 0 1 0 641237412 32456704 7098 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7924 7098 1111 63 0 7861 0
vsize: 31696
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7194 0 0 0 103939 75 0 0 25 0 1 0 641237412 32591872 7115 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7194 0 0 0 104939 75 0 0 25 0 1 0 641237412 32591872 7115 4294967295 134512640 134714508 3221221760 3221220468 134524590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7194 0 0 0 105939 75 0 0 25 0 1 0 641237412 32591872 7115 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7194 0 0 0 106939 76 0 0 25 0 1 0 641237412 32591872 7115 4294967295 134512640 134714508 3221221760 3221220352 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7194 0 0 0 107939 76 0 0 25 0 1 0 641237412 32591872 7115 4294967295 134512640 134714508 3221221760 3221220368 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7194 0 0 0 108938 77 0 0 25 0 1 0 641237412 32591872 7115 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7115 1111 63 0 7894 0
vsize: 31828
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7223 0 0 0 109937 78 0 0 25 0 1 0 641237412 32718848 7144 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7988 7144 1111 63 0 7925 0
vsize: 31952
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7262 0 0 0 110937 78 0 0 25 0 1 0 641237412 32813056 7183 4294967295 134512640 134714508 3221221760 3221220504 134551632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8011 7183 1111 63 0 7948 0
vsize: 32044
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7308 0 0 0 111936 80 0 0 25 0 1 0 641237412 33083392 7229 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7229 1111 63 0 8014 0
vsize: 32308
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7308 0 0 0 112935 81 0 0 25 0 1 0 641237412 33083392 7229 4294967295 134512640 134714508 3221221760 3221220400 134613464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7229 1111 63 0 8014 0
vsize: 32308
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7332 0 0 0 113935 81 0 0 25 0 1 0 641237412 33083392 7253 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7253 1111 63 0 8014 0
vsize: 32308
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7332 0 0 0 114934 82 0 0 25 0 1 0 641237412 33083392 7253 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7253 1111 63 0 8014 0
vsize: 32308
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7360 0 0 0 115934 83 0 0 25 0 1 0 641237412 33218560 7281 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7281 1111 63 0 8047 0
vsize: 32440
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7367 0 0 0 116933 84 0 0 25 0 1 0 641237412 33218560 7288 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7288 1111 63 0 8047 0
vsize: 32440
[startup+1174.91 s]
Raw data (loadavg): 1.00 0.99 0.95 1/53 25465
Raw data (stat): 25465 (bsolo_lpr_cuts) R 25464 7876 7672 0 -1 0 7367 0 0 0 116933 84 0 0 25 0 1 0 641237412 33218560 7288 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7288 1111 63 0 8047 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.05
CPU user time (s): 1174.19
CPU system time (s): 0.858869
CPU usage (%): 100.011
Max. virtual memory (Kb): 32440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####