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 41448

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 12:44:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29513 boxname=wulflinc4 idbench=1297 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  61de485815c789896436963a585e8ab7  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-flugpl.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-flugpl.opb
IDLAUNCH: 29513
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        906308 kB
Buffers:          2588 kB
Cached:         105596 kB
SwapCached:        888 kB
Active:          25032 kB
Inactive:        85128 kB
HighTotal:      131008 kB
HighFree:        39424 kB
LowTotal:       903652 kB
LowFree:        866884 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            12280 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:04:19 (client local time) WITH STATUS 10 IN 1175.19 SECONDS
stats: 29513 0 1175.19 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.078 s
c Initial Lower Bound: 1685679
c Lower Bound Elapsed time: 0.0145
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1993984 @ 4.138
c NEW SOLUTION FOUND: 1986816 @ 4.145
c NEW SOLUTION FOUND: 1970432 @ 4.162
c NEW SOLUTION FOUND: 1952000 @ 4.165
c NEW SOLUTION FOUND: 1951744 @ 4.165
c NEW SOLUTION FOUND: 1944832 @ 4.193
c NEW SOLUTION FOUND: 1912080 @ 4.21
c NEW SOLUTION FOUND: 1909776 @ 4.213
c NEW SOLUTION FOUND: 1909761 @ 4.237
c NEW SOLUTION FOUND: 1909760 @ 4.287
c NEW SOLUTION FOUND: 1904901 @ 4.323
c NEW SOLUTION FOUND: 1902597 @ 4.327
c NEW SOLUTION FOUND: 1902593 @ 4.365
c NEW SOLUTION FOUND: 1902592 @ 4.503
c NEW SOLUTION FOUND: 1900800 @ 4.558
c NEW SOLUTION FOUND: 1899776 @ 4.558
c NEW SOLUTION FOUND: 1897472 @ 4.568
c NEW SOLUTION FOUND: 1879296 @ 4.654
c NEW SOLUTION FOUND: 1871104 @ 4.655
c NEW SOLUTION FOUND: 1868032 @ 4.664
c NEW SOLUTION FOUND: 1867008 @ 4.679
c NEW SOLUTION FOUND: 1864961 @ 4.738
c NEW SOLUTION FOUND: 1864705 @ 4.739
c NEW SOLUTION FOUND: 1864704 @ 4.766
c NEW SOLUTION FOUND: 1849601 @ 4.913
c NEW SOLUTION FOUND: 1848577 @ 4.914
c NEW SOLUTION FOUND: 1848323 @ 4.95
c NEW SOLUTION FOUND: 1848321 @ 4.966
c NEW SOLUTION FOUND: 1848320 @ 5.031
c NEW SOLUTION FOUND: 1845504 @ 5.192
c NEW SOLUTION FOUND: 1844482 @ 5.339
c NEW SOLUTION FOUND: 1844481 @ 69.278
c NEW SOLUTION FOUND: 1844480 @ 74.042
c NEW SOLUTION FOUND: 1844224 @ 595.011
c NEW SOLUTION FOUND: 1843584 @ 724.485
c NEW SOLUTION FOUND: 1843328 @ 724.746
c NEW SOLUTION FOUND: 1843200 @ 725.057
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: 1175.16 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 1/54 16245
Raw data (stat): 16245 (runsolver) R 16244 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910364691 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 6628 0 0 0 965 32 0 0 25 0 1 0 910364691 9465856 1628 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2311 1628 1111 63 0 2248 0
vsize: 9244
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 18403 0 0 0 1934 64 0 0 25 0 1 0 910364691 11968512 2240 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2922 2240 1111 63 0 2859 0
vsize: 11688
[startup+30.0026 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 33556 0 0 0 2894 104 0 0 25 0 1 0 910364691 14102528 2756 4294967295 134512640 134716908 3221224560 3221222560 1074915868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 2756 1111 63 0 3380 0
vsize: 13772
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 50906 0 0 0 3851 147 0 0 25 0 1 0 910364691 16957440 3455 4294967295 134512640 134716908 3221224560 3221222840 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4140 3455 1111 63 0 4077 0
vsize: 16560
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 65421 0 0 0 4815 183 0 0 25 0 1 0 910364691 18690048 3881 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 3881 1111 63 0 4500 0
vsize: 18252
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 80001 0 0 0 5775 223 0 0 25 0 1 0 910364691 20230144 4251 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4925 4242 1111 63 0 4862 0
vsize: 19756
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 90973 0 0 0 6747 251 0 0 25 0 1 0 910364691 21024768 4414 4294967295 134512640 134716908 3221224560 3221222648 1077377866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5133 4414 1111 63 0 5070 0
vsize: 20532
[startup+80.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 102161 0 0 0 7715 282 0 0 25 0 1 0 910364691 21897216 4665 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4665 1111 63 0 5283 0
vsize: 21384
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 111493 0 0 0 8689 308 0 0 25 0 1 0 910364691 23085056 4815 4294967295 134512640 134716908 3221224560 3221221084 1075602596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5636 4815 1111 63 0 5573 0
vsize: 22544
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 119930 0 0 0 9664 332 0 0 25 0 1 0 910364691 23048192 4890 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5627 4890 1111 63 0 5564 0
vsize: 22508
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 129935 0 0 0 10639 358 0 0 25 0 1 0 910364691 24199168 5117 4294967295 134512640 134716908 3221224560 3221220776 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5908 5117 1111 63 0 5845 0
vsize: 23632
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 140840 0 0 0 11613 384 0 0 25 0 1 0 910364691 24125440 5157 4294967295 134512640 134716908 3221224560 3221223336 134543557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5890 5157 1111 63 0 5827 0
vsize: 23560
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 151951 0 0 0 12585 412 0 0 25 0 1 0 910364691 25853952 5535 4294967295 134512640 134716908 3221224560 3221220968 1075133169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 5535 1111 63 0 6249 0
vsize: 25248
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 162187 0 0 0 13559 438 0 0 25 0 1 0 910364691 25825280 5623 4294967295 134512640 134716908 3221224560 3221222896 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 5623 1111 63 0 6242 0
vsize: 25220
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 169241 0 0 0 14543 454 0 0 25 0 1 0 910364691 27254784 5944 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6654 5944 1111 63 0 6591 0
vsize: 26616
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 171842 0 0 0 15537 460 0 0 25 0 1 0 910364691 29589504 6441 4294967295 134512640 134716908 3221224560 3221220496 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7224 6441 1111 63 0 7161 0
vsize: 28896
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 179028 0 0 0 16520 477 0 0 25 0 1 0 910364691 27807744 5906 4294967295 134512640 134716908 3221224560 3221220932 1075965449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 5906 1111 63 0 6726 0
vsize: 27156
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 193697 0 0 0 17483 515 0 0 25 0 1 0 910364691 27705344 6082 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 6082 1111 63 0 6701 0
vsize: 27056
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 200785 0 0 0 18466 532 0 0 25 0 1 0 910364691 27717632 6091 4294967295 134512640 134716908 3221224560 3221222288 1075829042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6767 6091 1111 63 0 6704 0
vsize: 27068
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 214414 0 0 0 19432 566 0 0 25 0 1 0 910364691 29446144 6273 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7189 6277 1111 63 0 7126 0
vsize: 28756
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 222194 0 0 0 20412 586 0 0 25 0 1 0 910364691 29995008 6409 4294967295 134512640 134716908 3221224560 3221222172 1074831198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7323 6409 1111 63 0 7260 0
vsize: 29292
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 234916 0 0 0 21381 617 0 0 25 0 1 0 910364691 28995584 6403 4294967295 134512640 134716908 3221224560 3221222824 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7079 6403 1111 63 0 7016 0
vsize: 28316
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 247717 0 0 0 22351 647 0 0 25 0 1 0 910364691 29786112 6596 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7272 6596 1111 63 0 7209 0
vsize: 29088
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 254392 0 0 0 23335 663 0 0 25 0 1 0 910364691 32473088 7144 4294967295 134512640 134716908 3221224560 3221220832 1074961387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7928 7144 1111 63 0 7865 0
vsize: 31712
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 272147 0 0 0 24296 703 0 0 25 0 1 0 910364691 31899648 6883 4294967295 134512640 134716908 3221224560 3221220732 1074791776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7788 6883 1111 63 0 7725 0
vsize: 31152
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 300131 0 0 0 25229 770 0 0 25 0 1 0 910364691 32120832 7166 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7842 7166 1111 63 0 7779 0
vsize: 31368
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 317675 0 0 0 26186 813 0 0 25 0 1 0 910364691 35127296 7491 4294967295 134512640 134716908 3221224560 3221221672 1074833924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8576 7491 1111 63 0 8513 0
vsize: 34304
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 331924 0 0 0 27152 848 0 0 25 0 1 0 910364691 33640448 7537 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8213 7537 1111 63 0 8150 0
vsize: 32852
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 343180 0 0 0 28121 879 0 0 25 0 1 0 910364691 34275328 7692 4294967295 134512640 134716908 3221224560 3221222896 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8368 7692 1111 63 0 8305 0
vsize: 33472
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 355636 0 0 0 29092 908 0 0 25 0 1 0 910364691 36524032 8049 4294967295 134512640 134716908 3221224560 3221220788 1075115062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8917 8049 1111 63 0 8854 0
vsize: 35668
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 367683 0 0 0 30061 939 0 0 25 0 1 0 910364691 36753408 8070 4294967295 134512640 134716908 3221224560 3221220788 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8973 8070 1111 63 0 8910 0
vsize: 35892
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 380807 0 0 0 31030 971 0 0 25 0 1 0 910364691 35991552 8104 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8787 8104 1111 63 0 8724 0
vsize: 35148
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 394416 0 0 0 31996 1004 0 0 25 0 1 0 910364691 38547456 8324 4294967295 134512640 134716908 3221224560 3221221216 1075967948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9411 8324 1111 63 0 9348 0
vsize: 37644
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 408405 0 0 0 32962 1038 0 0 25 0 1 0 910364691 37363712 8446 4294967295 134512640 134716908 3221224560 3221223336 134624791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9122 8446 1111 63 0 9059 0
vsize: 36488
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 415193 0 0 0 33947 1054 0 0 25 0 1 0 910364691 39211008 8717 4294967295 134512640 134716908 3221224560 3221221088 1075397211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9573 8717 1111 63 0 9510 0
vsize: 38292
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 423847 0 0 0 34926 1075 0 0 25 0 1 0 910364691 39440384 8751 4294967295 134512640 134716908 3221224560 3221221600 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9629 8751 1111 63 0 9566 0
vsize: 38516
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 436010 0 0 0 35897 1104 0 0 25 0 1 0 910364691 38555648 8711 4294967295 134512640 134716908 3221224560 3221222288 1075828208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9413 8711 1111 63 0 9350 0
vsize: 37652
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 446889 0 0 0 36870 1132 0 0 25 0 1 0 910364691 41136128 9020 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10043 9020 1111 63 0 9980 0
vsize: 40172
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 454958 0 0 0 37849 1153 0 0 25 0 1 0 910364691 40869888 9120 4294967295 134512640 134716908 3221224560 3221221136 1076048300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9978 9120 1111 63 0 9915 0
vsize: 39912
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 465976 0 0 0 38822 1179 0 0 25 0 1 0 910364691 39862272 9053 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9732 9053 1111 63 0 9669 0
vsize: 38928
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 476724 0 0 0 39797 1205 0 0 25 0 1 0 910364691 40095744 9115 4294967295 134512640 134716908 3221224560 3221222864 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9789 9115 1111 63 0 9726 0
vsize: 39156
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 481179 0 0 0 40786 1216 0 0 25 0 1 0 910364691 41046016 9347 4294967295 134512640 134716908 3221224560 3221223336 134542416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10021 9347 1111 63 0 9958 0
vsize: 40084
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 486392 0 0 0 41774 1228 0 0 25 0 1 0 910364691 40828928 9294 4294967295 134512640 134716908 3221224560 3221223352 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9968 9294 1111 63 0 9905 0
vsize: 39872
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 493995 0 0 0 42755 1248 0 0 25 0 1 0 910364691 42655744 9327 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10414 9327 1111 63 0 10351 0
vsize: 41656
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 500759 0 0 0 43737 1266 0 0 25 0 1 0 910364691 41156608 9362 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 9362 1111 63 0 9985 0
vsize: 40192
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 504924 0 0 0 44728 1275 0 0 25 0 1 0 910364691 41463808 9449 4294967295 134512640 134716908 3221224560 3221222560 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10123 9449 1111 63 0 10060 0
vsize: 40492
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 513042 0 0 0 45707 1296 0 0 25 0 1 0 910364691 41463808 9449 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10123 9449 1111 63 0 10060 0
vsize: 40492
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 522519 0 0 0 46685 1318 0 0 25 0 1 0 910364691 41943040 9550 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10240 9550 1111 63 0 10177 0
vsize: 40960
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 532362 0 0 0 47657 1346 0 0 25 0 1 0 910364691 42668032 9702 4294967295 134512640 134716908 3221224560 3221223296 134622756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10417 9702 1111 63 0 10354 0
vsize: 41668
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 536792 0 0 0 48646 1357 0 0 25 0 1 0 910364691 43773952 9803 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10687 9803 1111 63 0 10624 0
vsize: 42748
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 550764 0 0 0 49614 1390 0 0 25 0 1 0 910364691 44187648 9889 4294967295 134512640 134716908 3221224560 3221220808 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10788 9889 1111 63 0 10725 0
vsize: 43152
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 564626 0 0 0 50579 1425 0 0 25 0 1 0 910364691 44781568 10039 4294967295 134512640 134716908 3221224560 3221220720 1075094874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10933 10039 1111 63 0 10870 0
vsize: 43732
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 580348 0 0 0 51545 1459 0 0 25 0 1 0 910364691 44978176 10304 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10981 10304 1111 63 0 10918 0
vsize: 43924
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 594979 0 0 0 52513 1491 0 0 25 0 1 0 910364691 45604864 10428 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11134 10428 1111 63 0 11071 0
vsize: 44536
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 608773 0 0 0 53479 1525 0 0 25 0 1 0 910364691 47882240 10779 4294967295 134512640 134716908 3221224560 3221221632 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11690 10779 1111 63 0 11627 0
vsize: 46760
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 618896 0 0 0 54456 1548 0 0 25 0 1 0 910364691 48275456 11075 4294967295 134512640 134716908 3221224560 3221222704 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11786 11075 1111 63 0 11723 0
vsize: 47144
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 619045 0 0 0 55455 1550 0 0 25 0 1 0 910364691 48885760 11224 4294967295 134512640 134716908 3221224560 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11935 11224 1111 63 0 11872 0
vsize: 47740
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 619934 0 0 0 56453 1552 0 0 25 0 1 0 910364691 51380224 11824 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12544 11824 1111 63 0 12481 0
vsize: 50176
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 624378 0 0 0 57444 1561 0 0 25 0 1 0 910364691 51122176 11680 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12481 11680 1111 63 0 12418 0
vsize: 49924
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 629404 0 0 0 58432 1573 0 0 25 0 1 0 910364691 48893952 11226 4294967295 134512640 134716908 3221224560 3221222512 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11937 11226 1111 63 0 11874 0
vsize: 47748
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 629591 0 0 0 59429 1575 0 0 25 0 1 0 910364691 49659904 11413 4294967295 134512640 134716908 3221224560 3221222656 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12124 11413 1111 63 0 12061 0
vsize: 48496
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 629678 0 0 0 60428 1576 0 0 25 0 1 0 910364691 50016256 11500 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12211 11500 1111 63 0 12148 0
vsize: 48844
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 629711 0 0 0 61427 1577 0 0 25 0 1 0 910364691 50151424 11533 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12244 11533 1111 63 0 12181 0
vsize: 48976
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 630925 0 0 0 62425 1580 0 0 25 0 1 0 910364691 53432320 12334 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13045 12334 1111 63 0 12982 0
vsize: 52180
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 632996 0 0 0 63421 1584 0 0 25 0 1 0 910364691 57561088 13138 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14053 13138 1111 63 0 13990 0
vsize: 56212
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 637208 0 0 0 64411 1594 0 0 25 0 1 0 910364691 52596736 12039 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 12039 1111 63 0 12778 0
vsize: 51364
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 637208 0 0 0 65411 1594 0 0 25 0 1 0 910364691 52596736 12039 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 12039 1111 63 0 12778 0
vsize: 51364
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 637208 0 0 0 66412 1594 0 0 25 0 1 0 910364691 52596736 12039 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 12039 1111 63 0 12778 0
vsize: 51364
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 637208 0 0 0 67412 1594 0 0 25 0 1 0 910364691 52596736 12039 4294967295 134512640 134716908 3221224560 3221223376 134622493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 12039 1111 63 0 12778 0
vsize: 51364
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 637208 0 0 0 68412 1594 0 0 25 0 1 0 910364691 52596736 12039 4294967295 134512640 134716908 3221224560 3221223280 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 12039 1111 63 0 12778 0
vsize: 51364
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 637208 0 0 0 69412 1594 0 0 25 0 1 0 910364691 52596736 12039 4294967295 134512640 134716908 3221224560 3221223272 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 12039 1111 63 0 12778 0
vsize: 51364
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 646538 0 0 0 70389 1617 0 0 25 0 1 0 910364691 52363264 11410 4294967295 134512640 134716908 3221224560 3221220800 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12784 11410 1111 63 0 12721 0
vsize: 51136
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 659121 0 0 0 71358 1648 0 0 25 0 1 0 910364691 49430528 11358 4294967295 134512640 134716908 3221224560 3221222848 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12068 11358 1111 63 0 12005 0
vsize: 48272
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 661267 0 0 0 72354 1652 0 0 25 0 1 0 910364691 55365632 12405 4294967295 134512640 134716908 3221224560 3221221104 1075088560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13517 12405 1111 63 0 13454 0
vsize: 54068
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 662758 0 0 0 73349 1657 0 0 25 0 1 0 910364691 49987584 11501 4294967295 134512640 134716908 3221224560 3221222320 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12204 11501 1111 63 0 12141 0
vsize: 48816
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 662899 0 0 0 74348 1659 0 0 25 0 1 0 910364691 50565120 11642 4294967295 134512640 134716908 3221224560 3221222368 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12345 11642 1111 63 0 12282 0
vsize: 49380
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 663001 0 0 0 75347 1660 0 0 25 0 1 0 910364691 50982912 11744 4294967295 134512640 134716908 3221224560 3221222368 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12447 11744 1111 63 0 12384 0
vsize: 49788
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 663108 0 0 0 76346 1661 0 0 25 0 1 0 910364691 51507200 11851 4294967295 134512640 134716908 3221224560 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12575 11851 1111 63 0 12512 0
vsize: 50300
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 663210 0 0 0 77346 1661 0 0 25 0 1 0 910364691 51970048 11953 4294967295 134512640 134716908 3221224560 3221222576 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12688 11953 1111 63 0 12625 0
vsize: 50752
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 663240 0 0 0 78345 1662 0 0 25 0 1 0 910364691 52092928 11983 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12718 11983 1111 63 0 12655 0
vsize: 50872
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 663263 0 0 0 79345 1663 0 0 25 0 1 0 910364691 52187136 12006 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12741 12006 1111 63 0 12678 0
vsize: 50964
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 663315 0 0 0 80345 1663 0 0 25 0 1 0 910364691 52277248 12058 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12763 12058 1111 63 0 12700 0
vsize: 51052
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 665818 0 0 0 81339 1669 0 0 25 0 1 0 910364691 59113472 13725 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 13725 1111 63 0 14369 0
vsize: 57728
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 665818 0 0 0 82339 1669 0 0 25 0 1 0 910364691 59113472 13725 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 13725 1111 63 0 14369 0
vsize: 57728
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 665818 0 0 0 83339 1669 0 0 25 0 1 0 910364691 59113472 13725 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 13725 1111 63 0 14369 0
vsize: 57728
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 665818 0 0 0 84340 1669 0 0 25 0 1 0 910364691 59113472 13725 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 13725 1111 63 0 14369 0
vsize: 57728
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 665818 0 0 0 85340 1669 0 0 25 0 1 0 910364691 59113472 13725 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 13725 1111 63 0 14369 0
vsize: 57728
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 665818 0 0 0 86340 1669 0 0 25 0 1 0 910364691 59113472 13725 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 13725 1111 63 0 14369 0
vsize: 57728
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 665818 0 0 0 87340 1669 0 0 25 0 1 0 910364691 59113472 13725 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14432 13725 1111 63 0 14369 0
vsize: 57728
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 667679 0 0 0 88336 1673 0 0 25 0 1 0 910364691 63188992 14515 4294967295 134512640 134716908 3221224560 3221221752 1074138282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15427 14515 1111 63 0 15364 0
vsize: 61708
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16245
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 669387 0 0 0 89333 1676 0 0 25 0 1 0 910364691 65019904 14958 4294967295 134512640 134716908 3221224560 3221220720 1075095115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15874 14958 1111 63 0 15811 0
vsize: 63496
[startup+920.024 s]
Raw data (loadavg): 1.07 0.99 0.91 2/57 16253
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 669642 0 0 0 90333 1677 0 0 25 0 1 0 910364691 66293760 15213 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16185 15213 1111 63 0 16122 0
vsize: 64740
[startup+930.026 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16298
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 91318 1692 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+940.026 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16298
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 92318 1692 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+950.027 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16298
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 93318 1692 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223272 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+960.029 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16298
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 94318 1693 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+970.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16298
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 95318 1693 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223284 134622827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+980.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16298
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 96318 1693 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+990.031 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 16298
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 97318 1693 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+1000.03 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 98318 1694 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+1010.03 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 99318 1694 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+1020.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675167 0 0 0 100317 1695 0 0 25 0 1 0 910364691 54657024 12582 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12582 1111 63 0 13281 0
vsize: 53376
[startup+1030.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675343 0 0 0 101317 1695 0 0 25 0 1 0 910364691 51920896 11955 4294967295 134512640 134716908 3221224560 3221222336 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12676 11955 1111 63 0 12613 0
vsize: 50704
[startup+1040.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 675397 0 0 0 102316 1697 0 0 25 0 1 0 910364691 52142080 12009 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12730 12009 1111 63 0 12667 0
vsize: 50920
[startup+1050.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 678626 0 0 0 103310 1703 0 0 25 0 1 0 910364691 58933248 13136 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14388 13136 1111 63 0 14325 0
vsize: 57552
[startup+1060.04 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 680772 0 0 0 104303 1710 0 0 25 0 1 0 910364691 50712576 11652 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12381 11652 1111 63 0 12318 0
vsize: 49524
[startup+1070.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 681606 0 0 0 105300 1713 0 0 25 0 1 0 910364691 52379648 12069 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12788 12069 1111 63 0 12725 0
vsize: 51152
[startup+1080.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 688033 0 0 0 106287 1727 0 0 25 0 1 0 910364691 49475584 11350 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12079 11350 1111 63 0 12016 0
vsize: 48316
[startup+1090.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 699505 0 0 0 107258 1755 0 0 25 0 1 0 910364691 49336320 11342 4294967295 134512640 134716908 3221224560 3221222560 1074916543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12045 11342 1111 63 0 11982 0
vsize: 48180
[startup+1100.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 709331 0 0 0 108234 1780 0 0 25 0 1 0 910364691 49758208 11444 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12148 11444 1111 63 0 12085 0
vsize: 48592
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 719934 0 0 0 109210 1804 0 0 25 0 1 0 910364691 49876992 11472 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12177 11472 1111 63 0 12114 0
vsize: 48708
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 731424 0 0 0 110183 1831 0 0 25 0 1 0 910364691 50212864 11534 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12259 11534 1111 63 0 12196 0
vsize: 49036
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 738852 0 0 0 111165 1849 0 0 25 0 1 0 910364691 58781696 11525 4294967295 134512640 134716908 3221224560 3221221488 1075890968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14351 11525 1111 63 0 14288 0
vsize: 57404
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 747085 0 0 0 112146 1869 0 0 25 0 1 0 910364691 58920960 11579 4294967295 134512640 134716908 3221224560 3221220588 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14385 11579 1111 63 0 14322 0
vsize: 57540
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 763489 0 0 0 113106 1909 0 0 25 0 1 0 910364691 49999872 11504 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12207 11504 1111 63 0 12144 0
vsize: 48828
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 785169 0 0 0 114053 1962 0 0 25 0 1 0 910364691 56373248 11989 4294967295 134512640 134716908 3221224560 3221221216 1075966559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13763 11989 1111 63 0 13700 0
vsize: 55052
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 800059 0 0 0 115018 1997 0 0 25 0 1 0 910364691 59674624 11786 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14569 11786 1111 63 0 14506 0
vsize: 58276
[startup+1175.07 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 16300
Raw data (stat): 16245 (bsolo_lpr_cuts-) R 16244 21152 21151 0 -1 0 800059 0 0 0 115018 1997 0 0 25 0 1 0 910364691 59674624 11786 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14569 11786 1111 63 0 14506 0
vsize: 0

Child status: 10
Real time (s): 1175.07
CPU time (s): 1175.19
CPU user time (s): 1154.86
CPU system time (s): 20.3359
CPU usage (%): 100.01
Max. virtual memory (Kb): 64740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1843200
#### END VERIFIER DATA ####