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/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	08a1ce7c6c4cc8e461ae1aeabdf15da0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3289593
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
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	1189.04
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 27322

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-24 20:55:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17539 boxname=wulflinc2 idbench=1350 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  08a1ce7c6c4cc8e461ae1aeabdf15da0  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 17539
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        682736 kB
Buffers:         32800 kB
Cached:         298444 kB
SwapCached:        868 kB
Active:          40160 kB
Inactive:       293656 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        682484 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5620 kB
Slab:            12384 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:14:51 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 17539 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 789 constraints.
c preprocess terminated 736.992 s
c Initial Lower Bound: 172728
c Lower Bound Elapsed time: 1.07725
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.68 0.87 0.90 2/54 3387
Raw data (stat): 3387 (runsolver) R 3386 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775062584 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.73 0.87 0.90 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 14492 0 0 0 967 30 0 0 25 0 1 0 775062584 62750720 14382 4294967295 134512640 134714508 3221224592 3221223120 134554844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15320 14382 1111 63 0 15257 0
vsize: 61280
[startup+20.0015 s]
Raw data (loadavg): 0.77 0.88 0.90 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 17669 0 0 0 1960 37 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+30.0019 s]
Raw data (loadavg): 0.81 0.88 0.90 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 17699 0 0 0 2960 37 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+40.0019 s]
Raw data (loadavg): 0.84 0.89 0.90 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 17768 0 0 0 3960 37 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+50.0026 s]
Raw data (loadavg): 0.86 0.89 0.90 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 17960 0 0 0 4959 38 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223392 134617549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+60.002 s]
Raw data (loadavg): 0.88 0.89 0.90 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 17976 0 0 0 5959 38 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+70.002 s]
Raw data (loadavg): 0.90 0.89 0.90 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 18226 0 0 0 6958 39 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+80.0027 s]
Raw data (loadavg): 0.91 0.90 0.90 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 18512 0 0 0 7958 39 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+90.002 s]
Raw data (loadavg): 0.93 0.90 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 19556 0 0 0 8955 43 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+100.009 s]
Raw data (loadavg): 0.94 0.90 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 21381 0 0 0 9949 49 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+110.015 s]
Raw data (loadavg): 0.95 0.91 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 26048 0 0 0 10938 62 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+120.015 s]
Raw data (loadavg): 0.95 0.91 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 30660 0 0 0 11925 75 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+130.015 s]
Raw data (loadavg): 0.96 0.91 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 35485 0 0 0 12912 88 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+140.015 s]
Raw data (loadavg): 0.97 0.91 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 41795 0 0 0 13895 105 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223028 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+150.016 s]
Raw data (loadavg): 0.97 0.92 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 48253 0 0 0 14878 122 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+160.02 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 55878 0 0 0 15859 142 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+170.02 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 64312 0 0 0 16838 163 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+180.02 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 73564 0 0 0 17814 187 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223028 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+190.02 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 82993 0 0 0 18789 212 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+200.021 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 93115 0 0 0 19764 237 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+210.021 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 103884 0 0 0 20737 265 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+220.02 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 114875 0 0 0 21709 293 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+230.02 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 127066 0 0 0 22680 322 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223028 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+240.02 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 139154 0 0 0 23650 352 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+250.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 151519 0 0 0 24620 382 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+260.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 164725 0 0 0 25586 416 0 0 25 0 1 0 775062584 75624448 17536 4294967295 134512640 134714508 3221224592 3221223076 1077378674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73852
[startup+270.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 178423 0 0 0 26549 453 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+280.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 3387
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 192089 0 0 0 27514 489 0 0 25 0 1 0 775062584 75149312 17452 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17452 1111 63 0 18284 0
vsize: 73388
[startup+290.022 s]
Raw data (loadavg): 0.99 0.94 0.91 2/57 3422
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 198281 0 0 0 28498 505 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+300.022 s]
Raw data (loadavg): 1.07 0.96 0.91 2/54 3440
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 198337 0 0 0 29498 506 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+310.023 s]
Raw data (loadavg): 1.06 0.96 0.91 2/54 3440
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 198440 0 0 0 30497 507 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+320.023 s]
Raw data (loadavg): 1.05 0.96 0.91 2/54 3440
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 198627 0 0 0 31496 507 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+330.024 s]
Raw data (loadavg): 1.04 0.96 0.91 2/54 3440
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 198746 0 0 0 32495 508 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223244 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+340.024 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 3440
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 198954 0 0 0 33495 509 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+350.025 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 3440
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 199110 0 0 0 34494 510 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+360.026 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 200286 0 0 0 35491 513 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+370.026 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 201775 0 0 0 36485 519 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+380.027 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 203032 0 0 0 37481 524 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+390.027 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 206043 0 0 0 38471 534 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+400.028 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 209000 0 0 0 39463 542 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+410.028 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 212177 0 0 0 40454 551 0 0 25 0 1 0 775062584 75628544 17569 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18464 17569 1111 63 0 18401 0
vsize: 73856
[startup+420.027 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 214152 0 0 0 41448 557 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+430.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 215583 0 0 0 42443 563 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+440.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 217217 0 0 0 43437 569 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+450.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 219114 0 0 0 44432 575 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+460.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 222489 0 0 0 45422 586 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+470.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 225949 0 0 0 46412 596 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+480.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 230480 0 0 0 47400 608 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+490.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 234956 0 0 0 48388 620 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18524 17591 1111 63 0 18461 0
vsize: 73940
[startup+500.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 239371 0 0 0 49376 632 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+510.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 245062 0 0 0 50362 647 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+520.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 251184 0 0 0 51344 664 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223312 134618264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+530.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 257277 0 0 0 52327 682 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+540.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 263399 0 0 0 53311 698 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+550.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 270446 0 0 0 54293 717 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+560.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 277952 0 0 0 55274 736 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+570.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 285342 0 0 0 56255 755 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+580.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 292935 0 0 0 57236 774 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+590.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 300470 0 0 0 58217 794 0 0 25 0 1 0 775062584 75714560 17590 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+600.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3442
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304491 0 0 0 59207 804 0 0 25 0 1 0 775062584 76038144 17669 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18564 17669 1111 63 0 18501 0
vsize: 74256
[startup+610.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 60206 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+620.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 61206 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+630.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 62207 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221222972 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+640.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 63207 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+650.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 64207 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+660.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 65207 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+670.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 66208 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+680.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 67208 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+690.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 68208 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+700.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 69208 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+710.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 70208 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+720.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 71209 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223316 134618349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+730.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 304693 0 0 0 72209 804 0 0 25 0 1 0 775062584 76791808 17850 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17850 1111 63 0 18685 0
vsize: 74992
[startup+740.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306095 0 0 0 73205 808 0 0 25 0 1 0 775062584 77045760 18059 4294967295 134512640 134714508 3221224592 3221222976 1074121095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18810 18059 1111 63 0 18747 0
vsize: 75240
[startup+750.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306860 0 0 0 74202 810 0 0 25 0 1 0 775062584 77049856 18064 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18064 1111 63 0 18748 0
vsize: 75244
[startup+760.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 75202 811 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+770.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 76201 812 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+780.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 77200 813 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+790.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 78200 813 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+800.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 79200 813 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+810.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 80199 814 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+820.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 81199 815 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+830.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 82198 816 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+840.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 83198 816 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+850.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 84198 817 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+860.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 85198 817 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+870.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 86197 817 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+880.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 87197 818 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+890.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 88196 819 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+900.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 89196 819 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+910.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 90196 819 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+920.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 91196 820 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+930.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 92195 821 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+940.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 93195 821 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+950.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 94194 822 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+960.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 95194 823 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+970.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 96194 823 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+980.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 97193 824 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+990.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 98193 824 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 99193 824 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 100192 826 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 101191 827 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 102191 827 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 103191 827 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 104191 828 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 105190 828 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 106190 829 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 107190 830 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223352 134613522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 108189 831 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 109188 831 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 110188 832 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 111187 833 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 112186 834 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 113186 834 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 114186 834 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 115185 835 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 116185 836 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 75244
[startup+1174.89 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 3444
Raw data (stat): 3387 (bsolo_lpr_cuts) R 3386 31399 31398 0 -1 0 306863 0 0 0 116185 836 0 0 25 0 1 0 775062584 77049856 18067 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 18067 1111 63 0 18748 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.05
CPU user time (s): 1166.65
CPU system time (s): 8.40172
CPU usage (%): 100.013
Max. virtual memory (Kb): 75244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####