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/miplib3/normalized-mps-v2-13-7-flugpl.opb
MD5SUM	1b5898327a7b85a882e36ea549878fdf
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.181972
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 41570

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 15:56:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29629 boxname=wulflinc5 idbench=1413 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  1b5898327a7b85a882e36ea549878fdf  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-flugpl.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-flugpl.opb
IDLAUNCH: 29629
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        787636 kB
Buffers:         21444 kB
Cached:         204624 kB
SwapCached:        644 kB
Active:          25196 kB
Inactive:       202872 kB
HighTotal:      131008 kB
HighFree:        19236 kB
LowTotal:       903652 kB
LowFree:        768400 kB
SwapTotal:     2097136 kB
SwapFree:      2095484 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13308 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:16:12 (client local time) WITH STATUS 10 IN 1175.47 SECONDS
stats: 29629 0 1175.47 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.072 s
c Initial Lower Bound: 1685679
c Lower Bound Elapsed time: 0.014
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1993984 @ 4.118
c NEW SOLUTION FOUND: 1986816 @ 4.125
c NEW SOLUTION FOUND: 1970432 @ 4.141
c NEW SOLUTION FOUND: 1952000 @ 4.144
c NEW SOLUTION FOUND: 1951744 @ 4.144
c NEW SOLUTION FOUND: 1944832 @ 4.172
c NEW SOLUTION FOUND: 1912080 @ 4.188
c NEW SOLUTION FOUND: 1909776 @ 4.191
c NEW SOLUTION FOUND: 1909761 @ 4.214
c NEW SOLUTION FOUND: 1909760 @ 4.262
c NEW SOLUTION FOUND: 1904901 @ 4.298
c NEW SOLUTION FOUND: 1902597 @ 4.302
c NEW SOLUTION FOUND: 1902593 @ 4.339
c NEW SOLUTION FOUND: 1902592 @ 4.474
c NEW SOLUTION FOUND: 1900800 @ 4.527
c NEW SOLUTION FOUND: 1899776 @ 4.528
c NEW SOLUTION FOUND: 1897472 @ 4.537
c NEW SOLUTION FOUND: 1879296 @ 4.622
c NEW SOLUTION FOUND: 1871104 @ 4.622
c NEW SOLUTION FOUND: 1868032 @ 4.631
c NEW SOLUTION FOUND: 1867008 @ 4.645
c NEW SOLUTION FOUND: 1864961 @ 4.704
c NEW SOLUTION FOUND: 1864705 @ 4.704
c NEW SOLUTION FOUND: 1864704 @ 4.73
c NEW SOLUTION FOUND: 1849601 @ 4.875
c NEW SOLUTION FOUND: 1848577 @ 4.876
c NEW SOLUTION FOUND: 1848323 @ 4.911
c NEW SOLUTION FOUND: 1848321 @ 4.926
c NEW SOLUTION FOUND: 1848320 @ 4.99
c NEW SOLUTION FOUND: 1845504 @ 5.148
c NEW SOLUTION FOUND: 1844482 @ 5.293
c NEW SOLUTION FOUND: 1844481 @ 69.187
c NEW SOLUTION FOUND: 1844480 @ 74.013
c NEW SOLUTION FOUND: 1844224 @ 601.46
c NEW SOLUTION FOUND: 1843584 @ 731.739
c NEW SOLUTION FOUND: 1843328 @ 731.996
c NEW SOLUTION FOUND: 1843200 @ 732.302
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.44 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.91 0.95 0.90 2/54 3551
Raw data (stat): 3551 (runsolver) R 3550 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911525704 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.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 6672 0 0 0 967 30 0 0 25 0 1 0 911525704 9502720 1630 4294967295 134512640 134716908 3221224560 3221222896 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2320 1630 1111 63 0 2257 0
vsize: 9280
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 18491 0 0 0 1935 61 0 0 25 0 1 0 911525704 12533760 2296 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 2296 1111 63 0 2997 0
vsize: 12240
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 33879 0 0 0 2893 103 0 0 25 0 1 0 911525704 14217216 2758 4294967295 134512640 134716908 3221224560 3221223148 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2758 1111 63 0 3408 0
vsize: 13884
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 51079 0 0 0 3850 147 0 0 25 0 1 0 911525704 17268736 3480 4294967295 134512640 134716908 3221224560 3221221604 1074846210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4216 3480 1111 63 0 4153 0
vsize: 16864
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 65604 0 0 0 4812 184 0 0 25 0 1 0 911525704 19513344 4012 4294967295 134512640 134716908 3221224560 3221220832 1074961132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4764 4012 1111 63 0 4701 0
vsize: 19056
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 80290 0 0 0 5775 222 0 0 25 0 1 0 911525704 20082688 4221 4294967295 134512640 134716908 3221224560 3221222848 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4903 4221 1111 63 0 4840 0
vsize: 19612
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 91066 0 0 0 6744 253 0 0 25 0 1 0 911525704 21184512 4436 4294967295 134512640 134716908 3221224560 3221220720 1075093259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5172 4436 1111 63 0 5109 0
vsize: 20688
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 102161 0 0 0 7715 282 0 0 25 0 1 0 911525704 21897216 4665 4294967295 134512640 134716908 3221224560 3221223232 134652555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4665 1111 63 0 5283 0
vsize: 21384
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 111525 0 0 0 8692 305 0 0 25 0 1 0 911525704 22679552 4806 4294967295 134512640 134716908 3221224560 3221223208 134542401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5537 4806 1111 63 0 5474 0
vsize: 22148
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 120034 0 0 0 9673 324 0 0 25 0 1 0 911525704 22863872 4885 4294967295 134512640 134716908 3221224560 3221222560 1074919281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5582 4885 1111 63 0 5519 0
vsize: 22328
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 130032 0 0 0 10648 350 0 0 25 0 1 0 911525704 23728128 5060 4294967295 134512640 134716908 3221224560 3221223376 134622277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5793 5060 1111 63 0 5730 0
vsize: 23172
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 140732 0 0 0 11622 377 0 0 25 0 1 0 911525704 23764992 5121 4294967295 134512640 134716908 3221224560 3221223216 134652244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5802 5121 1111 63 0 5739 0
vsize: 23208
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 151740 0 0 0 12595 403 0 0 25 0 1 0 911525704 25464832 5477 4294967295 134512640 134716908 3221224560 3221223360 134622179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6217 5477 1111 63 0 6154 0
vsize: 24868
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 161697 0 0 0 13570 428 0 0 25 0 1 0 911525704 26509312 5695 4294967295 134512640 134716908 3221224560 3221220768 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6472 5695 1111 63 0 6409 0
vsize: 25888
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 169231 0 0 0 14551 448 0 0 25 0 1 0 911525704 27226112 5934 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6647 5934 1111 63 0 6584 0
vsize: 26588
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 171354 0 0 0 15545 454 0 0 25 0 1 0 911525704 27582464 6055 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6734 6055 1111 63 0 6671 0
vsize: 26936
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 178498 0 0 0 16530 469 0 0 25 0 1 0 911525704 27987968 5977 4294967295 134512640 134716908 3221224560 3221220720 1075095160 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 5977 1111 63 0 6770 0
vsize: 27332
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 193201 0 0 0 17496 503 0 0 25 0 1 0 911525704 29724672 6303 4294967295 134512640 134716908 3221224560 3221220800 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7257 6303 1111 63 0 7194 0
vsize: 29028
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 200024 0 0 0 18482 518 0 0 25 0 1 0 911525704 27709440 6089 4294967295 134512640 134716908 3221224560 3221223024 1074121052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6765 6089 1111 63 0 6702 0
vsize: 27060
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 212972 0 0 0 19451 549 0 0 25 0 1 0 911525704 28127232 6190 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6867 6190 1111 63 0 6804 0
vsize: 27468
[startup+210.007 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 3595
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 221491 0 0 0 20429 570 0 0 25 0 1 0 911525704 30576640 6433 4294967295 134512640 134716908 3221224560 3221220556 1074788201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7465 6433 1111 63 0 7402 0
vsize: 29860
[startup+220.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3604
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 233112 0 0 0 21403 596 0 0 25 0 1 0 911525704 29003776 6405 4294967295 134512640 134716908 3221224560 3221223280 134622751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7081 6405 1111 63 0 7018 0
vsize: 28324
[startup+230.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3604
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 246152 0 0 0 22375 625 0 0 25 0 1 0 911525704 29978624 6611 4294967295 134512640 134716908 3221224560 3221222680 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7319 6611 1111 63 0 7256 0
vsize: 29276
[startup+240.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3604
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 253366 0 0 0 23358 642 0 0 25 0 1 0 911525704 30572544 6764 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7464 6764 1111 63 0 7401 0
vsize: 29856
[startup+250.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3604
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 266147 0 0 0 24333 667 0 0 25 0 1 0 911525704 30326784 6725 4294967295 134512640 134716908 3221224560 3221222608 1074140697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7404 6725 1111 63 0 7341 0
vsize: 29616
[startup+260.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3604
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 296527 0 0 0 25267 734 0 0 25 0 1 0 911525704 34066432 7216 4294967295 134512640 134716908 3221224560 3221221600 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8317 7223 1111 63 0 8254 0
vsize: 33268
[startup+270.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3604
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 314032 0 0 0 26225 776 0 0 25 0 1 0 911525704 33898496 7385 4294967295 134512640 134716908 3221224560 3221221136 1076049820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8276 7385 1111 63 0 8213 0
vsize: 33104
[startup+280.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 329036 0 0 0 27190 810 0 0 25 0 1 0 911525704 33509376 7505 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8181 7505 1111 63 0 8118 0
vsize: 32724
[startup+290.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 340803 0 0 0 28162 838 0 0 25 0 1 0 911525704 35733504 7888 4294967295 134512640 134716908 3221224560 3221221624 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8724 7888 1111 63 0 8661 0
vsize: 34896
[startup+300.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 352558 0 0 0 29136 865 0 0 25 0 1 0 911525704 34562048 7762 4294967295 134512640 134716908 3221224560 3221222960 1074119114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8438 7762 1111 63 0 8375 0
vsize: 33752
[startup+310.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 364497 0 0 0 30109 892 0 0 25 0 1 0 911525704 37138432 7968 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9067 7968 1111 63 0 9004 0
vsize: 36268
[startup+320.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 375919 0 0 0 31082 920 0 0 25 0 1 0 911525704 35897344 8056 4294967295 134512640 134716908 3221224560 3221223232 134652572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8764 8056 1111 63 0 8701 0
vsize: 35056
[startup+330.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 390938 0 0 0 32048 954 0 0 25 0 1 0 911525704 37765120 8272 4294967295 134512640 134716908 3221224560 3221221604 1074846155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9220 8272 1111 63 0 9157 0
vsize: 36880
[startup+340.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 404897 0 0 0 33015 987 0 0 25 0 1 0 911525704 38682624 8548 4294967295 134512640 134716908 3221224560 3221220768 1074815299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9444 8548 1111 63 0 9381 0
vsize: 37776
[startup+350.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 413496 0 0 0 33994 1008 0 0 25 0 1 0 911525704 38047744 8613 4294967295 134512640 134716908 3221224560 3221222912 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9289 8613 1111 63 0 9226 0
vsize: 37156
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 420257 0 0 0 34980 1023 0 0 25 0 1 0 911525704 39796736 8840 4294967295 134512640 134716908 3221224560 3221220768 1074815500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9716 8840 1111 63 0 9653 0
vsize: 38864
[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 432052 0 0 0 35953 1049 0 0 25 0 1 0 911525704 38375424 8695 4294967295 134512640 134716908 3221224560 3221223272 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9369 8695 1111 63 0 9306 0
vsize: 37476
[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 443272 0 0 0 36926 1077 0 0 25 0 1 0 911525704 39059456 8830 4294967295 134512640 134716908 3221224560 3221222464 1074056242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9536 8830 1111 63 0 9473 0
vsize: 38144
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 452249 0 0 0 37903 1100 0 0 25 0 1 0 911525704 39071744 8865 4294967295 134512640 134716908 3221224560 3221222560 1074918220 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9539 8865 1111 63 0 9476 0
vsize: 38156
[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 461173 0 0 0 38881 1122 0 0 25 0 1 0 911525704 40398848 8979 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9863 8979 1111 63 0 9800 0
vsize: 39452
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 472942 0 0 0 39852 1151 0 0 25 0 1 0 911525704 41213952 9162 4294967295 134512640 134716908 3221224560 3221220788 1075115062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10062 9162 1111 63 0 9999 0
vsize: 40248
[startup+420.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 479201 0 0 0 40836 1167 0 0 25 0 1 0 911525704 41472000 9428 4294967295 134512640 134716908 3221224560 3221223280 134622881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10125 9428 1111 63 0 10062 0
vsize: 40500
[startup+430.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 483936 0 0 0 41825 1179 0 0 25 0 1 0 911525704 40992768 9334 4294967295 134512640 134716908 3221224560 3221221664 1074138729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10008 9334 1111 63 0 9945 0
vsize: 40032
[startup+440.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 489852 0 0 0 42811 1193 0 0 25 0 1 0 911525704 42655744 9358 4294967295 134512640 134716908 3221224560 3221220528 1074872805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10414 9358 1111 63 0 10351 0
vsize: 41656
[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 499185 0 0 0 43792 1212 0 0 25 0 1 0 911525704 43208704 9696 4294967295 134512640 134716908 3221224560 3221220736 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10549 9696 1111 63 0 10486 0
vsize: 42196
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 502424 0 0 0 44784 1220 0 0 25 0 1 0 911525704 41512960 9459 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10135 9459 1111 63 0 10072 0
vsize: 40540
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 509073 0 0 0 45770 1235 0 0 25 0 1 0 911525704 43298816 9704 4294967295 134512640 134716908 3221224560 3221220712 1074883029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10571 9704 1111 63 0 10508 0
vsize: 42284
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 517531 0 0 0 46752 1253 0 0 25 0 1 0 911525704 41639936 9481 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10166 9481 1111 63 0 10103 0
vsize: 40664
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 529053 0 0 0 47722 1283 0 0 25 0 1 0 911525704 41877504 9550 4294967295 134512640 134716908 3221224560 3221222488 1077380202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10224 9550 1111 63 0 10161 0
vsize: 40896
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 534055 0 0 0 48709 1296 0 0 25 0 1 0 911525704 44118016 9922 4294967295 134512640 134716908 3221224560 3221220824 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10771 9922 1111 63 0 10708 0
vsize: 43084
[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 541206 0 0 0 49693 1312 0 0 25 0 1 0 911525704 42520576 9686 4294967295 134512640 134716908 3221224560 3221223288 134622822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10381 9686 1111 63 0 10318 0
vsize: 41524
[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 554426 0 0 0 50663 1342 0 0 25 0 1 0 911525704 44720128 10040 4294967295 134512640 134716908 3221224560 3221220788 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10040 1111 63 0 10855 0
vsize: 43672
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 572623 0 0 0 51621 1385 0 0 25 0 1 0 911525704 44277760 10136 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10810 10136 1111 63 0 10747 0
vsize: 43240
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3606
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 585185 0 0 0 52592 1413 0 0 25 0 1 0 911525704 44900352 10272 4294967295 134512640 134716908 3221224560 3221223128 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10962 10272 1111 63 0 10899 0
vsize: 43848
[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 599478 0 0 0 53560 1446 0 0 25 0 1 0 911525704 47050752 10624 4294967295 134512640 134716908 3221224560 3221220768 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11487 10624 1111 63 0 11424 0
vsize: 45948
[startup+560.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 614887 0 0 0 54526 1480 0 0 25 0 1 0 911525704 48484352 10911 4294967295 134512640 134716908 3221224560 3221220832 1074961361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11837 10911 1111 63 0 11774 0
vsize: 47348
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 619000 0 0 0 55516 1490 0 0 25 0 1 0 911525704 48701440 11179 4294967295 134512640 134716908 3221224560 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11890 11179 1111 63 0 11827 0
vsize: 47560
[startup+580.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 619060 0 0 0 56515 1491 0 0 25 0 1 0 911525704 48947200 11239 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11950 11239 1111 63 0 11887 0
vsize: 47800
[startup+590.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 621492 0 0 0 57509 1497 0 0 25 0 1 0 911525704 56643584 12754 4294967295 134512640 134716908 3221224560 3221220832 1074961193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13829 12754 1111 63 0 13766 0
vsize: 55316
[startup+600.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 626860 0 0 0 58497 1510 0 0 25 0 1 0 911525704 48578560 11149 4294967295 134512640 134716908 3221224560 3221222848 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11860 11149 1111 63 0 11797 0
vsize: 47440
[startup+610.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 629513 0 0 0 59489 1518 0 0 25 0 1 0 911525704 49340416 11335 4294967295 134512640 134716908 3221224560 3221222320 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12046 11335 1111 63 0 11983 0
vsize: 48184
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 629627 0 0 0 60488 1519 0 0 25 0 1 0 911525704 49807360 11449 4294967295 134512640 134716908 3221224560 3221222624 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12160 11449 1111 63 0 12097 0
vsize: 48640
[startup+630.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 629692 0 0 0 61487 1520 0 0 25 0 1 0 911525704 50073600 11514 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12225 11514 1111 63 0 12162 0
vsize: 48900
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 629722 0 0 0 62487 1520 0 0 25 0 1 0 911525704 50196480 11544 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12255 11544 1111 63 0 12192 0
vsize: 49020
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 630925 0 0 0 63485 1523 0 0 25 0 1 0 911525704 53432320 12334 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13045 12334 1111 63 0 12982 0
vsize: 52180
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 633207 0 0 0 64480 1528 0 0 25 0 1 0 911525704 58200064 13349 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14209 13349 1111 63 0 14146 0
vsize: 56836
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 637208 0 0 0 65471 1537 0 0 25 0 1 0 911525704 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.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 637208 0 0 0 66471 1537 0 0 25 0 1 0 911525704 52596736 12039 4294967295 134512640 134716908 3221224560 3221223352 134542412 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.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 637208 0 0 0 67471 1537 0 0 25 0 1 0 911525704 52596736 12039 4294967295 134512640 134716908 3221224560 3221223296 134622763 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.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 637208 0 0 0 68471 1537 0 0 25 0 1 0 911525704 52596736 12039 4294967295 134512640 134716908 3221224560 3221223272 134543176 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.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 637208 0 0 0 69472 1537 0 0 25 0 1 0 911525704 52596736 12039 4294967295 134512640 134716908 3221224560 3221223296 134622763 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.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 637208 0 0 0 70472 1537 0 0 25 0 1 0 911525704 52596736 12039 4294967295 134512640 134716908 3221224560 3221223352 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 12039 1111 63 0 12778 0
vsize: 51364
[startup+730.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 651684 0 0 0 71438 1571 0 0 25 0 1 0 911525704 48578560 11157 4294967295 134512640 134716908 3221224560 3221222624 1075961767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11860 11157 1111 63 0 11797 0
vsize: 47440
[startup+740.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 659202 0 0 0 72419 1589 0 0 25 0 1 0 911525704 49528832 11389 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12092 11389 1111 63 0 12029 0
vsize: 48368
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 662386 0 0 0 73413 1596 0 0 25 0 1 0 911525704 49528832 11389 4294967295 134512640 134716908 3221224560 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12092 11389 1111 63 0 12029 0
vsize: 48368
[startup+760.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 662802 0 0 0 74411 1598 0 0 25 0 1 0 911525704 50167808 11545 4294967295 134512640 134716908 3221224560 3221222384 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12248 11545 1111 63 0 12185 0
vsize: 48992
[startup+770.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 662925 0 0 0 75411 1599 0 0 25 0 1 0 911525704 50671616 11668 4294967295 134512640 134716908 3221224560 3221222416 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12371 11668 1111 63 0 12308 0
vsize: 49484
[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 663025 0 0 0 76410 1599 0 0 25 0 1 0 911525704 51081216 11768 4294967295 134512640 134716908 3221224560 3221222336 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 11768 1111 63 0 12408 0
vsize: 49884
[startup+790.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 663131 0 0 0 77409 1600 0 0 25 0 1 0 911525704 51601408 11874 4294967295 134512640 134716908 3221224560 3221222224 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12598 11874 1111 63 0 12535 0
vsize: 50392
[startup+800.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 663222 0 0 0 78409 1601 0 0 25 0 1 0 911525704 52019200 11965 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12700 11965 1111 63 0 12637 0
vsize: 50800
[startup+810.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 663245 0 0 0 79409 1601 0 0 25 0 1 0 911525704 52113408 11988 4294967295 134512640 134716908 3221224560 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12723 11988 1111 63 0 12660 0
vsize: 50892
[startup+820.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 663299 0 0 0 80409 1602 0 0 25 0 1 0 911525704 52211712 12042 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12747 12042 1111 63 0 12684 0
vsize: 50988
[startup+830.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 663320 0 0 0 81408 1602 0 0 25 0 1 0 911525704 52297728 12063 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12768 12063 1111 63 0 12705 0
vsize: 51072
[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 665818 0 0 0 82403 1607 0 0 25 0 1 0 911525704 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.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 665818 0 0 0 83403 1607 0 0 25 0 1 0 911525704 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.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 665818 0 0 0 84403 1607 0 0 25 0 1 0 911525704 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.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 665818 0 0 0 85404 1607 0 0 25 0 1 0 911525704 59113472 13725 4294967295 134512640 134716908 3221224560 3221222560 1074918591 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): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 665818 0 0 0 86404 1607 0 0 25 0 1 0 911525704 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+890.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 665818 0 0 0 87404 1608 0 0 25 0 1 0 911525704 59113472 13725 4294967295 134512640 134716908 3221224560 3221222560 1074918583 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): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 665818 0 0 0 88404 1608 0 0 25 0 1 0 911525704 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+910.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 669147 0 0 0 89398 1614 0 0 25 0 1 0 911525704 66093056 15180 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16136 15180 1111 63 0 16073 0
vsize: 64544
[startup+920.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 669429 0 0 0 90397 1615 0 0 25 0 1 0 911525704 65495040 15000 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15990 15000 1111 63 0 15927 0
vsize: 63960
[startup+930.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 670185 0 0 0 91395 1617 0 0 25 0 1 0 911525704 54726656 12394 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13361 12399 1111 63 0 13298 0
vsize: 53444
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 92385 1628 0 0 25 0 1 0 911525704 54657024 12582 4294967295 134512640 134716908 3221224560 3221223344 134622522 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.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 93385 1628 0 0 25 0 1 0 911525704 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+960.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 94385 1628 0 0 25 0 1 0 911525704 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+970.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 95385 1628 0 0 25 0 1 0 911525704 54657024 12582 4294967295 134512640 134716908 3221224560 3221223284 134622899 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.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 96385 1628 0 0 25 0 1 0 911525704 54657024 12582 4294967295 134512640 134716908 3221224560 3221223284 134622776 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.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 97385 1628 0 0 25 0 1 0 911525704 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 98386 1628 0 0 25 0 1 0 911525704 54657024 12582 4294967295 134512640 134716908 3221224560 3221223272 134543157 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 99386 1628 0 0 25 0 1 0 911525704 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 100386 1628 0 0 25 0 1 0 911525704 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+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675167 0 0 0 101386 1628 0 0 25 0 1 0 911525704 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+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 675362 0 0 0 102385 1629 0 0 25 0 1 0 911525704 51998720 11974 4294967295 134512640 134716908 3221224560 3221222864 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12695 11974 1111 63 0 12632 0
vsize: 50780
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 676254 0 0 0 103383 1632 0 0 25 0 1 0 911525704 52596736 12138 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 12138 1111 63 0 12778 0
vsize: 51364
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 678626 0 0 0 104378 1637 0 0 25 0 1 0 911525704 58933248 13136 4294967295 134512640 134716908 3221224560 3221220720 1075095094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14388 13136 1111 63 0 14325 0
vsize: 57552
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 680780 0 0 0 105372 1643 0 0 25 0 1 0 911525704 50745344 11660 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12389 11660 1111 63 0 12326 0
vsize: 49556
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 683708 0 0 0 106366 1649 0 0 25 0 1 0 911525704 61493248 13537 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15013 13537 1111 63 0 14950 0
vsize: 60052
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 689909 0 0 0 107352 1663 0 0 25 0 1 0 911525704 49336320 11342 4294967295 134512640 134716908 3221224560 3221222636 1073950984 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 701059 0 0 0 108328 1688 0 0 25 0 1 0 911525704 58511360 12533 4294967295 134512640 134716908 3221224560 3221220720 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14285 12533 1111 63 0 14222 0
vsize: 57140
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 710688 0 0 0 109304 1711 0 0 25 0 1 0 911525704 49762304 11414 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12149 11414 1111 63 0 12086 0
vsize: 48596
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 721675 0 0 0 110278 1738 0 0 25 0 1 0 911525704 49700864 11431 4294967295 134512640 134716908 3221224560 3221222304 1075645360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12134 11431 1111 63 0 12071 0
vsize: 48536
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 732646 0 0 0 111253 1763 0 0 25 0 1 0 911525704 50225152 11521 4294967295 134512640 134716908 3221224560 3221222672 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12262 11521 1111 63 0 12199 0
vsize: 49048
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 739455 0 0 0 112238 1778 0 0 25 0 1 0 911525704 59154432 11762 4294967295 134512640 134716908 3221224560 3221220788 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14442 11762 1111 63 0 14379 0
vsize: 57768
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 747883 0 0 0 113218 1799 0 0 25 0 1 0 911525704 55721984 11842 4294967295 134512640 134716908 3221224560 3221220492 1074788214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13604 11842 1111 63 0 13541 0
vsize: 54416
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 766347 0 0 0 114171 1845 0 0 25 0 1 0 911525704 58998784 12142 4294967295 134512640 134716908 3221224560 3221220720 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14404 12152 1111 63 0 14341 0
vsize: 57616
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 786725 0 0 0 115119 1897 0 0 25 0 1 0 911525704 50212864 11556 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12259 11556 1111 63 0 12196 0
vsize: 49036
[startup+1175.32 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 3608
Raw data (stat): 3551 (bsolo_lpr_cuts-) R 3550 7266 7265 0 -1 0 786725 0 0 0 115119 1897 0 0 25 0 1 0 911525704 50212864 11556 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12259 11556 1111 63 0 12196 0
vsize: 0

Child status: 10
Real time (s): 1175.32
CPU time (s): 1175.47
CPU user time (s): 1156.29
CPU system time (s): 19.1781
CPU usage (%): 100.013
Max. virtual memory (Kb): 64544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1843200
#### END VERIFIER DATA ####