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-fpga14_14_sat_pb.cnf.cr.opb
MD5SUM	fe97068efc5fde8cbd48a084444e76d6
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	15
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.071988
Number of variables	294
Total number of constraints	238
Number of constraints which are clauses	210
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 23318

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 10:36:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=317 boxname=wulflinc31 idbench=36 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  fe97068efc5fde8cbd48a084444e76d6  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_14_sat_pb.cnf.cr.opb
IDLAUNCH: 317
/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:        928008 kB
Buffers:         37912 kB
Cached:          46768 kB
SwapCached:        864 kB
Active:          71796 kB
Inactive:        15256 kB
HighTotal:      131008 kB
HighFree:        83244 kB
LowTotal:       903652 kB
LowFree:        844764 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13960 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 10:55:46 (client local time) WITH STATUS 0 IN 1175.2 SECONDS
stats: 317 7 1175.2 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 294 variables and 238 constraints.
c After prepocess the problem consists of 294 variables and 238 constraints.
c preprocess terminated 0.174 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.92 0.95 0.98 2/54 22787
Raw data (stat): 22787 (runsolver) R 22786 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 639444334 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.0006 s]
Raw data (loadavg): 1.01 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 3519 0 0 0 983 12 0 0 25 0 1 0 639444334 17514496 3440 4294967295 134512640 134714508 3221221760 3221220480 134535757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4276 3440 1111 63 0 4213 0
vsize: 17104
[startup+20.0014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 5696 0 0 0 1975 21 0 0 25 0 1 0 639444334 26435584 5617 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6454 5617 1111 63 0 6391 0
vsize: 25816
[startup+30.0023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 7043 0 0 0 2971 25 0 0 25 0 1 0 639444334 31989760 6964 4294967295 134512640 134714508 3221221760 3221220428 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7810 6964 1111 63 0 7747 0
vsize: 31240
[startup+40.0026 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 8237 0 0 0 3966 30 0 0 25 0 1 0 639444334 36872192 8158 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9002 8158 1111 63 0 8939 0
vsize: 36008
[startup+50.0032 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 9123 0 0 0 4962 34 0 0 25 0 1 0 639444334 40554496 9039 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9901 9039 1111 63 0 9838 0
vsize: 39604
[startup+60.0031 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 10051 0 0 0 5958 38 0 0 25 0 1 0 639444334 44548096 9967 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10876 9967 1111 63 0 10813 0
vsize: 43504
[startup+70.0046 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 11094 0 0 0 6954 43 0 0 25 0 1 0 639444334 48738304 11010 4294967295 134512640 134714508 3221221760 3221220472 134535779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11899 11010 1111 63 0 11836 0
vsize: 47596
[startup+80.005 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 11822 0 0 0 7951 46 0 0 25 0 1 0 639444334 51728384 11738 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12629 11738 1111 63 0 12566 0
vsize: 50516
[startup+90.0049 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 12549 0 0 0 8948 50 0 0 25 0 1 0 639444334 54714368 12464 4294967295 134512640 134714508 3221221760 3221220460 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13358 12464 1111 63 0 13295 0
vsize: 53432
[startup+100.005 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 13342 0 0 0 9945 53 0 0 25 0 1 0 639444334 57970688 13257 4294967295 134512640 134714508 3221221760 3221220400 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14153 13257 1111 63 0 14090 0
vsize: 56612
[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 14248 0 0 0 10941 57 0 0 25 0 1 0 639444334 61624320 14161 4294967295 134512640 134714508 3221221760 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15045 14161 1111 63 0 14982 0
vsize: 60180
[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 15086 0 0 0 11938 60 0 0 25 0 1 0 639444334 65003520 14999 4294967295 134512640 134714508 3221221760 3221220476 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15870 14999 1111 63 0 15807 0
vsize: 63480
[startup+130.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 15758 0 0 0 12936 62 0 0 25 0 1 0 639444334 67891200 15669 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16575 15669 1111 63 0 16512 0
vsize: 66300
[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 16282 0 0 0 13934 65 0 0 25 0 1 0 639444334 70107136 16192 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17116 16192 1111 63 0 17053 0
vsize: 68464
[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 17446 0 0 0 14930 69 0 0 25 0 1 0 639444334 74891264 17355 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18284 17355 1111 63 0 18221 0
vsize: 73136
[startup+160.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 18582 0 0 0 15925 73 0 0 25 0 1 0 639444334 79618048 18491 4294967295 134512640 134714508 3221221760 3221220472 134584831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19438 18491 1111 63 0 19375 0
vsize: 77752
[startup+170.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 19915 0 0 0 16922 77 0 0 25 0 1 0 639444334 85024768 19824 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20758 19824 1111 63 0 20695 0
vsize: 83032
[startup+180.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 20799 0 0 0 17918 81 0 0 25 0 1 0 639444334 88678400 20708 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21650 20708 1111 63 0 21587 0
vsize: 86600
[startup+190.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 21270 0 0 0 18916 83 0 0 25 0 1 0 639444334 90574848 21179 4294967295 134512640 134714508 3221221760 3221220424 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22113 21179 1111 63 0 22050 0
vsize: 88452
[startup+200.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 22342 0 0 0 19912 87 0 0 25 0 1 0 639444334 94928896 22251 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23176 22251 1111 63 0 23113 0
vsize: 92704
[startup+210.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 23213 0 0 0 20909 91 0 0 25 0 1 0 639444334 98615296 23122 4294967295 134512640 134714508 3221221760 3221220448 134528602 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24076 23122 1111 63 0 24013 0
vsize: 96304
[startup+220.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 23787 0 0 0 21906 94 0 0 25 0 1 0 639444334 100913152 23696 4294967295 134512640 134714508 3221221760 3221220400 134696061 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24637 23696 1111 63 0 24574 0
vsize: 98548
[startup+230.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 24412 0 0 0 22903 97 0 0 25 0 1 0 639444334 103481344 24321 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25264 24321 1111 63 0 25201 0
vsize: 101056
[startup+240.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 24923 0 0 0 23902 99 0 0 25 0 1 0 639444334 105553920 24827 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25770 24827 1111 63 0 25707 0
vsize: 103080
[startup+250.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 25348 0 0 0 24900 101 0 0 25 0 1 0 639444334 107339776 25251 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26206 25251 1111 63 0 26143 0
vsize: 104824
[startup+260.012 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 25738 0 0 0 25898 103 0 0 25 0 1 0 639444334 108896256 25641 4294967295 134512640 134714508 3221221760 3221220464 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26586 25641 1111 63 0 26523 0
vsize: 106344
[startup+270.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 26719 0 0 0 26896 105 0 0 25 0 1 0 639444334 113127424 26620 4294967295 134512640 134714508 3221221760 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27619 26620 1111 63 0 27556 0
vsize: 110476
[startup+280.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 27636 0 0 0 27893 108 0 0 25 0 1 0 639444334 116776960 27536 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28510 27536 1111 63 0 28447 0
vsize: 114040
[startup+290.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 28552 0 0 0 28889 112 0 0 25 0 1 0 639444334 120557568 28452 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29433 28452 1111 63 0 29370 0
vsize: 117732
[startup+300.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 29161 0 0 0 29887 115 0 0 25 0 1 0 639444334 123023360 29061 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30035 29061 1111 63 0 29972 0
vsize: 120140
[startup+310.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 29782 0 0 0 30885 117 0 0 25 0 1 0 639444334 125587456 29682 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30661 29682 1111 63 0 30598 0
vsize: 122644
[startup+320.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 30344 0 0 0 31882 119 0 0 25 0 1 0 639444334 127885312 30244 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31222 30244 1111 63 0 31159 0
vsize: 124888
[startup+330.014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 30789 0 0 0 32880 121 0 0 25 0 1 0 639444334 129777664 30689 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31684 30689 1111 63 0 31621 0
vsize: 126736
[startup+340.015 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 31212 0 0 0 33879 123 0 0 25 0 1 0 639444334 131411968 31111 4294967295 134512640 134714508 3221221760 3221220496 134535728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 31111 1111 63 0 32020 0
vsize: 128332
[startup+350.015 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 31666 0 0 0 34878 124 0 0 25 0 1 0 639444334 133320704 31564 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32549 31564 1111 63 0 32486 0
vsize: 130196
[startup+360.015 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 32101 0 0 0 35876 126 0 0 25 0 1 0 639444334 135077888 31999 4294967295 134512640 134714508 3221221760 3221220348 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32978 31999 1111 63 0 32915 0
vsize: 131912
[startup+370.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 32739 0 0 0 36874 128 0 0 25 0 1 0 639444334 137814016 32637 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33646 32637 1111 63 0 33583 0
vsize: 134584
[startup+380.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 33036 0 0 0 37873 129 0 0 25 0 1 0 639444334 139030528 32933 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33943 32933 1111 63 0 33880 0
vsize: 135772
[startup+390.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 33457 0 0 0 38871 131 0 0 25 0 1 0 639444334 140808192 33353 4294967295 134512640 134714508 3221221760 3221220416 134524259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34377 33353 1111 63 0 34314 0
vsize: 137508
[startup+400.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 33896 0 0 0 39869 134 0 0 25 0 1 0 639444334 142647296 33792 4294967295 134512640 134714508 3221221760 3221220352 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34826 33792 1111 63 0 34763 0
vsize: 139304
[startup+410.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 34325 0 0 0 40867 136 0 0 25 0 1 0 639444334 144629760 34218 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35310 34218 1111 63 0 35247 0
vsize: 141240
[startup+420.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 34749 0 0 0 41867 136 0 0 25 0 1 0 639444334 146432000 34641 4294967295 134512640 134714508 3221221760 3221220412 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35750 34641 1111 63 0 35687 0
vsize: 143000
[startup+430.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 35379 0 0 0 42865 138 0 0 25 0 1 0 639444334 148873216 35270 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36346 35270 1111 63 0 36283 0
vsize: 145384
[startup+440.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 36236 0 0 0 43862 142 0 0 25 0 1 0 639444334 152588288 36119 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37253 36119 1111 63 0 37190 0
vsize: 149012
[startup+450.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 37106 0 0 0 44858 145 0 0 25 0 1 0 639444334 156102656 36989 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38111 36989 1111 63 0 38048 0
vsize: 152444
[startup+460.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 37805 0 0 0 45856 147 0 0 25 0 1 0 639444334 158941184 37688 4294967295 134512640 134714508 3221221760 3221220528 134529157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38804 37688 1111 63 0 38741 0
vsize: 155216
[startup+470.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 38250 0 0 0 46854 149 0 0 25 0 1 0 639444334 160698368 38133 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39233 38133 1111 63 0 39170 0
vsize: 156932
[startup+480.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 38666 0 0 0 47853 151 0 0 25 0 1 0 639444334 162455552 38548 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39662 38548 1111 63 0 39599 0
vsize: 158648
[startup+490.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 39036 0 0 0 48852 152 0 0 25 0 1 0 639444334 163946496 38918 4294967295 134512640 134714508 3221221760 3221220344 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40026 38918 1111 63 0 39963 0
vsize: 160104
[startup+500.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 39278 0 0 0 49852 152 0 0 25 0 1 0 639444334 164892672 39160 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40257 39160 1111 63 0 40194 0
vsize: 161028
[startup+510.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 39982 0 0 0 50849 155 0 0 25 0 1 0 639444334 167923712 39864 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40997 39864 1111 63 0 40934 0
vsize: 163988
[startup+520.02 s]
Raw data (loadavg): 1.15 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 40753 0 0 0 51846 158 0 0 25 0 1 0 639444334 171032576 40635 4294967295 134512640 134714508 3221221760 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41756 40635 1111 63 0 41693 0
vsize: 167024
[startup+530.021 s]
Raw data (loadavg): 1.12 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 41407 0 0 0 52844 161 0 0 25 0 1 0 639444334 173735936 41288 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42416 41288 1111 63 0 42353 0
vsize: 169664
[startup+540.021 s]
Raw data (loadavg): 1.10 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 42134 0 0 0 53841 164 0 0 25 0 1 0 639444334 176705536 42015 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43141 42015 1111 63 0 43078 0
vsize: 172564
[startup+550.021 s]
Raw data (loadavg): 1.09 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 42673 0 0 0 54839 166 0 0 25 0 1 0 639444334 178872320 42553 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43670 42553 1111 63 0 43607 0
vsize: 174680
[startup+560.022 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 43032 0 0 0 55839 167 0 0 25 0 1 0 639444334 180359168 42912 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44033 42912 1111 63 0 43970 0
vsize: 176132
[startup+570.022 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 43381 0 0 0 56837 168 0 0 25 0 1 0 639444334 181903360 43260 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44410 43260 1111 63 0 44347 0
vsize: 177640
[startup+580.022 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 43781 0 0 0 57836 169 0 0 25 0 1 0 639444334 183529472 43660 4294967295 134512640 134714508 3221221760 3221220496 134588000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44807 43660 1111 63 0 44744 0
vsize: 179228
[startup+590.022 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 44145 0 0 0 58835 170 0 0 25 0 1 0 639444334 185016320 44024 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45170 44024 1111 63 0 45107 0
vsize: 180680
[startup+600.022 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 44361 0 0 0 59835 171 0 0 25 0 1 0 639444334 185835520 44240 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45370 44240 1111 63 0 45307 0
vsize: 181480
[startup+610.022 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 44571 0 0 0 60834 172 0 0 25 0 1 0 639444334 186830848 44449 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45613 44449 1111 63 0 45550 0
vsize: 182452
[startup+620.021 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 45112 0 0 0 61832 174 0 0 25 0 1 0 639444334 188993536 44990 4294967295 134512640 134714508 3221221760 3221220364 134549858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46141 44990 1111 63 0 46078 0
vsize: 184564
[startup+630.021 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 45570 0 0 0 62831 176 0 0 25 0 1 0 639444334 190750720 45448 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46570 45448 1111 63 0 46507 0
vsize: 186280
[startup+640.022 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 45823 0 0 0 63830 177 0 0 25 0 1 0 639444334 191832064 45701 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46834 45701 1111 63 0 46771 0
vsize: 187336
[startup+650.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 46099 0 0 0 64829 178 0 0 25 0 1 0 639444334 192909312 45977 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47097 45977 1111 63 0 47034 0
vsize: 188388
[startup+660.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 46318 0 0 0 65828 179 0 0 25 0 1 0 639444334 193855488 46196 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47328 46196 1111 63 0 47265 0
vsize: 189312
[startup+670.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 46627 0 0 0 66827 180 0 0 25 0 1 0 639444334 195129344 46504 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47639 46504 1111 63 0 47576 0
vsize: 190556
[startup+680.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 47155 0 0 0 67826 181 0 0 25 0 1 0 639444334 197382144 47028 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48189 47028 1111 63 0 48126 0
vsize: 192756
[startup+690.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 47611 0 0 0 68825 182 0 0 25 0 1 0 639444334 199274496 47484 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48651 47484 1111 63 0 48588 0
vsize: 194604
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 47837 0 0 0 69824 183 0 0 25 0 1 0 639444334 200151040 47709 4294967295 134512640 134714508 3221221760 3221220528 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48865 47709 1111 63 0 48802 0
vsize: 195460
[startup+710.023 s]
Raw data (loadavg): 1.08 1.02 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 48090 0 0 0 70823 184 0 0 25 0 1 0 639444334 201334784 47957 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49154 47957 1111 63 0 49091 0
vsize: 196616
[startup+720.023 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 48276 0 0 0 71823 185 0 0 25 0 1 0 639444334 202027008 48143 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49323 48143 1111 63 0 49260 0
vsize: 197292
[startup+730.023 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 48578 0 0 0 72823 186 0 0 25 0 1 0 639444334 203333632 48439 4294967295 134512640 134714508 3221221760 3221220256 134535385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49642 48439 1111 63 0 49579 0
vsize: 198568
[startup+740.024 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 48807 0 0 0 73822 187 0 0 25 0 1 0 639444334 204279808 48665 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49873 48665 1111 63 0 49810 0
vsize: 199492
[startup+750.024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 49035 0 0 0 74821 188 0 0 25 0 1 0 639444334 205262848 48893 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50113 48893 1111 63 0 50050 0
vsize: 200452
[startup+760.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 49375 0 0 0 75820 189 0 0 25 0 1 0 639444334 206659584 49230 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50454 49230 1111 63 0 50391 0
vsize: 201816
[startup+770.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 49684 0 0 0 76819 190 0 0 25 0 1 0 639444334 208052224 49539 4294967295 134512640 134714508 3221221760 3221220324 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50794 49539 1111 63 0 50731 0
vsize: 203176
[startup+780.023 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 49861 0 0 0 77819 190 0 0 25 0 1 0 639444334 208728064 49716 4294967295 134512640 134714508 3221221760 3221220352 134549855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50959 49716 1111 63 0 50896 0
vsize: 203836
[startup+790.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 50034 0 0 0 78818 191 0 0 25 0 1 0 639444334 209403904 49889 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51124 49889 1111 63 0 51061 0
vsize: 204496
[startup+800.024 s]
Raw data (loadavg): 1.26 1.06 1.02 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 50176 0 0 0 79817 192 0 0 25 0 1 0 639444334 209989632 50027 4294967295 134512640 134714508 3221221760 3221220524 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51267 50027 1111 63 0 51204 0
vsize: 205068
[startup+810.024 s]
Raw data (loadavg): 1.29 1.07 1.02 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 50341 0 0 0 80817 193 0 0 25 0 1 0 639444334 210690048 50192 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51438 50192 1111 63 0 51375 0
vsize: 205752
[startup+820.024 s]
Raw data (loadavg): 1.25 1.07 1.02 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 50635 0 0 0 81816 194 0 0 25 0 1 0 639444334 211947520 50484 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51745 50484 1111 63 0 51682 0
vsize: 206980
[startup+830.024 s]
Raw data (loadavg): 1.21 1.07 1.02 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 50865 0 0 0 82815 195 0 0 25 0 1 0 639444334 212897792 50714 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51977 50715 1111 63 0 51914 0
vsize: 207908
[startup+840.024 s]
Raw data (loadavg): 1.17 1.06 1.02 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 51057 0 0 0 83814 196 0 0 25 0 1 0 639444334 213573632 50906 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52142 50906 1111 63 0 52079 0
vsize: 208568
[startup+850.024 s]
Raw data (loadavg): 1.15 1.06 1.02 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 51174 0 0 0 84814 196 0 0 25 0 1 0 639444334 214151168 51019 4294967295 134512640 134714508 3221221760 3221220316 134535634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52283 51019 1111 63 0 52220 0
vsize: 209132
[startup+860.024 s]
Raw data (loadavg): 1.12 1.06 1.02 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 51378 0 0 0 85814 197 0 0 25 0 1 0 639444334 214974464 51218 4294967295 134512640 134714508 3221221760 3221220480 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52484 51218 1111 63 0 52421 0
vsize: 209936
[startup+870.024 s]
Raw data (loadavg): 1.10 1.06 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 51609 0 0 0 86813 198 0 0 25 0 1 0 639444334 215986176 51447 4294967295 134512640 134714508 3221221760 3221220412 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52731 51447 1111 63 0 52668 0
vsize: 210924
[startup+880.024 s]
Raw data (loadavg): 1.09 1.05 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 51872 0 0 0 87812 199 0 0 25 0 1 0 639444334 217067520 51710 4294967295 134512640 134714508 3221221760 3221220316 134535626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52995 51710 1111 63 0 52932 0
vsize: 211980
[startup+890.024 s]
Raw data (loadavg): 1.07 1.05 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 52114 0 0 0 88810 201 0 0 25 0 1 0 639444334 218083328 51950 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53243 51950 1111 63 0 53180 0
vsize: 212972
[startup+900.025 s]
Raw data (loadavg): 1.06 1.05 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 52339 0 0 0 89809 202 0 0 25 0 1 0 639444334 219131904 52174 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53499 52174 1111 63 0 53436 0
vsize: 213996
[startup+910.025 s]
Raw data (loadavg): 1.05 1.05 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 52641 0 0 0 90808 203 0 0 25 0 1 0 639444334 220422144 52476 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53814 52476 1111 63 0 53751 0
vsize: 215256
[startup+920.024 s]
Raw data (loadavg): 1.04 1.05 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 52939 0 0 0 91808 204 0 0 25 0 1 0 639444334 221663232 52774 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54117 52774 1111 63 0 54054 0
vsize: 216468
[startup+930.025 s]
Raw data (loadavg): 1.04 1.04 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 53140 0 0 0 92807 204 0 0 25 0 1 0 639444334 222478336 52975 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54316 52975 1111 63 0 54253 0
vsize: 217264
[startup+940.026 s]
Raw data (loadavg): 1.03 1.04 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 53440 0 0 0 93806 206 0 0 25 0 1 0 639444334 223895552 53272 4294967295 134512640 134714508 3221221760 3221220464 134528680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54662 53272 1111 63 0 54599 0
vsize: 218648
[startup+950.026 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 53781 0 0 0 94805 207 0 0 25 0 1 0 639444334 225255424 53613 4294967295 134512640 134714508 3221221760 3221220336 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54994 53613 1111 63 0 54931 0
vsize: 219976
[startup+960.027 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 54094 0 0 0 95804 208 0 0 25 0 1 0 639444334 226471936 53925 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55291 53925 1111 63 0 55228 0
vsize: 221164
[startup+970.028 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 54478 0 0 0 96803 209 0 0 25 0 1 0 639444334 228200448 54301 4294967295 134512640 134714508 3221221760 3221220472 134551881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55713 54301 1111 63 0 55650 0
vsize: 222852
[startup+980.028 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 54792 0 0 0 97801 211 0 0 25 0 1 0 639444334 229416960 54615 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56010 54615 1111 63 0 55947 0
vsize: 224040
[startup+990.028 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 55007 0 0 0 98801 211 0 0 25 0 1 0 639444334 230371328 54830 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56243 54830 1111 63 0 56180 0
vsize: 224972
[startup+1000.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 55298 0 0 0 99801 212 0 0 25 0 1 0 639444334 231522304 55112 4294967295 134512640 134714508 3221221760 3221220476 134551880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56524 55112 1111 63 0 56461 0
vsize: 226096
[startup+1010.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 55492 0 0 0 100800 213 0 0 25 0 1 0 639444334 232419328 55298 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56743 55298 1111 63 0 56680 0
vsize: 226972
[startup+1020.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 55710 0 0 0 101799 214 0 0 25 0 1 0 639444334 233431040 55507 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56990 55507 1111 63 0 56927 0
vsize: 227960
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 55955 0 0 0 102799 215 0 0 25 0 1 0 639444334 234438656 55752 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57236 55752 1111 63 0 57173 0
vsize: 228944
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 56210 0 0 0 103798 216 0 0 25 0 1 0 639444334 235614208 55998 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57523 55998 1111 63 0 57460 0
vsize: 230092
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 56378 0 0 0 104798 216 0 0 25 0 1 0 639444334 236490752 56166 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57737 56166 1111 63 0 57674 0
vsize: 230948
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 56621 0 0 0 105797 217 0 0 25 0 1 0 639444334 237436928 56409 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57968 56409 1111 63 0 57905 0
vsize: 231872
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 56854 0 0 0 106796 218 0 0 25 0 1 0 639444334 238391296 56642 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58201 56642 1111 63 0 58138 0
vsize: 232804
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 57014 0 0 0 107796 219 0 0 25 0 1 0 639444334 238948352 56798 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58337 56798 1111 63 0 58274 0
vsize: 233348
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 57272 0 0 0 108795 220 0 0 25 0 1 0 639444334 240033792 57056 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58602 57056 1111 63 0 58539 0
vsize: 234408
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 57500 0 0 0 109793 221 0 0 25 0 1 0 639444334 241045504 57276 4294967295 134512640 134714508 3221221760 3221220336 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58849 57276 1111 63 0 58786 0
vsize: 235396
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 57723 0 0 0 110793 222 0 0 25 0 1 0 639444334 242053120 57491 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59095 57491 1111 63 0 59032 0
vsize: 236380
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 57906 0 0 0 111792 223 0 0 25 0 1 0 639444334 242728960 57674 4294967295 134512640 134714508 3221221760 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59260 57674 1111 63 0 59197 0
vsize: 237040
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 58012 0 0 0 112792 224 0 0 25 0 1 0 639444334 243179520 57780 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59370 57780 1111 63 0 59307 0
vsize: 237480
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 58162 0 0 0 113791 224 0 0 25 0 1 0 639444334 243777536 57928 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59516 57928 1111 63 0 59453 0
vsize: 238064
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 58370 0 0 0 114791 225 0 0 25 0 1 0 639444334 244822016 58133 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59771 58133 1111 63 0 59708 0
vsize: 239084
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 58501 0 0 0 115791 225 0 0 25 0 1 0 639444334 245243904 58264 4294967295 134512640 134714508 3221221760 3221220544 134529269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59874 58264 1111 63 0 59811 0
vsize: 239496
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 58648 0 0 0 116790 226 0 0 25 0 1 0 639444334 245985280 58408 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60055 58408 1111 63 0 59992 0
vsize: 240220
[startup+1175.06 s]
Raw data (loadavg): 1.00 1.01 1.00 1/53 22787
Raw data (stat): 22787 (bsolo_lpr_cuts) R 22786 7876 7672 0 -1 0 58648 0 0 0 116790 226 0 0 25 0 1 0 639444334 245985280 58408 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60055 58408 1111 63 0 59992 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.2
CPU user time (s): 1172.82
CPU system time (s): 2.37364
CPU usage (%): 100.012
Max. virtual memory (Kb): 240220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####