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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	c1b4c3ad409db732d2b559e570b6f24c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	138
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	84
Trace number 26485

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 15:47:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13132 boxname=wulflinc7 idbench=1011 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c1b4c3ad409db732d2b559e570b6f24c  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 13132
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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		: 451.050
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:        899812 kB
Buffers:         34524 kB
Cached:          79480 kB
SwapCached:        100 kB
Active:          59092 kB
Inactive:        57652 kB
HighTotal:      131008 kB
HighFree:        47348 kB
LowTotal:       903652 kB
LowFree:        852464 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6744 kB
Slab:            12568 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:07:02 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 13132 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1842 variables and 296 constraints.
c preprocess terminated 77.367 s
c Initial Lower Bound: 39
c Lower Bound Elapsed time: 0.19375
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.17 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.92 0.97 0.98 2/54 25349
Raw data (stat): 25349 (runsolver) R 25348 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773220276 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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.0017 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 6485 0 0 0 981 16 0 0 25 0 1 0 773220276 29773824 6407 4294967295 134512640 134714508 3221224592 3221223144 1077377356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7269 6407 1111 63 0 7206 0
vsize: 29076
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 6557 0 0 0 1980 17 0 0 25 0 1 0 773220276 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+30.0045 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 6557 0 0 0 2980 17 0 0 25 0 1 0 773220276 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+40.0191 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 6557 0 0 0 3980 18 0 0 25 0 1 0 773220276 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+50.0327 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 6557 0 0 0 4981 19 0 0 25 0 1 0 773220276 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+60.0455 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 6557 0 0 0 5982 19 0 0 25 0 1 0 773220276 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+70.061 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 6557 0 0 0 6983 19 0 0 25 0 1 0 773220276 30060544 6479 4294967295 134512640 134714508 3221224592 3221223240 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+80.0773 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 7066 0 3 0 7960 22 0 0 25 0 1 0 773220276 30093312 6644 4294967295 134512640 134714508 3221224592 3221222848 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6644 1111 63 0 7284 0
vsize: 29388
[startup+90.0776 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 7951 0 3 0 8956 25 0 0 25 0 1 0 773220276 30154752 6663 4294967295 134512640 134714508 3221224592 3221221784 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7362 6663 1111 63 0 7299 0
vsize: 29448
[startup+100.078 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 9576 0 3 0 9951 30 0 0 25 0 1 0 773220276 30093312 6650 4294967295 134512640 134714508 3221224592 3221222008 1077377696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+110.079 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 11370 0 3 0 10946 35 0 0 25 0 1 0 773220276 30093312 6650 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+120.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 12997 0 3 0 11942 40 0 0 25 0 1 0 773220276 30445568 6669 4294967295 134512640 134714508 3221224592 3221222320 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7433 6669 1111 63 0 7370 0
vsize: 29732
[startup+130.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 14703 0 3 0 12935 47 0 0 25 0 1 0 773220276 30093312 6650 4294967295 134512640 134714508 3221224592 3221223376 134597675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+140.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 16458 0 3 0 13929 53 0 0 25 0 1 0 773220276 30142464 6662 4294967295 134512640 134714508 3221224592 3221222376 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6662 1111 63 0 7296 0
vsize: 29436
[startup+150.081 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 18291 0 3 0 14923 59 0 0 25 0 1 0 773220276 30507008 6668 4294967295 134512640 134714508 3221224592 3221221512 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7448 6668 1111 63 0 7385 0
vsize: 29792
[startup+160.082 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 20245 0 3 0 15915 67 0 0 25 0 1 0 773220276 30347264 6684 4294967295 134512640 134714508 3221224592 3221221464 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6684 1111 63 0 7346 0
vsize: 29636
[startup+170.082 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 22123 0 3 0 16909 73 0 0 25 0 1 0 773220276 30457856 6671 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7436 6671 1111 63 0 7373 0
vsize: 29744
[startup+180.083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 23982 0 3 0 17903 79 0 0 25 0 1 0 773220276 30093312 6650 4294967295 134512640 134714508 3221224592 3221222376 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+190.083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 25803 0 3 0 18897 85 0 0 25 0 1 0 773220276 30093312 6650 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+200.083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 27584 0 3 0 19891 91 0 0 25 0 1 0 773220276 30539776 6691 4294967295 134512640 134714508 3221224592 3221221168 1076049232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7456 6691 1111 63 0 7393 0
vsize: 29824
[startup+210.084 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 29430 0 3 0 20886 97 0 0 25 0 1 0 773220276 30519296 6683 4294967295 134512640 134714508 3221224592 3221220556 1074860560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7451 6683 1111 63 0 7388 0
vsize: 29804
[startup+220.085 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 31279 0 3 0 21880 102 0 0 25 0 1 0 773220276 30195712 6667 4294967295 134512640 134714508 3221224592 3221222944 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 6667 1111 63 0 7309 0
vsize: 29488
[startup+230.084 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 33304 0 3 0 22873 110 0 0 25 0 1 0 773220276 30441472 6670 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 6670 1111 63 0 7369 0
vsize: 29728
[startup+240.086 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 35376 0 3 0 23866 116 0 0 25 0 1 0 773220276 30142464 6664 4294967295 134512640 134714508 3221224592 3221222208 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+250.086 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 37460 0 3 0 24859 124 0 0 25 0 1 0 773220276 30195712 6670 4294967295 134512640 134714508 3221224592 3221222976 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 6670 1111 63 0 7309 0
vsize: 29488
[startup+260.086 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 39319 0 3 0 25852 131 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222896 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+270.088 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 41113 0 3 0 26847 136 0 0 25 0 1 0 773220276 30138368 6656 4294967295 134512640 134714508 3221224592 3221221696 1074139070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6656 1111 63 0 7295 0
vsize: 29432
[startup+280.088 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 43178 0 3 0 27840 142 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221221900 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+290.088 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 44988 0 3 0 28834 149 0 0 25 0 1 0 773220276 30277632 6658 4294967295 134512640 134714508 3221224592 3221222320 1075828466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7392 6658 1111 63 0 7329 0
vsize: 29568
[startup+300.088 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 46930 0 3 0 29828 155 0 0 25 0 1 0 773220276 30507008 6685 4294967295 134512640 134714508 3221224592 3221220704 1075895648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7448 6685 1111 63 0 7385 0
vsize: 29792
[startup+310.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 48868 0 3 0 30822 161 0 0 25 0 1 0 773220276 30142464 6664 4294967295 134512640 134714508 3221224592 3221222152 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+320.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 50747 0 3 0 31817 166 0 0 25 0 1 0 773220276 30138368 6655 4294967295 134512640 134714508 3221224592 3221222592 1074918266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+330.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 52639 0 3 0 32810 173 0 0 25 0 1 0 773220276 30523392 6686 4294967295 134512640 134714508 3221224592 3221220776 1074879905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7452 6686 1111 63 0 7389 0
vsize: 29808
[startup+340.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 54696 0 3 0 33802 181 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222816 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+350.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 56561 0 3 0 34795 188 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222864 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+360.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 58560 0 3 0 35788 195 0 0 25 0 1 0 773220276 30281728 6666 4294967295 134512640 134714508 3221224592 3221222320 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 6666 1111 63 0 7330 0
vsize: 29572
[startup+370.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 60382 0 3 0 36783 201 0 0 25 0 1 0 773220276 30138368 6655 4294967295 134512640 134714508 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+380.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 62306 0 3 0 37777 207 0 0 25 0 1 0 773220276 30195712 6670 4294967295 134512640 134714508 3221224592 3221222544 1074918546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 6670 1111 63 0 7309 0
vsize: 29488
[startup+390.092 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 64202 0 3 0 38769 214 0 0 25 0 1 0 773220276 30511104 6687 4294967295 134512640 134714508 3221224592 3221221656 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7449 6687 1111 63 0 7386 0
vsize: 29796
[startup+400.092 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 66264 0 3 0 39761 222 0 0 25 0 1 0 773220276 30187520 6667 4294967295 134512640 134714508 3221224592 3221222992 1074119043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+410.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 68242 0 3 0 40755 229 0 0 25 0 1 0 773220276 30195712 6670 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 6670 1111 63 0 7309 0
vsize: 29488
[startup+420.095 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 70201 0 3 0 41749 235 0 0 25 0 1 0 773220276 30441472 6671 4294967295 134512640 134714508 3221224592 3221222320 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 6671 1111 63 0 7369 0
vsize: 29728
[startup+430.095 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 72187 0 3 0 42741 242 0 0 25 0 1 0 773220276 30433280 6669 4294967295 134512640 134714508 3221224592 3221222320 1075828615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 6669 1111 63 0 7367 0
vsize: 29720
[startup+440.096 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 74105 0 3 0 43735 249 0 0 25 0 1 0 773220276 30507008 6684 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7448 6684 1111 63 0 7385 0
vsize: 29792
[startup+450.096 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 76061 0 3 0 44728 256 0 0 25 0 1 0 773220276 30461952 6669 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6669 1111 63 0 7374 0
vsize: 29748
[startup+460.098 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 77962 0 3 0 45721 263 0 0 25 0 1 0 773220276 30138368 6653 4294967295 134512640 134714508 3221224592 3221223184 134649175 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6653 1111 63 0 7295 0
vsize: 29432
[startup+470.105 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 79884 0 3 0 46717 268 0 0 25 0 1 0 773220276 30461952 6668 4294967295 134512640 134714508 3221224592 3221221456 1075116184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6668 1111 63 0 7374 0
vsize: 29748
[startup+480.112 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 81881 0 3 0 47712 274 0 0 25 0 1 0 773220276 30191616 6669 4294967295 134512640 134714508 3221224592 3221222824 1074138224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6669 1111 63 0 7308 0
vsize: 29484
[startup+490.114 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 83864 0 3 0 48705 281 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222800 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+500.115 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 85898 0 3 0 49698 288 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+510.116 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 87787 0 3 0 50691 295 0 0 25 0 1 0 773220276 30277632 6660 4294967295 134512640 134714508 3221224592 3221222320 1075829506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7392 6660 1111 63 0 7329 0
vsize: 29568
[startup+520.116 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 89646 0 3 0 51684 301 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222496 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+530.132 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 91512 0 3 0 52679 308 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+540.138 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 93448 0 3 0 53673 315 0 0 25 0 1 0 773220276 30138368 6654 4294967295 134512640 134714508 3221224592 3221222752 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+550.139 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 95416 0 3 0 54665 323 0 0 25 0 1 0 773220276 30187520 6667 4294967295 134512640 134714508 3221224592 3221223008 1074116520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+560.139 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 97380 0 3 0 55659 329 0 0 25 0 1 0 773220276 30142464 6664 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+570.14 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 99285 0 3 0 56652 336 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222412 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+580.14 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 101166 0 3 0 57646 342 0 0 25 0 1 0 773220276 30142464 6664 4294967295 134512640 134714508 3221224592 3221222504 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+590.14 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 103023 0 3 0 58638 350 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+600.141 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 104912 0 3 0 59631 357 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222240 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+610.141 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 107025 0 3 0 60623 366 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222396 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+620.142 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 109072 0 3 0 61615 374 0 0 25 0 1 0 773220276 30429184 6667 4294967295 134512640 134714508 3221224592 3221222320 1075828629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7429 6667 1111 63 0 7366 0
vsize: 29716
[startup+630.141 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 111221 0 3 0 62607 381 0 0 25 0 1 0 773220276 30138368 6661 4294967295 134512640 134714508 3221224592 3221222440 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6661 1111 63 0 7295 0
vsize: 29432
[startup+640.142 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 113183 0 3 0 63601 388 0 0 25 0 1 0 773220276 30408704 6657 4294967295 134512640 134714508 3221224592 3221221576 1074831806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7424 6657 1111 63 0 7361 0
vsize: 29696
[startup+650.143 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 115112 0 3 0 64594 394 0 0 25 0 1 0 773220276 30134272 6661 4294967295 134512640 134714508 3221224592 3221221648 1074138623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7357 6661 1111 63 0 7294 0
vsize: 29428
[startup+660.144 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 117056 0 3 0 65587 402 0 0 25 0 1 0 773220276 30138368 6654 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+670.144 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 118992 0 3 0 66579 409 0 0 25 0 1 0 773220276 30453760 6666 4294967295 134512640 134714508 3221224592 3221221144 1075850823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7435 6666 1111 63 0 7372 0
vsize: 29740
[startup+680.15 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 120926 0 3 0 67574 415 0 0 25 0 1 0 773220276 30453760 6671 4294967295 134512640 134714508 3221224592 3221221120 1075119993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7435 6671 1111 63 0 7372 0
vsize: 29740
[startup+690.151 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 122889 0 3 0 68568 421 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221223264 134650235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+700.151 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 124836 0 3 0 69561 428 0 0 25 0 1 0 773220276 30371840 6656 4294967295 134512640 134714508 3221224592 3221222448 1075799747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7415 6656 1111 63 0 7352 0
vsize: 29660
[startup+710.152 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 126756 0 3 0 70554 435 0 0 25 0 1 0 773220276 30453760 6672 4294967295 134512640 134714508 3221224592 3221220800 1076079224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7435 6672 1111 63 0 7372 0
vsize: 29740
[startup+720.153 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 128656 0 3 0 71548 441 0 0 25 0 1 0 773220276 30453760 6672 4294967295 134512640 134714508 3221224592 3221220640 1074790221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7435 6672 1111 63 0 7372 0
vsize: 29740
[startup+730.158 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 130611 0 3 0 72541 449 0 0 25 0 1 0 773220276 30138368 6655 4294967295 134512640 134714508 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+740.16 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 132568 0 3 0 73534 456 0 0 25 0 1 0 773220276 30371840 6655 4294967295 134512640 134714508 3221224592 3221222496 1075809089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7415 6655 1111 63 0 7352 0
vsize: 29660
[startup+750.16 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25349
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 134412 0 3 0 74528 463 0 0 25 0 1 0 773220276 30138368 6654 4294967295 134512640 134714508 3221224592 3221222896 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+760.161 s]
Raw data (loadavg): 1.07 0.99 0.99 2/56 25371
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 136261 0 3 0 75521 469 0 0 25 0 1 0 773220276 30502912 6682 4294967295 134512640 134714508 3221224592 3221220556 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6683 1111 63 0 7384 0
vsize: 29788
[startup+770.161 s]
Raw data (loadavg): 1.37 1.05 1.01 2/54 25402
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 138063 0 3 0 76516 475 0 0 25 0 1 0 773220276 30138368 6655 4294967295 134512640 134714508 3221224592 3221222592 1074916673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+780.167 s]
Raw data (loadavg): 1.31 1.05 1.01 2/54 25402
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 139915 0 3 0 77511 481 0 0 25 0 1 0 773220276 30273536 6657 4294967295 134512640 134714508 3221224592 3221222320 1075828571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7391 6657 1111 63 0 7328 0
vsize: 29564
[startup+790.168 s]
Raw data (loadavg): 1.26 1.05 1.01 2/54 25402
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 141703 0 3 0 78504 487 0 0 25 0 1 0 773220276 30269440 6656 4294967295 134512640 134714508 3221224592 3221222416 1075823547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7390 6656 1111 63 0 7327 0
vsize: 29560
[startup+800.168 s]
Raw data (loadavg): 1.22 1.05 1.01 2/54 25402
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 143624 0 3 0 79499 493 0 0 25 0 1 0 773220276 30138368 6653 4294967295 134512640 134714508 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6653 1111 63 0 7295 0
vsize: 29432
[startup+810.169 s]
Raw data (loadavg): 1.19 1.05 1.01 2/54 25402
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 145448 0 3 0 80492 500 0 0 25 0 1 0 773220276 30294016 6667 4294967295 134512640 134714508 3221224592 3221221360 1076083811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 6667 1111 63 0 7333 0
vsize: 29584
[startup+820.168 s]
Raw data (loadavg): 1.16 1.04 1.01 2/54 25402
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 147260 0 3 0 81486 506 0 0 25 0 1 0 773220276 30457856 6674 4294967295 134512640 134714508 3221224592 3221220816 1074961155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6674 1111 63 0 7373 0
vsize: 29744
[startup+830.168 s]
Raw data (loadavg): 1.13 1.04 1.00 2/54 25402
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 149039 0 3 0 82481 511 0 0 25 0 1 0 773220276 30138368 6655 4294967295 134512640 134714508 3221224592 3221222752 1074206230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+840.168 s]
Raw data (loadavg): 1.11 1.04 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 150869 0 3 0 83474 519 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222480 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+850.168 s]
Raw data (loadavg): 1.10 1.04 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 152661 0 3 0 84468 525 0 0 25 0 1 0 773220276 30138368 6654 4294967295 134512640 134714508 3221224592 3221222592 1074918496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+860.168 s]
Raw data (loadavg): 1.08 1.04 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 154487 0 3 0 85462 531 0 0 25 0 1 0 773220276 30138368 6653 4294967295 134512640 134714508 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6653 1111 63 0 7295 0
vsize: 29432
[startup+870.168 s]
Raw data (loadavg): 1.07 1.03 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 156316 0 3 0 86456 537 0 0 25 0 1 0 773220276 30457856 6673 4294967295 134512640 134714508 3221224592 3221220588 1074861125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6673 1111 63 0 7373 0
vsize: 29744
[startup+880.168 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 158057 0 3 0 87451 542 0 0 25 0 1 0 773220276 30138368 6654 4294967295 134512640 134714508 3221224592 3221222824 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+890.169 s]
Raw data (loadavg): 1.05 1.03 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 159908 0 3 0 88445 548 0 0 25 0 1 0 773220276 30298112 6668 4294967295 134512640 134714508 3221224592 3221221632 1075859942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7397 6668 1111 63 0 7334 0
vsize: 29588
[startup+900.169 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 161736 0 3 0 89439 555 0 0 25 0 1 0 773220276 30498816 6681 4294967295 134512640 134714508 3221224592 3221222012 1076061447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7446 6681 1111 63 0 7383 0
vsize: 29784
[startup+910.169 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 163547 0 3 0 90433 561 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222680 1074138163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+920.177 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 165340 0 3 0 91427 567 0 0 25 0 1 0 773220276 30277632 6658 4294967295 134512640 134714508 3221224592 3221222320 1075829025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7392 6658 1111 63 0 7329 0
vsize: 29568
[startup+930.176 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 167223 0 3 0 92421 574 0 0 25 0 1 0 773220276 30138368 6654 4294967295 134512640 134714508 3221224592 3221223276 134558630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+940.177 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 168992 0 3 0 93415 580 0 0 25 0 1 0 773220276 30457856 6666 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6670 1111 63 0 7373 0
vsize: 29744
[startup+950.178 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 170764 0 3 0 94408 587 0 0 25 0 1 0 773220276 30134272 6662 4294967295 134512640 134714508 3221224592 3221222544 1074916962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7357 6662 1111 63 0 7294 0
vsize: 29428
[startup+960.178 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 172565 0 3 0 95403 593 0 0 25 0 1 0 773220276 30138368 6655 4294967295 134512640 134714508 3221224592 3221221896 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+970.179 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 174413 0 3 0 96396 600 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222320 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+980.178 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 176255 0 3 0 97389 607 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+990.179 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 178079 0 3 0 98383 613 0 0 25 0 1 0 773220276 30134272 6661 4294967295 134512640 134714508 3221224592 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7357 6661 1111 63 0 7294 0
vsize: 29428
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 179920 0 3 0 99377 619 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222216 1074206881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 181741 0 3 0 100371 626 0 0 25 0 1 0 773220276 30453760 6670 4294967295 134512640 134714508 3221224592 3221221424 1075115232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7435 6670 1111 63 0 7372 0
vsize: 29740
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 183511 0 3 0 101366 631 0 0 25 0 1 0 773220276 30093312 6652 4294967295 134512640 134714508 3221224592 3221222264 1077377771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 185602 0 3 0 102360 638 0 0 25 0 1 0 773220276 30539776 6694 4294967295 134512640 134714508 3221224592 3221220784 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7456 6694 1111 63 0 7393 0
vsize: 29824
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 187548 0 3 0 103353 645 0 0 25 0 1 0 773220276 30138368 6663 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 189623 0 3 0 104346 651 0 0 25 0 1 0 773220276 30498816 6686 4294967295 134512640 134714508 3221224592 3221222512 1075799556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7446 6686 1111 63 0 7383 0
vsize: 29784
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 191574 0 3 0 105341 657 0 0 25 0 1 0 773220276 30453760 6685 4294967295 134512640 134714508 3221224592 3221220964 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7435 6685 1111 63 0 7372 0
vsize: 29740
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 193542 0 3 0 106334 664 0 0 25 0 1 0 773220276 30498816 6683 4294967295 134512640 134714508 3221224592 3221220508 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7446 6683 1111 63 0 7383 0
vsize: 29784
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 195549 0 3 0 107328 670 0 0 25 0 1 0 773220276 30138368 6663 4294967295 134512640 134714508 3221224592 3221222512 1074153823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 197624 0 3 0 108321 677 0 0 25 0 1 0 773220276 30183424 6674 4294967295 134512640 134714508 3221224592 3221222704 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7369 6674 1111 63 0 7306 0
vsize: 29476
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 199798 0 3 0 109316 684 0 0 25 0 1 0 773220276 30138368 6663 4294967295 134512640 134714508 3221224592 3221222728 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 201875 0 3 0 110309 691 0 0 25 0 1 0 773220276 30498816 6683 4294967295 134512640 134714508 3221224592 3221220772 1075115007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7446 6683 1111 63 0 7383 0
vsize: 29784
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 203918 0 3 0 111302 698 0 0 25 0 1 0 773220276 30228480 6685 4294967295 134512640 134714508 3221224592 3221223296 134540186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7380 6685 1111 63 0 7317 0
vsize: 29520
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25404
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 205897 0 3 0 112295 705 0 0 25 0 1 0 773220276 30179328 6673 4294967295 134512640 134714508 3221224592 3221222416 134650472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7368 6673 1111 63 0 7305 0
vsize: 29472
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25406
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 208018 0 3 0 113288 712 0 0 25 0 1 0 773220276 30224384 6684 4294967295 134512640 134714508 3221224592 3221222440 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7379 6684 1111 63 0 7316 0
vsize: 29516
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25406
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 210032 0 3 0 114282 719 0 0 25 0 1 0 773220276 30179328 6672 4294967295 134512640 134714508 3221224592 3221222328 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7368 6672 1111 63 0 7305 0
vsize: 29472
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25406
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 211924 0 3 0 115276 725 0 0 25 0 1 0 773220276 30138368 6663 4294967295 134512640 134714508 3221224592 3221222784 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25406
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 213953 0 3 0 116269 732 0 0 25 0 1 0 773220276 30138368 6663 4294967295 134512640 134714508 3221224592 3221222608 1074153823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+1175.37 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 25406
Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 24300 24299 0 -1 0 213953 0 3 0 116269 732 0 0 25 0 1 0 773220276 30138368 6663 4294967295 134512640 134714508 3221224592 3221222608 1074153823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 0

Child status: 0
Real time (s): 1175.37
CPU time (s): 1175.19
CPU user time (s): 1167.82
CPU system time (s): 7.37588
CPU usage (%): 99.9845
Max. virtual memory (Kb): 29824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####