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-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM	c84a64f67029a09ef823a1b3017b5713
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	26
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.562914
Number of variables	900
Total number of constraints	673
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	49
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 23358

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 18:35:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=389 boxname=wulflinc31 idbench=44 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c84a64f67029a09ef823a1b3017b5713  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb
IDLAUNCH: 389
/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:        926628 kB
Buffers:         38600 kB
Cached:          47428 kB
SwapCached:        944 kB
Active:          72580 kB
Inactive:        15928 kB
HighTotal:      131008 kB
HighFree:        82600 kB
LowTotal:       903652 kB
LowFree:        844028 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14008 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 18:54:45 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 389 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 900 variables and 673 constraints.
c After prepocess the problem consists of 900 variables and 673 constraints.
c preprocess terminated 0.956 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): 1.14 1.00 0.98 2/54 27070
Raw data (stat): 27070 (runsolver) R 27069 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642318633 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.001 s]
Raw data (loadavg): 1.11 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 1903 0 0 0 986 9 0 0 25 0 1 0 642318633 10891264 1824 4294967295 134512640 134714508 3221221760 3221220352 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2659 1824 1111 63 0 2596 0
vsize: 10636
[startup+20.0018 s]
Raw data (loadavg): 1.10 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 2235 0 0 0 1982 13 0 0 25 0 1 0 642318633 12218368 2156 4294967295 134512640 134714508 3221221760 3221220568 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2983 2156 1111 63 0 2920 0
vsize: 11932
[startup+30.0017 s]
Raw data (loadavg): 1.08 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 2398 0 0 0 2981 14 0 0 25 0 1 0 642318633 12877824 2319 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3144 2319 1111 63 0 3081 0
vsize: 12576
[startup+40.0017 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 2628 0 0 0 3979 16 0 0 25 0 1 0 642318633 13824000 2549 4294967295 134512640 134714508 3221221760 3221220384 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2549 1111 63 0 3312 0
vsize: 13500
[startup+50.0016 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 2964 0 0 0 4977 19 0 0 25 0 1 0 642318633 15286272 2885 4294967295 134512640 134714508 3221221760 3221220324 134535492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3732 2885 1111 63 0 3669 0
vsize: 14928
[startup+60.0016 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3150 0 0 0 5975 20 0 0 25 0 1 0 642318633 15962112 3071 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3897 3071 1111 63 0 3834 0
vsize: 15588
[startup+70.0018 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3239 0 0 0 6974 21 0 0 25 0 1 0 642318633 16363520 3160 4294967295 134512640 134714508 3221221760 3221220412 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3995 3160 1111 63 0 3932 0
vsize: 15980
[startup+80.0014 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3299 0 0 0 7973 23 0 0 25 0 1 0 642318633 16629760 3220 4294967295 134512640 134714508 3221221760 3221220492 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4060 3220 1111 63 0 3997 0
vsize: 16240
[startup+90.0013 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3366 0 0 0 8972 24 0 0 25 0 1 0 642318633 16900096 3287 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3287 1111 63 0 4063 0
vsize: 16504
[startup+100.001 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3403 0 0 0 9971 25 0 0 25 0 1 0 642318633 17022976 3324 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4156 3324 1111 63 0 4093 0
vsize: 16624
[startup+110.002 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3468 0 0 0 10970 26 0 0 25 0 1 0 642318633 17281024 3389 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4219 3389 1111 63 0 4156 0
vsize: 16876
[startup+120.002 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3545 0 0 0 11969 28 0 0 25 0 1 0 642318633 17682432 3466 4294967295 134512640 134714508 3221221760 3221220400 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4317 3466 1111 63 0 4254 0
vsize: 17268
[startup+130.002 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3620 0 0 0 12968 29 0 0 25 0 1 0 642318633 17944576 3541 4294967295 134512640 134714508 3221221760 3221220296 134613753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4381 3541 1111 63 0 4318 0
vsize: 17524
[startup+140.003 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3670 0 0 0 13966 30 0 0 25 0 1 0 642318633 18079744 3591 4294967295 134512640 134714508 3221221760 3221220320 134549730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4414 3591 1111 63 0 4351 0
vsize: 17656
[startup+150.003 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3724 0 0 0 14966 31 0 0 25 0 1 0 642318633 18321408 3645 4294967295 134512640 134714508 3221221760 3221220512 134592438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3645 1111 63 0 4410 0
vsize: 17892
[startup+160.003 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3763 0 0 0 15964 33 0 0 25 0 1 0 642318633 18591744 3684 4294967295 134512640 134714508 3221221760 3221220404 134536691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4539 3684 1111 63 0 4476 0
vsize: 18156
[startup+170.003 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3825 0 0 0 16963 34 0 0 25 0 1 0 642318633 18726912 3746 4294967295 134512640 134714508 3221221760 3221220508 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4572 3746 1111 63 0 4509 0
vsize: 18288
[startup+180.003 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3839 0 0 0 17963 35 0 0 25 0 1 0 642318633 18862080 3760 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4605 3760 1111 63 0 4542 0
vsize: 18420
[startup+190.004 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3866 0 0 0 18962 36 0 0 25 0 1 0 642318633 18993152 3787 4294967295 134512640 134714508 3221221760 3221220532 134529375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4637 3787 1111 63 0 4574 0
vsize: 18548
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3888 0 0 0 19961 37 0 0 25 0 1 0 642318633 18993152 3809 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4637 3809 1111 63 0 4574 0
vsize: 18548
[startup+210.004 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3906 0 0 0 20961 37 0 0 25 0 1 0 642318633 19116032 3827 4294967295 134512640 134714508 3221221760 3221220448 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3827 1111 63 0 4604 0
vsize: 18668
[startup+220.003 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3936 0 0 0 21960 39 0 0 25 0 1 0 642318633 19243008 3857 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4698 3857 1111 63 0 4635 0
vsize: 18792
[startup+230.003 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3953 0 0 0 22959 40 0 0 25 0 1 0 642318633 19243008 3874 4294967295 134512640 134714508 3221221760 3221220384 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4698 3874 1111 63 0 4635 0
vsize: 18792
[startup+240.003 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3958 0 0 0 23957 41 0 0 25 0 1 0 642318633 19374080 3879 4294967295 134512640 134714508 3221221760 3221220380 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4730 3879 1111 63 0 4667 0
vsize: 18920
[startup+250.004 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 3972 0 0 0 24957 42 0 0 25 0 1 0 642318633 19374080 3893 4294967295 134512640 134714508 3221221760 3221220496 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4730 3893 1111 63 0 4667 0
vsize: 18920
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4181 0 0 0 25956 43 0 0 25 0 1 0 642318633 20185088 4102 4294967295 134512640 134714508 3221221760 3221220412 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4928 4102 1111 63 0 4865 0
vsize: 19712
[startup+270.004 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4217 0 0 0 26955 44 0 0 25 0 1 0 642318633 20320256 4138 4294967295 134512640 134714508 3221221760 3221220520 134534137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4961 4138 1111 63 0 4898 0
vsize: 19844
[startup+280.004 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4228 0 0 0 27954 45 0 0 25 0 1 0 642318633 20451328 4149 4294967295 134512640 134714508 3221221760 3221220336 134549640 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4993 4149 1111 63 0 4930 0
vsize: 19972
[startup+290.005 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4232 0 0 0 28953 46 0 0 25 0 1 0 642318633 20451328 4153 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4993 4153 1111 63 0 4930 0
vsize: 19972
[startup+300.005 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4267 0 0 0 29952 48 0 0 25 0 1 0 642318633 20586496 4188 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5026 4188 1111 63 0 4963 0
vsize: 20104
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4317 0 0 0 30950 49 0 0 25 0 1 0 642318633 20856832 4238 4294967295 134512640 134714508 3221221760 3221220512 134592438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5092 4238 1111 63 0 5029 0
vsize: 20368
[startup+320.006 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4354 0 0 0 31949 51 0 0 25 0 1 0 642318633 20992000 4275 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5125 4275 1111 63 0 5062 0
vsize: 20500
[startup+330.006 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4376 0 0 0 32949 52 0 0 25 0 1 0 642318633 20992000 4297 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5125 4297 1111 63 0 5062 0
vsize: 20500
[startup+340.006 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4376 0 0 0 33948 53 0 0 25 0 1 0 642318633 20992000 4297 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5125 4297 1111 63 0 5062 0
vsize: 20500
[startup+350.006 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4376 0 0 0 34947 54 0 0 25 0 1 0 642318633 20992000 4297 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5125 4297 1111 63 0 5062 0
vsize: 20500
[startup+360.007 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4422 0 0 0 35946 55 0 0 25 0 1 0 642318633 21262336 4343 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5191 4343 1111 63 0 5128 0
vsize: 20764
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4447 0 0 0 36945 56 0 0 25 0 1 0 642318633 21262336 4368 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5191 4368 1111 63 0 5128 0
vsize: 20764
[startup+380.006 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4458 0 0 0 37944 57 0 0 25 0 1 0 642318633 21397504 4379 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5224 4379 1111 63 0 5161 0
vsize: 20896
[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4458 0 0 0 38943 58 0 0 25 0 1 0 642318633 21397504 4379 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5224 4379 1111 63 0 5161 0
vsize: 20896
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4513 0 0 0 39943 59 0 0 25 0 1 0 642318633 21532672 4434 4294967295 134512640 134714508 3221221760 3221220384 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5257 4434 1111 63 0 5194 0
vsize: 21028
[startup+410.008 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4513 0 0 0 40942 60 0 0 25 0 1 0 642318633 21532672 4434 4294967295 134512640 134714508 3221221760 3221220448 134534129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5257 4434 1111 63 0 5194 0
vsize: 21028
[startup+420.008 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4611 0 0 0 41940 62 0 0 25 0 1 0 642318633 21938176 4532 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5356 4532 1111 63 0 5293 0
vsize: 21424
[startup+430.009 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4615 0 0 0 42939 62 0 0 25 0 1 0 642318633 22073344 4536 4294967295 134512640 134714508 3221221760 3221220400 134524198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5389 4536 1111 63 0 5326 0
vsize: 21556
[startup+440.009 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4685 0 0 0 43939 63 0 0 25 0 1 0 642318633 22343680 4606 4294967295 134512640 134714508 3221221760 3221220176 134697222 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5455 4606 1111 63 0 5392 0
vsize: 21820
[startup+450.009 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4698 0 0 0 44938 64 0 0 25 0 1 0 642318633 22343680 4619 4294967295 134512640 134714508 3221221760 3221220352 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5455 4619 1111 63 0 5392 0
vsize: 21820
[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4702 0 0 0 45938 65 0 0 25 0 1 0 642318633 22343680 4623 4294967295 134512640 134714508 3221221760 3221220352 134549517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5455 4623 1111 63 0 5392 0
vsize: 21820
[startup+470.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4727 0 0 0 46937 66 0 0 25 0 1 0 642318633 22478848 4648 4294967295 134512640 134714508 3221221760 3221220348 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5488 4648 1111 63 0 5425 0
vsize: 21952
[startup+480.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4733 0 0 0 47937 66 0 0 25 0 1 0 642318633 22478848 4654 4294967295 134512640 134714508 3221221760 3221220484 134613700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5488 4654 1111 63 0 5425 0
vsize: 21952
[startup+490.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4770 0 0 0 48936 67 0 0 25 0 1 0 642318633 22708224 4691 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5544 4691 1111 63 0 5481 0
vsize: 22176
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4770 0 0 0 49936 67 0 0 25 0 1 0 642318633 22585344 4691 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5514 4691 1111 63 0 5451 0
vsize: 22056
[startup+510.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4770 0 0 0 50935 68 0 0 25 0 1 0 642318633 22585344 4691 4294967295 134512640 134714508 3221221760 3221220316 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5514 4691 1111 63 0 5451 0
vsize: 22056
[startup+520.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4770 0 0 0 51935 69 0 0 25 0 1 0 642318633 22585344 4691 4294967295 134512640 134714508 3221221760 3221220320 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5514 4691 1111 63 0 5451 0
vsize: 22056
[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4770 0 0 0 52934 69 0 0 25 0 1 0 642318633 22585344 4691 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5514 4691 1111 63 0 5451 0
vsize: 22056
[startup+540.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4780 0 0 0 53933 70 0 0 25 0 1 0 642318633 22720512 4701 4294967295 134512640 134714508 3221221760 3221220344 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5547 4701 1111 63 0 5484 0
vsize: 22188
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4831 0 0 0 54933 71 0 0 25 0 1 0 642318633 22958080 4752 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5605 4752 1111 63 0 5542 0
vsize: 22420
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4908 0 0 0 55932 72 0 0 25 0 1 0 642318633 23228416 4829 4294967295 134512640 134714508 3221221760 3221220320 134696564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5671 4829 1111 63 0 5608 0
vsize: 22684
[startup+570.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 4936 0 0 0 56931 73 0 0 25 0 1 0 642318633 23363584 4857 4294967295 134512640 134714508 3221221760 3221220400 134696035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5704 4857 1111 63 0 5641 0
vsize: 22816
[startup+580.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5014 0 0 0 57930 75 0 0 25 0 1 0 642318633 23633920 4935 4294967295 134512640 134714508 3221221760 3221220408 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5770 4935 1111 63 0 5707 0
vsize: 23080
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5262 0 0 0 58929 76 0 0 25 0 1 0 642318633 24715264 5183 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6034 5183 1111 63 0 5971 0
vsize: 24136
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5325 0 0 0 59928 77 0 0 25 0 1 0 642318633 24977408 5246 4294967295 134512640 134714508 3221221760 3221220400 134536653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6098 5246 1111 63 0 6035 0
vsize: 24392
[startup+610.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5364 0 0 0 60928 78 0 0 25 0 1 0 642318633 25112576 5285 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6131 5285 1111 63 0 6068 0
vsize: 24524
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5411 0 0 0 61927 78 0 0 25 0 1 0 642318633 25247744 5332 4294967295 134512640 134714508 3221221760 3221220544 134584917 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6164 5332 1111 63 0 6101 0
vsize: 24656
[startup+630.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5478 0 0 0 62927 79 0 0 25 0 1 0 642318633 25518080 5399 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6230 5399 1111 63 0 6167 0
vsize: 24920
[startup+640.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5555 0 0 0 63926 80 0 0 25 0 1 0 642318633 25923584 5476 4294967295 134512640 134714508 3221221760 3221220432 134594364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6329 5476 1111 63 0 6266 0
vsize: 25316
[startup+650.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5639 0 0 0 64925 81 0 0 25 0 1 0 642318633 26193920 5560 4294967295 134512640 134714508 3221221760 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6395 5560 1111 63 0 6332 0
vsize: 25580
[startup+660.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5664 0 0 0 65925 82 0 0 25 0 1 0 642318633 26329088 5585 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6428 5585 1111 63 0 6365 0
vsize: 25712
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5808 0 0 0 66924 83 0 0 25 0 1 0 642318633 26836992 5729 4294967295 134512640 134714508 3221221760 3221220544 134529311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6552 5729 1111 63 0 6489 0
vsize: 26208
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5887 0 0 0 67923 84 0 0 25 0 1 0 642318633 27242496 5808 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6651 5808 1111 63 0 6588 0
vsize: 26604
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5943 0 0 0 68922 85 0 0 25 0 1 0 642318633 27512832 5864 4294967295 134512640 134714508 3221221760 3221220416 134536849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5864 1111 63 0 6654 0
vsize: 26868
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 5987 0 0 0 69922 86 0 0 25 0 1 0 642318633 27648000 5908 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6750 5908 1111 63 0 6687 0
vsize: 27000
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6045 0 0 0 70920 88 0 0 25 0 1 0 642318633 27918336 5966 4294967295 134512640 134714508 3221221760 3221220464 134528555 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6816 5966 1111 63 0 6753 0
vsize: 27264
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6074 0 0 0 71919 89 0 0 25 0 1 0 642318633 28020736 5995 4294967295 134512640 134714508 3221221760 3221220352 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6841 5995 1111 63 0 6778 0
vsize: 27364
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6088 0 0 0 72918 90 0 0 25 0 1 0 642318633 28012544 6009 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6839 6009 1111 63 0 6776 0
vsize: 27356
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6142 0 0 0 73917 92 0 0 25 0 1 0 642318633 28282880 6063 4294967295 134512640 134714508 3221221760 3221220432 134542977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6905 6063 1111 63 0 6842 0
vsize: 27620
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6164 0 0 0 74917 92 0 0 25 0 1 0 642318633 28418048 6085 4294967295 134512640 134714508 3221221760 3221220352 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6938 6085 1111 63 0 6875 0
vsize: 27752
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6184 0 0 0 75916 93 0 0 25 0 1 0 642318633 28418048 6105 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6938 6105 1111 63 0 6875 0
vsize: 27752
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6198 0 0 0 76915 94 0 0 25 0 1 0 642318633 28553216 6119 4294967295 134512640 134714508 3221221760 3221220520 134552645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6971 6119 1111 63 0 6908 0
vsize: 27884
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6248 0 0 0 77914 95 0 0 25 0 1 0 642318633 28688384 6169 4294967295 134512640 134714508 3221221760 3221220320 134552038 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7004 6169 1111 63 0 6941 0
vsize: 28016
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6269 0 0 0 78913 97 0 0 25 0 1 0 642318633 28782592 6190 4294967295 134512640 134714508 3221221760 3221220576 134590080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7027 6190 1111 63 0 6964 0
vsize: 28108
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6293 0 0 0 79912 97 0 0 25 0 1 0 642318633 28917760 6214 4294967295 134512640 134714508 3221221760 3221220592 134590061 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7060 6214 1111 63 0 6997 0
vsize: 28240
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6293 0 0 0 80911 99 0 0 25 0 1 0 642318633 28917760 6214 4294967295 134512640 134714508 3221221760 3221220348 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7060 6214 1111 63 0 6997 0
vsize: 28240
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6300 0 0 0 81910 100 0 0 25 0 1 0 642318633 28917760 6221 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7060 6221 1111 63 0 6997 0
vsize: 28240
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6309 0 0 0 82909 101 0 0 25 0 1 0 642318633 28917760 6230 4294967295 134512640 134714508 3221221760 3221220392 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7060 6230 1111 63 0 6997 0
vsize: 28240
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6330 0 0 0 83909 101 0 0 25 0 1 0 642318633 29052928 6251 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7093 6251 1111 63 0 7030 0
vsize: 28372
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6330 0 0 0 84908 102 0 0 25 0 1 0 642318633 29052928 6251 4294967295 134512640 134714508 3221221760 3221220348 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7093 6251 1111 63 0 7030 0
vsize: 28372
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6352 0 0 0 85908 103 0 0 25 0 1 0 642318633 29155328 6273 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6273 1111 63 0 7055 0
vsize: 28472
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6371 0 0 0 86907 104 0 0 25 0 1 0 642318633 29155328 6292 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6292 1111 63 0 7055 0
vsize: 28472
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6394 0 0 0 87906 105 0 0 25 0 1 0 642318633 29290496 6315 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7151 6315 1111 63 0 7088 0
vsize: 28604
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6406 0 0 0 88906 105 0 0 25 0 1 0 642318633 29290496 6327 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7151 6327 1111 63 0 7088 0
vsize: 28604
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6407 0 0 0 89905 107 0 0 25 0 1 0 642318633 29290496 6328 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7151 6328 1111 63 0 7088 0
vsize: 28604
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6443 0 0 0 90904 107 0 0 25 0 1 0 642318633 29528064 6364 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7209 6364 1111 63 0 7146 0
vsize: 28836
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6506 0 0 0 91902 109 0 0 25 0 1 0 642318633 29798400 6427 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6427 1111 63 0 7212 0
vsize: 29100
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6506 0 0 0 92902 110 0 0 25 0 1 0 642318633 29798400 6427 4294967295 134512640 134714508 3221221760 3221220316 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6427 1111 63 0 7212 0
vsize: 29100
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6506 0 0 0 93902 110 0 0 25 0 1 0 642318633 29798400 6427 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6427 1111 63 0 7212 0
vsize: 29100
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6506 0 0 0 94901 111 0 0 25 0 1 0 642318633 29798400 6427 4294967295 134512640 134714508 3221221760 3221220368 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6427 1111 63 0 7212 0
vsize: 29100
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6524 0 0 0 95900 112 0 0 25 0 1 0 642318633 29798400 6445 4294967295 134512640 134714508 3221221760 3221220504 134584725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6445 1111 63 0 7212 0
vsize: 29100
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6544 0 0 0 96900 113 0 0 25 0 1 0 642318633 29933568 6465 4294967295 134512640 134714508 3221221760 3221220432 134652812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7308 6465 1111 63 0 7245 0
vsize: 29232
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6552 0 0 0 97899 113 0 0 25 0 1 0 642318633 29933568 6473 4294967295 134512640 134714508 3221221760 3221220316 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7308 6473 1111 63 0 7245 0
vsize: 29232
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6552 0 0 0 98899 114 0 0 25 0 1 0 642318633 29933568 6473 4294967295 134512640 134714508 3221221760 3221220592 134551450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7308 6473 1111 63 0 7245 0
vsize: 29232
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6583 0 0 0 99898 115 0 0 25 0 1 0 642318633 30068736 6504 4294967295 134512640 134714508 3221221760 3221220400 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7341 6504 1111 63 0 7278 0
vsize: 29364
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6583 0 0 0 100897 116 0 0 25 0 1 0 642318633 30068736 6504 4294967295 134512640 134714508 3221221760 3221220400 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7341 6504 1111 63 0 7278 0
vsize: 29364
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6591 0 0 0 101897 117 0 0 25 0 1 0 642318633 30068736 6512 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7341 6512 1111 63 0 7278 0
vsize: 29364
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6620 0 0 0 102896 118 0 0 25 0 1 0 642318633 30203904 6541 4294967295 134512640 134714508 3221221760 3221220496 134528801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7374 6541 1111 63 0 7311 0
vsize: 29496
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6637 0 0 0 103896 118 0 0 25 0 1 0 642318633 30339072 6558 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6558 1111 63 0 7344 0
vsize: 29628
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6640 0 0 0 104895 119 0 0 25 0 1 0 642318633 30339072 6561 4294967295 134512640 134714508 3221221760 3221220332 134542371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6561 1111 63 0 7344 0
vsize: 29628
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6640 0 0 0 105895 120 0 0 25 0 1 0 642318633 30339072 6561 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6561 1111 63 0 7344 0
vsize: 29628
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6641 0 0 0 106894 120 0 0 25 0 1 0 642318633 30339072 6562 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6562 1111 63 0 7344 0
vsize: 29628
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6641 0 0 0 107894 121 0 0 25 0 1 0 642318633 30339072 6562 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6562 1111 63 0 7344 0
vsize: 29628
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6641 0 0 0 108893 122 0 0 25 0 1 0 642318633 30339072 6562 4294967295 134512640 134714508 3221221760 3221220424 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6562 1111 63 0 7344 0
vsize: 29628
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6644 0 0 0 109892 122 0 0 25 0 1 0 642318633 30339072 6565 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6565 1111 63 0 7344 0
vsize: 29628
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6653 0 0 0 110892 123 0 0 25 0 1 0 642318633 30339072 6574 4294967295 134512640 134714508 3221221760 3221220400 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6574 1111 63 0 7344 0
vsize: 29628
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6656 0 0 0 111891 124 0 0 25 0 1 0 642318633 30339072 6577 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6577 1111 63 0 7344 0
vsize: 29628
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6659 0 0 0 112890 125 0 0 25 0 1 0 642318633 30339072 6580 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6580 1111 63 0 7344 0
vsize: 29628
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6662 0 0 0 113890 126 0 0 25 0 1 0 642318633 30339072 6583 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6583 1111 63 0 7344 0
vsize: 29628
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6666 0 0 0 114889 127 0 0 25 0 1 0 642318633 30474240 6587 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6587 1111 63 0 7377 0
vsize: 29760
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6680 0 0 0 115888 127 0 0 25 0 1 0 642318633 30466048 6601 4294967295 134512640 134714508 3221221760 3221220464 134528592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6601 1111 63 0 7375 0
vsize: 29752
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6693 0 0 0 116888 128 0 0 25 0 1 0 642318633 30466048 6614 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6614 1111 63 0 7375 0
vsize: 29752
[startup+1174.91 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 27070
Raw data (stat): 27070 (bsolo_lpr_cuts) R 27069 7876 7672 0 -1 0 6693 0 0 0 116888 128 0 0 25 0 1 0 642318633 30466048 6614 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6614 1111 63 0 7375 0
vsize: 0

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