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/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb
MD5SUM	c76102ddcf7f5ab3b2677033d320eaa3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	756736
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	502612132
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	502612132
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	422.405
Number of variables	2100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 26900

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 17:51:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19203 boxname=wulflinc15 idbench=1478 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c76102ddcf7f5ab3b2677033d320eaa3  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ran10x10b.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ran10x10b.opb
IDLAUNCH: 19203
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        555200 kB
Buffers:          8840 kB
Cached:         450516 kB
SwapCached:        596 kB
Active:          22348 kB
Inactive:       439508 kB
HighTotal:      131008 kB
HighFree:         2408 kB
LowTotal:       903652 kB
LowFree:        552792 kB
SwapTotal:     2097136 kB
SwapFree:      2096080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5712 kB
Slab:            12096 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:11:25 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 19203 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2100 variables and 140 constraints.
c After prepocess the problem consists of 1092 variables and 189 constraints.
c preprocess terminated 1.491 s
c Initial Lower Bound: 334528
c Lower Bound Elapsed time: 0.132
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.93 2/54 26536
Raw data (stat): 26536 (runsolver) R 26535 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773952489 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 7118 0 0 0 979 18 0 0 25 0 1 0 773952489 16646144 3359 4294967295 134512640 134714508 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3359 1111 63 0 4001 0
vsize: 16256
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 10197 0 0 0 1970 27 0 0 25 0 1 0 773952489 16646144 3360 4294967295 134512640 134714508 3221224576 3221223288 134558599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3360 1111 63 0 4001 0
vsize: 16256
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 12853 0 0 0 2961 37 0 0 25 0 1 0 773952489 17010688 3376 4294967295 134512640 134714508 3221224576 3221220648 1074950195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4153 3376 1111 63 0 4090 0
vsize: 16612
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 15229 0 0 0 3954 43 0 0 25 0 1 0 773952489 16834560 3365 4294967295 134512640 134714508 3221224576 3221221232 1075966262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 3365 1111 63 0 4047 0
vsize: 16440
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.93 3/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 16112 0 0 0 4949 48 0 0 25 0 1 0 773952489 16646144 3364 4294967295 134512640 134714508 3221224576 3221222208 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4064 3364 1111 63 0 4001 0
vsize: 16256
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 16304 0 0 0 5947 50 0 0 25 0 1 0 773952489 16646144 3364 4294967295 134512640 134714508 3221224576 3221222848 1074138386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3364 1111 63 0 4001 0
vsize: 16256
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 16518 0 0 0 6944 53 0 0 25 0 1 0 773952489 16646144 3364 4294967295 134512640 134714508 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3364 1111 63 0 4001 0
vsize: 16256
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 17249 0 0 0 7941 57 0 0 25 0 1 0 773952489 16646144 3364 4294967295 134512640 134714508 3221224576 3221221696 1074866112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3364 1111 63 0 4001 0
vsize: 16256
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 23262 0 0 0 8920 78 0 0 25 0 1 0 773952489 16723968 3383 4294967295 134512640 134714508 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4083 3383 1111 63 0 4020 0
vsize: 16332
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 30355 0 0 0 9899 99 0 0 25 0 1 0 773952489 16797696 3401 4294967295 134512640 134714508 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3401 1111 63 0 4038 0
vsize: 16404
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 38117 0 0 0 10876 122 0 0 25 0 1 0 773952489 16908288 3428 4294967295 134512640 134714508 3221224576 3221222320 1075645400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4128 3428 1111 63 0 4065 0
vsize: 16512
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 44372 0 0 0 11859 139 0 0 25 0 1 0 773952489 16953344 3426 4294967295 134512640 134714508 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 3426 1111 63 0 4076 0
vsize: 16556
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 50412 0 0 0 12841 158 0 0 25 0 1 0 773952489 16797696 3401 4294967295 134512640 134714508 3221224576 3221222556 1074207552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3401 1111 63 0 4038 0
vsize: 16404
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 56978 0 0 0 13819 180 0 0 25 0 1 0 773952489 16797696 3401 4294967295 134512640 134714508 3221224576 3221222992 1074117096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3401 1111 63 0 4038 0
vsize: 16404
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 63315 0 0 0 14797 202 0 0 25 0 1 0 773952489 17186816 3421 4294967295 134512640 134714508 3221224576 3221220540 1074860608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4196 3421 1111 63 0 4133 0
vsize: 16784
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 70921 0 0 0 15774 225 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221223188 134558500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 76759 0 0 0 16754 245 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222928 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 82685 0 0 0 17732 267 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 88739 0 0 0 18712 287 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222696 1077377227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 94229 0 0 0 19694 306 0 0 25 0 1 0 773952489 16822272 3402 4294967295 134512640 134714508 3221224576 3221222544 1074247399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 99803 0 0 0 20673 326 0 0 25 0 1 0 773952489 17186816 3422 4294967295 134512640 134714508 3221224576 3221220912 1075114302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4196 3422 1111 63 0 4133 0
vsize: 16784
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 105337 0 0 0 21654 345 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 110799 0 0 0 22637 363 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222992 1074116190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 116670 0 0 0 23613 386 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222828 1074207168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 121989 0 0 0 24594 405 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 127663 0 0 0 25574 425 0 0 25 0 1 0 773952489 16822272 3405 4294967295 134512640 134714508 3221224576 3221222400 1075139641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4107 3405 1111 63 0 4044 0
vsize: 16428
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 133078 0 0 0 26555 445 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222488 1074138247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 138008 0 0 0 27538 462 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+290.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 143051 0 0 0 28521 481 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221221768 1074138256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+300.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 147970 0 0 0 29502 500 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+310.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 152954 0 0 0 30483 519 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+320.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 158133 0 0 0 31464 538 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222304 1075829517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+330.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 163425 0 0 0 32445 557 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222456 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+340.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 169022 0 0 0 33428 574 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221223136 134539757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+350.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 174236 0 0 0 34410 591 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222304 1075828246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+360.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 179440 0 0 0 35392 610 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+370.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 184407 0 0 0 36373 629 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222840 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+380.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 189572 0 0 0 37358 644 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222824 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+390.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 194930 0 0 0 38338 664 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222544 1075809065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 200964 0 0 0 39317 686 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222544 1075809072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+410.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 206637 0 0 0 40297 706 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+420.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 212425 0 0 0 41280 723 0 0 25 0 1 0 773952489 16822272 3404 4294967295 134512640 134714508 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3404 1111 63 0 4044 0
vsize: 16428
[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 218209 0 0 0 42263 740 0 0 25 0 1 0 773952489 17195008 3419 4294967295 134512640 134714508 3221224576 3221220720 1074971759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4198 3419 1111 63 0 4135 0
vsize: 16792
[startup+440.037 s]
Raw data (loadavg): 0.99 0.97 0.93 3/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 224030 0 0 0 43242 761 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222804 1077374469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+450.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 229470 0 0 0 44223 781 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+460.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 235833 0 0 0 45201 803 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222304 1075828462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 241887 0 0 0 46183 821 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222320 1075646829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+480.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 248895 0 0 0 47165 839 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+490.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26536
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 258187 0 0 0 48138 866 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221223232 134649901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+500.036 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 26589
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 263723 0 0 0 49117 887 0 0 25 0 1 0 773952489 17182720 3421 4294967295 134512640 134714508 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 3421 1111 63 0 4132 0
vsize: 16780
[startup+510.036 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 26589
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 269428 0 0 0 50099 905 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+520.036 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 26589
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 275037 0 0 0 51080 924 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222312 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+530.037 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 26589
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 280531 0 0 0 52062 943 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222496 1075799524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+540.037 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 26589
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 286166 0 0 0 53045 960 0 0 25 0 1 0 773952489 16822272 3402 4294967295 134512640 134714508 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+550.036 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 26589
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 291358 0 0 0 54025 980 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222320 1075640442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+560.037 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 296393 0 0 0 55007 998 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+570.037 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 301263 0 0 0 55992 1013 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+580.038 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 306336 0 0 0 56976 1029 0 0 25 0 1 0 773952489 16822272 3404 4294967295 134512640 134714508 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3404 1111 63 0 4044 0
vsize: 16428
[startup+590.037 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 311272 0 0 0 57959 1046 0 0 25 0 1 0 773952489 16973824 3405 4294967295 134512640 134714508 3221224576 3221221856 1074140010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3405 1111 63 0 4081 0
vsize: 16576
[startup+600.038 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 316203 0 0 0 58942 1063 0 0 25 0 1 0 773952489 16973824 3404 4294967295 134512640 134714508 3221224576 3221221660 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3404 1111 63 0 4081 0
vsize: 16576
[startup+610.038 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 321120 0 0 0 59925 1081 0 0 25 0 1 0 773952489 16855040 3403 4294967295 134512640 134714508 3221224576 3221223024 1073990411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4115 3403 1111 63 0 4052 0
vsize: 16460
[startup+620.039 s]
Raw data (loadavg): 1.01 0.99 0.94 3/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 326302 0 0 0 60907 1099 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222496 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+630.04 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 331399 0 0 0 61891 1115 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221223296 134556887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+640.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 336540 0 0 0 62873 1134 0 0 25 0 1 0 773952489 16973824 3405 4294967295 134512640 134714508 3221224576 3221221920 1074839088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3405 1111 63 0 4081 0
vsize: 16576
[startup+650.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 341755 0 0 0 63855 1152 0 0 25 0 1 0 773952489 17190912 3424 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4197 3424 1111 63 0 4134 0
vsize: 16788
[startup+660.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 347218 0 0 0 64836 1170 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222508 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+670.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 352383 0 0 0 65818 1189 0 0 25 0 1 0 773952489 16822272 3404 4294967295 134512640 134714508 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3404 1111 63 0 4044 0
vsize: 16428
[startup+680.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 357518 0 0 0 66802 1205 0 0 25 0 1 0 773952489 16822272 3402 4294967295 134512640 134714508 3221224576 3221218796 1073947432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+690.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 362515 0 0 0 67782 1225 0 0 25 0 1 0 773952489 17182720 3418 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 3418 1111 63 0 4132 0
vsize: 16780
[startup+700.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 367401 0 0 0 68764 1243 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222256 1075894995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+710.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 372271 0 0 0 69749 1259 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222520 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+720.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 377129 0 0 0 70733 1275 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+730.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 381821 0 0 0 71717 1291 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+740.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 386884 0 0 0 72699 1309 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222512 1074056255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+750.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 391772 0 0 0 73682 1327 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+760.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 396548 0 0 0 74665 1344 0 0 25 0 1 0 773952489 16822272 3405 4294967295 134512640 134714508 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3405 1111 63 0 4044 0
vsize: 16428
[startup+770.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 400938 0 0 0 75648 1360 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+780.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 405294 0 0 0 76634 1375 0 0 25 0 1 0 773952489 16822272 3402 4294967295 134512640 134714508 3221224576 3221222576 1074916785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+790.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 409711 0 0 0 77620 1389 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222928 1074142962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+800.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 414047 0 0 0 78605 1404 0 0 25 0 1 0 773952489 16822272 3402 4294967295 134512640 134714508 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+810.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 418353 0 0 0 79588 1421 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222496 1075802495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+820.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 422697 0 0 0 80572 1437 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+830.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 427955 0 0 0 81554 1456 0 0 25 0 1 0 773952489 16797696 3402 4294967295 134512640 134714508 3221224576 3221222928 1074142716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+840.044 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 434989 0 0 0 82530 1480 0 0 25 0 1 0 773952489 16961536 3403 4294967295 134512640 134714508 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+850.044 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 442151 0 0 0 83507 1503 0 0 25 0 1 0 773952489 16822272 3406 4294967295 134512640 134714508 3221224576 3221222304 1075635582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3406 1111 63 0 4044 0
vsize: 16428
[startup+860.045 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26591
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 449601 0 0 0 84483 1528 0 0 25 0 1 0 773952489 16961536 3404 4294967295 134512640 134714508 3221224576 3221222508 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3404 1111 63 0 4078 0
vsize: 16564
[startup+870.045 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 457379 0 0 0 85457 1554 0 0 25 0 1 0 773952489 16797696 3403 4294967295 134512640 134714508 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3403 1111 63 0 4038 0
vsize: 16404
[startup+880.045 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 459978 0 0 0 86445 1566 0 0 25 0 1 0 773952489 17121280 3479 4294967295 134512640 134714508 3221224576 3221222928 1074142734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+890.045 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 460653 0 0 0 87439 1572 0 0 25 0 1 0 773952489 17121280 3479 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+900.046 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 462277 0 0 0 88429 1582 0 0 25 0 1 0 773952489 17121280 3479 4294967295 134512640 134714508 3221224576 3221222576 1074056605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+910.046 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 463992 0 0 0 89421 1591 0 0 25 0 1 0 773952489 17121280 3479 4294967295 134512640 134714508 3221224576 3221223416 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+920.047 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 465702 0 0 0 90412 1600 0 0 25 0 1 0 773952489 17264640 3482 4294967295 134512640 134714508 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3482 1111 63 0 4152 0
vsize: 16860
[startup+930.047 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 467531 0 0 0 91401 1611 0 0 25 0 1 0 773952489 17121280 3479 4294967295 134512640 134714508 3221224576 3221222856 1074138324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+940.046 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 469193 0 0 0 92391 1621 0 0 25 0 1 0 773952489 17121280 3479 4294967295 134512640 134714508 3221224576 3221222832 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+950.047 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 471054 0 0 0 93381 1631 0 0 25 0 1 0 773952489 17276928 3484 4294967295 134512640 134714508 3221224576 3221220736 1075094157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4218 3484 1111 63 0 4155 0
vsize: 16872
[startup+960.047 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 473274 0 0 0 94373 1640 0 0 25 0 1 0 773952489 17121280 3479 4294967295 134512640 134714508 3221224576 3221222556 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+970.047 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 476409 0 0 0 95361 1652 0 0 25 0 1 0 773952489 17121280 3480 4294967295 134512640 134714508 3221224576 3221222468 1075459881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3480 1111 63 0 4117 0
vsize: 16720
[startup+980.048 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 478643 0 0 0 96349 1663 0 0 25 0 1 0 773952489 17121280 3481 4294967295 134512640 134714508 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+990.049 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 480579 0 0 0 97340 1673 0 0 25 0 1 0 773952489 17121280 3481 4294967295 134512640 134714508 3221224576 3221222928 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 482527 0 0 0 98333 1681 0 0 25 0 1 0 773952489 17264640 3484 4294967295 134512640 134714508 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3485 1111 63 0 4152 0
vsize: 16860
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 484385 0 0 0 99322 1691 0 0 25 0 1 0 773952489 17121280 3481 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 486415 0 0 0 100312 1702 0 0 25 0 1 0 773952489 17121280 3481 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 488379 0 0 0 101301 1713 0 0 25 0 1 0 773952489 17121280 3481 4294967295 134512640 134714508 3221224576 3221222728 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 490419 0 0 0 102289 1725 0 0 25 0 1 0 773952489 17121280 3481 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 492495 0 0 0 103279 1735 0 0 25 0 1 0 773952489 17121280 3481 4294967295 134512640 134714508 3221224576 3221222496 1075802510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.94 3/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 494525 0 0 0 104271 1744 0 0 25 0 1 0 773952489 17276928 3485 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4218 3485 1111 63 0 4155 0
vsize: 16872
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 496775 0 0 0 105259 1756 0 0 25 0 1 0 773952489 17121280 3481 4294967295 134512640 134714508 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 499627 0 0 0 106247 1768 0 0 25 0 1 0 773952489 17121280 3482 4294967295 134512640 134714508 3221224576 3221222624 1074140578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 504314 0 0 0 107231 1784 0 0 25 0 1 0 773952489 17260544 3483 4294967295 134512640 134714508 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4214 3483 1111 63 0 4151 0
vsize: 16856
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 509350 0 0 0 108214 1802 0 0 25 0 1 0 773952489 17182720 3492 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 3492 1111 63 0 4132 0
vsize: 16780
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 513964 0 0 0 109199 1817 0 0 25 0 1 0 773952489 17121280 3482 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 518037 0 0 0 110184 1832 0 0 25 0 1 0 773952489 17121280 3482 4294967295 134512640 134714508 3221224576 3221223280 134652491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 522032 0 0 0 111171 1846 0 0 25 0 1 0 773952489 17408000 3486 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4250 3486 1111 63 0 4187 0
vsize: 17000
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 526059 0 0 0 112157 1859 0 0 25 0 1 0 773952489 17121280 3482 4294967295 134512640 134714508 3221224576 3221222740 1074057697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 530069 0 0 0 113142 1875 0 0 25 0 1 0 773952489 17121280 3482 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 534148 0 0 0 114129 1888 0 0 25 0 1 0 773952489 17346560 3483 4294967295 134512640 134714508 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4235 3483 1111 63 0 4172 0
vsize: 16940
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 538301 0 0 0 115115 1902 0 0 25 0 1 0 773952489 17121280 3482 4294967295 134512640 134714508 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1174.91 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 26593
Raw data (stat): 26536 (bsolo_lpr_cuts) R 26535 23514 23513 0 -1 0 538301 0 0 0 115115 1902 0 0 25 0 1 0 773952489 17121280 3482 4294967295 134512640 134714508 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.03
CPU user time (s): 1155.93
CPU system time (s): 19.1041
CPU usage (%): 100.01
Max. virtual memory (Kb): 17000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####