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-timtab2.opb
MD5SUM	388cec2ad329df6f021dfbdc92f512ad
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	3774
Biggest coefficient in the objective function	3604480000000000
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	483609165299803395
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	3604480000000000
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	483609165299803395
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.05999
Number of variables	6363
Total number of constraints	952
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	113
Number of constraints which are nor clauses,nor cardinality constraints	839
Minimum length of a constraint	1
Maximum length of a constraint	141
Trace number 28381

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-25 01:58:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13093 boxname=wulflinc17 idbench=1008 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  388cec2ad329df6f021dfbdc92f512ad  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-timtab2.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-timtab2.opb
IDLAUNCH: 13093
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        871904 kB
Buffers:         11476 kB
Cached:         128520 kB
SwapCached:        492 kB
Active:          20484 kB
Inactive:       121712 kB
HighTotal:      131008 kB
HighFree:        26180 kB
LowTotal:       903652 kB
LowFree:        845724 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            14932 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:18:07 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 13093 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6363 variables and 1079 constraints.
c After prepocess the problem consists of 6361 variables and 1082 constraints.
c preprocess terminated 7.119 s
c Initial Lower Bound: -3750
c Lower Bound Elapsed time: 1.0425
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.75 0.90 0.89 2/54 16149
Raw data (stat): 16149 (runsolver) R 16148 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835112660 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.79 0.90 0.89 2/54 16149
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 12269 0 0 0 969 28 0 0 25 0 1 0 835112660 44142592 10001 4294967295 134512640 134714508 3221224576 3221222224 1075828941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10777 10001 1111 63 0 10714 0
vsize: 43108
[startup+20.0012 s]
Raw data (loadavg): 0.82 0.91 0.89 2/54 16149
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14272 0 0 0 1965 33 0 0 25 0 1 0 835112660 42987520 9781 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 9781 1111 63 0 10432 0
vsize: 41980
[startup+30.0014 s]
Raw data (loadavg): 0.85 0.91 0.89 2/54 16149
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14272 0 0 0 2965 34 0 0 25 0 1 0 835112660 42987520 9781 4294967295 134512640 134714508 3221224576 3221223368 134597668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 9781 1111 63 0 10432 0
vsize: 41980
[startup+40.001 s]
Raw data (loadavg): 0.87 0.91 0.89 2/54 16149
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14272 0 0 0 3964 34 0 0 25 0 1 0 835112660 42987520 9781 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 9781 1111 63 0 10432 0
vsize: 41980
[startup+50.0086 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 16149
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14272 0 0 0 4964 35 0 0 25 0 1 0 835112660 42987520 9781 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 9781 1111 63 0 10432 0
vsize: 41980
[startup+60.0092 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 16149
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14273 0 0 0 5963 36 0 0 25 0 1 0 835112660 42987520 9782 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 9782 1111 63 0 10432 0
vsize: 41980
[startup+70.0118 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 16149
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14273 0 0 0 6963 37 0 0 25 0 1 0 835112660 42987520 9782 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 9782 1111 63 0 10432 0
vsize: 41980
[startup+80.0116 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 16149
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14370 0 0 0 7962 38 0 0 25 0 1 0 835112660 43393024 9879 4294967295 134512640 134714508 3221224576 3221223136 134696561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10594 9879 1111 63 0 10531 0
vsize: 42376
[startup+90.0119 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 16149
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14408 0 0 0 8962 38 0 0 25 0 1 0 835112660 43663360 9917 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9917 1111 63 0 10597 0
vsize: 42640
[startup+100.012 s]
Raw data (loadavg): 1.02 0.94 0.91 2/54 16202
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14412 0 0 0 9960 40 0 0 25 0 1 0 835112660 43663360 9921 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9921 1111 63 0 10597 0
vsize: 42640
[startup+110.012 s]
Raw data (loadavg): 1.02 0.94 0.91 2/54 16202
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14425 0 0 0 10960 41 0 0 25 0 1 0 835112660 43663360 9934 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9934 1111 63 0 10597 0
vsize: 42640
[startup+120.012 s]
Raw data (loadavg): 1.02 0.94 0.91 2/54 16202
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14454 0 0 0 11958 42 0 0 25 0 1 0 835112660 43798528 9963 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10693 9963 1111 63 0 10630 0
vsize: 42772
[startup+130.011 s]
Raw data (loadavg): 1.01 0.94 0.91 2/54 16202
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14459 0 0 0 12958 43 0 0 25 0 1 0 835112660 43798528 9968 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10693 9968 1111 63 0 10630 0
vsize: 42772
[startup+140.012 s]
Raw data (loadavg): 1.01 0.94 0.91 2/54 16202
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14466 0 0 0 13957 44 0 0 25 0 1 0 835112660 43798528 9975 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10693 9975 1111 63 0 10630 0
vsize: 42772
[startup+150.019 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 16202
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14505 0 0 0 14957 45 0 0 25 0 1 0 835112660 44068864 10014 4294967295 134512640 134714508 3221224576 3221223100 134535981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10759 10014 1111 63 0 10696 0
vsize: 43036
[startup+160.02 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 16202
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14555 0 0 0 15956 46 0 0 25 0 1 0 835112660 44204032 10064 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10792 10064 1111 63 0 10729 0
vsize: 43168
[startup+170.02 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14561 0 0 0 16956 47 0 0 25 0 1 0 835112660 44204032 10070 4294967295 134512640 134714508 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10792 10070 1111 63 0 10729 0
vsize: 43168
[startup+180.02 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14569 0 0 0 17955 48 0 0 25 0 1 0 835112660 44204032 10078 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10792 10078 1111 63 0 10729 0
vsize: 43168
[startup+190.02 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14577 0 0 0 18955 48 0 0 25 0 1 0 835112660 44339200 10086 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 10086 1111 63 0 10762 0
vsize: 43300
[startup+200.02 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14588 0 0 0 19954 49 0 0 25 0 1 0 835112660 44339200 10097 4294967295 134512640 134714508 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 10097 1111 63 0 10762 0
vsize: 43300
[startup+210.019 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14606 0 0 0 20953 50 0 0 25 0 1 0 835112660 44474368 10115 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10115 1111 63 0 10795 0
vsize: 43432
[startup+220.02 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14615 0 0 0 21953 50 0 0 25 0 1 0 835112660 44474368 10124 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10124 1111 63 0 10795 0
vsize: 43432
[startup+230.019 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14624 0 0 0 22952 51 0 0 25 0 1 0 835112660 44474368 10133 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10133 1111 63 0 10795 0
vsize: 43432
[startup+240.019 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14634 0 0 0 23951 52 0 0 25 0 1 0 835112660 44474368 10143 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10143 1111 63 0 10795 0
vsize: 43432
[startup+250.019 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14671 0 0 0 24950 53 0 0 25 0 1 0 835112660 44744704 10180 4294967295 134512640 134714508 3221224576 3221223352 134613535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10924 10180 1111 63 0 10861 0
vsize: 43696
[startup+260.032 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14722 0 0 0 25951 54 0 0 25 0 1 0 835112660 44879872 10231 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10231 1111 63 0 10894 0
vsize: 43828
[startup+270.041 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14788 0 0 0 26951 55 0 0 25 0 1 0 835112660 45146112 10297 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11022 10297 1111 63 0 10959 0
vsize: 44088
[startup+280.04 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14904 0 0 0 27950 56 0 0 25 0 1 0 835112660 45686784 10413 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11154 10413 1111 63 0 11091 0
vsize: 44616
[startup+290.041 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15083 0 0 0 28948 58 0 0 25 0 1 0 835112660 46362624 10592 4294967295 134512640 134714508 3221224576 3221223376 134597700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11319 10592 1111 63 0 11256 0
vsize: 45276
[startup+300.041 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15164 0 0 0 29947 59 0 0 25 0 1 0 835112660 46768128 10673 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11418 10673 1111 63 0 11355 0
vsize: 45672
[startup+310.04 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15193 0 0 0 30947 60 0 0 25 0 1 0 835112660 46768128 10702 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11418 10702 1111 63 0 11355 0
vsize: 45672
[startup+320.049 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15208 0 0 0 31946 62 0 0 25 0 1 0 835112660 46903296 10717 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11451 10717 1111 63 0 11388 0
vsize: 45804
[startup+330.049 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15239 0 0 0 32946 62 0 0 25 0 1 0 835112660 47038464 10748 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11484 10748 1111 63 0 11421 0
vsize: 45936
[startup+340.049 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15271 0 0 0 33945 63 0 0 25 0 1 0 835112660 47173632 10780 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11517 10780 1111 63 0 11454 0
vsize: 46068
[startup+350.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15302 0 0 0 34945 64 0 0 25 0 1 0 835112660 47308800 10811 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11550 10811 1111 63 0 11487 0
vsize: 46200
[startup+360.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15331 0 0 0 35943 65 0 0 25 0 1 0 835112660 47443968 10840 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11583 10840 1111 63 0 11520 0
vsize: 46332
[startup+370.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15363 0 0 0 36943 66 0 0 25 0 1 0 835112660 47579136 10872 4294967295 134512640 134714508 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 10872 1111 63 0 11553 0
vsize: 46464
[startup+380.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15393 0 0 0 37942 67 0 0 25 0 1 0 835112660 47579136 10902 4294967295 134512640 134714508 3221224576 3221223376 134597700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 10902 1111 63 0 11553 0
vsize: 46464
[startup+390.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15422 0 0 0 38941 68 0 0 25 0 1 0 835112660 47714304 10931 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11649 10931 1111 63 0 11586 0
vsize: 46596
[startup+400.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15454 0 0 0 39940 69 0 0 25 0 1 0 835112660 47849472 10963 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11682 10963 1111 63 0 11619 0
vsize: 46728
[startup+410.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15524 0 0 0 40939 70 0 0 25 0 1 0 835112660 48119808 11033 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11748 11033 1111 63 0 11685 0
vsize: 46992
[startup+420.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15594 0 0 0 41939 71 0 0 25 0 1 0 835112660 48525312 11103 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11847 11103 1111 63 0 11784 0
vsize: 47388
[startup+430.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15665 0 0 0 42938 72 0 0 25 0 1 0 835112660 48795648 11174 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11913 11174 1111 63 0 11850 0
vsize: 47652
[startup+440.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16204
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15733 0 0 0 43937 73 0 0 25 0 1 0 835112660 49065984 11242 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11979 11242 1111 63 0 11916 0
vsize: 47916
[startup+450.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15802 0 0 0 44936 74 0 0 25 0 1 0 835112660 49336320 11311 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12045 11311 1111 63 0 11982 0
vsize: 48180
[startup+460.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15870 0 0 0 45935 76 0 0 25 0 1 0 835112660 49606656 11379 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12111 11379 1111 63 0 12048 0
vsize: 48444
[startup+470.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15937 0 0 0 46935 76 0 0 25 0 1 0 835112660 49876992 11446 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12177 11446 1111 63 0 12114 0
vsize: 48708
[startup+480.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15969 0 0 0 47934 78 0 0 25 0 1 0 835112660 50012160 11478 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12210 11478 1111 63 0 12147 0
vsize: 48840
[startup+490.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16002 0 0 0 48932 79 0 0 25 0 1 0 835112660 50147328 11511 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12243 11511 1111 63 0 12180 0
vsize: 48972
[startup+500.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16034 0 0 0 49931 81 0 0 25 0 1 0 835112660 50282496 11543 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12276 11543 1111 63 0 12213 0
vsize: 49104
[startup+510.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16066 0 0 0 50930 82 0 0 25 0 1 0 835112660 50417664 11575 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12309 11575 1111 63 0 12246 0
vsize: 49236
[startup+520.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16104 0 0 0 51929 83 0 0 25 0 1 0 835112660 50552832 11613 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12342 11613 1111 63 0 12279 0
vsize: 49368
[startup+530.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16137 0 0 0 52928 84 0 0 25 0 1 0 835112660 50688000 11646 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12375 11646 1111 63 0 12312 0
vsize: 49500
[startup+540.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16169 0 0 0 53927 85 0 0 25 0 1 0 835112660 50823168 11678 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12408 11678 1111 63 0 12345 0
vsize: 49632
[startup+550.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16202 0 0 0 54927 86 0 0 25 0 1 0 835112660 50958336 11711 4294967295 134512640 134714508 3221224576 3221223376 134597773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 11711 1111 63 0 12378 0
vsize: 49764
[startup+560.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16235 0 0 0 55926 87 0 0 25 0 1 0 835112660 51093504 11744 4294967295 134512640 134714508 3221224576 3221223368 134597668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12474 11744 1111 63 0 12411 0
vsize: 49896
[startup+570.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16268 0 0 0 56925 87 0 0 25 0 1 0 835112660 51228672 11777 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12507 11777 1111 63 0 12444 0
vsize: 50028
[startup+580.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16304 0 0 0 57925 88 0 0 25 0 1 0 835112660 51363840 11813 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12540 11813 1111 63 0 12477 0
vsize: 50160
[startup+590.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16336 0 0 0 58924 89 0 0 25 0 1 0 835112660 51499008 11845 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12573 11845 1111 63 0 12510 0
vsize: 50292
[startup+600.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16369 0 0 0 59923 90 0 0 25 0 1 0 835112660 51634176 11878 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12606 11878 1111 63 0 12543 0
vsize: 50424
[startup+610.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16402 0 0 0 60922 91 0 0 25 0 1 0 835112660 51769344 11911 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12639 11911 1111 63 0 12576 0
vsize: 50556
[startup+620.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16435 0 0 0 61922 92 0 0 25 0 1 0 835112660 51904512 11944 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12672 11944 1111 63 0 12609 0
vsize: 50688
[startup+630.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16468 0 0 0 62922 92 0 0 25 0 1 0 835112660 52039680 11977 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12705 11977 1111 63 0 12642 0
vsize: 50820
[startup+640.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16500 0 0 0 63921 94 0 0 25 0 1 0 835112660 52174848 12009 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12738 12009 1111 63 0 12675 0
vsize: 50952
[startup+650.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16543 0 0 0 64921 94 0 0 25 0 1 0 835112660 52310016 12052 4294967295 134512640 134714508 3221224576 3221223352 134613501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 12052 1111 63 0 12708 0
vsize: 51084
[startup+660.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16578 0 0 0 65920 95 0 0 25 0 1 0 835112660 52445184 12087 4294967295 134512640 134714508 3221224576 3221223340 134613543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12804 12087 1111 63 0 12741 0
vsize: 51216
[startup+670.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16612 0 0 0 66920 96 0 0 25 0 1 0 835112660 52580352 12121 4294967295 134512640 134714508 3221224576 3221223232 134536703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12837 12121 1111 63 0 12774 0
vsize: 51348
[startup+680.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16646 0 0 0 67919 97 0 0 25 0 1 0 835112660 52715520 12155 4294967295 134512640 134714508 3221224576 3221223376 134597773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12870 12155 1111 63 0 12807 0
vsize: 51480
[startup+690.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16680 0 0 0 68919 97 0 0 25 0 1 0 835112660 52985856 12189 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12936 12189 1111 63 0 12873 0
vsize: 51744
[startup+700.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16713 0 0 0 69918 98 0 0 25 0 1 0 835112660 53121024 12222 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12969 12222 1111 63 0 12906 0
vsize: 51876
[startup+710.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16747 0 0 0 70918 98 0 0 25 0 1 0 835112660 53260288 12256 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13003 12256 1111 63 0 12940 0
vsize: 52012
[startup+720.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16782 0 0 0 71917 99 0 0 25 0 1 0 835112660 53395456 12291 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13036 12291 1111 63 0 12973 0
vsize: 52144
[startup+730.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16816 0 0 0 72916 100 0 0 25 0 1 0 835112660 53530624 12325 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13069 12325 1111 63 0 13006 0
vsize: 52276
[startup+740.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16848 0 0 0 73916 101 0 0 25 0 1 0 835112660 53665792 12357 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13102 12357 1111 63 0 13039 0
vsize: 52408
[startup+750.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16907 0 0 0 74915 102 0 0 25 0 1 0 835112660 53800960 12416 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13135 12416 1111 63 0 13072 0
vsize: 52540
[startup+760.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 17181 0 0 0 75914 103 0 0 25 0 1 0 835112660 55017472 12690 4294967295 134512640 134714508 3221224576 3221223160 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13432 12690 1111 63 0 13369 0
vsize: 53728
[startup+770.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 17536 0 0 0 76912 105 0 0 25 0 1 0 835112660 56369152 13045 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13762 13045 1111 63 0 13699 0
vsize: 55048
[startup+780.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 17824 0 0 0 77910 107 0 0 25 0 1 0 835112660 57585664 13333 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14059 13333 1111 63 0 13996 0
vsize: 56236
[startup+790.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 18082 0 0 0 78909 109 0 0 25 0 1 0 835112660 58683392 13591 4294967295 134512640 134714508 3221224576 3221223312 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14327 13591 1111 63 0 14264 0
vsize: 57308
[startup+800.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 18400 0 0 0 79907 110 0 0 25 0 1 0 835112660 60035072 13909 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14657 13909 1111 63 0 14594 0
vsize: 58628
[startup+810.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 18700 0 0 0 80906 112 0 0 25 0 1 0 835112660 61251584 14209 4294967295 134512640 134714508 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14954 14209 1111 63 0 14891 0
vsize: 59816
[startup+820.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19022 0 0 0 81905 113 0 0 25 0 1 0 835112660 62603264 14531 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15284 14531 1111 63 0 15221 0
vsize: 61136
[startup+830.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19250 0 0 0 82903 115 0 0 25 0 1 0 835112660 63549440 14759 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15515 14759 1111 63 0 15452 0
vsize: 62060
[startup+840.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19265 0 0 0 83903 116 0 0 25 0 1 0 835112660 63549440 14773 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15515 14773 1111 63 0 15452 0
vsize: 62060
[startup+850.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19288 0 0 0 84902 117 0 0 25 0 1 0 835112660 63684608 14796 4294967295 134512640 134714508 3221224576 3221223180 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15548 14796 1111 63 0 15485 0
vsize: 62192
[startup+860.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19489 0 0 0 85902 117 0 0 25 0 1 0 835112660 64495616 14997 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15746 14997 1111 63 0 15683 0
vsize: 62984
[startup+870.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19858 0 0 0 86900 119 0 0 25 0 1 0 835112660 65982464 15366 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16109 15366 1111 63 0 16046 0
vsize: 64436
[startup+880.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20145 0 0 0 87900 120 0 0 25 0 1 0 835112660 67198976 15653 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16406 15653 1111 63 0 16343 0
vsize: 65624
[startup+890.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20175 0 0 0 88899 121 0 0 25 0 1 0 835112660 67346432 15683 4294967295 134512640 134714508 3221224576 3221223340 134613543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16442 15683 1111 63 0 16379 0
vsize: 65768
[startup+900.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20180 0 0 0 89899 121 0 0 25 0 1 0 835112660 67346432 15688 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16442 15688 1111 63 0 16379 0
vsize: 65768
[startup+910.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20189 0 0 0 90899 122 0 0 25 0 1 0 835112660 67346432 15697 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16442 15697 1111 63 0 16379 0
vsize: 65768
[startup+920.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20199 0 0 0 91899 122 0 0 25 0 1 0 835112660 67481600 15707 4294967295 134512640 134714508 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16475 15707 1111 63 0 16412 0
vsize: 65900
[startup+930.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20219 0 0 0 92898 123 0 0 25 0 1 0 835112660 67616768 15727 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15727 1111 63 0 16445 0
vsize: 66032
[startup+940.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20219 0 0 0 93898 124 0 0 25 0 1 0 835112660 67616768 15727 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15727 1111 63 0 16445 0
vsize: 66032
[startup+950.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20245 0 0 0 94897 125 0 0 25 0 1 0 835112660 67616768 15752 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16508 15752 1111 63 0 16445 0
vsize: 66032
[startup+960.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20263 0 0 0 95896 126 0 0 25 0 1 0 835112660 67751936 15770 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16541 15770 1111 63 0 16478 0
vsize: 66164
[startup+970.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20333 0 0 0 96910 128 0 0 25 0 1 0 835112660 68022272 15840 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16607 15840 1111 63 0 16544 0
vsize: 66428
[startup+980.227 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20391 0 0 0 97910 128 0 0 25 0 1 0 835112660 68292608 15898 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16673 15898 1111 63 0 16610 0
vsize: 66692
[startup+990.226 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20451 0 0 0 98908 130 0 0 25 0 1 0 835112660 68562944 15958 4294967295 134512640 134714508 3221224576 3221223128 134696445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16739 15958 1111 63 0 16676 0
vsize: 66956
[startup+1000.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20511 0 0 0 99908 131 0 0 25 0 1 0 835112660 68833280 16018 4294967295 134512640 134714508 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16805 16018 1111 63 0 16742 0
vsize: 67220
[startup+1010.31 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20575 0 0 0 100915 132 0 0 25 0 1 0 835112660 68968448 16082 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16838 16082 1111 63 0 16775 0
vsize: 67352
[startup+1020.31 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20630 0 0 0 101914 133 0 0 25 0 1 0 835112660 69238784 16137 4294967295 134512640 134714508 3221224576 3221223340 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16904 16137 1111 63 0 16841 0
vsize: 67616
[startup+1030.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20681 0 0 0 102914 134 0 0 25 0 1 0 835112660 69509120 16188 4294967295 134512640 134714508 3221224576 3221223368 134597668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16970 16188 1111 63 0 16907 0
vsize: 67880
[startup+1040.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20731 0 0 0 103914 135 0 0 25 0 1 0 835112660 69644288 16238 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17003 16238 1111 63 0 16940 0
vsize: 68012
[startup+1050.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20780 0 0 0 104915 135 0 0 25 0 1 0 835112660 69914624 16287 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17069 16287 1111 63 0 17006 0
vsize: 68276
[startup+1060.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20831 0 0 0 105915 136 0 0 25 0 1 0 835112660 70049792 16338 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17102 16338 1111 63 0 17039 0
vsize: 68408
[startup+1070.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20884 0 0 0 106914 137 0 0 25 0 1 0 835112660 70320128 16391 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17168 16391 1111 63 0 17105 0
vsize: 68672
[startup+1080.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20934 0 0 0 107913 138 0 0 25 0 1 0 835112660 70455296 16441 4294967295 134512640 134714508 3221224576 3221223336 134613522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17201 16441 1111 63 0 17138 0
vsize: 68804
[startup+1090.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20984 0 0 0 108913 139 0 0 25 0 1 0 835112660 70725632 16491 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17267 16491 1111 63 0 17204 0
vsize: 69068
[startup+1100.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21036 0 0 0 109911 141 0 0 25 0 1 0 835112660 70860800 16543 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17300 16543 1111 63 0 17237 0
vsize: 69200
[startup+1110.35 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21085 0 0 0 110910 142 0 0 25 0 1 0 835112660 71131136 16592 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17366 16592 1111 63 0 17303 0
vsize: 69464
[startup+1120.35 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21134 0 0 0 111909 143 0 0 25 0 1 0 835112660 71266304 16641 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17399 16641 1111 63 0 17336 0
vsize: 69596
[startup+1130.35 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21182 0 0 0 112909 144 0 0 25 0 1 0 835112660 71536640 16689 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17465 16689 1111 63 0 17402 0
vsize: 69860
[startup+1140.35 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21234 0 0 0 113908 145 0 0 25 0 1 0 835112660 71671808 16741 4294967295 134512640 134714508 3221224576 3221223368 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17498 16741 1111 63 0 17435 0
vsize: 69992
[startup+1150.35 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21287 0 0 0 114908 145 0 0 25 0 1 0 835112660 71942144 16794 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17564 16794 1111 63 0 17501 0
vsize: 70256
[startup+1160.35 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21338 0 0 0 115907 146 0 0 25 0 1 0 835112660 72212480 16845 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17630 16845 1111 63 0 17567 0
vsize: 70520
[startup+1170.35 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21387 0 0 0 116907 147 0 0 25 0 1 0 835112660 72347648 16894 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17663 16894 1111 63 0 17600 0
vsize: 70652
[startup+1174.87 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 16206
Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21387 0 0 0 116907 147 0 0 25 0 1 0 835112660 72347648 16894 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17663 16894 1111 63 0 17600 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.05
CPU user time (s): 1173.54
CPU system time (s): 1.50777
CPU usage (%): 100.015
Max. virtual memory (Kb): 70652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####