PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 25712

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 22:42:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18124 boxname=wulflinc31 idbench=1395 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 18124
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        898052 kB
Buffers:         24452 kB
Cached:          89504 kB
SwapCached:        964 kB
Active:          57348 kB
Inactive:        58756 kB
HighTotal:      131008 kB
HighFree:        70504 kB
LowTotal:       903652 kB
LowFree:        827548 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            14804 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 23:02:21 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 18124 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1392 variables and 289 constraints.
c preprocess terminated 48.564 s
c Initial Lower Bound: 40
c Lower Bound Elapsed time: 0.15325
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 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): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (runsolver) D 16752 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 807983204 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 5947 0 0 0 977 19 0 0 25 0 1 0 807983204 27484160 5868 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6710 5868 1111 63 0 6647 0
vsize: 26840
[startup+20.0016 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 5995 0 0 0 1976 20 0 0 25 0 1 0 807983204 27758592 5916 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6777 5916 1111 63 0 6714 0
vsize: 27108
[startup+30.0025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 5995 0 0 0 2976 20 0 0 25 0 1 0 807983204 27758592 5916 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6777 5916 1111 63 0 6714 0
vsize: 27108
[startup+40.0029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 5995 0 0 0 3975 21 0 0 25 0 1 0 807983204 27758592 5916 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6777 5916 1111 63 0 6714 0
vsize: 27108
[startup+50.0041 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 6472 0 0 0 4974 23 0 0 25 0 1 0 807983204 27942912 6088 4294967295 134512640 134714508 3221221776 3221218432 1075966534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6822 6088 1111 63 0 6759 0
vsize: 27288
[startup+60.004 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 7889 0 0 0 5967 29 0 0 25 0 1 0 807983204 28024832 6099 4294967295 134512640 134714508 3221221776 3221219504 1075828490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6842 6099 1111 63 0 6779 0
vsize: 27368
[startup+70.0064 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 9771 0 0 0 6960 37 0 0 25 0 1 0 807983204 27783168 6088 4294967295 134512640 134714508 3221221776 3221219656 1077378596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6088 1111 63 0 6720 0
vsize: 27132
[startup+80.0068 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 11951 0 0 0 7952 45 0 0 25 0 1 0 807983204 28155904 6112 4294967295 134512640 134714508 3221221776 3221217956 1075115109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6874 6112 1111 63 0 6811 0
vsize: 27496
[startup+90.0068 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 14200 0 0 0 8943 54 0 0 25 0 1 0 807983204 27783168 6088 4294967295 134512640 134714508 3221221776 3221219496 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6088 1111 63 0 6720 0
vsize: 27132
[startup+100.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 16483 0 0 0 9935 62 0 0 25 0 1 0 807983204 27820032 6097 4294967295 134512640 134714508 3221221776 3221219812 1077374461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6097 1111 63 0 6729 0
vsize: 27168
[startup+110.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 18742 0 0 0 10926 72 0 0 25 0 1 0 807983204 27820032 6096 4294967295 134512640 134714508 3221221776 3221219888 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6096 1111 63 0 6729 0
vsize: 27168
[startup+120.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 21025 0 0 0 11918 80 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219200 1074056202 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+130.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 23212 0 0 0 12912 86 0 0 25 0 1 0 807983204 28008448 6115 4294967295 134512640 134714508 3221221776 3221218544 1076084179 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6838 6115 1111 63 0 6775 0
vsize: 27352
[startup+140.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 25098 0 0 0 13906 92 0 0 25 0 1 0 807983204 27820032 6090 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6090 1111 63 0 6729 0
vsize: 27168
[startup+150.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 27007 0 0 0 14900 98 0 0 25 0 1 0 807983204 27820032 6090 4294967295 134512640 134714508 3221221776 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6090 1111 63 0 6729 0
vsize: 27168
[startup+160.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 28920 0 0 0 15891 107 0 0 25 0 1 0 807983204 28004352 6109 4294967295 134512640 134714508 3221221776 3221218352 1076049226 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6837 6111 1111 63 0 6774 0
vsize: 27348
[startup+170.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 30920 0 0 0 16885 114 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219696 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+180.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 33030 0 0 0 17878 121 0 0 25 0 1 0 807983204 27852800 6101 4294967295 134512640 134714508 3221221776 3221219504 1075635444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6800 6101 1111 63 0 6737 0
vsize: 27200
[startup+190.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 35101 0 0 0 18870 129 0 0 25 0 1 0 807983204 28049408 6116 4294967295 134512640 134714508 3221221776 3221217716 1074786484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6848 6116 1111 63 0 6785 0
vsize: 27392
[startup+200.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 37266 0 0 0 19861 138 0 0 25 0 1 0 807983204 27860992 6099 4294967295 134512640 134714508 3221221776 3221218832 1074139130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6802 6099 1111 63 0 6739 0
vsize: 27208
[startup+210.01 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 39379 0 0 0 20853 146 0 0 25 0 1 0 807983204 27996160 6096 4294967295 134512640 134714508 3221221776 3221217888 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6835 6098 1111 63 0 6772 0
vsize: 27340
[startup+220.01 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 41435 0 0 0 21845 154 0 0 25 0 1 0 807983204 27815936 6091 4294967295 134512640 134714508 3221221776 3221219776 1074916941 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6091 1111 63 0 6728 0
vsize: 27164
[startup+230.011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 43439 0 0 0 22838 162 0 0 25 0 1 0 807983204 27820032 6090 4294967295 134512640 134714508 3221221776 3221219632 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6090 1111 63 0 6729 0
vsize: 27168
[startup+240.011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 45433 0 0 0 23830 169 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219992 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+250.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 47417 0 0 0 24823 177 0 0 25 0 1 0 807983204 28037120 6114 4294967295 134512640 134714508 3221221776 3221218984 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6845 6114 1111 63 0 6782 0
vsize: 27380
[startup+260.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 49487 0 0 0 25816 184 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219416 1077378297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+270.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 51574 0 0 0 26808 192 0 0 25 0 1 0 807983204 28041216 6116 4294967295 134512640 134714508 3221221776 3221218432 1075966250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6846 6116 1111 63 0 6783 0
vsize: 27384
[startup+280.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 53800 0 0 0 27800 200 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+290.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 55812 0 0 0 28793 208 0 0 25 0 1 0 807983204 27926528 6096 4294967295 134512640 134714508 3221221776 3221219696 1075799558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6096 1111 63 0 6755 0
vsize: 27272
[startup+300.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 57848 0 0 0 29786 215 0 0 25 0 1 0 807983204 27820032 6097 4294967295 134512640 134714508 3221221776 3221219692 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6097 1111 63 0 6729 0
vsize: 27168
[startup+310.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 59900 0 0 0 30779 222 0 0 25 0 1 0 807983204 27930624 6093 4294967295 134512640 134714508 3221221776 3221219360 1075818219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6093 1111 63 0 6756 0
vsize: 27276
[startup+320.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 61917 0 0 0 31771 230 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219984 1074153751 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+330.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 63758 0 0 0 32765 237 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219672 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+340.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 65673 0 0 0 33757 245 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219680 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+350.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 67509 0 0 0 34750 252 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219920 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+360.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 69473 0 0 0 35743 259 0 0 25 0 1 0 807983204 27922432 6092 4294967295 134512640 134714508 3221221776 3221219504 1075828847 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6817 6092 1111 63 0 6754 0
vsize: 27268
[startup+370.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 71549 0 0 0 36736 266 0 0 25 0 1 0 807983204 27820032 6098 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6098 1111 63 0 6729 0
vsize: 27168
[startup+380.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 73533 0 0 0 37729 273 0 0 25 0 1 0 807983204 28016640 6099 4294967295 134512640 134714508 3221221776 3221219504 1075828447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6840 6099 1111 63 0 6777 0
vsize: 27360
[startup+390.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 75475 0 0 0 38723 279 0 0 25 0 1 0 807983204 27820032 6091 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6091 1111 63 0 6729 0
vsize: 27168
[startup+400.016 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 77444 0 0 0 39717 286 0 0 25 0 1 0 807983204 27820032 6093 4294967295 134512640 134714508 3221221776 3221219504 1075635925 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6093 1111 63 0 6729 0
vsize: 27168
[startup+410.016 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 79317 0 0 0 40709 294 0 0 25 0 1 0 807983204 28041216 6115 4294967295 134512640 134714508 3221221776 3221217740 1074860614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6846 6115 1111 63 0 6783 0
vsize: 27384
[startup+420.016 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 81325 0 0 0 41703 299 0 0 25 0 1 0 807983204 28004352 6114 4294967295 134512640 134714508 3221221776 3221217984 1074790208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6837 6114 1111 63 0 6774 0
vsize: 27348
[startup+430.017 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 83230 0 0 0 42697 306 0 0 25 0 1 0 807983204 27820032 6091 4294967295 134512640 134714508 3221221776 3221219056 1074140013 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6091 1111 63 0 6729 0
vsize: 27168
[startup+440.017 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 85169 0 0 0 43689 314 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+450.017 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 87087 0 0 0 44682 321 0 0 25 0 1 0 807983204 27820032 6098 4294967295 134512640 134714508 3221221776 3221219552 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6098 1111 63 0 6729 0
vsize: 27168
[startup+460.018 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 89090 0 0 0 45675 328 0 0 25 0 1 0 807983204 27971584 6103 4294967295 134512640 134714508 3221221776 3221218800 1074810515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6829 6103 1111 63 0 6766 0
vsize: 27316
[startup+470.018 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 90991 0 0 0 46668 335 0 0 25 0 1 0 807983204 28000256 6100 4294967295 134512640 134714508 3221221776 3221218792 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6836 6100 1111 63 0 6773 0
vsize: 27344
[startup+480.019 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 92959 0 0 0 47661 343 0 0 25 0 1 0 807983204 27992064 6111 4294967295 134512640 134714508 3221221776 3221217772 1074873539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6111 1111 63 0 6771 0
vsize: 27336
[startup+490.019 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 94654 0 0 0 48653 351 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220192 1074116176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+500.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 96693 0 0 0 49645 359 0 0 25 0 1 0 807983204 27992064 6110 4294967295 134512640 134714508 3221221776 3221217772 1074873723 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6110 1111 63 0 6771 0
vsize: 27336
[startup+510.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 98662 0 0 0 50638 366 0 0 25 0 1 0 807983204 27815936 6092 4294967295 134512640 134714508 3221221776 3221219776 1074913875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6092 1111 63 0 6728 0
vsize: 27164
[startup+520.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 100691 0 0 0 51631 374 0 0 25 0 1 0 807983204 27996160 6110 4294967295 134512640 134714508 3221221776 3221217772 1074788168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6835 6110 1111 63 0 6772 0
vsize: 27340
[startup+530.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 102675 0 0 0 52624 380 0 0 25 0 1 0 807983204 27856896 6096 4294967295 134512640 134714508 3221221776 3221218880 1074138887 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6801 6096 1111 63 0 6738 0
vsize: 27204
[startup+540.021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 104656 0 0 0 53618 387 0 0 25 0 1 0 807983204 28004352 6102 4294967295 134512640 134714508 3221221776 3221218768 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6837 6102 1111 63 0 6774 0
vsize: 27348
[startup+550.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 106642 0 0 0 54611 394 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220112 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+560.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 108633 0 0 0 55605 401 0 0 25 0 1 0 807983204 27856896 6097 4294967295 134512640 134714508 3221221776 3221218832 1074139104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6801 6097 1111 63 0 6738 0
vsize: 27204
[startup+570.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 110481 0 0 0 56598 407 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219824 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+580.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 112485 0 0 0 57592 414 0 0 25 0 1 0 807983204 28033024 6111 4294967295 134512640 134714508 3221221776 3221218896 1074835561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6844 6111 1111 63 0 6781 0
vsize: 27376
[startup+590.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 114529 0 0 0 58585 421 0 0 25 0 1 0 807983204 27820032 6096 4294967295 134512640 134714508 3221221776 3221219512 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6096 1111 63 0 6729 0
vsize: 27168
[startup+600.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 116406 0 0 0 59579 427 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+610.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 118297 0 0 0 60573 433 0 0 25 0 1 0 807983204 27815936 6092 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6092 1111 63 0 6728 0
vsize: 27164
[startup+620.025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 120208 0 0 0 61566 441 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219744 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+630.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 122190 0 0 0 62560 447 0 0 25 0 1 0 807983204 28016640 6097 4294967295 134512640 134714508 3221221776 3221218840 1075007302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6840 6097 1111 63 0 6777 0
vsize: 27360
[startup+640.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 124200 0 0 0 63553 454 0 0 25 0 1 0 807983204 28033024 6114 4294967295 134512640 134714508 3221221776 3221217956 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6844 6114 1111 63 0 6781 0
vsize: 27376
[startup+650.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 126042 0 0 0 64545 462 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219600 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+660.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 128101 0 0 0 65537 470 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+670.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 130002 0 0 0 66529 479 0 0 25 0 1 0 807983204 27820032 6097 4294967295 134512640 134714508 3221221776 3221220424 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6097 1111 63 0 6729 0
vsize: 27168
[startup+680.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 131903 0 0 0 67520 487 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+690.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 133883 0 0 0 68512 496 0 0 25 0 1 0 807983204 27811840 6091 4294967295 134512640 134714508 3221221776 3221219792 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6091 1111 63 0 6727 0
vsize: 27160
[startup+700.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 135688 0 0 0 69507 501 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219696 1074153767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+710.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 137597 0 0 0 70499 509 0 0 25 0 1 0 807983204 27979776 6109 4294967295 134512640 134714508 3221221776 3221217772 1074873498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6831 6109 1111 63 0 6768 0
vsize: 27324
[startup+720.035 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 139726 0 0 0 71492 517 0 0 25 0 1 0 807983204 27815936 6096 4294967295 134512640 134714508 3221221776 3221220076 1074057894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6096 1111 63 0 6728 0
vsize: 27164
[startup+730.036 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 141801 0 0 0 72487 522 0 0 25 0 1 0 807983204 28000256 6095 4294967295 134512640 134714508 3221221776 3221218648 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6836 6095 1111 63 0 6773 0
vsize: 27344
[startup+740.036 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 143928 0 0 0 73480 529 0 0 25 0 1 0 807983204 27820032 6092 4294967295 134512640 134714508 3221221776 3221219728 1074916565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6792 6092 1111 63 0 6729 0
vsize: 27168
[startup+750.036 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 145977 0 0 0 74474 536 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221218840 1077377720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+760.037 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 147998 0 0 0 75466 543 0 0 25 0 1 0 807983204 27815936 6091 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6091 1111 63 0 6728 0
vsize: 27164
[startup+770.036 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 150045 0 0 0 76458 552 0 0 25 0 1 0 807983204 27951104 6102 4294967295 134512640 134714508 3221221776 3221217848 1074950160 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6824 6102 1111 63 0 6761 0
vsize: 27296
[startup+780.036 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 152055 0 0 0 77452 558 0 0 25 0 1 0 807983204 28000256 6097 4294967295 134512640 134714508 3221221776 3221219504 1075829530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6836 6097 1111 63 0 6773 0
vsize: 27344
[startup+790.036 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 153982 0 0 0 78445 565 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+800.037 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 156071 0 0 0 79440 571 0 0 25 0 1 0 807983204 28024832 6112 4294967295 134512640 134714508 3221221776 3221218768 1075971413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6842 6112 1111 63 0 6779 0
vsize: 27368
[startup+810.037 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 158177 0 0 0 80432 578 0 0 25 0 1 0 807983204 27987968 6098 4294967295 134512640 134714508 3221221776 3221218800 1075896030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6094 1111 63 0 6727 0
vsize: 27332
[startup+820.037 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 160191 0 0 0 81426 584 0 0 25 0 1 0 807983204 27815936 6097 4294967295 134512640 134714508 3221221776 3221219256 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6097 1111 63 0 6728 0
vsize: 27164
[startup+830.038 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 162260 0 0 0 82417 593 0 0 25 0 1 0 807983204 27987968 6110 4294967295 134512640 134714508 3221221776 3221217728 1075965301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6833 6110 1111 63 0 6770 0
vsize: 27332
[startup+840.038 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 164358 0 0 0 83410 601 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219596 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+850.039 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 166497 0 0 0 84403 608 0 0 25 0 1 0 807983204 27815936 6096 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6096 1111 63 0 6728 0
vsize: 27164
[startup+860.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 168626 0 0 0 85396 615 0 0 25 0 1 0 807983204 27815936 6096 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6096 1111 63 0 6728 0
vsize: 27164
[startup+870.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 170739 0 0 0 86388 623 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+880.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 172854 0 0 0 87382 630 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219792 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+890.039 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 174974 0 0 0 88375 637 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219744 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+900.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 177017 0 0 0 89369 643 0 0 25 0 1 0 807983204 27844608 6091 4294967295 134512640 134714508 3221221776 3221219776 1074916974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6798 6091 1111 63 0 6735 0
vsize: 27192
[startup+910.041 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 179178 0 0 0 90361 651 0 0 25 0 1 0 807983204 27922432 6094 4294967295 134512640 134714508 3221221776 3221219632 1075799747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6817 6094 1111 63 0 6754 0
vsize: 27268
[startup+920.041 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 181257 0 0 0 91354 658 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220128 1074119057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+930.041 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 183410 0 0 0 92347 666 0 0 25 0 1 0 807983204 28024832 6110 4294967295 134512640 134714508 3221221776 3221218040 1074950108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6842 6110 1111 63 0 6779 0
vsize: 27368
[startup+940.041 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 185497 0 0 0 93340 673 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219472 1075640375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+950.042 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 187579 0 0 0 94334 679 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219988 1077374488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+960.042 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 189613 0 0 0 95326 687 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220024 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+970.042 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 191724 0 0 0 96320 693 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220080 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+980.043 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 193820 0 0 0 97313 701 0 0 25 0 1 0 807983204 27996160 6112 4294967295 134512640 134714508 3221221776 3221218304 1076052561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6835 6112 1111 63 0 6772 0
vsize: 27340
[startup+990.043 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 195904 0 0 0 98305 708 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219700 1077374461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 198057 0 0 0 99298 716 0 0 25 0 1 0 807983204 27996160 6111 4294967295 134512640 134714508 3221221776 3221217948 1074878552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6835 6111 1111 63 0 6772 0
vsize: 27340
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 200124 0 0 0 100290 724 0 0 25 0 1 0 807983204 27811840 6095 4294967295 134512640 134714508 3221221776 3221219920 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6095 1111 63 0 6727 0
vsize: 27160
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 202214 0 0 0 101283 731 0 0 25 0 1 0 807983204 27992064 6113 4294967295 134512640 134714508 3221221776 3221217712 1074875093 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6834 6113 1111 63 0 6771 0
vsize: 27336
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 16753
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 204362 0 0 0 102275 739 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219568 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+1040.05 s]
Raw data (loadavg): 1.08 1.00 1.00 3/60 16779
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 206482 0 0 0 103269 746 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+1050.05 s]
Raw data (loadavg): 1.14 1.02 1.00 2/55 16807
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 208447 0 0 0 104260 754 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219944 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+1060.05 s]
Raw data (loadavg): 1.12 1.02 1.00 2/55 16807
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 210652 0 0 0 105251 763 0 0 25 0 1 0 807983204 27811840 6095 4294967295 134512640 134714508 3221221776 3221220108 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6095 1111 63 0 6727 0
vsize: 27160
[startup+1070.05 s]
Raw data (loadavg): 1.10 1.01 1.00 2/55 16807
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 212874 0 0 0 106243 772 0 0 25 0 1 0 807983204 27811840 6090 4294967295 134512640 134714508 3221221776 3221219776 1074917897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6090 1111 63 0 6727 0
vsize: 27160
[startup+1080.05 s]
Raw data (loadavg): 1.08 1.01 1.00 2/55 16807
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 215042 0 0 0 107235 781 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219816 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+1090.05 s]
Raw data (loadavg): 1.07 1.01 1.00 2/55 16807
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 217110 0 0 0 108227 788 0 0 25 0 1 0 807983204 27922432 6092 4294967295 134512640 134714508 3221221776 3221219504 1075828535 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6817 6092 1111 63 0 6754 0
vsize: 27268
[startup+1100.05 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 16807
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 219229 0 0 0 109220 796 0 0 25 0 1 0 807983204 27987968 6110 4294967295 134512640 134714508 3221221776 3221217732 1074875883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6833 6111 1111 63 0 6770 0
vsize: 27332
[startup+1110.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 16809
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 221361 0 0 0 110212 803 0 0 25 0 1 0 807983204 27922432 6092 4294967295 134512640 134714508 3221221776 3221219504 1075829506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6817 6092 1111 63 0 6754 0
vsize: 27268
[startup+1120.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 16809
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 223511 0 0 0 111205 811 0 0 25 0 1 0 807983204 27992064 6110 4294967295 134512640 134714508 3221221776 3221217936 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6834 6110 1111 63 0 6771 0
vsize: 27336
[startup+1130.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 16809
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 225642 0 0 0 112198 818 0 0 25 0 1 0 807983204 27918336 6092 4294967295 134512640 134714508 3221221776 3221219504 1075828473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6816 6092 1111 63 0 6753 0
vsize: 27264
[startup+1140.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 16809
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 227756 0 0 0 113190 826 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+1150.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 16809
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 229968 0 0 0 114181 836 0 0 25 0 1 0 807983204 27811840 6095 4294967295 134512640 134714508 3221221776 3221220024 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6095 1111 63 0 6727 0
vsize: 27160
[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 16809
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 232174 0 0 0 115173 843 0 0 25 0 1 0 807983204 27783168 6090 4294967295 134512640 134714508 3221221776 3221220128 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6783 6090 1111 63 0 6720 0
vsize: 27132
[startup+1170.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 16809
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 234479 0 0 0 116165 851 0 0 25 0 1 0 807983204 27987968 6109 4294967295 134512640 134714508 3221221776 3221217740 1074860566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6833 6109 1111 63 0 6770 0
vsize: 27332
[startup+1175.01 s]
Raw data (loadavg): 1.02 1.00 1.00 1/54 16809
Raw data (stat): 16753 (bsolo_lpr_cuts) R 16752 7876 7672 0 -1 0 234479 0 0 0 116165 851 0 0 25 0 1 0 807983204 27987968 6109 4294967295 134512640 134714508 3221221776 3221217740 1074860566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6833 6109 1111 63 0 6770 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.14
CPU user time (s): 1166.56
CPU system time (s): 8.5747
CPU usage (%): 100.011
Max. virtual memory (Kb): 27496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####