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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb
MD5SUM	6bb160e5eb0ef9c02ca7232f62836f2b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	8436
Biggest coefficient in the objective function	368640
Number of bits for the biggest coefficient in the objective function	19
Sum of the numbers in the objective function	57614442
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	483840
Number of bits of the biggest number in a constraint	19
Biggest sum of numbers in a constraint	72412534
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.48
Number of variables	8436
Total number of constraints	1050
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1050
Minimum length of a constraint	8
Maximum length of a constraint	8436
Trace number 27769

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 23:14:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15771 boxname=wulflinc26 idbench=1214 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6bb160e5eb0ef9c02ca7232f62836f2b  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-fit1d.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-fit1d.opb
IDLAUNCH: 15771
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        860408 kB
Buffers:         28712 kB
Cached:         121932 kB
SwapCached:        656 kB
Active:          31948 kB
Inactive:       121332 kB
HighTotal:      131008 kB
HighFree:        12208 kB
LowTotal:       903652 kB
LowFree:        848200 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6036 kB
Slab:            15412 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:33:54 (client local time) WITH STATUS 0 IN 1175.56 SECONDS
stats: 15771 7 1175.56 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8436 variables and 1051 constraints.
c After prepocess the problem consists of 8434 variables and 1050 constraints.
c preprocess terminated 94.845 s
c Initial Lower Bound: -3773389
c Lower Bound Elapsed time: 9.42975
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.52 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.91 2/54 25435
Raw data (stat): 25435 (runsolver) R 25434 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834121660 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 13850 0 0 0 970 27 0 0 25 0 1 0 834121660 69840896 13774 4294967295 134512640 134714508 3221224592 3221222868 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17051 13774 1111 63 0 16988 0
vsize: 68204
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 14457 0 0 0 1967 29 0 0 25 0 1 0 834121660 72511488 14365 4294967295 134512640 134714508 3221224592 3221222868 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17703 14365 1111 63 0 17640 0
vsize: 70812
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 14593 0 0 0 2966 30 0 0 25 0 1 0 834121660 73150464 14493 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17859 14493 1111 63 0 17796 0
vsize: 71436
[startup+40.0037 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 14851 0 0 0 3965 31 0 0 25 0 1 0 834121660 74133504 14747 4294967295 134512640 134714508 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18099 14747 1111 63 0 18036 0
vsize: 72396
[startup+50.0047 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 15055 0 0 0 4964 32 0 0 25 0 1 0 834121660 75177984 14944 4294967295 134512640 134714508 3221224592 3221222876 1077399570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18354 14944 1111 63 0 18291 0
vsize: 73416
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 15372 0 0 0 5964 32 0 0 25 0 1 0 834121660 76500992 15252 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18677 15252 1111 63 0 18614 0
vsize: 74708
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 15598 0 0 0 6963 33 0 0 25 0 1 0 834121660 77463552 15476 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18912 15476 1111 63 0 18849 0
vsize: 75648
[startup+80.0076 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 16803 0 0 0 7960 36 0 0 25 0 1 0 834121660 72159232 16540 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17617 16540 1111 63 0 17554 0
vsize: 70468
[startup+90.0072 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 81356 0 0 0 8829 166 0 0 25 0 1 0 834121660 72417280 16607 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17680 16607 1111 63 0 17617 0
vsize: 70720
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 85783 0 0 0 9820 176 0 0 25 0 1 0 834121660 84688896 19739 4294967295 134512640 134714508 3221224592 3221220380 1074787555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20676 19739 1111 63 0 20613 0
vsize: 82704
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 85783 0 0 0 10820 176 0 0 25 0 1 0 834121660 84688896 19739 4294967295 134512640 134714508 3221224592 3221220536 1074860217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20676 19739 1111 63 0 20613 0
vsize: 82704
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 85783 0 0 0 11821 176 0 0 25 0 1 0 834121660 84688896 19739 4294967295 134512640 134714508 3221224592 3221220584 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20676 19739 1111 63 0 20613 0
vsize: 82704
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 92566 0 0 0 12808 189 0 0 25 0 1 0 834121660 82862080 19314 4294967295 134512640 134714508 3221224592 3221221856 1074839014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19314 1111 63 0 20167 0
vsize: 80920
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99300 0 0 0 13793 203 0 0 25 0 1 0 834121660 81305600 18935 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18935 1111 63 0 19787 0
vsize: 79400
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99303 0 0 0 14792 204 0 0 25 0 1 0 834121660 81305600 18938 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18938 1111 63 0 19787 0
vsize: 79400
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99306 0 0 0 15792 204 0 0 25 0 1 0 834121660 81305600 18941 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18941 1111 63 0 19787 0
vsize: 79400
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99309 0 0 0 16792 204 0 0 25 0 1 0 834121660 81305600 18944 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18944 1111 63 0 19787 0
vsize: 79400
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99309 0 0 0 17792 204 0 0 25 0 1 0 834121660 81305600 18944 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18944 1111 63 0 19787 0
vsize: 79400
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99309 0 0 0 18792 205 0 0 25 0 1 0 834121660 81305600 18944 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18944 1111 63 0 19787 0
vsize: 79400
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99309 0 0 0 19791 206 0 0 25 0 1 0 834121660 81305600 18944 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18944 1111 63 0 19787 0
vsize: 79400
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99309 0 0 0 20791 206 0 0 25 0 1 0 834121660 81305600 18944 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18944 1111 63 0 19787 0
vsize: 79400
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99309 0 0 0 21791 206 0 0 25 0 1 0 834121660 81305600 18944 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18944 1111 63 0 19787 0
vsize: 79400
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99309 0 0 0 22790 207 0 0 25 0 1 0 834121660 81305600 18944 4294967295 134512640 134714508 3221224592 3221223392 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18944 1111 63 0 19787 0
vsize: 79400
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99313 0 0 0 23789 208 0 0 25 0 1 0 834121660 81305600 18948 4294967295 134512640 134714508 3221224592 3221223336 134672921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18948 1111 63 0 19787 0
vsize: 79400
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99313 0 0 0 24789 209 0 0 25 0 1 0 834121660 81305600 18948 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18948 1111 63 0 19787 0
vsize: 79400
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99313 0 0 0 25789 209 0 0 25 0 1 0 834121660 81305600 18948 4294967295 134512640 134714508 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18948 1111 63 0 19787 0
vsize: 79400
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99314 0 0 0 26789 209 0 0 25 0 1 0 834121660 81305600 18949 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18949 1111 63 0 19787 0
vsize: 79400
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99314 0 0 0 27789 209 0 0 25 0 1 0 834121660 81305600 18949 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 18949 1111 63 0 19787 0
vsize: 79400
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99533 0 0 0 28789 209 0 0 25 0 1 0 834121660 82292736 19168 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20091 19168 1111 63 0 20028 0
vsize: 80364
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99533 0 0 0 29789 209 0 0 25 0 1 0 834121660 82182144 19164 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20064 19164 1111 63 0 20001 0
vsize: 80256
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 30789 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 31789 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 32790 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 33790 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 34790 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 35790 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 36790 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 37790 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 38790 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 39791 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 40791 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 41791 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 42791 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 43792 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 44792 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 45792 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 46792 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 47792 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 48792 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99600 0 0 0 49793 210 0 0 25 0 1 0 834121660 82587648 19231 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19231 1111 63 0 20100 0
vsize: 80652
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99671 0 0 0 50792 210 0 0 25 0 1 0 834121660 82857984 19302 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20229 19302 1111 63 0 20166 0
vsize: 80916
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99831 0 0 0 51792 211 0 0 25 0 1 0 834121660 82591744 19264 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19264 1111 63 0 20101 0
vsize: 80656
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99831 0 0 0 52792 211 0 0 25 0 1 0 834121660 82591744 19264 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19264 1111 63 0 20101 0
vsize: 80656
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 99975 0 0 0 53792 211 0 0 25 0 1 0 834121660 82726912 19290 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20197 19290 1111 63 0 20134 0
vsize: 80788
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100172 0 0 0 54792 211 0 0 25 0 1 0 834121660 83316736 19432 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20341 19432 1111 63 0 20278 0
vsize: 81364
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100221 0 0 0 55792 211 0 0 25 0 1 0 834121660 83460096 19476 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20376 19476 1111 63 0 20313 0
vsize: 81504
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100263 0 0 0 56792 212 0 0 25 0 1 0 834121660 83730432 19518 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20442 19518 1111 63 0 20379 0
vsize: 81768
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100289 0 0 0 57793 212 0 0 25 0 1 0 834121660 83865600 19544 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20475 19544 1111 63 0 20412 0
vsize: 81900
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100350 0 0 0 58792 212 0 0 25 0 1 0 834121660 83718144 19539 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20439 19539 1111 63 0 20376 0
vsize: 81756
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100384 0 0 0 59793 212 0 0 25 0 1 0 834121660 83988480 19573 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20505 19573 1111 63 0 20442 0
vsize: 82020
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100397 0 0 0 60794 212 0 0 25 0 1 0 834121660 84004864 19581 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20509 19581 1111 63 0 20446 0
vsize: 82036
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100397 0 0 0 61794 212 0 0 25 0 1 0 834121660 82587648 19263 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19263 1111 63 0 20100 0
vsize: 80652
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100420 0 0 0 62794 212 0 0 25 0 1 0 834121660 82722816 19286 4294967295 134512640 134714508 3221224592 3221223220 1077374077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20196 19286 1111 63 0 20133 0
vsize: 80784
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100602 0 0 0 63794 212 0 0 25 0 1 0 834121660 83447808 19468 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20373 19468 1111 63 0 20310 0
vsize: 81492
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100787 0 0 0 64794 212 0 0 25 0 1 0 834121660 83582976 19473 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 19473 1111 63 0 20343 0
vsize: 81624
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100806 0 0 0 65794 212 0 0 25 0 1 0 834121660 83582976 19492 4294967295 134512640 134714508 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 19492 1111 63 0 20343 0
vsize: 81624
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100867 0 0 0 66794 213 0 0 25 0 1 0 834121660 83861504 19553 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20474 19553 1111 63 0 20411 0
vsize: 81896
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100894 0 0 0 67794 213 0 0 25 0 1 0 834121660 83808256 19561 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20461 19561 1111 63 0 20398 0
vsize: 81844
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100963 0 0 0 68794 213 0 0 25 0 1 0 834121660 82845696 19326 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20226 19326 1111 63 0 20163 0
vsize: 80904
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 100963 0 0 0 69794 213 0 0 25 0 1 0 834121660 82845696 19326 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20226 19326 1111 63 0 20163 0
vsize: 80904
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101155 0 0 0 70794 214 0 0 25 0 1 0 834121660 83722240 19518 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20440 19518 1111 63 0 20377 0
vsize: 81760
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101235 0 0 0 71794 214 0 0 25 0 1 0 834121660 83419136 19444 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20366 19444 1111 63 0 20303 0
vsize: 81464
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101272 0 0 0 72794 214 0 0 25 0 1 0 834121660 82587648 19263 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19263 1111 63 0 20100 0
vsize: 80652
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101326 0 0 0 73794 214 0 0 25 0 1 0 834121660 82857984 19317 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20229 19317 1111 63 0 20166 0
vsize: 80916
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101492 0 0 0 74793 215 0 0 25 0 1 0 834121660 83296256 19404 4294967295 134512640 134714508 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20336 19404 1111 63 0 20273 0
vsize: 81344
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101662 0 0 0 75793 215 0 0 25 0 1 0 834121660 83738624 19518 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20444 19518 1111 63 0 20381 0
vsize: 81776
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101662 0 0 0 76793 215 0 0 25 0 1 0 834121660 83611648 19513 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20413 19513 1111 63 0 20350 0
vsize: 81652
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101727 0 0 0 77794 215 0 0 25 0 1 0 834121660 84021248 19578 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20513 19578 1111 63 0 20450 0
vsize: 82052
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101730 0 0 0 78794 215 0 0 25 0 1 0 834121660 83869696 19576 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20476 19576 1111 63 0 20413 0
vsize: 81904
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101735 0 0 0 79794 215 0 0 25 0 1 0 834121660 84004864 19581 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20509 19581 1111 63 0 20446 0
vsize: 82036
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101746 0 0 0 80794 215 0 0 25 0 1 0 834121660 84004864 19592 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20509 19592 1111 63 0 20446 0
vsize: 82036
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101746 0 0 0 81794 215 0 0 25 0 1 0 834121660 83914752 19587 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20487 19587 1111 63 0 20424 0
vsize: 81948
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101777 0 0 0 82794 216 0 0 25 0 1 0 834121660 84049920 19618 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20520 19618 1111 63 0 20457 0
vsize: 82080
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 101777 0 0 0 83794 216 0 0 25 0 1 0 834121660 82587648 19263 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19263 1111 63 0 20100 0
vsize: 80652
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 102006 0 0 0 84793 216 0 0 25 0 1 0 834121660 83546112 19492 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20397 19492 1111 63 0 20334 0
vsize: 81588
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 102148 0 0 0 85793 217 0 0 25 0 1 0 834121660 83582976 19480 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 19480 1111 63 0 20343 0
vsize: 81624
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 102280 0 0 0 86793 217 0 0 25 0 1 0 834121660 83316736 19417 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20341 19417 1111 63 0 20278 0
vsize: 81364
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 102416 0 0 0 87793 218 0 0 25 0 1 0 834121660 83886080 19553 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20480 19553 1111 63 0 20417 0
vsize: 81920
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 102418 0 0 0 88793 218 0 0 25 0 1 0 834121660 83886080 19555 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20480 19555 1111 63 0 20417 0
vsize: 81920
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 102455 0 0 0 89793 218 0 0 25 0 1 0 834121660 84025344 19592 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20514 19592 1111 63 0 20451 0
vsize: 82056
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 102640 0 0 0 90792 219 0 0 25 0 1 0 834121660 83767296 19523 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20451 19523 1111 63 0 20388 0
vsize: 81804
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 102651 0 0 0 91792 219 0 0 25 0 1 0 834121660 83333120 19417 4294967295 134512640 134714508 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20345 19417 1111 63 0 20282 0
vsize: 81380
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 102841 0 0 0 92792 219 0 0 25 0 1 0 834121660 83906560 19552 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20485 19552 1111 63 0 20422 0
vsize: 81940
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103018 0 0 0 93792 220 0 0 25 0 1 0 834121660 83808256 19558 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20461 19558 1111 63 0 20398 0
vsize: 81844
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103113 0 0 0 94792 220 0 0 25 0 1 0 834121660 84213760 19653 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20560 19653 1111 63 0 20497 0
vsize: 82240
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103124 0 0 0 95792 220 0 0 25 0 1 0 834121660 84111360 19635 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20535 19635 1111 63 0 20472 0
vsize: 82140
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103144 0 0 0 96792 220 0 0 25 0 1 0 834121660 84246528 19655 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20568 19655 1111 63 0 20505 0
vsize: 82272
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103179 0 0 0 97792 220 0 0 25 0 1 0 834121660 84381696 19690 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20601 19690 1111 63 0 20538 0
vsize: 82404
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103186 0 0 0 98792 220 0 0 25 0 1 0 834121660 84246528 19640 4294967295 134512640 134714508 3221224592 3221223116 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20568 19640 1111 63 0 20505 0
vsize: 82272
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 99792 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 100792 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 101793 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 102793 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 103793 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223360 134592107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 104793 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 105793 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 106793 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 107794 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103247 0 0 0 108794 220 0 0 25 0 1 0 834121660 84516864 19701 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19701 1111 63 0 20571 0
vsize: 82536
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103248 0 0 0 109794 220 0 0 25 0 1 0 834121660 84516864 19702 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19702 1111 63 0 20571 0
vsize: 82536
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103319 0 0 0 110794 220 0 0 25 0 1 0 834121660 84672512 19743 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20672 19743 1111 63 0 20609 0
vsize: 82688
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103402 0 0 0 111794 221 0 0 25 0 1 0 834121660 84942848 19826 4294967295 134512640 134714508 3221224592 3221223320 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20738 19826 1111 63 0 20675 0
vsize: 82952
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103402 0 0 0 112794 221 0 0 25 0 1 0 834121660 84942848 19826 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20738 19826 1111 63 0 20675 0
vsize: 82952
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103402 0 0 0 113794 221 0 0 25 0 1 0 834121660 84942848 19826 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20738 19826 1111 63 0 20675 0
vsize: 82952
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103408 0 0 0 114794 221 0 0 25 0 1 0 834121660 84942848 19832 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20738 19832 1111 63 0 20675 0
vsize: 82952
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103408 0 0 0 115794 221 0 0 25 0 1 0 834121660 84942848 19832 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20738 19832 1111 63 0 20675 0
vsize: 82952
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103408 0 0 0 116794 221 0 0 25 0 1 0 834121660 84942848 19832 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20738 19832 1111 63 0 20675 0
vsize: 82952
[startup+1175.42 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25435
Raw data (stat): 25435 (bsolo_lpr_cuts) R 25434 20687 20686 0 -1 0 103408 0 0 0 116794 221 0 0 25 0 1 0 834121660 84942848 19832 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20738 19832 1111 63 0 20675 0
vsize: 0

Child status: 0
Real time (s): 1175.42
CPU time (s): 1175.56
CPU user time (s): 1173.31
CPU system time (s): 2.24966
CPU usage (%): 100.012
Max. virtual memory (Kb): 82952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####