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-markshare2.opb
MD5SUM	b54bb080800e2327586cd478559c04ff
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10368
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 41582

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        829596 kB
Buffers:          3840 kB
Cached:         181868 kB
SwapCached:        680 kB
Active:          31452 kB
Inactive:       156228 kB
HighTotal:      131008 kB
HighFree:         8904 kB
LowTotal:       903652 kB
LowFree:        820692 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            11720 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:32:58 (client local time) WITH STATUS 10 IN 1183.21 SECONDS
stats: 29641 0 1183.21 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 14 constraints.
c After prepocess the problem consists of 186 variables and 14 constraints.
c preprocess terminated 0.101 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.018
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 215680 @ 0.384
c NEW SOLUTION FOUND: 185600 @ 0.385
c NEW SOLUTION FOUND: 110592 @ 0.456
s SATISFIABLE
v -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 -s01_bit0 -s01_bit1 s01_bit2 s01_bit3 -s01_bit4 -s01_bit5 s01_bit6 s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 s11_bit0 s11_bit1 s11_bit2 s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 -s21_bit0 -s21_bit1 s21_bit2 s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 s31_bit0 -s31_bit1 s31_bit2 s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 s41_bit3 -s41_bit4 s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 s51_bit0 s51_bit1 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 s51_bit6 s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s61_bit_7 -s61_bit_6 -s61_bit_5 -s61_bit_4 -s61_bit_3 -s61_bit_2 -s61_bit_1 s61_bit0 -s61_bit1 -s61_bit2 -s61_bit3 -s61_bit4 -s61_bit5 -s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 -s61_bit10 -s61_bit11 -s61_bit12 -x0_bit0 x1_bit0 x2_bit0 -x3_bit0 -x4_bit0 x5_bit0 -x6_bit0 x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 x12_bit0 -x13_bit0 x14_bit0 x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 x25_bit0 x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 x30_bit0 -x31_bit0 x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 x41_bit0 x42_bit0 -x43_bit0 -x44_bit0 x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 x50_bit0 x51_bit0 x52_bit0 -x53_bit0 -x54_bit0 x55_bit0 x56_bit0 -x57_bit0 x58_bit0 x59_bit0 
c Exit Code: 10
c Total time: 1183.11 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.79 0.92 0.90 2/54 12678
Raw data (stat): 12678 (runsolver) R 12677 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911616975 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.0009 s]
Raw data (loadavg): 0.82 0.93 0.90 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 7827 0 0 0 968 29 0 0 25 0 1 0 911616975 10485760 1875 4294967295 134512640 134716908 3221224560 3221222728 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1875 1111 63 0 2497 0
vsize: 10240
[startup+20.0012 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 13850 0 0 0 1938 59 0 0 25 0 1 0 911616975 13635584 2644 4294967295 134512640 134716908 3221224560 3221223268 134592367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3329 2644 1111 63 0 3266 0
vsize: 13316
[startup+30.0021 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 19985 0 0 0 2913 84 0 0 25 0 1 0 911616975 16420864 3322 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4009 3322 1111 63 0 3946 0
vsize: 16036
[startup+40.0022 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 26100 0 0 0 3884 113 0 0 25 0 1 0 911616975 20197376 4198 4294967295 134512640 134716908 3221224560 3221221128 1076045683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4198 1111 63 0 4868 0
vsize: 19724
[startup+50.0017 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 32709 0 0 0 4855 142 0 0 25 0 1 0 911616975 23736320 5102 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5795 5102 1111 63 0 5732 0
vsize: 23180
[startup+60.0016 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 37272 0 0 0 5837 160 0 0 25 0 1 0 911616975 25600000 5565 4294967295 134512640 134716908 3221224560 3221223072 134646842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6250 5565 1111 63 0 6187 0
vsize: 25000
[startup+70.0017 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 68556 0 0 0 6764 233 0 0 25 0 1 0 911616975 29581312 6537 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7222 6537 1111 63 0 7159 0
vsize: 28888
[startup+80.0023 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 77879 0 0 0 7743 255 0 0 25 0 1 0 911616975 31371264 6755 4294967295 134512640 134716908 3221224560 3221221504 1074620369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7659 6755 1111 63 0 7596 0
vsize: 30636
[startup+90.0021 s]
Raw data (loadavg): 1.08 0.98 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 99366 0 0 0 8693 305 0 0 25 0 1 0 911616975 33251328 7400 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8118 7400 1111 63 0 8055 0
vsize: 32472
[startup+100.002 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 126191 0 0 0 9635 363 0 0 25 0 1 0 911616975 38014976 8554 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9281 8554 1111 63 0 9218 0
vsize: 37124
[startup+110.003 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 137884 0 0 0 10608 390 0 0 25 0 1 0 911616975 37421056 8405 4294967295 134512640 134716908 3221224560 3221222928 134540040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9136 8405 1111 63 0 9073 0
vsize: 36544
[startup+120.003 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 162665 0 0 0 11555 444 0 0 25 0 1 0 911616975 40615936 9189 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9916 9189 1111 63 0 9853 0
vsize: 39664
[startup+130.004 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 173881 0 0 0 12528 470 0 0 25 0 1 0 911616975 40230912 9107 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9822 9107 1111 63 0 9759 0
vsize: 39288
[startup+140.003 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 210794 0 0 0 13449 550 0 0 25 0 1 0 911616975 42889216 9759 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10471 9759 1111 63 0 10408 0
vsize: 41884
[startup+150.003 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 248953 0 0 0 14359 640 0 0 25 0 1 0 911616975 49840128 11460 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12168 11460 1111 63 0 12105 0
vsize: 48672
[startup+160.003 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 280715 0 0 0 15284 715 0 0 25 0 1 0 911616975 55930880 12926 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13655 12926 1111 63 0 13592 0
vsize: 54620
[startup+170.003 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 310473 0 0 0 16217 783 0 0 25 0 1 0 911616975 60567552 13653 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14787 13654 1111 63 0 14724 0
vsize: 59148
[startup+180.004 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 329566 0 0 0 17173 827 0 0 25 0 1 0 911616975 63209472 14446 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15432 14446 1111 63 0 15369 0
vsize: 61728
[startup+190.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 339123 0 0 0 18151 849 0 0 25 0 1 0 911616975 64925696 14836 4294967295 134512640 134716908 3221224560 3221221840 1074140374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15851 14848 1111 63 0 15788 0
vsize: 63404
[startup+200.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 350832 0 0 0 19122 878 0 0 25 0 1 0 911616975 66822144 15322 4294967295 134512640 134716908 3221224560 3221222560 1074916528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16314 15322 1111 63 0 16251 0
vsize: 65256
[startup+210.005 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 365457 0 0 0 20083 917 0 0 25 0 1 0 911616975 69107712 15678 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16872 15691 1111 63 0 16809 0
vsize: 67488
[startup+220.005 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 398366 0 0 0 21008 992 0 0 25 0 1 0 911616975 72183808 16624 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17623 16624 1111 63 0 17560 0
vsize: 70492
[startup+230.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 429174 0 0 0 21936 1065 0 0 25 0 1 0 911616975 76734464 17695 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18734 17695 1111 63 0 18671 0
vsize: 74936
[startup+240.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 437183 0 0 0 22918 1083 0 0 25 0 1 0 911616975 76914688 17743 4294967295 134512640 134716908 3221224560 3221222696 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18778 17743 1111 63 0 18715 0
vsize: 75112
[startup+250.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 447832 0 0 0 23893 1108 0 0 25 0 1 0 911616975 77619200 17910 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18950 17910 1111 63 0 18887 0
vsize: 75800
[startup+260.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 457418 0 0 0 24871 1130 0 0 25 0 1 0 911616975 78282752 18046 4294967295 134512640 134716908 3221224560 3221222400 1075798452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19112 18046 1111 63 0 19049 0
vsize: 76448
[startup+270.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 483305 0 0 0 25811 1190 0 0 25 0 1 0 911616975 78127104 18039 4294967295 134512640 134716908 3221224560 3221222288 1075829534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19074 18039 1111 63 0 19011 0
vsize: 76296
[startup+280.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 522647 0 0 0 26722 1280 0 0 25 0 1 0 911616975 83042304 19112 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19108 1111 63 0 20101 0
vsize: 81096
[startup+290.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 561536 0 0 0 27635 1367 0 0 25 0 1 0 911616975 88272896 20352 4294967295 134512640 134716908 3221224560 3221221632 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21386 20297 1111 63 0 21323 0
vsize: 86204
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 600335 0 0 0 28546 1456 0 0 25 0 1 0 911616975 92839936 21667 4294967295 134512640 134716908 3221224560 3221222748 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22666 21667 1111 63 0 22603 0
vsize: 90664
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 639854 0 0 0 29456 1547 0 0 25 0 1 0 911616975 97574912 22805 4294967295 134512640 134716908 3221224560 3221222288 1075829975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23822 22805 1111 63 0 23759 0
vsize: 95288
[startup+320.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 678965 0 0 0 30363 1639 0 0 25 0 1 0 911616975 102141952 23923 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24937 23923 1111 63 0 24874 0
vsize: 99748
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 714853 0 0 0 31278 1725 0 0 25 0 1 0 911616975 109166592 25298 4294967295 134512640 134716908 3221224560 3221221680 1074865635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25298 1111 63 0 26589 0
vsize: 106608
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 754430 0 0 0 32190 1813 0 0 25 0 1 0 911616975 116756480 26840 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28505 26840 1111 63 0 28442 0
vsize: 114020
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 794329 0 0 0 33100 1903 0 0 25 0 1 0 911616975 123510784 28328 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30099 28326 1111 63 0 30036 0
vsize: 120616
[startup+360.013 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 832707 0 0 0 34012 1991 0 0 25 0 1 0 911616975 129339392 29796 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31577 29796 1111 63 0 31514 0
vsize: 126308
[startup+370.013 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 870099 0 0 0 34926 2078 0 0 25 0 1 0 911616975 134057984 30931 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32674 30929 1111 63 0 32611 0
vsize: 130916
[startup+380.014 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 906650 0 0 0 35841 2163 0 0 25 0 1 0 911616975 141205504 32453 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34474 32453 1111 63 0 34411 0
vsize: 137896
[startup+390.014 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 945193 0 0 0 36755 2249 0 0 25 0 1 0 911616975 147161088 34002 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35928 34002 1111 63 0 35865 0
vsize: 143712
[startup+400.014 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 981815 0 0 0 37672 2332 0 0 25 0 1 0 911616975 153108480 35437 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37380 35437 1111 63 0 37317 0
vsize: 149520
[startup+410.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1021210 0 0 0 38582 2423 0 0 25 0 1 0 911616975 158810112 36636 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38772 36636 1111 63 0 38709 0
vsize: 155088
[startup+420.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1060440 0 0 0 39493 2512 0 0 25 0 1 0 911616975 162496512 37773 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39672 37773 1111 63 0 39609 0
vsize: 158688
[startup+430.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1099550 0 0 0 40404 2601 0 0 25 0 1 0 911616975 167227392 38932 4294967295 134512640 134716908 3221224560 3221222704 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40827 38932 1111 63 0 40764 0
vsize: 163308
[startup+440.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1138078 0 0 0 41312 2693 0 0 25 0 1 0 911616975 171896832 40077 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41912 40075 1111 63 0 41849 0
vsize: 167868
[startup+450.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1176258 0 0 0 42223 2783 0 0 25 0 1 0 911616975 176939008 41397 4294967295 134512640 134716908 3221224560 3221221904 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43198 41397 1111 63 0 43135 0
vsize: 172792
[startup+460.015 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1214930 0 0 0 43131 2875 0 0 25 0 1 0 911616975 182386688 42716 4294967295 134512640 134716908 3221224560 3221222288 1075831097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44528 42716 1111 63 0 44465 0
vsize: 178112
[startup+470.016 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1252932 0 0 0 44041 2965 0 0 25 0 1 0 911616975 186667008 43813 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45573 43813 1111 63 0 45510 0
vsize: 182292
[startup+480.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1292083 0 0 0 44954 3052 0 0 25 0 1 0 911616975 192045056 44916 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46886 44916 1111 63 0 46823 0
vsize: 187544
[startup+490.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1331455 0 0 0 45867 3140 0 0 25 0 1 0 911616975 195629056 46043 4294967295 134512640 134716908 3221224560 3221223180 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47761 46043 1111 63 0 47698 0
vsize: 191044
[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1370936 0 0 0 46779 3228 0 0 25 0 1 0 911616975 200867840 47361 4294967295 134512640 134716908 3221224560 3221223008 1073990251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49040 47361 1111 63 0 48977 0
vsize: 196160
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1409836 0 0 0 47693 3314 0 0 25 0 1 0 911616975 205025280 48371 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50055 48371 1111 63 0 49992 0
vsize: 200220
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1449283 0 0 0 48607 3400 0 0 25 0 1 0 911616975 222363648 51151 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54288 51151 1111 63 0 54225 0
vsize: 217152
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1474924 0 0 0 49550 3457 0 0 25 0 1 0 911616975 227520512 52329 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55547 52329 1111 63 0 55484 0
vsize: 222188
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1475067 0 0 0 50549 3459 0 0 25 0 1 0 911616975 228200448 52472 4294967295 134512640 134716908 3221224560 3221222672 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55713 52472 1111 63 0 55650 0
vsize: 222852
[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1475157 0 0 0 51547 3460 0 0 25 0 1 0 911616975 228564992 52562 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55802 52562 1111 63 0 55739 0
vsize: 223208
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1476503 0 0 0 52545 3462 0 0 25 0 1 0 911616975 232267776 53479 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53479 1111 63 0 56643 0
vsize: 226824
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1476503 0 0 0 53545 3462 0 0 25 0 1 0 911616975 232267776 53479 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53479 1111 63 0 56643 0
vsize: 226824
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1476503 0 0 0 54546 3463 0 0 25 0 1 0 911616975 232267776 53479 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53479 1111 63 0 56643 0
vsize: 226824
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1476503 0 0 0 55546 3463 0 0 25 0 1 0 911616975 232267776 53479 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56706 53479 1111 63 0 56643 0
vsize: 226824
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1481490 0 0 0 56536 3473 0 0 25 0 1 0 911616975 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1481490 0 0 0 57536 3473 0 0 25 0 1 0 911616975 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1481490 0 0 0 58536 3473 0 0 25 0 1 0 911616975 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1481490 0 0 0 59536 3473 0 0 25 0 1 0 911616975 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1481490 0 0 0 60536 3473 0 0 25 0 1 0 911616975 232333312 53495 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56722 53495 1111 63 0 56659 0
vsize: 226888
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1486022 0 0 0 61527 3483 0 0 25 0 1 0 911616975 232808448 53524 4294967295 134512640 134716908 3221224560 3221222624 1075961779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56838 53524 1111 63 0 56775 0
vsize: 227352
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1486444 0 0 0 62526 3484 0 0 25 0 1 0 911616975 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1486444 0 0 0 63526 3484 0 0 25 0 1 0 911616975 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1486444 0 0 0 64526 3484 0 0 25 0 1 0 911616975 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+690.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1486444 0 0 0 65527 3484 0 0 25 0 1 0 911616975 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1486444 0 0 0 66527 3484 0 0 25 0 1 0 911616975 232411136 53514 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56741 53514 1111 63 0 56678 0
vsize: 226964
[startup+710.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1491429 0 0 0 67516 3495 0 0 25 0 1 0 911616975 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1491429 0 0 0 68516 3495 0 0 25 0 1 0 911616975 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1491429 0 0 0 69516 3495 0 0 25 0 1 0 911616975 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1491429 0 0 0 70516 3495 0 0 25 0 1 0 911616975 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1491429 0 0 0 71517 3495 0 0 25 0 1 0 911616975 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1491429 0 0 0 72517 3495 0 0 25 0 1 0 911616975 232488960 53533 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56760 53533 1111 63 0 56697 0
vsize: 227040
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1496445 0 0 0 73506 3506 0 0 25 0 1 0 911616975 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1496445 0 0 0 74506 3506 0 0 25 0 1 0 911616975 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1496445 0 0 0 75506 3506 0 0 25 0 1 0 911616975 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1496445 0 0 0 76506 3506 0 0 25 0 1 0 911616975 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1496445 0 0 0 77507 3506 0 0 25 0 1 0 911616975 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1496445 0 0 0 78507 3506 0 0 25 0 1 0 911616975 232566784 53552 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56779 53552 1111 63 0 56716 0
vsize: 227116
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1501513 0 0 0 79497 3516 0 0 25 0 1 0 911616975 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1501513 0 0 0 80497 3516 0 0 25 0 1 0 911616975 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1501513 0 0 0 81497 3516 0 0 25 0 1 0 911616975 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1501513 0 0 0 82498 3516 0 0 25 0 1 0 911616975 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1501513 0 0 0 83498 3516 0 0 25 0 1 0 911616975 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1501513 0 0 0 84498 3516 0 0 25 0 1 0 911616975 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1501513 0 0 0 85498 3516 0 0 25 0 1 0 911616975 232644608 53570 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 53570 1111 63 0 56735 0
vsize: 227192
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1505085 0 0 0 86488 3525 0 0 25 0 1 0 911616975 228360192 52534 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55752 52534 1111 63 0 55689 0
vsize: 223008
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1505190 0 0 0 87487 3527 0 0 25 0 1 0 911616975 228790272 52639 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55857 52639 1111 63 0 55794 0
vsize: 223428
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1506508 0 0 0 88483 3531 0 0 25 0 1 0 911616975 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1506508 0 0 0 89483 3531 0 0 25 0 1 0 911616975 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1506508 0 0 0 90484 3531 0 0 25 0 1 0 911616975 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1506508 0 0 0 91483 3531 0 0 25 0 1 0 911616975 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1506508 0 0 0 92484 3532 0 0 25 0 1 0 911616975 232534016 53537 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53537 1111 63 0 56708 0
vsize: 227084
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1511445 0 0 0 93473 3542 0 0 25 0 1 0 911616975 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1511445 0 0 0 94473 3542 0 0 25 0 1 0 911616975 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1511445 0 0 0 95473 3543 0 0 25 0 1 0 911616975 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1511445 0 0 0 96473 3543 0 0 25 0 1 0 911616975 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1511445 0 0 0 97473 3543 0 0 25 0 1 0 911616975 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1511445 0 0 0 98474 3543 0 0 25 0 1 0 911616975 232534016 53543 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56771 53543 1111 63 0 56708 0
vsize: 227084
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1516372 0 0 0 99463 3553 0 0 25 0 1 0 911616975 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1516372 0 0 0 100463 3553 0 0 25 0 1 0 911616975 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1516372 0 0 0 101463 3553 0 0 25 0 1 0 911616975 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1516372 0 0 0 102464 3553 0 0 25 0 1 0 911616975 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1516372 0 0 0 103464 3553 0 0 25 0 1 0 911616975 232611840 53564 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56790 53564 1111 63 0 56727 0
vsize: 227160
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1520921 0 0 0 104454 3564 0 0 25 0 1 0 911616975 233091072 53577 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56907 53577 1111 63 0 56844 0
vsize: 227628
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1521349 0 0 0 105453 3565 0 0 25 0 1 0 911616975 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1521349 0 0 0 106453 3565 0 0 25 0 1 0 911616975 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1521349 0 0 0 107453 3565 0 0 25 0 1 0 911616975 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1521349 0 0 0 108453 3565 0 0 25 0 1 0 911616975 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1521349 0 0 0 109454 3565 0 0 25 0 1 0 911616975 232693760 53583 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56810 53583 1111 63 0 56747 0
vsize: 227240
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1524904 0 0 0 110445 3573 0 0 25 0 1 0 911616975 228253696 52508 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55726 52508 1111 63 0 55663 0
vsize: 222904
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1525033 0 0 0 111444 3575 0 0 25 0 1 0 911616975 228782080 52637 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55855 52637 1111 63 0 55792 0
vsize: 223420
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1526000 0 0 0 112443 3576 0 0 25 0 1 0 911616975 231436288 53285 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56503 53285 1111 63 0 56440 0
vsize: 226012
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1526000 0 0 0 113443 3576 0 0 25 0 1 0 911616975 231436288 53285 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56503 53285 1111 63 0 56440 0
vsize: 226012
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1526000 0 0 0 114443 3576 0 0 25 0 1 0 911616975 231436288 53285 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56503 53285 1111 63 0 56440 0
vsize: 226012
[startup+1183.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 12678
Raw data (stat): 12678 (bsolo_lpr_cuts-) R 12677 20224 20223 0 -1 0 1526000 0 0 0 114443 3576 0 0 25 0 1 0 911616975 231436288 53285 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56503 53285 1111 63 0 56440 0
vsize: 0

Child status: 10
Real time (s): 1183.05
CPU time (s): 1183.21
CPU user time (s): 1147.27
CPU system time (s): 35.9365
CPU usage (%): 100.014
Max. virtual memory (Kb): 227628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	110592
#### END VERIFIER DATA ####