PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
MD5SUM	4b4e9c4dea51b53ba8323ee6782645f0
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.066989
Number of variables	293
Total number of constraints	236
Number of constraints which are clauses	208
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	15
Trace number 23323

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 11:36:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=326 boxname=wulflinc31 idbench=37 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4b4e9c4dea51b53ba8323ee6782645f0  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_13_sat_pb.cnf.cr.opb
IDLAUNCH: 326
/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:        927924 kB
Buffers:         38012 kB
Cached:          46804 kB
SwapCached:        864 kB
Active:          71848 kB
Inactive:        15356 kB
HighTotal:      131008 kB
HighFree:        83216 kB
LowTotal:       903652 kB
LowFree:        844708 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13836 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 11:55:52 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 326 7 1175.12 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 293 variables and 236 constraints.
c After prepocess the problem consists of 293 variables and 236 constraints.
c preprocess terminated 0.17 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.96 2/54 23265
Raw data (stat): 23265 (runsolver) R 23264 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 639805027 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.95 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 3182 0 0 0 981 14 0 0 25 0 1 0 639805027 16158720 3103 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3945 3103 1111 63 0 3882 0
vsize: 15780
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 4991 0 0 0 1975 21 0 0 25 0 1 0 639805027 23592960 4912 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5760 4912 1111 63 0 5697 0
vsize: 23040
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 6400 0 0 0 2969 26 0 0 25 0 1 0 639805027 29282304 6320 4294967295 134512640 134714508 3221221760 3221220344 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7149 6320 1111 63 0 7086 0
vsize: 28596
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 7164 0 0 0 3966 29 0 0 25 0 1 0 639805027 32399360 7084 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7910 7084 1111 63 0 7847 0
vsize: 31640
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 8243 0 0 0 4962 34 0 0 25 0 1 0 639805027 36864000 8163 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9000 8163 1111 63 0 8937 0
vsize: 36000
[startup+60.002 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 9103 0 0 0 5959 38 0 0 25 0 1 0 639805027 40378368 9023 4294967295 134512640 134714508 3221221760 3221220340 134696201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9858 9023 1111 63 0 9795 0
vsize: 39432
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 9494 0 0 0 6957 40 0 0 25 0 1 0 639805027 42000384 9414 4294967295 134512640 134714508 3221221760 3221220484 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10254 9414 1111 63 0 10191 0
vsize: 41016
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 9671 0 0 0 7956 40 0 0 25 0 1 0 639805027 42676224 9591 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10419 9591 1111 63 0 10356 0
vsize: 41676
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 10211 0 0 0 8954 43 0 0 25 0 1 0 639805027 44974080 10131 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10980 10131 1111 63 0 10917 0
vsize: 43920
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 10924 0 0 0 9952 46 0 0 25 0 1 0 639805027 47947776 10843 4294967295 134512640 134714508 3221221760 3221220496 134524039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11706 10843 1111 63 0 11643 0
vsize: 46824
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 11496 0 0 0 10950 47 0 0 25 0 1 0 639805027 50245632 11415 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12267 11415 1111 63 0 12204 0
vsize: 49068
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 12136 0 0 0 11948 50 0 0 25 0 1 0 639805027 52948992 12054 4294967295 134512640 134714508 3221221760 3221220084 134697180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12927 12054 1111 63 0 12864 0
vsize: 51708
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 12607 0 0 0 12947 51 0 0 25 0 1 0 639805027 54841344 12525 4294967295 134512640 134714508 3221221760 3221220360 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13389 12525 1111 63 0 13326 0
vsize: 53556
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 13088 0 0 0 13943 54 0 0 25 0 1 0 639805027 56733696 13006 4294967295 134512640 134714508 3221221760 3221220432 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13851 13006 1111 63 0 13788 0
vsize: 55404
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 13599 0 0 0 14941 58 0 0 25 0 1 0 639805027 58933248 13516 4294967295 134512640 134714508 3221221760 3221220384 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14388 13516 1111 63 0 14325 0
vsize: 57552
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 14038 0 0 0 15939 59 0 0 25 0 1 0 639805027 60690432 13955 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14817 13955 1111 63 0 14754 0
vsize: 59268
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 14227 0 0 0 16939 60 0 0 25 0 1 0 639805027 61517824 14144 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15019 14144 1111 63 0 14956 0
vsize: 60076
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 14478 0 0 0 17937 61 0 0 25 0 1 0 639805027 62599168 14395 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15283 14395 1111 63 0 15220 0
vsize: 61132
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 14719 0 0 0 18937 62 0 0 25 0 1 0 639805027 63557632 14636 4294967295 134512640 134714508 3221221760 3221220424 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15517 14636 1111 63 0 15454 0
vsize: 62068
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 15349 0 0 0 19935 64 0 0 25 0 1 0 639805027 66166784 15266 4294967295 134512640 134714508 3221221760 3221220416 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16154 15266 1111 63 0 16091 0
vsize: 64616
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 15683 0 0 0 20934 65 0 0 25 0 1 0 639805027 67518464 15600 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16484 15600 1111 63 0 16421 0
vsize: 65936
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 16240 0 0 0 21932 68 0 0 25 0 1 0 639805027 69816320 16157 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17045 16157 1111 63 0 16982 0
vsize: 68180
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 16725 0 0 0 22930 69 0 0 25 0 1 0 639805027 71847936 16640 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17541 16640 1111 63 0 17478 0
vsize: 70164
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 17225 0 0 0 23929 71 0 0 25 0 1 0 639805027 73883648 17140 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18038 17140 1111 63 0 17975 0
vsize: 72152
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 17960 0 0 0 24926 74 0 0 25 0 1 0 639805027 76861440 17875 4294967295 134512640 134714508 3221221760 3221220544 134529126 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18765 17875 1111 63 0 18702 0
vsize: 75060
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 18670 0 0 0 25923 77 0 0 25 0 1 0 639805027 79835136 18585 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19491 18585 1111 63 0 19428 0
vsize: 77964
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 18891 0 0 0 26923 78 0 0 25 0 1 0 639805027 80789504 18806 4294967295 134512640 134714508 3221221760 3221220464 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18806 1111 63 0 19661 0
vsize: 78896
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 19138 0 0 0 27922 79 0 0 25 0 1 0 639805027 81735680 19053 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19955 19053 1111 63 0 19892 0
vsize: 79820
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 19515 0 0 0 28921 80 0 0 25 0 1 0 639805027 83222528 19430 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20318 19430 1111 63 0 20255 0
vsize: 81272
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 20050 0 0 0 29919 82 0 0 25 0 1 0 639805027 85520384 19965 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20879 19965 1111 63 0 20816 0
vsize: 83516
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 20189 0 0 0 30919 82 0 0 25 0 1 0 639805027 86085632 20104 4294967295 134512640 134714508 3221221760 3221220544 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21017 20104 1111 63 0 20954 0
vsize: 84068
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 20428 0 0 0 31918 83 0 0 25 0 1 0 639805027 87031808 20343 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21248 20343 1111 63 0 21185 0
vsize: 84992
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 20945 0 0 0 32915 86 0 0 25 0 1 0 639805027 89206784 20859 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21779 20859 1111 63 0 21716 0
vsize: 87116
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 21382 0 0 0 33913 89 0 0 25 0 1 0 639805027 90906624 21292 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22194 21292 1111 63 0 22131 0
vsize: 88776
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 21996 0 0 0 34911 91 0 0 25 0 1 0 639805027 93474816 21906 4294967295 134512640 134714508 3221221760 3221220316 134535984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22821 21906 1111 63 0 22758 0
vsize: 91284
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 22685 0 0 0 35909 93 0 0 25 0 1 0 639805027 96313344 22594 4294967295 134512640 134714508 3221221760 3221220520 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23514 22594 1111 63 0 23451 0
vsize: 94056
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 23177 0 0 0 36908 95 0 0 25 0 1 0 639805027 98336768 23086 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24008 23086 1111 63 0 23945 0
vsize: 96032
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 23777 0 0 0 37905 97 0 0 25 0 1 0 639805027 100769792 23686 4294967295 134512640 134714508 3221221760 3221220412 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24602 23686 1111 63 0 24539 0
vsize: 98408
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 24374 0 0 0 38902 100 0 0 25 0 1 0 639805027 103202816 24283 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25196 24283 1111 63 0 25133 0
vsize: 100784
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 24616 0 0 0 39901 102 0 0 25 0 1 0 639805027 104280064 24525 4294967295 134512640 134714508 3221221760 3221220448 134528605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25459 24525 1111 63 0 25396 0
vsize: 101836
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 24997 0 0 0 40900 103 0 0 25 0 1 0 639805027 105766912 24906 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25822 24906 1111 63 0 25759 0
vsize: 103288
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 25417 0 0 0 41898 105 0 0 25 0 1 0 639805027 107524096 25326 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26251 25326 1111 63 0 26188 0
vsize: 105004
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 25933 0 0 0 42896 107 0 0 25 0 1 0 639805027 109690880 25842 4294967295 134512640 134714508 3221221760 3221220352 134549773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26780 25842 1111 63 0 26717 0
vsize: 107120
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 26285 0 0 0 43895 108 0 0 25 0 1 0 639805027 111042560 26193 4294967295 134512640 134714508 3221221760 3221220484 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27110 26193 1111 63 0 27047 0
vsize: 108440
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 26721 0 0 0 44894 110 0 0 25 0 1 0 639805027 112934912 26629 4294967295 134512640 134714508 3221221760 3221220448 134528605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27572 26629 1111 63 0 27509 0
vsize: 110288
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 27217 0 0 0 45892 112 0 0 25 0 1 0 639805027 114962432 27123 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28067 27123 1111 63 0 28004 0
vsize: 112268
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 27589 0 0 0 46891 113 0 0 25 0 1 0 639805027 116449280 27495 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28430 27495 1111 63 0 28367 0
vsize: 113720
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 28039 0 0 0 47889 116 0 0 25 0 1 0 639805027 118206464 27945 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28859 27945 1111 63 0 28796 0
vsize: 115436
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 28378 0 0 0 48888 117 0 0 25 0 1 0 639805027 119701504 28284 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29224 28284 1111 63 0 29161 0
vsize: 116896
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 28686 0 0 0 49887 118 0 0 25 0 1 0 639805027 120918016 28592 4294967295 134512640 134714508 3221221760 3221220400 134536650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29521 28592 1111 63 0 29458 0
vsize: 118084
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 29106 0 0 0 50885 120 0 0 25 0 1 0 639805027 122675200 29012 4294967295 134512640 134714508 3221221760 3221220416 134536736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29950 29012 1111 63 0 29887 0
vsize: 119800
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 29631 0 0 0 51883 123 0 0 25 0 1 0 639805027 124837888 29537 4294967295 134512640 134714508 3221221760 3221220412 134536823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30478 29537 1111 63 0 30415 0
vsize: 121912
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 30062 0 0 0 52882 124 0 0 25 0 1 0 639805027 126611456 29968 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30911 29968 1111 63 0 30848 0
vsize: 123644
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 30462 0 0 0 53880 126 0 0 25 0 1 0 639805027 128233472 30368 4294967295 134512640 134714508 3221221760 3221220504 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31307 30368 1111 63 0 31244 0
vsize: 125228
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 30978 0 0 0 54878 128 0 0 25 0 1 0 639805027 130396160 30884 4294967295 134512640 134714508 3221221760 3221220500 134523855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31835 30884 1111 63 0 31772 0
vsize: 127340
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 31528 0 0 0 55876 130 0 0 25 0 1 0 639805027 132558848 31434 4294967295 134512640 134714508 3221221760 3221220396 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32363 31434 1111 63 0 32300 0
vsize: 129452
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 32125 0 0 0 56875 132 0 0 25 0 1 0 639805027 135127040 32031 4294967295 134512640 134714508 3221221760 3221220412 134536845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32990 32031 1111 63 0 32927 0
vsize: 131960
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 32614 0 0 0 57873 133 0 0 25 0 1 0 639805027 137019392 32520 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33452 32520 1111 63 0 33389 0
vsize: 133808
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 32746 0 0 0 58872 135 0 0 25 0 1 0 639805027 137560064 32652 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33584 32652 1111 63 0 33521 0
vsize: 134336
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 32875 0 0 0 59872 135 0 0 25 0 1 0 639805027 138133504 32780 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33724 32780 1111 63 0 33661 0
vsize: 134896
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33028 0 0 0 60871 136 0 0 25 0 1 0 639805027 138809344 32933 4294967295 134512640 134714508 3221221760 3221220440 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33889 32933 1111 63 0 33826 0
vsize: 135556
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33140 0 0 0 61871 137 0 0 25 0 1 0 639805027 139214848 33045 4294967295 134512640 134714508 3221221760 3221220400 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33988 33045 1111 63 0 33925 0
vsize: 135952
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33322 0 0 0 62870 137 0 0 25 0 1 0 639805027 139890688 33227 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34153 33227 1111 63 0 34090 0
vsize: 136612
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33501 0 0 0 63870 138 0 0 25 0 1 0 639805027 140701696 33406 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34351 33406 1111 63 0 34288 0
vsize: 137404
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33661 0 0 0 64869 139 0 0 25 0 1 0 639805027 141381632 33566 4294967295 134512640 134714508 3221221760 3221220348 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34517 33566 1111 63 0 34454 0
vsize: 138068
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33810 0 0 0 65868 140 0 0 25 0 1 0 639805027 141934592 33715 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34652 33715 1111 63 0 34589 0
vsize: 138608
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33930 0 0 0 66868 140 0 0 25 0 1 0 639805027 142475264 33835 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34784 33835 1111 63 0 34721 0
vsize: 139136
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34088 0 0 0 67868 141 0 0 25 0 1 0 639805027 143015936 33993 4294967295 134512640 134714508 3221221760 3221220544 134529246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34916 33993 1111 63 0 34853 0
vsize: 139664
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34282 0 0 0 68867 141 0 0 25 0 1 0 639805027 143822848 34185 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35113 34185 1111 63 0 35050 0
vsize: 140452
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34465 0 0 0 69867 142 0 0 25 0 1 0 639805027 144633856 34368 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35311 34368 1111 63 0 35248 0
vsize: 141244
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34660 0 0 0 70867 142 0 0 25 0 1 0 639805027 145444864 34563 4294967295 134512640 134714508 3221221760 3221220412 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35509 34563 1111 63 0 35446 0
vsize: 142036
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34958 0 0 0 71865 144 0 0 25 0 1 0 639805027 146661376 34861 4294967295 134512640 134714508 3221221760 3221220216 1077377227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35806 34861 1111 63 0 35743 0
vsize: 143224
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 35292 0 0 0 72864 146 0 0 25 0 1 0 639805027 148013056 35195 4294967295 134512640 134714508 3221221760 3221220528 134529381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36136 35195 1111 63 0 36073 0
vsize: 144544
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 35686 0 0 0 73862 147 0 0 25 0 1 0 639805027 149680128 35585 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36543 35585 1111 63 0 36480 0
vsize: 146172
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 36025 0 0 0 74861 148 0 0 25 0 1 0 639805027 151031808 35924 4294967295 134512640 134714508 3221221760 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36873 35924 1111 63 0 36810 0
vsize: 147492
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 36276 0 0 0 75860 150 0 0 25 0 1 0 639805027 152117248 36173 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37138 36173 1111 63 0 37075 0
vsize: 148552
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 36500 0 0 0 76859 151 0 0 25 0 1 0 639805027 153067520 36395 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37370 36395 1111 63 0 37307 0
vsize: 149480
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 36784 0 0 0 77858 152 0 0 25 0 1 0 639805027 154152960 36679 4294967295 134512640 134714508 3221221760 3221220412 134536754 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37635 36679 1111 63 0 37572 0
vsize: 150540
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37081 0 0 0 78857 154 0 0 25 0 1 0 639805027 155369472 36976 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37932 36976 1111 63 0 37869 0
vsize: 151728
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37391 0 0 0 79855 155 0 0 25 0 1 0 639805027 156721152 37286 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38262 37286 1111 63 0 38199 0
vsize: 153048
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37573 0 0 0 80854 157 0 0 25 0 1 0 639805027 157396992 37468 4294967295 134512640 134714508 3221221760 3221220524 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38427 37468 1111 63 0 38364 0
vsize: 153708
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37738 0 0 0 81853 157 0 0 25 0 1 0 639805027 158220288 37633 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38628 37633 1111 63 0 38565 0
vsize: 154512
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37970 0 0 0 82853 157 0 0 25 0 1 0 639805027 159031296 37865 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38826 37865 1111 63 0 38763 0
vsize: 155304
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 38165 0 0 0 83853 158 0 0 25 0 1 0 639805027 159850496 38060 4294967295 134512640 134714508 3221221760 3221220320 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39026 38060 1111 63 0 38963 0
vsize: 156104
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 38378 0 0 0 84852 159 0 0 25 0 1 0 639805027 160796672 38272 4294967295 134512640 134714508 3221221760 3221220412 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39257 38272 1111 63 0 39194 0
vsize: 157028
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 38551 0 0 0 85851 160 0 0 25 0 1 0 639805027 161472512 38445 4294967295 134512640 134714508 3221221760 3221220288 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39422 38445 1111 63 0 39359 0
vsize: 157688
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 38748 0 0 0 86850 161 0 0 25 0 1 0 639805027 162279424 38642 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39619 38642 1111 63 0 39556 0
vsize: 158476
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 39117 0 0 0 87849 163 0 0 25 0 1 0 639805027 163844096 39007 4294967295 134512640 134714508 3221221760 3221220316 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40001 39007 1111 63 0 39938 0
vsize: 160004
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 39571 0 0 0 88847 165 0 0 25 0 1 0 639805027 165740544 39461 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40464 39461 1111 63 0 40401 0
vsize: 161856
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 39914 0 0 0 89847 166 0 0 25 0 1 0 639805027 167092224 39804 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40794 39804 1111 63 0 40731 0
vsize: 163176
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 40217 0 0 0 90846 167 0 0 25 0 1 0 639805027 168443904 40107 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41124 40107 1111 63 0 41061 0
vsize: 164496
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 40416 0 0 0 91845 168 0 0 25 0 1 0 639805027 169254912 40304 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41322 40304 1111 63 0 41259 0
vsize: 165288
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 40666 0 0 0 92844 169 0 0 25 0 1 0 639805027 170336256 40554 4294967295 134512640 134714508 3221221760 3221220528 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41586 40554 1111 63 0 41523 0
vsize: 166344
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 41007 0 0 0 93843 170 0 0 25 0 1 0 639805027 171687936 40895 4294967295 134512640 134714508 3221221760 3221220004 134697180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41916 40895 1111 63 0 41853 0
vsize: 167664
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 41272 0 0 0 94842 171 0 0 25 0 1 0 639805027 172830720 41156 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42195 41156 1111 63 0 42132 0
vsize: 168780
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 41646 0 0 0 95841 173 0 0 25 0 1 0 639805027 174325760 41530 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42560 41530 1111 63 0 42497 0
vsize: 170240
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 41905 0 0 0 96840 174 0 0 25 0 1 0 639805027 175431680 41788 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42830 41788 1111 63 0 42767 0
vsize: 171320
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 42150 0 0 0 97839 175 0 0 25 0 1 0 639805027 176394240 42033 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43065 42033 1111 63 0 43002 0
vsize: 172260
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 42319 0 0 0 98838 175 0 0 25 0 1 0 639805027 177078272 42202 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43232 42202 1111 63 0 43169 0
vsize: 172928
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 42629 0 0 0 99837 177 0 0 25 0 1 0 639805027 178429952 42512 4294967295 134512640 134714508 3221221760 3221220244 134697327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43562 42512 1111 63 0 43499 0
vsize: 174248
[startup+1010.03 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 42855 0 0 0 100836 178 0 0 25 0 1 0 639805027 179400704 42737 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43799 42737 1111 63 0 43736 0
vsize: 175196
[startup+1020.03 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 43195 0 0 0 101835 180 0 0 25 0 1 0 639805027 180752384 43077 4294967295 134512640 134714508 3221221760 3221220396 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44129 43077 1111 63 0 44066 0
vsize: 176516
[startup+1030.03 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 43374 0 0 0 102834 181 0 0 25 0 1 0 639805027 181432320 43256 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44295 43256 1111 63 0 44232 0
vsize: 177180
[startup+1040.03 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 43703 0 0 0 103833 182 0 0 25 0 1 0 639805027 182784000 43585 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44625 43585 1111 63 0 44562 0
vsize: 178500
[startup+1050.03 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 43820 0 0 0 104833 182 0 0 25 0 1 0 639805027 183373824 43698 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44769 43698 1111 63 0 44706 0
vsize: 179076
[startup+1060.03 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44070 0 0 0 105832 183 0 0 25 0 1 0 639805027 184320000 43946 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45000 43946 1111 63 0 44937 0
vsize: 180000
[startup+1070.03 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44344 0 0 0 106831 184 0 0 25 0 1 0 639805027 185401344 44220 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45264 44220 1111 63 0 45201 0
vsize: 181056
[startup+1080.03 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44508 0 0 0 107831 184 0 0 25 0 1 0 639805027 186077184 44384 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45429 44384 1111 63 0 45366 0
vsize: 181716
[startup+1090.03 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44696 0 0 0 108830 185 0 0 25 0 1 0 639805027 186888192 44572 4294967295 134512640 134714508 3221221760 3221220464 134528738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45627 44572 1111 63 0 45564 0
vsize: 182508
[startup+1100.03 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44930 0 0 0 109830 186 0 0 25 0 1 0 639805027 187904000 44802 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45875 44802 1111 63 0 45812 0
vsize: 183500
[startup+1110.03 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 45114 0 0 0 110829 187 0 0 25 0 1 0 639805027 188653568 44985 4294967295 134512640 134714508 3221221760 3221220396 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46058 44985 1111 63 0 45995 0
vsize: 184232
[startup+1120.03 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23265
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 45384 0 0 0 111828 188 0 0 25 0 1 0 639805027 189747200 45253 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46325 45253 1111 63 0 46262 0
vsize: 185300
[startup+1130.14 s]
Raw data (loadavg): 1.01 0.99 0.96 3/58 23311
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 45772 0 0 0 112835 191 0 0 25 0 1 0 639805027 191373312 45641 4294967295 134512640 134714508 3221221760 3221220544 134529269 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46722 45641 1111 63 0 46659 0
vsize: 186888
[startup+1140.14 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23314
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46053 0 0 0 113833 192 0 0 25 0 1 0 639805027 192479232 45921 4294967295 134512640 134714508 3221221760 3221220496 134523932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46992 45921 1111 63 0 46929 0
vsize: 187968
[startup+1150.17 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23314
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46349 0 0 0 114836 193 0 0 25 0 1 0 639805027 193695744 46217 4294967295 134512640 134714508 3221221760 3221220544 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47289 46217 1111 63 0 47226 0
vsize: 189156
[startup+1160.28 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23314
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46577 0 0 0 115846 194 0 0 25 0 1 0 639805027 194641920 46445 4294967295 134512640 134714508 3221221760 3221220412 134536842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47520 46445 1111 63 0 47457 0
vsize: 190080
[startup+1170.28 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23314
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46863 0 0 0 116845 195 0 0 25 0 1 0 639805027 195858432 46731 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47817 46731 1111 63 0 47754 0
vsize: 191268
[startup+1174.99 s]
Raw data (loadavg): 1.00 0.99 0.96 1/53 23314
Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46863 0 0 0 116845 195 0 0 25 0 1 0 639805027 195858432 46731 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47817 46731 1111 63 0 47754 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.12
CPU user time (s): 1173.07
CPU system time (s): 2.04569
CPU usage (%): 100.011
Max. virtual memory (Kb): 191268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####