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/miplib/normalized-mps-v2-13-7-flugpl.opb
MD5SUM	61de485815c789896436963a585e8ab7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1843200
Optimality of the best value was proved	NO
Number of terms in the objective function	195
Biggest coefficient in the objective function	47185920
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	103639200
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	78643200
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	159755625
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.183971
Number of variables	195
Total number of constraints	29
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	29
Minimum length of a constraint	5
Maximum length of a constraint	45
Trace number 27499

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        869300 kB
Buffers:          8136 kB
Cached:         135912 kB
SwapCached:        112 kB
Active:          23852 kB
Inactive:       123168 kB
HighTotal:      131008 kB
HighFree:        65184 kB
LowTotal:       903652 kB
LowFree:        804116 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            12692 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:30:59 (client local time) WITH STATUS 10 IN 1179.68 SECONDS
stats: 16850 0 1179.68 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 195 variables and 35 constraints.
c After prepocess the problem consists of 159 variables and 33 constraints.
c preprocess terminated 0.081 s
c Initial Lower Bound: 1685679
c Lower Bound Elapsed time: 0.018
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1874696 @ 1.352
c NEW SOLUTION FOUND: 1873160 @ 1.358
c NEW SOLUTION FOUND: 1866000 @ 1.364
c NEW SOLUTION FOUND: 1865744 @ 1.364
c NEW SOLUTION FOUND: 1865736 @ 1.368
c NEW SOLUTION FOUND: 1864456 @ 1.374
c NEW SOLUTION FOUND: 1864452 @ 1.393
c NEW SOLUTION FOUND: 1864450 @ 6.399
c NEW SOLUTION FOUND: 1864449 @ 19.95
c NEW SOLUTION FOUND: 1862034 @ 20.782
c NEW SOLUTION FOUND: 1862033 @ 20.81
c NEW SOLUTION FOUND: 1861009 @ 20.811
c NEW SOLUTION FOUND: 1860993 @ 20.84
c NEW SOLUTION FOUND: 1860865 @ 20.882
c NEW SOLUTION FOUND: 1860353 @ 20.899
c NEW SOLUTION FOUND: 1860024 @ 21.938
c NEW SOLUTION FOUND: 1860008 @ 22.069
c NEW SOLUTION FOUND: 1860004 @ 22.68
c NEW SOLUTION FOUND: 1859900 @ 23.111
c NEW SOLUTION FOUND: 1859884 @ 23.151
c NEW SOLUTION FOUND: 1859880 @ 23.236
c NEW SOLUTION FOUND: 1859876 @ 23.245
c NEW SOLUTION FOUND: 1859875 @ 26.539
c NEW SOLUTION FOUND: 1859874 @ 28.203
c NEW SOLUTION FOUND: 1859873 @ 31.509
c NEW SOLUTION FOUND: 1859368 @ 32.621
c NEW SOLUTION FOUND: 1859364 @ 36.031
c NEW SOLUTION FOUND: 1859362 @ 40.626
c NEW SOLUTION FOUND: 1859361 @ 61.082
c NEW SOLUTION FOUND: 1859347 @ 68.267
c NEW SOLUTION FOUND: 1859343 @ 70.817
c NEW SOLUTION FOUND: 1859340 @ 71.396
c NEW SOLUTION FOUND: 1859339 @ 71.629
c NEW SOLUTION FOUND: 1859336 @ 72.369
c NEW SOLUTION FOUND: 1859335 @ 74.053
c NEW SOLUTION FOUND: 1859332 @ 80.704
c NEW SOLUTION FOUND: 1859331 @ 83.551
c NEW SOLUTION FOUND: 1859330 @ 109.355
c NEW SOLUTION FOUND: 1859329 @ 120.113
c NEW SOLUTION FOUND: 1859328 @ 1153.64
s SATISFIABLE
v -STM1_bit_7 -STM1_bit_6 -STM1_bit_5 -STM1_bit_4 -STM1_bit_3 -STM1_bit_2 -STM1_bit_1 -STM1_bit0 -STM1_bit1 STM1_bit2 STM1_bit3 STM1_bit4 STM1_bit5 -STM1_bit6 -STM1_bit7 -STM1_bit8 -STM1_bit9 -STM1_bit10 -STM1_bit11 -STM1_bit12 -ANM1_bit0 ANM1_bit1 ANM1_bit2 -ANM1_bit3 -ANM1_bit4 -UE1_bit_7 -UE1_bit_6 -UE1_bit_5 -UE1_bit_4 -UE1_bit_3 -UE1_bit_2 -UE1_bit_1 -UE1_bit0 -UE1_bit1 -UE1_bit2 -UE1_bit3 -UE1_bit4 -UE1_bit5 -UE1_bit6 -UE1_bit7 -UE1_bit8 -UE1_bit9 -UE1_bit10 -UE1_bit11 -UE1_bit12 STM2_bit0 STM2_bit1 -STM2_bit2 -STM2_bit3 -STM2_bit4 -ANM2_bit0 ANM2_bit1 ANM2_bit2 -ANM2_bit3 -ANM2_bit4 -UE2_bit_7 -UE2_bit_6 -UE2_bit_5 -UE2_bit_4 -UE2_bit_3 -UE2_bit_2 -UE2_bit_1 -UE2_bit0 -UE2_bit1 -UE2_bit2 -UE2_bit3 -UE2_bit4 -UE2_bit5 -UE2_bit6 UE2_bit7 -UE2_bit8 UE2_bit9 -UE2_bit10 -UE2_bit11 -UE2_bit12 STM3_bit0 STM3_bit1 -STM3_bit2 -STM3_bit3 -STM3_bit4 -ANM3_bit0 -ANM3_bit1 -ANM3_bit2 -ANM3_bit3 ANM3_bit4 -UE3_bit_7 -UE3_bit_6 -UE3_bit_5 -UE3_bit_4 -UE3_bit_3 -UE3_bit_2 -UE3_bit_1 -UE3_bit0 -UE3_bit1 -UE3_bit2 UE3_bit3 UE3_bit4 -UE3_bit5 UE3_bit6 -UE3_bit7 -UE3_bit8 UE3_bit9 -UE3_bit10 -UE3_bit11 -UE3_bit12 STM4_bit0 -STM4_bit1 STM4_bit2 STM4_bit3 -STM4_bit4 ANM4_bit0 ANM4_bit1 ANM4_bit2 -ANM4_bit3 -ANM4_bit4 -UE4_bit_7 -UE4_bit_6 -UE4_bit_5 -UE4_bit_4 -UE4_bit_3 -UE4_bit_2 -UE4_bit_1 -UE4_bit0 -UE4_bit1 -UE4_bit2 -UE4_bit3 -UE4_bit4 -UE4_bit5 -UE4_bit6 -UE4_bit7 UE4_bit8 -UE4_bit9 -UE4_bit10 -UE4_bit11 -UE4_bit12 STM5_bit0 -STM5_bit1 STM5_bit2 STM5_bit3 -STM5_bit4 ANM5_bit0 -ANM5_bit1 -ANM5_bit2 ANM5_bit3 -ANM5_bit4 -UE5_bit_7 -UE5_bit_6 -UE5_bit_5 -UE5_bit_4 -UE5_bit_3 -UE5_bit_2 -UE5_bit_1 -UE5_bit0 -UE5_bit1 -UE5_bit2 -UE5_bit3 -UE5_bit4 -UE5_bit5 -UE5_bit6 -UE5_bit7 -UE5_bit8 -UE5_bit9 -UE5_bit10 -UE5_bit11 -UE5_bit12 STM6_bit0 STM6_bit1 STM6_bit2 STM6_bit3 -STM6_bit4 -ANM6_bit0 -ANM6_bit1 -ANM6_bit2 -ANM6_bit3 -ANM6_bit4 -UE6_bit_7 -UE6_bit_6 -UE6_bit_5 -UE6_bit_4 -UE6_bit_3 -UE6_bit_2 -UE6_bit_1 -UE6_bit0 -UE6_bit1 -UE6_bit2 -UE6_bit3 UE6_bit4 UE6_bit5 -UE6_bit6 UE6_bit7 -UE6_bit8 -UE6_bit9 UE6_bit10 -UE6_bit11 -UE6_bit12 
c Exit Code: 10
c Total time: 1179.63 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.95 2/54 25886
Raw data (stat): 25886 (runsolver) R 25885 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775508404 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99994 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 8201 0 0 0 956 41 0 0 25 0 1 0 775508404 9404416 1574 4294967295 134512640 134714508 3221224592 3221223384 134542401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2296 1574 1111 63 0 2233 0
vsize: 9184
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 22823 0 0 0 1915 82 0 0 25 0 1 0 775508404 12156928 2245 4294967295 134512640 134714508 3221224592 3221220800 1076111597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2968 2245 1111 63 0 2905 0
vsize: 11872
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 46690 0 0 0 2849 148 0 0 25 0 1 0 775508404 16105472 3250 4294967295 134512640 134714508 3221224592 3221222956 1077404746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3932 3250 1111 63 0 3869 0
vsize: 15728
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 67508 0 0 0 3798 200 0 0 25 0 1 0 775508404 19120128 3934 4294967295 134512640 134714508 3221224592 3221220988 1075114064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4668 3934 1111 63 0 4605 0
vsize: 18672
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 83956 0 0 0 4755 243 0 0 25 0 1 0 775508404 21544960 4575 4294967295 134512640 134714508 3221224592 3221222680 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5260 4575 1111 63 0 5197 0
vsize: 21040
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 100005 0 0 0 5715 283 0 0 25 0 1 0 775508404 23150592 4973 4294967295 134512640 134714508 3221224592 3221223008 1074117096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5652 4973 1111 63 0 5589 0
vsize: 22608
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 113489 0 0 0 6682 315 0 0 25 0 1 0 775508404 24588288 5265 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6003 5265 1111 63 0 5940 0
vsize: 24012
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 131111 0 0 0 7636 361 0 0 25 0 1 0 775508404 26656768 5796 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6508 5796 1111 63 0 6445 0
vsize: 26032
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 145743 0 0 0 8599 399 0 0 25 0 1 0 775508404 28499968 6204 4294967295 134512640 134714508 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6958 6204 1111 63 0 6895 0
vsize: 27832
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 159603 0 0 0 9562 436 0 0 25 0 1 0 775508404 29708288 6485 4294967295 134512640 134714508 3221224592 3221222232 1075850523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7253 6485 1111 63 0 7190 0
vsize: 29012
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 171176 0 0 0 10533 465 0 0 25 0 1 0 775508404 30380032 6709 4294967295 134512640 134714508 3221224592 3221221656 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6716 1111 63 0 7354 0
vsize: 29668
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 179944 0 0 0 11509 490 0 0 25 0 1 0 775508404 31113216 6852 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7596 6852 1111 63 0 7533 0
vsize: 30384
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 209349 0 0 0 12445 554 0 0 25 0 1 0 775508404 34631680 7505 4294967295 134512640 134714508 3221224592 3221221212 1075850592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8319 7499 1111 63 0 8256 0
vsize: 33820
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 242703 0 0 0 13376 623 0 0 25 0 1 0 775508404 37355520 8288 4294967295 134512640 134714508 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9120 8288 1111 63 0 9057 0
vsize: 36480
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 267337 0 0 0 14322 677 0 0 25 0 1 0 775508404 39424000 8666 4294967295 134512640 134714508 3221224592 3221221648 1075277701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9625 8666 1111 63 0 9562 0
vsize: 38500
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 290625 0 0 0 15268 731 0 0 25 0 1 0 775508404 40779776 9119 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9119 1111 63 0 9893 0
vsize: 39824
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 306566 0 0 0 16232 767 0 0 25 0 1 0 775508404 41947136 9420 4294967295 134512640 134714508 3221224592 3221222928 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10241 9420 1111 63 0 10178 0
vsize: 40964
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 315223 0 0 0 17212 788 0 0 25 0 1 0 775508404 46342144 10250 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11314 10250 1111 63 0 11251 0
vsize: 45256
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 343480 0 0 0 18144 856 0 0 25 0 1 0 775508404 46047232 10041 4294967295 134512640 134714508 3221224592 3221220864 1074961183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11242 10041 1111 63 0 11179 0
vsize: 44968
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 380250 0 0 0 19062 938 0 0 25 0 1 0 775508404 47394816 10402 4294967295 134512640 134714508 3221224592 3221220928 1075114279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11571 10402 1111 63 0 11508 0
vsize: 46284
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 405490 0 0 0 20001 999 0 0 25 0 1 0 775508404 48365568 10641 4294967295 134512640 134714508 3221224592 3221221148 1075509044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11808 10641 1111 63 0 11745 0
vsize: 47232
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 423788 0 0 0 20956 1045 0 0 25 0 1 0 775508404 47239168 10681 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11533 10681 1111 63 0 11470 0
vsize: 46132
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 454328 0 0 0 21886 1114 0 0 25 0 1 0 775508404 50929664 11201 4294967295 134512640 134714508 3221224592 3221221168 1076043624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12434 11201 1111 63 0 12371 0
vsize: 49736
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 486697 0 0 0 22813 1188 0 0 25 0 1 0 775508404 52121600 11421 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12725 11431 1111 63 0 12662 0
vsize: 50900
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 519331 0 0 0 23737 1264 0 0 25 0 1 0 775508404 53366784 11853 4294967295 134512640 134714508 3221224592 3221220800 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13029 11853 1111 63 0 12966 0
vsize: 52116
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 541523 0 0 0 24684 1317 0 0 25 0 1 0 775508404 52363264 11911 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12784 11911 1111 63 0 12721 0
vsize: 51136
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 549912 0 1 0 25663 1337 0 0 25 0 1 0 775508404 52547584 11981 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12829 11981 1111 63 0 12766 0
vsize: 51316
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 567723 0 1 0 26622 1378 0 0 25 0 1 0 775508404 52985856 12088 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12936 12088 1111 63 0 12873 0
vsize: 51744
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 588397 0 1 0 27573 1428 0 0 25 0 1 0 775508404 53809152 12258 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 12258 1111 63 0 13074 0
vsize: 52548
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 608197 0 1 0 28523 1478 0 0 25 0 1 0 775508404 56012800 12480 4294967295 134512640 134714508 3221224592 3221220820 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13675 12480 1111 63 0 13612 0
vsize: 54700
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 619317 0 1 0 29496 1506 0 0 25 0 1 0 775508404 58048512 13013 4294967295 134512640 134714508 3221224592 3221220556 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14172 13013 1111 63 0 14109 0
vsize: 56688
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 646660 0 1 0 30431 1570 0 0 25 0 1 0 775508404 56774656 12584 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13861 12595 1111 63 0 13798 0
vsize: 55444
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 666963 0 1 0 31380 1622 0 0 25 0 1 0 775508404 58810368 12827 4294967295 134512640 134714508 3221224592 3221220540 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14358 12827 1111 63 0 14295 0
vsize: 57432
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 684214 0 1 0 32339 1663 0 0 25 0 1 0 775508404 59346944 12937 4294967295 134512640 134714508 3221224592 3221220960 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14489 12937 1111 63 0 14426 0
vsize: 57956
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 697756 0 1 0 33305 1697 0 0 25 0 1 0 775508404 56549376 12930 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13806 12930 1111 63 0 13743 0
vsize: 55224
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 712313 0 1 0 34268 1734 0 0 25 0 1 0 775508404 59101184 13246 4294967295 134512640 134714508 3221224592 3221221656 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14429 13246 1111 63 0 14366 0
vsize: 57716
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 719996 0 1 0 35249 1753 0 0 25 0 1 0 775508404 58912768 13195 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14383 13195 1111 63 0 14320 0
vsize: 57532
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 750241 0 1 0 36178 1825 0 0 25 0 1 0 775508404 57884672 13284 4294967295 134512640 134714508 3221224592 3221222240 1075817690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14132 13284 1111 63 0 14069 0
vsize: 56528
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 766971 0 1 0 37138 1864 0 0 25 0 1 0 775508404 58449920 13394 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14270 13394 1111 63 0 14207 0
vsize: 57080
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 785767 0 1 0 38093 1910 0 0 25 0 1 0 775508404 58826752 13517 4294967295 134512640 134714508 3221224592 3221222812 1074206272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 13517 1111 63 0 14299 0
vsize: 57448
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 794199 0 1 0 39072 1931 0 0 25 0 1 0 775508404 59523072 13687 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14532 13687 1111 63 0 14469 0
vsize: 58128
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 798957 0 1 0 40061 1943 0 0 25 0 1 0 775508404 62681088 14206 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15303 14206 1111 63 0 15240 0
vsize: 61212
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 803435 0 1 0 41050 1954 0 0 25 0 1 0 775508404 63721472 14453 4294967295 134512640 134714508 3221224592 3221220588 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15557 14453 1111 63 0 15494 0
vsize: 62228
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 832992 0 1 0 41980 2024 0 0 25 0 1 0 775508404 65298432 14480 4294967295 134512640 134714508 3221224592 3221220552 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15942 14480 1111 63 0 15879 0
vsize: 63768
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 849902 0 1 0 42939 2065 0 0 25 0 1 0 775508404 65675264 14452 4294967295 134512640 134714508 3221224592 3221222160 1075972440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16034 14452 1111 63 0 15971 0
vsize: 64136
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 871468 0 1 0 43886 2118 0 0 25 0 1 0 775508404 64655360 14679 4294967295 134512640 134714508 3221224592 3221223336 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15785 14679 1111 63 0 15722 0
vsize: 63140
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 903598 0 1 0 44809 2195 0 0 25 0 1 0 775508404 67563520 15028 4294967295 134512640 134714508 3221224592 3221220620 1074861125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16495 15028 1111 63 0 16432 0
vsize: 65980
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 924266 0 1 0 45761 2244 0 0 25 0 1 0 775508404 66506752 15132 4294967295 134512640 134714508 3221224592 3221222592 1074915844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16237 15132 1111 63 0 16174 0
vsize: 64948
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 938005 0 1 0 46726 2279 0 0 25 0 1 0 775508404 66928640 15203 4294967295 134512640 134714508 3221224592 3221222848 1074153466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16340 15203 1111 63 0 16277 0
vsize: 65360
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 953219 0 1 0 47691 2314 0 0 25 0 1 0 775508404 69459968 15443 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16958 15453 1111 63 0 16895 0
vsize: 67832
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 985534 0 1 0 48615 2390 0 0 25 0 1 0 775508404 70668288 15662 4294967295 134512640 134714508 3221224592 3221221904 1076083584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17253 15662 1111 63 0 17190 0
vsize: 69012
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 998800 0 1 0 49580 2425 0 0 25 0 1 0 775508404 72564736 15904 4294967295 134512640 134714508 3221224592 3221220800 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17716 15904 1111 63 0 17653 0
vsize: 70864
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1012112 0 1 0 50546 2460 0 0 25 0 1 0 775508404 74121216 16454 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18096 16454 1111 63 0 18033 0
vsize: 72384
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1021808 0 1 0 51523 2483 0 0 25 0 1 0 775508404 69894144 15938 4294967295 134512640 134714508 3221224592 3221223396 134622416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17064 15938 1111 63 0 17001 0
vsize: 68256
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1035991 0 1 0 52487 2519 0 0 25 0 1 0 775508404 72286208 16153 4294967295 134512640 134714508 3221224592 3221220540 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17648 16153 1111 63 0 17585 0
vsize: 70592
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1046544 0 1 0 53460 2547 0 0 25 0 1 0 775508404 71581696 16294 4294967295 134512640 134714508 3221224592 3221223376 134622318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17476 16294 1111 63 0 17413 0
vsize: 69904
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1059800 0 1 0 54428 2579 0 0 25 0 1 0 775508404 71110656 16237 4294967295 134512640 134714508 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17361 16237 1111 63 0 17298 0
vsize: 69444
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1072362 0 1 0 55397 2610 0 0 25 0 1 0 775508404 71327744 16290 4294967295 134512640 134714508 3221224592 3221222592 1074918968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17414 16290 1111 63 0 17351 0
vsize: 69656
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1090012 0 1 0 56354 2653 0 0 25 0 1 0 775508404 74964992 16477 4294967295 134512640 134714508 3221224592 3221220552 1074789581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18302 16477 1111 63 0 18239 0
vsize: 73208
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1101183 0 1 0 57329 2678 0 0 25 0 1 0 775508404 74043392 16431 4294967295 134512640 134714508 3221224592 3221222124 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18077 16432 1111 63 0 18014 0
vsize: 72308
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1118413 0 1 0 58289 2718 0 0 25 0 1 0 775508404 72679424 16595 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17744 16595 1111 63 0 17681 0
vsize: 70976
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1124434 0 1 0 59275 2732 0 0 25 0 1 0 775508404 73433088 16790 4294967295 134512640 134714508 3221224592 3221223392 134622271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17928 16790 1111 63 0 17865 0
vsize: 71712
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1138737 0 1 0 60242 2765 0 0 25 0 1 0 775508404 77447168 17482 4294967295 134512640 134714508 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18908 17482 1111 63 0 18845 0
vsize: 75632
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1145425 0 1 0 61226 2781 0 0 25 0 1 0 775508404 74366976 16977 4294967295 134512640 134714508 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18156 16977 1111 63 0 18093 0
vsize: 72624
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1152011 0 1 0 62211 2797 0 0 25 0 1 0 775508404 74440704 16989 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18174 16989 1111 63 0 18111 0
vsize: 72696
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1157500 0 1 0 63198 2810 0 0 25 0 1 0 775508404 73768960 16876 4294967295 134512640 134714508 3221224592 3221223372 134542422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18010 16876 1111 63 0 17947 0
vsize: 72040
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1162795 0 1 0 64186 2823 0 0 25 0 1 0 775508404 74711040 17084 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18240 17084 1111 63 0 18177 0
vsize: 72960
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1165557 0 1 0 65181 2828 0 0 25 0 1 0 775508404 75214848 17105 4294967295 134512640 134714508 3221224592 3221222256 1074865092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18363 17105 1111 63 0 18300 0
vsize: 73452
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1171234 0 1 0 66168 2841 0 0 25 0 1 0 775508404 74399744 17013 4294967295 134512640 134714508 3221224592 3221223392 134622273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18164 17013 1111 63 0 18101 0
vsize: 72656
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1195211 0 1 0 67115 2894 0 0 25 0 1 0 775508404 74772480 17141 4294967295 134512640 134714508 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18255 17141 1111 63 0 18192 0
vsize: 73020
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1218304 0 1 0 68063 2947 0 0 25 0 1 0 775508404 79069184 17834 4294967295 134512640 134714508 3221224592 3221220960 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19304 17834 1111 63 0 19241 0
vsize: 77216
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1235920 0 1 0 69023 2986 0 0 25 0 1 0 775508404 78114816 17471 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19071 17482 1111 63 0 19008 0
vsize: 76284
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1250332 0 1 0 69990 3020 0 0 25 0 1 0 775508404 77279232 17730 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18867 17730 1111 63 0 18804 0
vsize: 75468
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1256859 0 1 0 70975 3035 0 0 25 0 1 0 775508404 80097280 17759 4294967295 134512640 134714508 3221224592 3221220800 1074815208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19555 17759 1111 63 0 19492 0
vsize: 78220
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1272248 0 1 0 71941 3069 0 0 25 0 1 0 775508404 79327232 17882 4294967295 134512640 134714508 3221224592 3221220632 1074860373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19367 17882 1111 63 0 19304 0
vsize: 77468
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1298032 0 1 0 72884 3126 0 0 25 0 1 0 775508404 80130048 18064 4294967295 134512640 134714508 3221224592 3221220960 1075894480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19563 18064 1111 63 0 19500 0
vsize: 78252
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1306625 0 1 0 73866 3145 0 0 25 0 1 0 775508404 78315520 17993 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19120 17993 1111 63 0 19057 0
vsize: 76480
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1328635 0 1 0 74815 3195 0 0 25 0 1 0 775508404 79245312 18215 4294967295 134512640 134714508 3221224592 3221222880 1074207681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19347 18215 1111 63 0 19284 0
vsize: 77388
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1333198 0 1 0 75805 3205 0 0 25 0 1 0 775508404 79245312 18215 4294967295 134512640 134714508 3221224592 3221221872 1074140035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19347 18215 1111 63 0 19284 0
vsize: 77388
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1344995 0 1 0 76780 3231 0 0 25 0 1 0 775508404 82685952 18800 4294967295 134512640 134714508 3221224592 3221220960 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20187 18800 1111 63 0 20124 0
vsize: 80748
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1349427 0 1 0 77771 3240 0 0 25 0 1 0 775508404 79441920 18263 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19395 18263 1111 63 0 19332 0
vsize: 77580
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1358701 0 1 0 78748 3263 0 0 25 0 1 0 775508404 79605760 18303 4294967295 134512640 134714508 3221224592 3221223408 134622335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18303 1111 63 0 19372 0
vsize: 77740
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1367529 0 1 0 79727 3285 0 0 25 0 1 0 775508404 79581184 18297 4294967295 134512640 134714508 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19429 18297 1111 63 0 19366 0
vsize: 77716
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1373277 0 1 0 80715 3297 0 0 25 0 1 0 775508404 82153472 18629 4294967295 134512640 134714508 3221224592 3221220864 1074961244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20057 18629 1111 63 0 19994 0
vsize: 80228
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1387806 0 1 0 81681 3331 0 0 25 0 1 0 775508404 79757312 18340 4294967295 134512640 134714508 3221224592 3221222668 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19472 18340 1111 63 0 19409 0
vsize: 77888
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1408762 0 1 0 82630 3382 0 0 25 0 1 0 775508404 82436096 18555 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20126 18565 1111 63 0 20063 0
vsize: 80504
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1426614 0 1 0 83586 3426 0 0 25 0 1 0 775508404 80896000 18625 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19750 18625 1111 63 0 19687 0
vsize: 79000
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1437504 0 1 0 84559 3453 0 0 25 0 1 0 775508404 85823488 19611 4294967295 134512640 134714508 3221224592 3221220800 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20953 19611 1111 63 0 20890 0
vsize: 83812
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1449243 0 1 0 85531 3481 0 0 25 0 1 0 775508404 83595264 18755 4294967295 134512640 134714508 3221224592 3221222160 1075972440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20409 18755 1111 63 0 20346 0
vsize: 81636
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1485533 0 1 0 86452 3561 0 0 25 0 1 0 775508404 83144704 19131 4294967295 134512640 134714508 3221224592 3221223380 134622317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20299 19131 1111 63 0 20236 0
vsize: 81196
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1497110 0 1 0 87427 3587 0 0 25 0 1 0 775508404 85909504 19456 4294967295 134512640 134714508 3221224592 3221220864 1074808036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20974 19456 1111 63 0 20911 0
vsize: 83896
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1513970 0 1 0 88386 3628 0 0 25 0 1 0 775508404 83927040 19322 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20490 19322 1111 63 0 20427 0
vsize: 81960
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1525781 0 1 0 89357 3657 0 0 25 0 1 0 775508404 87859200 19931 4294967295 134512640 134714508 3221224592 3221221144 1075397061 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21450 19931 1111 63 0 21387 0
vsize: 85800
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1538834 0 1 0 90325 3688 0 0 25 0 1 0 775508404 84578304 19467 4294967295 134512640 134714508 3221224592 3221222320 1075828615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20649 19467 1111 63 0 20586 0
vsize: 82596
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1555892 0 1 0 91282 3732 0 0 25 0 1 0 775508404 84959232 19564 4294967295 134512640 134714508 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20742 19564 1111 63 0 20679 0
vsize: 82968
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1558847 0 1 0 92274 3740 0 0 25 0 1 0 775508404 88850432 19936 4294967295 134512640 134714508 3221224592 3221220820 1075115028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21692 19936 1111 63 0 21629 0
vsize: 86768
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1569847 0 1 0 93249 3766 0 0 25 0 1 0 775508404 85311488 19635 4294967295 134512640 134714508 3221224592 3221222892 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20828 19635 1111 63 0 20765 0
vsize: 83312
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1580448 0 1 0 94224 3791 0 0 25 0 1 0 775508404 88743936 20170 4294967295 134512640 134714508 3221224592 3221221092 1074846210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21666 20170 1111 63 0 21603 0
vsize: 86664
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1593302 0 1 0 95194 3821 0 0 25 0 1 0 775508404 85770240 19773 4294967295 134512640 134714508 3221224592 3221222928 1074153742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20940 19773 1111 63 0 20877 0
vsize: 83760
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1595693 0 1 0 96188 3827 0 0 25 0 1 0 775508404 87162880 20085 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21280 20085 1111 63 0 21217 0
vsize: 85120
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1612282 0 1 0 97149 3867 0 0 25 0 1 0 775508404 88510464 20094 4294967295 134512640 134714508 3221224592 3221220620 1074788201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21609 20094 1111 63 0 21546 0
vsize: 86436
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1633715 0 1 0 98096 3919 0 0 25 0 1 0 775508404 87236608 20133 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21298 20133 1111 63 0 21235 0
vsize: 85192
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1652411 0 1 0 99052 3964 0 0 25 0 1 0 775508404 88350720 20364 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21570 20364 1111 63 0 21507 0
vsize: 86280
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1659203 0 1 0 100035 3981 0 0 25 0 1 0 775508404 91602944 20991 4294967295 134512640 134714508 3221224592 3221220736 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22364 20991 1111 63 0 22301 0
vsize: 89456
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1662842 0 1 0 101027 3989 0 0 25 0 1 0 775508404 89260032 20571 4294967295 134512640 134714508 3221224592 3221223408 134622297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21792 20571 1111 63 0 21729 0
vsize: 87168
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1672103 0 1 0 102005 4011 0 0 25 0 1 0 775508404 90157056 20496 4294967295 134512640 134714508 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22011 20496 1111 63 0 21948 0
vsize: 88044
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1686236 0 1 0 102973 4044 0 0 25 0 1 0 775508404 88420352 20422 4294967295 134512640 134714508 3221224592 3221222944 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21587 20422 1111 63 0 21524 0
vsize: 86348
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1693339 0 1 0 103957 4060 0 0 25 0 1 0 775508404 92442624 21075 4294967295 134512640 134714508 3221224592 3221220736 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22569 21075 1111 63 0 22506 0
vsize: 90276
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1705711 0 1 0 104928 4089 0 0 25 0 1 0 775508404 92336128 20711 4294967295 134512640 134714508 3221224592 3221220552 1074789587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22543 20711 1111 63 0 22480 0
vsize: 90172
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1711157 0 1 0 105914 4103 0 0 25 0 1 0 775508404 89124864 20594 4294967295 134512640 134714508 3221224592 3221222960 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21759 20594 1111 63 0 21696 0
vsize: 87036
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1724041 0 1 0 106885 4132 0 0 25 0 1 0 775508404 89587712 20708 4294967295 134512640 134714508 3221224592 3221222876 1074152908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21872 20708 1111 63 0 21809 0
vsize: 87488
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1729378 0 1 0 107874 4144 0 0 25 0 1 0 775508404 89735168 20744 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21908 20744 1111 63 0 21845 0
vsize: 87632
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1740363 0 1 0 108847 4171 0 0 25 0 1 0 775508404 92491776 20927 4294967295 134512640 134714508 3221224592 3221222232 1075850444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22581 20927 1111 63 0 22518 0
vsize: 90324
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1743441 0 1 0 109839 4178 0 0 25 0 1 0 775508404 89985024 20805 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21969 20805 1111 63 0 21906 0
vsize: 87876
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1747762 0 1 0 110829 4189 0 0 25 0 1 0 775508404 90185728 20854 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22018 20854 1111 63 0 21955 0
vsize: 88072
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1750744 0 1 0 111821 4197 0 0 25 0 1 0 775508404 90828800 21011 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22175 21011 1111 63 0 22112 0
vsize: 88700
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1754954 0 1 0 112810 4208 0 0 25 0 1 0 775508404 90361856 20865 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22061 20865 1111 63 0 21998 0
vsize: 88244
[startup+1179.53 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 25886
Raw data (stat): 25886 (bsolo_lpr_cuts) R 25885 20224 20223 0 -1 0 1754954 0 1 0 112810 4208 0 0 25 0 1 0 775508404 90361856 20865 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22061 20865 1111 63 0 21998 0
vsize: 0

Child status: 10
Real time (s): 1179.53
CPU time (s): 1179.68
CPU user time (s): 1137.5
CPU system time (s): 42.1826
CPU usage (%): 100.012
Max. virtual memory (Kb): 90324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1859328
#### END VERIFIER DATA ####