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-chnl15_20_pb.cnf.cr.opb
MD5SUM	ce39bf71367df072c91f9b7587480c93
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.017996
Number of variables	600
Total number of constraints	70
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	20
Trace number 23168

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 00:20:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=47 boxname=wulflinc31 idbench=6 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ce39bf71367df072c91f9b7587480c93  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_20_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_20_pb.cnf.cr.opb
IDLAUNCH: 47
/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:        932896 kB
Buffers:         35352 kB
Cached:          44636 kB
SwapCached:        864 kB
Active:          67420 kB
Inactive:        14980 kB
HighTotal:      131008 kB
HighFree:        85260 kB
LowTotal:       903652 kB
LowFree:        847636 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13780 kB
Committed_AS:    63628 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 00:39:48 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 47 7 1175.15 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 600 variables and 70 constraints.
c After prepocess the problem consists of 600 variables and 70 constraints.
c preprocess terminated 0.147 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (runsolver) R 6477 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 627107159 1056768 100 4294967295 134512640 135381576 3221221632 3221216848 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.0012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 3385 0 0 0 983 11 0 0 25 0 1 0 627107159 16973824 3306 4294967295 134512640 134714508 3221221744 3221220352 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4144 3306 1111 63 0 4081 0
vsize: 16576
[startup+20.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 4627 0 0 0 1979 16 0 0 25 0 1 0 627107159 22122496 4548 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5401 4548 1111 63 0 5338 0
vsize: 21604
[startup+30.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 6414 0 0 0 2973 23 0 0 25 0 1 0 627107159 29421568 6334 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7183 6334 1111 63 0 7120 0
vsize: 28732
[startup+40.0029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 7666 0 0 0 3968 28 0 0 25 0 1 0 627107159 34578432 7586 4294967295 134512640 134714508 3221221744 3221220448 134535810 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8442 7586 1111 63 0 8379 0
vsize: 33768
[startup+50.0026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 8737 0 0 0 4962 33 0 0 25 0 1 0 627107159 39043072 8657 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9532 8657 1111 63 0 9469 0
vsize: 38128
[startup+60.0028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 9720 0 0 0 5958 37 0 0 25 0 1 0 627107159 43098112 9639 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10522 9639 1111 63 0 10459 0
vsize: 42088
[startup+70.0037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 10455 0 0 0 6956 40 0 0 25 0 1 0 627107159 46096384 10374 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11254 10374 1111 63 0 11191 0
vsize: 45016
[startup+80.0047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 11107 0 0 0 7953 43 0 0 25 0 1 0 627107159 48816128 11025 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11918 11025 1111 63 0 11855 0
vsize: 47672
[startup+90.0056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 11690 0 0 0 8950 46 0 0 25 0 1 0 627107159 51261440 11606 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12515 11606 1111 63 0 12452 0
vsize: 50060
[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 12222 0 0 0 9948 49 0 0 25 0 1 0 627107159 53452800 12138 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13050 12138 1111 63 0 12987 0
vsize: 52200
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 12726 0 0 0 10946 51 0 0 25 0 1 0 627107159 55664640 12639 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13590 12639 1111 63 0 13527 0
vsize: 54360
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 13178 0 0 0 11945 52 0 0 25 0 1 0 627107159 57421824 13090 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14019 13090 1111 63 0 13956 0
vsize: 56076
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 13478 0 0 0 12944 53 0 0 25 0 1 0 627107159 58912768 13386 4294967295 134512640 134714508 3221221744 3221220384 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14383 13386 1111 63 0 14320 0
vsize: 57532
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 13740 0 0 0 13943 55 0 0 25 0 1 0 627107159 59858944 13648 4294967295 134512640 134714508 3221221744 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14614 13648 1111 63 0 14551 0
vsize: 58456
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 15136 0 0 0 14938 60 0 0 25 0 1 0 627107159 65744896 15042 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16051 15042 1111 63 0 15988 0
vsize: 64204
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 16008 0 0 0 15935 63 0 0 25 0 1 0 627107159 69259264 15914 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16909 15914 1111 63 0 16846 0
vsize: 67636
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 16984 0 0 0 16931 67 0 0 25 0 1 0 627107159 73330688 16888 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17903 16888 1111 63 0 17840 0
vsize: 71612
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 18040 0 0 0 17926 72 0 0 25 0 1 0 627107159 77656064 17944 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18959 17944 1111 63 0 18896 0
vsize: 75836
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 18720 0 0 0 18925 73 0 0 25 0 1 0 627107159 80375808 18624 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19623 18624 1111 63 0 19560 0
vsize: 78492
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 19445 0 0 0 19922 77 0 0 25 0 1 0 627107159 83378176 19349 4294967295 134512640 134714508 3221221744 3221220336 134549648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20356 19349 1111 63 0 20293 0
vsize: 81424
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 20268 0 0 0 20918 80 0 0 25 0 1 0 627107159 86794240 20169 4294967295 134512640 134714508 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21190 20169 1111 63 0 21127 0
vsize: 84760
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 20918 0 0 0 21917 82 0 0 25 0 1 0 627107159 89509888 20818 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21853 20818 1111 63 0 21790 0
vsize: 87412
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 21395 0 0 0 22914 85 0 0 25 0 1 0 627107159 91475968 21291 4294967295 134512640 134714508 3221221744 3221220448 134528726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22333 21291 1111 63 0 22270 0
vsize: 89332
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 21983 0 0 0 23911 88 0 0 25 0 1 0 627107159 93966336 21876 4294967295 134512640 134714508 3221221744 3221220404 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22941 21876 1111 63 0 22878 0
vsize: 91764
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 22432 0 0 0 24910 90 0 0 25 0 1 0 627107159 95723520 22325 4294967295 134512640 134714508 3221221744 3221220300 134535652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23370 22325 1111 63 0 23307 0
vsize: 93480
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 22890 0 0 0 25908 92 0 0 25 0 1 0 627107159 97619968 22783 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23833 22783 1111 63 0 23770 0
vsize: 95332
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 23345 0 0 0 26907 93 0 0 25 0 1 0 627107159 99524608 23236 4294967295 134512640 134714508 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24298 23236 1111 63 0 24235 0
vsize: 97192
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 23936 0 0 0 27906 94 0 0 25 0 1 0 627107159 101912576 23821 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24881 23821 1111 63 0 24818 0
vsize: 99524
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 24265 0 0 0 28905 96 0 0 25 0 1 0 627107159 103292928 24150 4294967295 134512640 134714508 3221221744 3221220388 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25218 24150 1111 63 0 25155 0
vsize: 100872
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 24545 0 0 0 29903 97 0 0 25 0 1 0 627107159 104534016 24429 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25521 24429 1111 63 0 25458 0
vsize: 102084
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 24779 0 0 0 30903 98 0 0 25 0 1 0 627107159 105619456 24661 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25786 24661 1111 63 0 25723 0
vsize: 103144
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 25727 0 0 0 31900 101 0 0 25 0 1 0 627107159 109694976 25609 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26781 25609 1111 63 0 26718 0
vsize: 107124
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 26908 0 0 0 32897 104 0 0 25 0 1 0 627107159 114429952 26789 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27937 26789 1111 63 0 27874 0
vsize: 111748
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 27837 0 0 0 33893 109 0 0 25 0 1 0 627107159 118214656 27718 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28861 27718 1111 63 0 28798 0
vsize: 115444
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 28422 0 0 0 34890 111 0 0 25 0 1 0 627107159 120647680 28303 4294967295 134512640 134714508 3221221744 3221220500 134652846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29455 28303 1111 63 0 29392 0
vsize: 117820
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 28868 0 0 0 35889 113 0 0 25 0 1 0 627107159 122560512 28749 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29922 28749 1111 63 0 29859 0
vsize: 119688
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 29631 0 0 0 36885 117 0 0 25 0 1 0 627107159 125579264 29508 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30659 29508 1111 63 0 30596 0
vsize: 122636
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 30234 0 0 0 37883 120 0 0 25 0 1 0 627107159 128012288 30111 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31253 30111 1111 63 0 31190 0
vsize: 125012
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 30625 0 0 0 38881 121 0 0 25 0 1 0 627107159 129654784 30502 4294967295 134512640 134714508 3221221744 3221220512 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31654 30502 1111 63 0 31591 0
vsize: 126616
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 31186 0 0 0 39880 123 0 0 25 0 1 0 627107159 131985408 31063 4294967295 134512640 134714508 3221221744 3221220480 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32223 31063 1111 63 0 32160 0
vsize: 128892
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 31579 0 0 0 40879 124 0 0 25 0 1 0 627107159 133607424 31456 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32619 31456 1111 63 0 32556 0
vsize: 130476
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 31918 0 0 0 41877 126 0 0 25 0 1 0 627107159 135020544 31792 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32964 31792 1111 63 0 32901 0
vsize: 131856
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 32270 0 0 0 42875 128 0 0 25 0 1 0 627107159 136372224 32144 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33294 32144 1111 63 0 33231 0
vsize: 133176
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 32575 0 0 0 43874 130 0 0 25 0 1 0 627107159 137588736 32449 4294967295 134512640 134714508 3221221744 3221220336 134549585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33591 32449 1111 63 0 33528 0
vsize: 134364
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 33028 0 0 0 44872 132 0 0 25 0 1 0 627107159 139546624 32893 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34069 32893 1111 63 0 34006 0
vsize: 136276
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 33324 0 0 0 45871 133 0 0 25 0 1 0 627107159 140808192 33186 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34377 33186 1111 63 0 34314 0
vsize: 137508
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 33636 0 0 0 46870 134 0 0 25 0 1 0 627107159 142094336 33497 4294967295 134512640 134714508 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34691 33497 1111 63 0 34628 0
vsize: 138764
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 33929 0 0 0 47869 135 0 0 25 0 1 0 627107159 143306752 33786 4294967295 134512640 134714508 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34987 33786 1111 63 0 34924 0
vsize: 139948
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 34195 0 0 0 48867 137 0 0 25 0 1 0 627107159 144429056 34052 4294967295 134512640 134714508 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35261 34052 1111 63 0 35198 0
vsize: 141044
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 34387 0 0 0 49867 138 0 0 25 0 1 0 627107159 145272832 34244 4294967295 134512640 134714508 3221221744 3221220512 134529133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35467 34244 1111 63 0 35404 0
vsize: 141868
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 34544 0 0 0 50867 139 0 0 25 0 1 0 627107159 145842176 34401 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35606 34401 1111 63 0 35543 0
vsize: 142424
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 35073 0 0 0 51865 141 0 0 25 0 1 0 627107159 148271104 34924 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36199 34924 1111 63 0 36136 0
vsize: 144796
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 35862 0 0 0 52861 144 0 0 25 0 1 0 627107159 151523328 35711 4294967295 134512640 134714508 3221221744 3221220336 134549757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36993 35711 1111 63 0 36930 0
vsize: 147972
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 36346 0 0 0 53859 147 0 0 25 0 1 0 627107159 153456640 36191 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37465 36191 1111 63 0 37402 0
vsize: 149860
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 36647 0 0 0 54858 148 0 0 25 0 1 0 627107159 154673152 36492 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37762 36492 1111 63 0 37699 0
vsize: 151048
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 37201 0 0 0 55856 150 0 0 25 0 1 0 627107159 157036544 37042 4294967295 134512640 134714508 3221221744 3221220300 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38339 37042 1111 63 0 38276 0
vsize: 153356
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 37690 0 0 0 56854 152 0 0 25 0 1 0 627107159 159064064 37531 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38834 37531 1111 63 0 38771 0
vsize: 155336
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 37945 0 0 0 57853 154 0 0 25 0 1 0 627107159 160075776 37777 4294967295 134512640 134714508 3221221744 3221220300 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39081 37777 1111 63 0 39018 0
vsize: 156324
[startup+590.035 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 38192 0 0 0 58853 154 0 0 25 0 1 0 627107159 161157120 38024 4294967295 134512640 134714508 3221221744 3221220240 134535397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39345 38024 1111 63 0 39282 0
vsize: 157380
[startup+600.036 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 38469 0 0 0 59852 156 0 0 25 0 1 0 627107159 162238464 38301 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39609 38301 1111 63 0 39546 0
vsize: 158436
[startup+610.037 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 38881 0 0 0 60850 158 0 0 25 0 1 0 627107159 163860480 38713 4294967295 134512640 134714508 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40005 38713 1111 63 0 39942 0
vsize: 160020
[startup+620.038 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 39153 0 0 0 61849 159 0 0 25 0 1 0 627107159 164941824 38985 4294967295 134512640 134714508 3221221744 3221220300 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40269 38985 1111 63 0 40206 0
vsize: 161076
[startup+630.039 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 39512 0 0 0 62848 160 0 0 25 0 1 0 627107159 166453248 39343 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40638 39343 1111 63 0 40575 0
vsize: 162552
[startup+640.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 39791 0 0 0 63846 162 0 0 25 0 1 0 627107159 167600128 39622 4294967295 134512640 134714508 3221221744 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40918 39622 1111 63 0 40855 0
vsize: 163672
[startup+650.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 40044 0 0 0 64846 163 0 0 25 0 1 0 627107159 168681472 39875 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41182 39875 1111 63 0 41119 0
vsize: 164728
[startup+660.041 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 40340 0 0 0 65845 164 0 0 25 0 1 0 627107159 169967616 40170 4294967295 134512640 134714508 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41496 40170 1111 63 0 41433 0
vsize: 165984
[startup+670.042 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 40599 0 0 0 66844 165 0 0 25 0 1 0 627107159 170958848 40428 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41738 40428 1111 63 0 41675 0
vsize: 166952
[startup+680.042 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 41066 0 0 0 67842 167 0 0 25 0 1 0 627107159 173068288 40892 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42253 40892 1111 63 0 42190 0
vsize: 169012
[startup+690.043 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 41448 0 0 0 68840 169 0 0 25 0 1 0 627107159 174612480 41270 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42630 41270 1111 63 0 42567 0
vsize: 170520
[startup+700.043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 41698 0 0 0 69839 170 0 0 25 0 1 0 627107159 175759360 41519 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42910 41519 1111 63 0 42847 0
vsize: 171640
[startup+710.043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 42130 0 0 0 70838 172 0 0 25 0 1 0 627107159 177516544 41951 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43339 41951 1111 63 0 43276 0
vsize: 173356
[startup+720.043 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 42344 0 0 0 71837 173 0 0 25 0 1 0 627107159 178401280 42156 4294967295 134512640 134714508 3221221744 3221220396 134536825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43555 42156 1111 63 0 43492 0
vsize: 174220
[startup+730.045 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 42639 0 0 0 72836 174 0 0 25 0 1 0 627107159 179617792 42451 4294967295 134512640 134714508 3221221744 3221220384 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43852 42451 1111 63 0 43789 0
vsize: 175408
[startup+740.045 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 42891 0 0 0 73836 174 0 0 25 0 1 0 627107159 180563968 42703 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44083 42703 1111 63 0 44020 0
vsize: 176332
[startup+750.045 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 43149 0 0 0 74835 175 0 0 25 0 1 0 627107159 181682176 42959 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44356 42959 1111 63 0 44293 0
vsize: 177424
[startup+760.046 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 43403 0 0 0 75834 176 0 0 25 0 1 0 627107159 182628352 43213 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44587 43213 1111 63 0 44524 0
vsize: 178348
[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 43695 0 0 0 76834 177 0 0 25 0 1 0 627107159 183844864 43505 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44884 43505 1111 63 0 44821 0
vsize: 179536
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 43987 0 0 0 77833 178 0 0 25 0 1 0 627107159 184946688 43795 4294967295 134512640 134714508 3221221744 3221220448 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45153 43795 1111 63 0 45090 0
vsize: 180612
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 44190 0 0 0 78833 179 0 0 25 0 1 0 627107159 185966592 43998 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45402 43998 1111 63 0 45339 0
vsize: 181608
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 44472 0 0 0 79831 180 0 0 25 0 1 0 627107159 187125760 44275 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45685 44275 1111 63 0 45622 0
vsize: 182740
[startup+810.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 44635 0 0 0 80831 181 0 0 25 0 1 0 627107159 187666432 44438 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45817 44438 1111 63 0 45754 0
vsize: 183268
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 44889 0 0 0 81830 182 0 0 25 0 1 0 627107159 188813312 44683 4294967295 134512640 134714508 3221221744 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46097 44683 1111 63 0 46034 0
vsize: 184388
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 45150 0 0 0 82830 182 0 0 25 0 1 0 627107159 189759488 44944 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46328 44944 1111 63 0 46265 0
vsize: 185312
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 45356 0 0 0 83829 183 0 0 25 0 1 0 627107159 190705664 45150 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46559 45150 1111 63 0 46496 0
vsize: 186236
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 45628 0 0 0 84828 185 0 0 25 0 1 0 627107159 191787008 45422 4294967295 134512640 134714508 3221221744 3221220464 134535795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46823 45422 1111 63 0 46760 0
vsize: 187292
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 45810 0 0 0 85827 186 0 0 25 0 1 0 627107159 192462848 45604 4294967295 134512640 134714508 3221221744 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46988 45604 1111 63 0 46925 0
vsize: 187952
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 46034 0 0 0 86825 187 0 0 25 0 1 0 627107159 193409024 45828 4294967295 134512640 134714508 3221221744 3221220424 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47219 45828 1111 63 0 47156 0
vsize: 188876
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 46209 0 0 0 87825 188 0 0 25 0 1 0 627107159 194134016 46003 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47396 46003 1111 63 0 47333 0
vsize: 189584
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 46354 0 0 0 88825 188 0 0 25 0 1 0 627107159 194674688 46148 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47528 46148 1111 63 0 47465 0
vsize: 190112
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 46575 0 0 0 89824 189 0 0 25 0 1 0 627107159 195502080 46368 4294967295 134512640 134714508 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47730 46368 1111 63 0 47667 0
vsize: 190920
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 46775 0 0 0 90823 190 0 0 25 0 1 0 627107159 196325376 46564 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47931 46564 1111 63 0 47868 0
vsize: 191724
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 47026 0 0 0 91823 191 0 0 25 0 1 0 627107159 197509120 46806 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48220 46806 1111 63 0 48157 0
vsize: 192880
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 47188 0 0 0 92823 191 0 0 25 0 1 0 627107159 198184960 46968 4294967295 134512640 134714508 3221221744 3221220480 134523932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48385 46968 1111 63 0 48322 0
vsize: 193540
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 47368 0 0 0 93822 192 0 0 25 0 1 0 627107159 198860800 47148 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48550 47148 1111 63 0 48487 0
vsize: 194200
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 47619 0 0 0 94821 194 0 0 25 0 1 0 627107159 200007680 47399 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48830 47399 1111 63 0 48767 0
vsize: 195320
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 47804 0 0 0 95820 195 0 0 25 0 1 0 627107159 200687616 47584 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48996 47584 1111 63 0 48933 0
vsize: 195984
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 47985 0 0 0 96820 195 0 0 25 0 1 0 627107159 201437184 47765 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49179 47765 1111 63 0 49116 0
vsize: 196716
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 48145 0 0 0 97819 196 0 0 25 0 1 0 627107159 201977856 47923 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49311 47923 1111 63 0 49248 0
vsize: 197244
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 48355 0 0 0 98818 197 0 0 25 0 1 0 627107159 202813440 48133 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49515 48133 1111 63 0 49452 0
vsize: 198060
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 48637 0 0 0 99817 199 0 0 25 0 1 0 627107159 203919360 48414 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49785 48414 1111 63 0 49722 0
vsize: 199140
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 48909 0 0 0 100816 199 0 0 25 0 1 0 627107159 205037568 48684 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50058 48684 1111 63 0 49995 0
vsize: 200232
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 49182 0 0 0 101815 201 0 0 25 0 1 0 627107159 206319616 48957 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50371 48957 1111 63 0 50308 0
vsize: 201484
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 49355 0 0 0 102814 202 0 0 25 0 1 0 627107159 206995456 49130 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50536 49130 1111 63 0 50473 0
vsize: 202144
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 49545 0 0 0 103814 203 0 0 25 0 1 0 627107159 207872000 49314 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50750 49314 1111 63 0 50687 0
vsize: 203000
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 49752 0 0 0 104813 203 0 0 25 0 1 0 627107159 208719872 49519 4294967295 134512640 134714508 3221221744 3221220300 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50957 49519 1111 63 0 50894 0
vsize: 203828
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 49938 0 0 0 105813 204 0 0 25 0 1 0 627107159 209457152 49705 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51137 49705 1111 63 0 51074 0
vsize: 204548
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 50143 0 0 0 106812 205 0 0 25 0 1 0 627107159 210268160 49910 4294967295 134512640 134714508 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51335 49910 1111 63 0 51272 0
vsize: 205340
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 50337 0 0 0 107811 206 0 0 25 0 1 0 627107159 211189760 50102 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51560 50102 1111 63 0 51497 0
vsize: 206240
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 50492 0 0 0 108811 206 0 0 25 0 1 0 627107159 211730432 50257 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51692 50257 1111 63 0 51629 0
vsize: 206768
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 50697 0 0 0 109810 207 0 0 25 0 1 0 627107159 212742144 50462 4294967295 134512640 134714508 3221221744 3221220448 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51939 50462 1111 63 0 51876 0
vsize: 207756
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 50864 0 0 0 110810 208 0 0 25 0 1 0 627107159 213282816 50629 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52071 50629 1111 63 0 52008 0
vsize: 208284
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 51134 0 0 0 111809 209 0 0 25 0 1 0 627107159 214568960 50884 4294967295 134512640 134714508 3221221744 3221220528 134529269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52385 50884 1111 63 0 52322 0
vsize: 209540
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 51228 0 0 0 112809 209 0 0 25 0 1 0 627107159 214974464 50978 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52484 50978 1111 63 0 52421 0
vsize: 209936
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 51485 0 0 0 113808 210 0 0 25 0 1 0 627107159 215920640 51235 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52715 51235 1111 63 0 52652 0
vsize: 210860
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 51699 0 0 0 114807 211 0 0 25 0 1 0 627107159 216932352 51448 4294967295 134512640 134714508 3221221744 3221220528 134529192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52962 51448 1111 63 0 52899 0
vsize: 211848
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 51924 0 0 0 115807 212 0 0 25 0 1 0 627107159 218009600 51673 4294967295 134512640 134714508 3221221744 3221220432 134528707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53225 51673 1111 63 0 53162 0
vsize: 212900
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 52094 0 0 0 116806 213 0 0 25 0 1 0 627107159 218755072 51842 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53407 51842 1111 63 0 53344 0
vsize: 213628
[startup+1175.02 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 6478
Raw data (stat): 6478 (bsolo_lpr_cuts) R 6477 3722 3553 0 -1 0 52094 0 0 0 116806 213 0 0 25 0 1 0 627107159 218755072 51842 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53407 51842 1111 63 0 53344 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.15
CPU user time (s): 1172.92
CPU system time (s): 2.22766
CPU usage (%): 100.011
Max. virtual memory (Kb): 213628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####