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_13_sat_pb.cnf.cr.opb
MD5SUM	6c5be32f385b6b14a9d33e85ff7013ea
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.099984
Number of variables	273
Total number of constraints	222
Number of constraints which are clauses	195
Number of constraints which are cardinality constraints (but not clauses)	27
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 23313

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 09:36:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=308 boxname=wulflinc31 idbench=35 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6c5be32f385b6b14a9d33e85ff7013ea  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_13_sat_pb.cnf.cr.opb
IDLAUNCH: 308
/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:        928148 kB
Buffers:         37828 kB
Cached:          46784 kB
SwapCached:        864 kB
Active:          71728 kB
Inactive:        15184 kB
HighTotal:      131008 kB
HighFree:        83328 kB
LowTotal:       903652 kB
LowFree:        844820 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13936 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 09:56:05 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 308 7 1175.18 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 273 variables and 222 constraints.
c After prepocess the problem consists of 273 variables and 222 constraints.
c preprocess terminated 0.16 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 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.99 2/54 22252
Raw data (stat): 22252 (runsolver) R 22251 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 639086279 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 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 3040 0 0 0 983 12 0 0 25 0 1 0 639086279 15499264 2961 4294967295 134512640 134714508 3221221760 3221220512 134592371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3784 2961 1111 63 0 3721 0
vsize: 15136
[startup+20.0012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 4386 0 0 0 1979 17 0 0 25 0 1 0 639086279 21041152 4307 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5137 4307 1111 63 0 5074 0
vsize: 20548
[startup+30.0017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 5343 0 0 0 2974 22 0 0 25 0 1 0 639086279 24965120 5264 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6095 5264 1111 63 0 6032 0
vsize: 24380
[startup+40.0017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 6473 0 0 0 3970 26 0 0 25 0 1 0 639086279 29691904 6394 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7249 6394 1111 63 0 7186 0
vsize: 28996
[startup+50.0029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 7840 0 0 0 4964 33 0 0 25 0 1 0 639086279 35237888 7761 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8603 7761 1111 63 0 8540 0
vsize: 34412
[startup+60.0026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 8797 0 0 0 5960 37 0 0 25 0 1 0 639086279 39178240 8718 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9565 8718 1111 63 0 9502 0
vsize: 38260
[startup+70.0035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 9513 0 0 0 6957 39 0 0 25 0 1 0 639086279 42151936 9434 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10291 9434 1111 63 0 10228 0
vsize: 41164
[startup+80.0047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 10045 0 0 0 7954 42 0 0 25 0 1 0 639086279 44339200 9966 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10825 9966 1111 63 0 10762 0
vsize: 43300
[startup+90.0044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 10456 0 0 0 8952 45 0 0 25 0 1 0 639086279 46116864 10377 4294967295 134512640 134714508 3221221760 3221220544 134529365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11259 10377 1111 63 0 11196 0
vsize: 45036
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 10906 0 0 0 9950 47 0 0 25 0 1 0 639086279 47906816 10827 4294967295 134512640 134714508 3221221760 3221220344 134549792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11696 10827 1111 63 0 11633 0
vsize: 46784
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 11444 0 0 0 10948 49 0 0 25 0 1 0 639086279 50245632 11362 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12267 11362 1111 63 0 12204 0
vsize: 49068
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 11804 0 0 0 11947 50 0 0 25 0 1 0 639086279 51752960 11721 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12635 11721 1111 63 0 12572 0
vsize: 50540
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 12120 0 0 0 12946 51 0 0 25 0 1 0 639086279 53026816 12036 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12946 12036 1111 63 0 12883 0
vsize: 51784
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 12675 0 0 0 13944 54 0 0 25 0 1 0 639086279 55398400 12591 4294967295 134512640 134714508 3221221760 3221220412 134536754 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13525 12591 1111 63 0 13462 0
vsize: 54100
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 13216 0 0 0 14941 57 0 0 25 0 1 0 639086279 57585664 13132 4294967295 134512640 134714508 3221221760 3221220472 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14059 13132 1111 63 0 13996 0
vsize: 56236
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 13984 0 0 0 15939 59 0 0 25 0 1 0 639086279 60874752 13899 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14862 13899 1111 63 0 14799 0
vsize: 59448
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 14994 0 0 0 16935 63 0 0 25 0 1 0 639086279 64962560 14909 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15860 14909 1111 63 0 15797 0
vsize: 63440
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 15656 0 0 0 17932 66 0 0 25 0 1 0 639086279 67694592 15571 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16527 15571 1111 63 0 16464 0
vsize: 66108
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 16430 0 0 0 18929 70 0 0 25 0 1 0 639086279 70938624 16345 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17319 16345 1111 63 0 17256 0
vsize: 69276
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 17133 0 0 0 19926 73 0 0 25 0 1 0 639086279 73777152 17048 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18012 17048 1111 63 0 17949 0
vsize: 72048
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 17787 0 0 0 20923 76 0 0 25 0 1 0 639086279 76480512 17702 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18672 17702 1111 63 0 18609 0
vsize: 74688
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 18296 0 0 0 21920 79 0 0 25 0 1 0 639086279 78508032 18211 4294967295 134512640 134714508 3221221760 3221220444 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19167 18211 1111 63 0 19104 0
vsize: 76668
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 18790 0 0 0 22919 81 0 0 25 0 1 0 639086279 80535552 18705 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19662 18705 1111 63 0 19599 0
vsize: 78648
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 19186 0 0 0 23917 82 0 0 25 0 1 0 639086279 82190336 19101 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19101 1111 63 0 20003 0
vsize: 80264
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 19550 0 0 0 24915 84 0 0 25 0 1 0 639086279 83677184 19465 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20429 19465 1111 63 0 20366 0
vsize: 81716
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 19930 0 0 0 25914 86 0 0 25 0 1 0 639086279 85168128 19845 4294967295 134512640 134714508 3221221760 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20793 19845 1111 63 0 20730 0
vsize: 83172
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 20286 0 0 0 26913 87 0 0 25 0 1 0 639086279 86654976 20201 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21156 20201 1111 63 0 21093 0
vsize: 84624
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 20592 0 0 0 27912 89 0 0 25 0 1 0 639086279 88043520 20507 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21495 20507 1111 63 0 21432 0
vsize: 85980
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 20947 0 0 0 28910 91 0 0 25 0 1 0 639086279 89419776 20862 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21831 20862 1111 63 0 21768 0
vsize: 87324
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 21271 0 0 0 29908 93 0 0 25 0 1 0 639086279 90771456 21186 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22161 21186 1111 63 0 22098 0
vsize: 88644
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 21525 0 0 0 30907 94 0 0 25 0 1 0 639086279 91852800 21440 4294967295 134512640 134714508 3221221760 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22425 21440 1111 63 0 22362 0
vsize: 89700
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 21797 0 0 0 31906 95 0 0 25 0 1 0 639086279 92934144 21712 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22689 21712 1111 63 0 22626 0
vsize: 90756
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 22077 0 0 0 32905 96 0 0 25 0 1 0 639086279 94150656 21992 4294967295 134512640 134714508 3221221760 3221220416 134536724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22986 21992 1111 63 0 22923 0
vsize: 91944
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 22908 0 0 0 33901 100 0 0 25 0 1 0 639086279 97533952 22823 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23812 22823 1111 63 0 23749 0
vsize: 95248
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 24053 0 0 0 34897 105 0 0 25 0 1 0 639086279 102174720 23966 4294967295 134512640 134714508 3221221760 3221220400 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24945 23966 1111 63 0 24882 0
vsize: 99780
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 24994 0 0 0 35893 109 0 0 25 0 1 0 639086279 106119168 24906 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25908 24906 1111 63 0 25845 0
vsize: 103632
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 25548 0 0 0 36891 111 0 0 25 0 1 0 639086279 108433408 25456 4294967295 134512640 134714508 3221221760 3221220288 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26473 25456 1111 63 0 26410 0
vsize: 105892
[startup+380.015 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 26127 0 0 0 37889 113 0 0 25 0 1 0 639086279 110895104 26030 4294967295 134512640 134714508 3221221760 3221220316 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27074 26030 1111 63 0 27011 0
vsize: 108296
[startup+390.014 s]
Raw data (loadavg): 1.14 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 26537 0 0 0 38888 114 0 0 25 0 1 0 639086279 112734208 26437 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27523 26437 1111 63 0 27460 0
vsize: 110092
[startup+400.015 s]
Raw data (loadavg): 1.11 1.00 1.00 3/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 26875 0 0 0 39886 116 0 0 25 0 1 0 639086279 114130944 26773 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27864 26773 1111 63 0 27801 0
vsize: 111456
[startup+410.016 s]
Raw data (loadavg): 1.10 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 27175 0 0 0 40885 117 0 0 25 0 1 0 639086279 115347456 27073 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28161 27073 1111 63 0 28098 0
vsize: 112644
[startup+420.016 s]
Raw data (loadavg): 1.08 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 28074 0 0 0 41883 121 0 0 25 0 1 0 639086279 119058432 27968 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29067 27968 1111 63 0 29004 0
vsize: 116268
[startup+430.017 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 28878 0 0 0 42878 125 0 0 25 0 1 0 639086279 122306560 28772 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29860 28772 1111 63 0 29797 0
vsize: 119440
[startup+440.017 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 29378 0 0 0 43877 127 0 0 25 0 1 0 639086279 124342272 29269 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30357 29269 1111 63 0 30294 0
vsize: 121428
[startup+450.018 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 29708 0 0 0 44876 128 0 0 25 0 1 0 639086279 125734912 29599 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30697 29599 1111 63 0 30634 0
vsize: 122788
[startup+460.018 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 30449 0 0 0 45873 131 0 0 25 0 1 0 639086279 128806912 30333 4294967295 134512640 134714508 3221221760 3221220448 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31447 30333 1111 63 0 31384 0
vsize: 125788
[startup+470.019 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 30936 0 0 0 46872 133 0 0 25 0 1 0 639086279 130834432 30820 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31942 30820 1111 63 0 31879 0
vsize: 127768
[startup+480.019 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 31389 0 0 0 47870 135 0 0 25 0 1 0 639086279 132591616 31273 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32371 31273 1111 63 0 32308 0
vsize: 129484
[startup+490.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 31736 0 0 0 48868 136 0 0 25 0 1 0 639086279 133976064 31619 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32709 31619 1111 63 0 32646 0
vsize: 130836
[startup+500.02 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 32008 0 0 0 49868 137 0 0 25 0 1 0 639086279 135098368 31886 4294967295 134512640 134714508 3221221760 3221220316 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32983 31886 1111 63 0 32920 0
vsize: 131932
[startup+510.02 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 32279 0 0 0 50866 139 0 0 25 0 1 0 639086279 136314880 32157 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33280 32157 1111 63 0 33217 0
vsize: 133120
[startup+520.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 32577 0 0 0 51865 140 0 0 25 0 1 0 639086279 137568256 32454 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33586 32454 1111 63 0 33523 0
vsize: 134344
[startup+530.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 32842 0 0 0 52864 141 0 0 25 0 1 0 639086279 138706944 32717 4294967295 134512640 134714508 3221221760 3221220472 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33864 32717 1111 63 0 33801 0
vsize: 135456
[startup+540.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 33035 0 0 0 53863 143 0 0 25 0 1 0 639086279 139382784 32910 4294967295 134512640 134714508 3221221760 3221220364 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34029 32910 1111 63 0 33966 0
vsize: 136116
[startup+550.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 33237 0 0 0 54862 144 0 0 25 0 1 0 639086279 140275712 33109 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34247 33109 1111 63 0 34184 0
vsize: 136988
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 33461 0 0 0 55861 145 0 0 25 0 1 0 639086279 141156352 33329 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34462 33329 1111 63 0 34399 0
vsize: 137848
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 33761 0 0 0 56860 146 0 0 25 0 1 0 639086279 142405632 33625 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34767 33625 1111 63 0 34704 0
vsize: 139068
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 34049 0 0 0 57859 147 0 0 25 0 1 0 639086279 143548416 33911 4294967295 134512640 134714508 3221221760 3221220512 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35046 33911 1111 63 0 34983 0
vsize: 140184
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 34216 0 0 0 58859 148 0 0 25 0 1 0 639086279 144302080 34077 4294967295 134512640 134714508 3221221760 3221220448 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35230 34077 1111 63 0 35167 0
vsize: 140920
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 34650 0 0 0 59857 150 0 0 25 0 1 0 639086279 145989632 34507 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35642 34507 1111 63 0 35579 0
vsize: 142568
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 35085 0 0 0 60854 152 0 0 25 0 1 0 639086279 147746816 34942 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36071 34942 1111 63 0 36008 0
vsize: 144284
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 35403 0 0 0 61853 154 0 0 25 0 1 0 639086279 149098496 35260 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36401 35260 1111 63 0 36338 0
vsize: 145604
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 35683 0 0 0 62852 155 0 0 25 0 1 0 639086279 150384640 35538 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36715 35538 1111 63 0 36652 0
vsize: 146860
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 35985 0 0 0 63851 157 0 0 25 0 1 0 639086279 151506944 35838 4294967295 134512640 134714508 3221221760 3221220288 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36989 35838 1111 63 0 36926 0
vsize: 147956
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 36328 0 0 0 64850 158 0 0 25 0 1 0 639086279 152920064 36180 4294967295 134512640 134714508 3221221760 3221220640 134576629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37334 36180 1111 63 0 37271 0
vsize: 149336
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 36670 0 0 0 65849 159 0 0 25 0 1 0 639086279 154406912 36522 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37697 36522 1111 63 0 37634 0
vsize: 150788
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 36942 0 0 0 66848 160 0 0 25 0 1 0 639086279 155537408 36794 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37973 36794 1111 63 0 37910 0
vsize: 151892
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 37219 0 0 0 67847 162 0 0 25 0 1 0 639086279 156864512 37071 4294967295 134512640 134714508 3221221760 3221220448 134551950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38297 37071 1111 63 0 38234 0
vsize: 153188
[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 37480 0 0 0 68845 163 0 0 25 0 1 0 639086279 157810688 37332 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38528 37332 1111 63 0 38465 0
vsize: 154112
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 37721 0 0 0 69845 164 0 0 25 0 1 0 639086279 158760960 37573 4294967295 134512640 134714508 3221221760 3221220400 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38760 37573 1111 63 0 38697 0
vsize: 155040
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 38006 0 0 0 70844 165 0 0 25 0 1 0 639086279 159977472 37858 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39057 37858 1111 63 0 38994 0
vsize: 156228
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 38245 0 0 0 71843 166 0 0 25 0 1 0 639086279 160952320 38093 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39295 38093 1111 63 0 39232 0
vsize: 157180
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 38508 0 0 0 72841 168 0 0 25 0 1 0 639086279 162054144 38355 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39564 38355 1111 63 0 39501 0
vsize: 158256
[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 38768 0 0 0 73840 169 0 0 25 0 1 0 639086279 163160064 38611 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39834 38611 1111 63 0 39771 0
vsize: 159336
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 38992 0 0 0 74839 171 0 0 25 0 1 0 639086279 163971072 38835 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40032 38835 1111 63 0 39969 0
vsize: 160128
[startup+760.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 39293 0 0 0 75838 171 0 0 25 0 1 0 639086279 165232640 39134 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40340 39134 1111 63 0 40277 0
vsize: 161360
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 39569 0 0 0 76838 172 0 0 25 0 1 0 639086279 166404096 39409 4294967295 134512640 134714508 3221221760 3221220320 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40626 39409 1111 63 0 40563 0
vsize: 162504
[startup+780.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 39861 0 0 0 77836 174 0 0 25 0 1 0 639086279 167624704 39701 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40924 39701 1111 63 0 40861 0
vsize: 163696
[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 40113 0 0 0 78836 175 0 0 25 0 1 0 639086279 168632320 39953 4294967295 134512640 134714508 3221221760 3221220544 134529341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41170 39953 1111 63 0 41107 0
vsize: 164680
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 40388 0 0 0 79835 176 0 0 25 0 1 0 639086279 169926656 40226 4294967295 134512640 134714508 3221221760 3221220404 134536694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41486 40226 1111 63 0 41423 0
vsize: 165944
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 40622 0 0 0 80834 177 0 0 25 0 1 0 639086279 170737664 40460 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41684 40460 1111 63 0 41621 0
vsize: 166736
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 40815 0 0 0 81834 177 0 0 25 0 1 0 639086279 171630592 40651 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41902 40651 1111 63 0 41839 0
vsize: 167608
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 41117 0 0 0 82833 178 0 0 25 0 1 0 639086279 172847104 40953 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42199 40953 1111 63 0 42136 0
vsize: 168796
[startup+840.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 41516 0 0 0 83831 180 0 0 25 0 1 0 639086279 174469120 41352 4294967295 134512640 134714508 3221221760 3221220416 134536627 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42595 41352 1111 63 0 42532 0
vsize: 170380
[startup+850.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 41825 0 0 0 84830 182 0 0 25 0 1 0 639086279 175886336 41657 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42941 41657 1111 63 0 42878 0
vsize: 171764
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 42122 0 0 0 85829 183 0 0 25 0 1 0 639086279 177102848 41953 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43238 41953 1111 63 0 43175 0
vsize: 172952
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 42452 0 0 0 86827 185 0 0 25 0 1 0 639086279 178454528 42283 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43568 42283 1111 63 0 43505 0
vsize: 174272
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 42664 0 0 0 87825 187 0 0 25 0 1 0 639086279 179265536 42495 4294967295 134512640 134714508 3221221760 3221220504 134523854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43766 42495 1111 63 0 43703 0
vsize: 175064
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 42866 0 0 0 88824 188 0 0 25 0 1 0 639086279 180125696 42695 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43976 42695 1111 63 0 43913 0
vsize: 175904
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 43020 0 0 0 89824 189 0 0 25 0 1 0 639086279 180666368 42849 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44108 42849 1111 63 0 44045 0
vsize: 176432
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 43214 0 0 0 90823 190 0 0 25 0 1 0 639086279 181542912 43040 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44322 43040 1111 63 0 44259 0
vsize: 177288
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 43359 0 0 0 91822 191 0 0 25 0 1 0 639086279 182083584 43185 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44454 43185 1111 63 0 44391 0
vsize: 177816
[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 43540 0 0 0 92822 191 0 0 25 0 1 0 639086279 182759424 43366 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44619 43366 1111 63 0 44556 0
vsize: 178476
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 43718 0 0 0 93821 192 0 0 25 0 1 0 639086279 183574528 43544 4294967295 134512640 134714508 3221221760 3221220344 134549705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44818 43544 1111 63 0 44755 0
vsize: 179272
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 43907 0 0 0 94821 193 0 0 25 0 1 0 639086279 184266752 43733 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44987 43733 1111 63 0 44924 0
vsize: 179948
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 44113 0 0 0 95820 194 0 0 25 0 1 0 639086279 185077760 43939 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45185 43939 1111 63 0 45122 0
vsize: 180740
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 44342 0 0 0 96819 195 0 0 25 0 1 0 639086279 185937920 44164 4294967295 134512640 134714508 3221221760 3221220336 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45395 44164 1111 63 0 45332 0
vsize: 181580
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 44523 0 0 0 97819 195 0 0 25 0 1 0 639086279 186802176 44345 4294967295 134512640 134714508 3221221760 3221220512 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45606 44345 1111 63 0 45543 0
vsize: 182424
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 44651 0 0 0 98818 196 0 0 25 0 1 0 639086279 187400192 44473 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45752 44473 1111 63 0 45689 0
vsize: 183008
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 44804 0 0 0 99818 197 0 0 25 0 1 0 639086279 187940864 44626 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45884 44626 1111 63 0 45821 0
vsize: 183536
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 44960 0 0 0 100817 197 0 0 25 0 1 0 639086279 188481536 44782 4294967295 134512640 134714508 3221221760 3221220352 134549751 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46016 44782 1111 63 0 45953 0
vsize: 184064
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 45350 0 0 0 101816 199 0 0 25 0 1 0 639086279 190304256 45172 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46461 45172 1111 63 0 46398 0
vsize: 185844
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 45605 0 0 0 102815 200 0 0 25 0 1 0 639086279 191385600 45427 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46725 45427 1111 63 0 46662 0
vsize: 186900
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 45779 0 0 0 103814 201 0 0 25 0 1 0 639086279 192126976 45601 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46906 45601 1111 63 0 46843 0
vsize: 187624
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 45986 0 0 0 104813 202 0 0 25 0 1 0 639086279 193138688 45804 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47153 45804 1111 63 0 47090 0
vsize: 188612
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 46287 0 0 0 105813 203 0 0 25 0 1 0 639086279 194555904 46102 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47499 46102 1111 63 0 47436 0
vsize: 189996
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 46516 0 0 0 106811 205 0 0 25 0 1 0 639086279 195502080 46331 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47730 46331 1111 63 0 47667 0
vsize: 190920
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 46734 0 0 0 107811 205 0 0 25 0 1 0 639086279 196513792 46547 4294967295 134512640 134714508 3221221760 3221220416 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47977 46547 1111 63 0 47914 0
vsize: 191908
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 46937 0 0 0 108810 206 0 0 25 0 1 0 639086279 197324800 46750 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48175 46750 1111 63 0 48112 0
vsize: 192700
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 47089 0 0 0 109810 207 0 0 25 0 1 0 639086279 198066176 46901 4294967295 134512640 134714508 3221221760 3221220520 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48356 46901 1111 63 0 48293 0
vsize: 193424
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 47261 0 0 0 110810 207 0 0 25 0 1 0 639086279 198807552 47069 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48537 47069 1111 63 0 48474 0
vsize: 194148
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 47449 0 0 0 111809 208 0 0 25 0 1 0 639086279 199729152 47244 4294967295 134512640 134714508 3221221760 3221220544 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48762 47244 1111 63 0 48699 0
vsize: 195048
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 47577 0 0 0 112809 208 0 0 25 0 1 0 639086279 200536064 47370 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48959 47370 1111 63 0 48896 0
vsize: 195836
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 47812 0 0 0 113808 209 0 0 25 0 1 0 639086279 201682944 47603 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49239 47603 1111 63 0 49176 0
vsize: 196956
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 48010 0 0 0 114808 209 0 0 25 0 1 0 639086279 202559488 47797 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49453 47797 1111 63 0 49390 0
vsize: 197812
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 48126 0 0 0 115808 210 0 0 25 0 1 0 639086279 202973184 47913 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49554 47913 1111 63 0 49491 0
vsize: 198216
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 48240 0 0 0 116808 210 0 0 25 0 1 0 639086279 203378688 48027 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49653 48027 1111 63 0 49590 0
vsize: 198612
[startup+1175.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 22252
Raw data (stat): 22252 (bsolo_lpr_cuts) R 22251 7876 7672 0 -1 0 48240 0 0 0 116808 210 0 0 25 0 1 0 639086279 203378688 48027 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49653 48027 1111 63 0 49590 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.18
CPU user time (s): 1172.99
CPU system time (s): 2.19467
CPU usage (%): 100.012
Max. virtual memory (Kb): 198612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####