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-markshare1.opb
MD5SUM	ba87f5dfbaed559dc55bc00bf07dc880
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3712
Optimality of the best value was proved	NO
Number of terms in the objective function	120
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	6291450
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	6291450
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.68
Number of variables	170
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	70
Trace number 27100

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 19:13:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18500 boxname=wulflinc20 idbench=1424 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ba87f5dfbaed559dc55bc00bf07dc880  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-markshare1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-markshare1.opb
IDLAUNCH: 18500
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        903360 kB
Buffers:          9936 kB
Cached:         100628 kB
SwapCached:        684 kB
Active:          20760 kB
Inactive:        91824 kB
HighTotal:      131008 kB
HighFree:        40964 kB
LowTotal:       903652 kB
LowFree:        862396 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            12920 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:33:03 (client local time) WITH STATUS 10 IN 1175.88 SECONDS
stats: 18500 0 1175.88 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 170 variables and 12 constraints.
c After prepocess the problem consists of 158 variables and 12 constraints.
c preprocess terminated 0.084 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.015
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 111616 @ 0.274
c NEW SOLUTION FOUND: 74752 @ 0.275
c NEW SOLUTION FOUND: 49024 @ 0.299
c NEW SOLUTION FOUND: 39680 @ 0.301
c NEW SOLUTION FOUND: 21632 @ 0.391
c NEW SOLUTION FOUND: 15872 @ 1.264
c NEW SOLUTION FOUND: 13312 @ 1.645
c NEW SOLUTION FOUND: 13184 @ 2.347
c NEW SOLUTION FOUND: 10624 @ 10.183
c NEW SOLUTION FOUND: 9088 @ 484.998
c NEW SOLUTION FOUND: 7680 @ 678.857
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 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 
c Exit Code: 10
c Total time: 1175.82 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.95 2/54 29417
Raw data (stat): 29417 (runsolver) R 29416 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832669403 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99992 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 5643 0 0 0 977 20 0 0 25 0 1 0 832669403 10416128 1858 4294967295 134512640 134714508 3221224592 3221223344 134604472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2543 1858 1111 63 0 2480 0
vsize: 10172
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 10859 0 0 0 1956 41 0 0 25 0 1 0 832669403 14467072 2841 4294967295 134512640 134714508 3221224592 3221222592 1074916872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2841 1111 63 0 3469 0
vsize: 14128
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 15818 0 0 0 2929 69 0 0 25 0 1 0 832669403 21311488 4514 4294967295 134512640 134714508 3221224592 3221222560 1075809065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5203 4514 1111 63 0 5140 0
vsize: 20812
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 20615 0 0 0 3906 92 0 0 25 0 1 0 832669403 28319744 6216 4294967295 134512640 134714508 3221224592 3221222544 1075656622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6914 6216 1111 63 0 6851 0
vsize: 27656
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 24845 0 0 0 4885 113 0 0 25 0 1 0 832669403 34234368 7656 4294967295 134512640 134714508 3221224592 3221222992 1074118797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8358 7656 1111 63 0 8295 0
vsize: 33432
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 29418 0 0 0 5862 136 0 0 25 0 1 0 832669403 41500672 9312 4294967295 134512640 134714508 3221224592 3221220736 1074969480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10132 9312 1111 63 0 10069 0
vsize: 40528
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 33836 0 0 0 6840 159 0 0 25 0 1 0 832669403 47628288 10844 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11628 10844 1111 63 0 11565 0
vsize: 46512
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 38262 0 0 0 7818 180 0 0 25 0 1 0 832669403 53489664 12280 4294967295 134512640 134714508 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13059 12280 1111 63 0 12996 0
vsize: 52236
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 40380 0 0 0 8807 191 0 0 25 0 1 0 832669403 56872960 13101 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13885 13101 1111 63 0 13822 0
vsize: 55540
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 40476 0 0 0 9807 192 0 0 25 0 1 0 832669403 57266176 13197 4294967295 134512640 134714508 3221224592 3221222688 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13981 13197 1111 63 0 13918 0
vsize: 55924
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 40593 0 0 0 10806 194 0 0 25 0 1 0 832669403 57876480 13314 4294967295 134512640 134714508 3221224592 3221222880 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14130 13314 1111 63 0 14067 0
vsize: 56520
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 41758 0 0 0 11803 196 0 0 25 0 1 0 832669403 60956672 14094 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14882 14094 1111 63 0 14819 0
vsize: 59528
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 44325 0 0 0 12797 202 0 0 25 0 1 0 832669403 66883584 15185 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16329 15185 1111 63 0 16266 0
vsize: 65316
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 46484 0 0 0 13792 208 0 0 25 0 1 0 832669403 57880576 13354 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14131 13354 1111 63 0 14068 0
vsize: 56524
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 46484 0 0 0 14792 208 0 0 25 0 1 0 832669403 57880576 13354 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14131 13354 1111 63 0 14068 0
vsize: 56524
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 46484 0 0 0 15792 208 0 0 25 0 1 0 832669403 57880576 13354 4294967295 134512640 134714508 3221224592 3221223304 134543171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14131 13354 1111 63 0 14068 0
vsize: 56524
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 46484 0 0 0 16792 208 0 0 25 0 1 0 832669403 57880576 13354 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14131 13354 1111 63 0 14068 0
vsize: 56524
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 46484 0 0 0 17792 208 0 0 25 0 1 0 832669403 57880576 13354 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14131 13354 1111 63 0 14068 0
vsize: 56524
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 51786 0 0 0 18782 219 0 0 25 0 1 0 832669403 56651776 13048 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14405 13052 1111 63 0 14342 0
vsize: 55324
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 55636 0 0 0 19771 230 0 0 25 0 1 0 832669403 58392576 13482 4294967295 134512640 134714508 3221224592 3221222784 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14256 13482 1111 63 0 14193 0
vsize: 57024
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 56529 0 0 0 20769 232 0 0 25 0 1 0 832669403 60944384 14095 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14879 14095 1111 63 0 14816 0
vsize: 59516
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 60095 0 0 0 21761 240 0 0 25 0 1 0 832669403 58667008 13549 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14323 13549 1111 63 0 14260 0
vsize: 57292
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 60095 0 0 0 22761 240 0 0 25 0 1 0 832669403 58667008 13549 4294967295 134512640 134714508 3221224592 3221223368 134542416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14323 13549 1111 63 0 14260 0
vsize: 57292
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 60095 0 0 0 23761 240 0 0 25 0 1 0 832669403 58667008 13549 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14323 13549 1111 63 0 14260 0
vsize: 57292
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 60095 0 0 0 24761 240 0 0 25 0 1 0 832669403 58667008 13549 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14323 13549 1111 63 0 14260 0
vsize: 57292
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 60095 0 0 0 25761 241 0 0 25 0 1 0 832669403 57548800 13276 4294967295 134512640 134714508 3221224592 3221222800 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14050 13276 1111 63 0 13987 0
vsize: 56200
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 62819 0 0 0 26755 247 0 0 25 0 1 0 832669403 59404288 13556 4294967295 134512640 134714508 3221224592 3221221872 1074140026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14503 13561 1111 63 0 14440 0
vsize: 58012
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 63306 0 0 0 27754 248 0 0 25 0 1 0 832669403 58187776 13432 4294967295 134512640 134714508 3221224592 3221223320 134622854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14206 13432 1111 63 0 14143 0
vsize: 56824
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 67606 0 0 0 28744 258 0 0 25 0 1 0 832669403 57483264 13260 4294967295 134512640 134714508 3221224592 3221223120 134542694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14034 13260 1111 63 0 13971 0
vsize: 56136
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 103770 0 0 0 29663 340 0 0 25 0 1 0 832669403 61042688 14125 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14903 14125 1111 63 0 14840 0
vsize: 59612
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 106382 0 0 0 30657 346 0 0 25 0 1 0 832669403 61857792 14326 4294967295 134512640 134714508 3221224592 3221223384 134536901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15102 14326 1111 63 0 15039 0
vsize: 60408
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 127755 0 0 0 31607 396 0 0 25 0 1 0 832669403 72667136 15351 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17741 15351 1111 63 0 17678 0
vsize: 70964
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 129429 0 0 0 32603 400 0 0 25 0 1 0 832669403 63987712 14843 4294967295 134512640 134714508 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15622 14843 1111 63 0 15559 0
vsize: 62488
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 158163 0 0 0 33535 469 0 0 25 0 1 0 832669403 65802240 15280 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16065 15280 1111 63 0 16002 0
vsize: 64260
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 189337 0 0 0 34461 543 0 0 25 0 1 0 832669403 72761344 15854 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17764 15867 1111 63 0 17701 0
vsize: 71056
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 219926 0 0 0 35389 615 0 0 25 0 1 0 832669403 69582848 16213 4294967295 134512640 134714508 3221224592 3221222704 1074867296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16988 16213 1111 63 0 16925 0
vsize: 67952
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 251930 0 0 0 36313 691 0 0 25 0 1 0 832669403 71352320 16623 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17420 16623 1111 63 0 17357 0
vsize: 69680
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 285323 0 0 0 37237 767 0 0 25 0 1 0 832669403 75407360 17379 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18410 17379 1111 63 0 18347 0
vsize: 73640
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 316328 0 0 0 38163 841 0 0 25 0 1 0 832669403 77008896 17769 4294967295 134512640 134714508 3221224592 3221222704 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18801 17769 1111 63 0 18738 0
vsize: 75204
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 346943 0 0 0 39089 915 0 0 25 0 1 0 832669403 83271680 18139 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20330 18151 1111 63 0 20267 0
vsize: 81320
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 377779 0 0 0 40018 987 0 0 25 0 1 0 832669403 80117760 18519 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19560 18519 1111 63 0 19497 0
vsize: 78240
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 404725 0 0 0 40952 1053 0 0 25 0 1 0 832669403 81715200 18884 4294967295 134512640 134714508 3221224592 3221222592 1074918585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19950 18884 1111 63 0 19887 0
vsize: 79800
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 422923 0 0 0 41909 1096 0 0 25 0 1 0 832669403 82722816 19136 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20196 19136 1111 63 0 20133 0
vsize: 80784
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 447743 0 0 0 42850 1155 0 0 25 0 1 0 832669403 84856832 19643 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20717 19643 1111 63 0 20654 0
vsize: 82868
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 476114 0 0 0 43779 1227 0 0 25 0 1 0 832669403 92188672 20264 4294967295 134512640 134714508 3221224592 3221221576 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21360 20258 1111 63 0 21297 0
vsize: 90028
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 501803 0 0 0 44717 1288 0 0 25 0 1 0 832669403 89370624 20689 4294967295 134512640 134714508 3221224592 3221222708 1077402435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21819 20689 1111 63 0 21756 0
vsize: 87276
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 524876 0 0 0 45664 1342 0 0 25 0 1 0 832669403 90435584 20958 4294967295 134512640 134714508 3221224592 3221223008 1074116804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22079 20958 1111 63 0 22016 0
vsize: 88316
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 547887 0 0 0 46609 1397 0 0 25 0 1 0 832669403 91672576 21247 4294967295 134512640 134714508 3221224592 3221223232 134696094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22381 21247 1111 63 0 22318 0
vsize: 89524
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 570119 0 0 0 47556 1451 0 0 25 0 1 0 832669403 93032448 21572 4294967295 134512640 134714508 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22713 21572 1111 63 0 22650 0
vsize: 90852
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 594101 0 0 0 48495 1511 0 0 25 0 1 0 832669403 94023680 21811 4294967295 134512640 134714508 3221224592 3221222736 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22955 21811 1111 63 0 22892 0
vsize: 91820
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 616007 0 0 0 49442 1564 0 0 25 0 1 0 832669403 95494144 22171 4294967295 134512640 134714508 3221224592 3221222728 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23314 22171 1111 63 0 23251 0
vsize: 93256
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 638661 0 0 0 50389 1617 0 0 25 0 1 0 832669403 101199872 22449 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24707 22460 1111 63 0 24644 0
vsize: 98828
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 666613 0 0 0 51327 1680 0 0 25 0 1 0 832669403 98586624 22934 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24069 22934 1111 63 0 24006 0
vsize: 96276
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 694431 0 0 0 52260 1746 0 0 25 0 1 0 832669403 100831232 23482 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24617 23482 1111 63 0 24554 0
vsize: 98468
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 715975 0 0 0 53210 1797 0 0 25 0 1 0 832669403 101937152 23753 4294967295 134512640 134714508 3221224592 3221222752 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24887 23753 1111 63 0 24824 0
vsize: 99548
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 736818 0 0 0 54159 1848 0 0 25 0 1 0 832669403 102711296 23920 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25076 23920 1111 63 0 25013 0
vsize: 100304
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 757317 0 0 0 55113 1894 0 0 25 0 1 0 832669403 103505920 24135 4294967295 134512640 134714508 3221224592 3221222424 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25270 24135 1111 63 0 25207 0
vsize: 101080
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 778750 0 0 0 56061 1946 0 0 25 0 1 0 832669403 104488960 24377 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25510 24377 1111 63 0 25447 0
vsize: 102040
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 802520 0 0 0 57004 2003 0 0 25 0 1 0 832669403 105619456 24654 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25786 24654 1111 63 0 25723 0
vsize: 103144
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 823017 0 0 0 57956 2052 0 0 25 0 1 0 832669403 106381312 24832 4294967295 134512640 134714508 3221224592 3221222800 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25972 24832 1111 63 0 25909 0
vsize: 103888
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 841865 0 0 0 58909 2099 0 0 25 0 1 0 832669403 106938368 24960 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26099 24959 1111 63 0 26036 0
vsize: 104432
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 861191 0 0 0 59863 2145 0 0 25 0 1 0 832669403 107646976 25139 4294967295 134512640 134714508 3221224592 3221222764 1077410225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26281 25139 1111 63 0 26218 0
vsize: 105124
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 881342 0 0 0 60813 2195 0 0 25 0 1 0 832669403 108494848 25320 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26488 25320 1111 63 0 26425 0
vsize: 105952
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 899548 0 0 0 61770 2239 0 0 25 0 1 0 832669403 109002752 25452 4294967295 134512640 134714508 3221224592 3221222320 1075828933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26612 25452 1111 63 0 26549 0
vsize: 106448
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 923103 0 0 0 62712 2297 0 0 25 0 1 0 832669403 109957120 25685 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26845 25685 1111 63 0 26782 0
vsize: 107380
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 942746 0 0 0 63668 2341 0 0 25 0 1 0 832669403 110919680 25898 4294967295 134512640 134714508 3221224592 3221222320 1075828571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27080 25898 1111 63 0 27017 0
vsize: 108320
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 959421 0 0 0 64628 2381 0 0 25 0 1 0 832669403 111046656 25945 4294967295 134512640 134714508 3221224592 3221222552 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27111 25945 1111 63 0 27048 0
vsize: 108444
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 979245 0 0 0 65581 2428 0 0 25 0 1 0 832669403 111919104 26163 4294967295 134512640 134714508 3221224592 3221222944 1074142880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27324 26163 1111 63 0 27261 0
vsize: 109296
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 997757 0 0 0 66536 2473 0 0 25 0 1 0 832669403 112529408 26314 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27473 26314 1111 63 0 27410 0
vsize: 109892
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1016345 0 0 0 67491 2518 0 0 25 0 1 0 832669403 113139712 26444 4294967295 134512640 134714508 3221224592 3221222592 1074916872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27622 26444 1111 63 0 27559 0
vsize: 110488
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1034859 0 0 0 68445 2564 0 0 25 0 1 0 832669403 113553408 26566 4294967295 134512640 134714508 3221224592 3221222592 1074916858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27723 26566 1111 63 0 27660 0
vsize: 110892
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1050261 0 0 0 69408 2601 0 0 25 0 1 0 832669403 113913856 26626 4294967295 134512640 134714508 3221224592 3221222784 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27811 26626 1111 63 0 27748 0
vsize: 111244
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1066153 0 0 0 70369 2641 0 0 25 0 1 0 832669403 114327552 26750 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27912 26750 1111 63 0 27849 0
vsize: 111648
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1084858 0 0 0 71323 2687 0 0 25 0 1 0 832669403 114601984 26827 4294967295 134512640 134714508 3221224592 3221222800 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27979 26827 1111 63 0 27916 0
vsize: 111916
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1100696 0 0 0 72284 2726 0 0 25 0 1 0 832669403 115372032 26990 4294967295 134512640 134714508 3221224592 3221222704 1074057846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28167 26990 1111 63 0 28104 0
vsize: 112668
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1117271 0 0 0 73244 2766 0 0 25 0 1 0 832669403 115625984 27052 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28229 27052 1111 63 0 28166 0
vsize: 112916
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1134727 0 0 0 74204 2806 0 0 25 0 1 0 832669403 116420608 27218 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28423 27218 1111 63 0 28360 0
vsize: 113692
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1149087 0 0 0 75170 2840 0 0 25 0 1 0 832669403 116531200 27263 4294967295 134512640 134714508 3221224592 3221222784 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28450 27263 1111 63 0 28387 0
vsize: 113800
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1161267 0 0 0 76142 2869 0 0 25 0 1 0 832669403 116744192 27316 4294967295 134512640 134714508 3221224592 3221222832 1074153742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28502 27316 1111 63 0 28439 0
vsize: 114008
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1174077 0 0 0 77112 2899 0 0 25 0 1 0 832669403 117133312 27397 4294967295 134512640 134714508 3221224592 3221222320 1075829530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28597 27397 1111 63 0 28534 0
vsize: 114388
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1186963 0 0 0 78082 2929 0 0 25 0 1 0 832669403 117227520 27420 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28620 27420 1111 63 0 28557 0
vsize: 114480
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1202745 0 0 0 79042 2969 0 0 25 0 1 0 832669403 117534720 27503 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28695 27503 1111 63 0 28632 0
vsize: 114780
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1217070 0 0 0 80007 3004 0 0 25 0 1 0 832669403 117805056 27547 4294967295 134512640 134714508 3221224592 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28761 27548 1111 63 0 28698 0
vsize: 115044
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1229027 0 0 0 80978 3033 0 0 25 0 1 0 832669403 117997568 27622 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28808 27622 1111 63 0 28745 0
vsize: 115232
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1244042 0 0 0 81942 3070 0 0 25 0 1 0 832669403 117927936 27608 4294967295 134512640 134714508 3221224592 3221223296 134524402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28791 27608 1111 63 0 28728 0
vsize: 115164
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1260787 0 0 0 82901 3111 0 0 25 0 1 0 832669403 118484992 27745 4294967295 134512640 134714508 3221224592 3221222784 1074153023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28927 27745 1111 63 0 28864 0
vsize: 115708
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1278617 0 0 0 83857 3156 0 0 25 0 1 0 832669403 119136256 27895 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29086 27895 1111 63 0 29023 0
vsize: 116344
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1296041 0 0 0 84815 3197 0 0 25 0 1 0 832669403 119660544 28021 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29214 28021 1111 63 0 29151 0
vsize: 116856
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1309926 0 0 0 85782 3230 0 0 25 0 1 0 832669403 119959552 28100 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29287 28100 1111 63 0 29224 0
vsize: 117148
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1334639 0 0 0 86725 3288 0 0 25 0 1 0 832669403 125038592 28869 4294967295 134512640 134714508 3221224592 3221223320 134543268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30527 28869 1111 63 0 30464 0
vsize: 122108
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1355431 0 0 0 87677 3336 0 0 25 0 1 0 832669403 127537152 29394 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31137 29394 1111 63 0 31074 0
vsize: 124548
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1375187 0 0 0 88630 3383 0 0 25 0 1 0 832669403 128262144 29542 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31314 29542 1111 63 0 31251 0
vsize: 125256
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1388506 0 0 0 89598 3415 0 0 25 0 1 0 832669403 128405504 29578 4294967295 134512640 134714508 3221224592 3221222320 1075828933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31349 29578 1111 63 0 31286 0
vsize: 125396
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1404975 0 0 0 90560 3454 0 0 25 0 1 0 832669403 129200128 29766 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31543 29766 1111 63 0 31480 0
vsize: 126172
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1419661 0 0 0 91524 3489 0 0 25 0 1 0 832669403 129339392 29801 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31577 29801 1111 63 0 31514 0
vsize: 126308
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1433206 0 0 0 92492 3522 0 0 25 0 1 0 832669403 129495040 29839 4294967295 134512640 134714508 3221224592 3221223232 134649016 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31615 29839 1111 63 0 31552 0
vsize: 126460
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1450500 0 0 0 93451 3563 0 0 25 0 1 0 832669403 130289664 30033 4294967295 134512640 134714508 3221224592 3221222592 1074917122 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31809 30033 1111 63 0 31746 0
vsize: 127236
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1466324 0 0 0 94414 3600 0 0 25 0 1 0 832669403 130252800 30034 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31800 30034 1111 63 0 31737 0
vsize: 127200
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1478018 0 0 0 95387 3627 0 0 25 0 1 0 832669403 130568192 30100 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31877 30100 1111 63 0 31814 0
vsize: 127508
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1489258 0 0 0 96360 3655 0 0 25 0 1 0 832669403 130670592 30133 4294967295 134512640 134714508 3221224592 3221222592 1074918283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31902 30133 1111 63 0 31839 0
vsize: 127608
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1503445 0 0 0 97325 3689 0 0 25 0 1 0 832669403 130998272 30189 4294967295 134512640 134714508 3221224592 3221222784 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31982 30189 1111 63 0 31919 0
vsize: 127928
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1517036 0 0 0 98293 3722 0 0 25 0 1 0 832669403 131084288 30226 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32003 30226 1111 63 0 31940 0
vsize: 128012
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1533103 0 0 0 99254 3761 0 0 25 0 1 0 832669403 132022272 30440 4294967295 134512640 134714508 3221224592 3221222320 1075829506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32232 30440 1111 63 0 32169 0
vsize: 128928
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1543737 0 0 0 100227 3788 0 0 25 0 1 0 832669403 131825664 30421 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32184 30421 1111 63 0 32121 0
vsize: 128736
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1558800 0 0 0 101192 3824 0 0 25 0 1 0 832669403 134627328 30502 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33441 30506 1111 63 0 33378 0
vsize: 131472
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1572408 0 0 0 102159 3856 0 0 25 0 1 0 832669403 132694016 30599 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32396 30599 1111 63 0 32333 0
vsize: 129584
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1588139 0 0 0 103121 3895 0 0 25 0 1 0 832669403 132870144 30641 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32439 30641 1111 63 0 32376 0
vsize: 129756
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1605616 0 0 0 104079 3937 0 0 25 0 1 0 832669403 137760768 30732 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33633 30732 1111 63 0 33570 0
vsize: 134532
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1620091 0 0 0 105046 3971 0 0 25 0 1 0 832669403 134582272 30987 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32857 30987 1111 63 0 32794 0
vsize: 131428
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1632502 0 0 0 106015 4001 0 0 25 0 1 0 832669403 134938624 31042 4294967295 134512640 134714508 3221224592 3221222592 1074918232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32944 31042 1111 63 0 32881 0
vsize: 131776
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1644948 0 0 0 106986 4031 0 0 25 0 1 0 832669403 134713344 31029 4294967295 134512640 134714508 3221224592 3221222408 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32889 31029 1111 63 0 32826 0
vsize: 131556
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1657682 0 0 0 107956 4060 0 0 25 0 1 0 832669403 134926336 31054 4294967295 134512640 134714508 3221224592 3221222736 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32941 31054 1111 63 0 32878 0
vsize: 131764
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1669061 0 0 0 108929 4088 0 0 25 0 1 0 832669403 135229440 31146 4294967295 134512640 134714508 3221224592 3221222592 1074919272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33015 31146 1111 63 0 32952 0
vsize: 132060
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1684419 0 0 0 109892 4125 0 0 25 0 1 0 832669403 135131136 31124 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32991 31124 1111 63 0 32928 0
vsize: 131964
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1695241 0 0 0 110867 4150 0 0 25 0 1 0 832669403 135606272 31230 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33107 31230 1111 63 0 33044 0
vsize: 132428
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1708527 0 0 0 111835 4182 0 0 25 0 1 0 832669403 135892992 31278 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33177 31278 1111 63 0 33114 0
vsize: 132708
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1719012 0 0 0 112811 4206 0 0 25 0 1 0 832669403 136036352 31313 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33212 31313 1111 63 0 33149 0
vsize: 132848
[startup+1175.71 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 29417
Raw data (stat): 29417 (bsolo_lpr) R 29416 25399 25398 0 -1 0 1719012 0 0 0 112811 4206 0 0 25 0 1 0 832669403 136036352 31313 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33212 31313 1111 63 0 33149 0
vsize: 0

Child status: 10
Real time (s): 1175.71
CPU time (s): 1175.88
CPU user time (s): 1133.65
CPU system time (s): 42.2276
CPU usage (%): 100.014
Max. virtual memory (Kb): 134532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	7680
#### END VERIFIER DATA ####