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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb
MD5SUM	c8b965306fec2c21edee64824d12f378
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	230
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	80
Trace number 28333

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 01:43:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13508 boxname=wulflinc24 idbench=1040 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c8b965306fec2c21edee64824d12f378  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 13508
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        745304 kB
Buffers:         11000 kB
Cached:         255620 kB
SwapCached:        620 kB
Active:          34768 kB
Inactive:       234308 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        745052 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            14708 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:02:52 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 13508 0 1175.08 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 230 variables and 12 constraints.
c After prepocess the problem consists of 176 variables and 12 constraints.
c preprocess terminated 0.089 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.016
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2054144 @ 0.301
c NEW SOLUTION FOUND: 1867776 @ 0.309
c NEW SOLUTION FOUND: 1681408 @ 0.311
c NEW SOLUTION FOUND: 1679360 @ 0.42
c NEW SOLUTION FOUND: 1628160 @ 0.444
c NEW SOLUTION FOUND: 1533952 @ 0.505
c NEW SOLUTION FOUND: 1495040 @ 0.525
c NEW SOLUTION FOUND: 1441792 @ 0.612
c NEW SOLUTION FOUND: 1328128 @ 0.699
c NEW SOLUTION FOUND: 1139712 @ 1.518
s SATISFIABLE
v -s01_bit_10 -s01_bit_9 -s01_bit_8 -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 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s11_bit_10 -s11_bit_9 -s11_bit_8 -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 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 -s21_bit_10 -s21_bit_9 -s21_bit_8 -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 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 -s31_bit_10 -s31_bit_9 -s31_bit_8 -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 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 -s41_bit_10 -s41_bit_9 -s41_bit_8 -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 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s51_bit_10 -s51_bit_9 -s51_bit_8 -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 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 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.01 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.78 0.88 0.89 2/54 12519
Raw data (stat): 12519 (runsolver) R 12518 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835006706 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+10.0009 s]
Raw data (loadavg): 0.81 0.88 0.89 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 5357 0 0 0 976 21 0 0 25 0 1 0 835006706 11182080 2000 4294967295 134512640 134714508 3221224592 3221221120 1075890968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2730 2000 1111 63 0 2667 0
vsize: 10920
[startup+20.0062 s]
Raw data (loadavg): 0.84 0.88 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 9078 0 0 0 1958 39 0 0 25 0 1 0 835006706 13774848 2681 4294967295 134512640 134714508 3221224592 3221222592 1074918260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3363 2681 1111 63 0 3300 0
vsize: 13452
[startup+30.0111 s]
Raw data (loadavg): 0.86 0.89 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 13820 0 0 0 2941 57 0 0 25 0 1 0 835006706 16859136 3425 4294967295 134512640 134714508 3221224592 3221222592 1074918304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4116 3425 1111 63 0 4053 0
vsize: 16464
[startup+40.0137 s]
Raw data (loadavg): 0.88 0.89 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 18690 0 0 0 3920 78 0 0 25 0 1 0 835006706 19300352 4021 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4021 1111 63 0 4649 0
vsize: 18848
[startup+50.0152 s]
Raw data (loadavg): 0.90 0.89 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 23698 0 0 0 4904 95 0 0 25 0 1 0 835006706 21434368 4516 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 4516 1111 63 0 5170 0
vsize: 20932
[startup+60.0154 s]
Raw data (loadavg): 0.92 0.89 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 27336 0 0 0 5887 112 0 0 25 0 1 0 835006706 24252416 5214 4294967295 134512640 134714508 3221224592 3221222240 1075818328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5921 5214 1111 63 0 5858 0
vsize: 23684
[startup+70.0159 s]
Raw data (loadavg): 0.93 0.90 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 31073 0 0 0 6869 130 0 0 25 0 1 0 835006706 27934720 6068 4294967295 134512640 134714508 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6820 6068 1111 63 0 6757 0
vsize: 27280
[startup+80.0153 s]
Raw data (loadavg): 0.94 0.90 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 34771 0 0 0 7851 148 0 0 25 0 1 0 835006706 31301632 6939 4294967295 134512640 134714508 3221224592 3221222560 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7642 6939 1111 63 0 7579 0
vsize: 30568
[startup+90.0153 s]
Raw data (loadavg): 0.95 0.90 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 38677 0 0 0 8832 167 0 0 25 0 1 0 835006706 35876864 7999 4294967295 134512640 134714508 3221224592 3221222572 1077411566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8759 7999 1111 63 0 8696 0
vsize: 35036
[startup+100.015 s]
Raw data (loadavg): 0.95 0.91 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 42501 0 0 0 9813 186 0 0 25 0 1 0 835006706 39534592 8854 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9605 8851 1111 63 0 9542 0
vsize: 38608
[startup+110.015 s]
Raw data (loadavg): 0.96 0.91 0.90 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 45837 0 0 0 10802 197 0 0 25 0 1 0 835006706 43741184 9858 4294967295 134512640 134714508 3221224592 3221221120 1075397189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10679 9858 1111 63 0 10616 0
vsize: 42716
[startup+120.016 s]
Raw data (loadavg): 0.97 0.91 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 49013 0 0 0 11796 204 0 0 25 0 1 0 835006706 41299968 9308 4294967295 134512640 134714508 3221224592 3221222704 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10083 9308 1111 63 0 10020 0
vsize: 40332
[startup+130.015 s]
Raw data (loadavg): 0.97 0.91 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 55685 0 0 0 12780 220 0 0 25 0 1 0 835006706 41717760 9405 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10185 9405 1111 63 0 10122 0
vsize: 40740
[startup+140.015 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 64712 0 0 0 13760 241 0 0 25 0 1 0 835006706 42086400 9518 4294967295 134512640 134714508 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10275 9518 1111 63 0 10212 0
vsize: 41100
[startup+150.015 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 73088 0 0 0 14740 261 0 0 25 0 1 0 835006706 43466752 9698 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10612 9698 1111 63 0 10549 0
vsize: 42448
[startup+160.016 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 81199 0 0 0 15719 281 0 0 25 0 1 0 835006706 43835392 9731 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10702 9732 1111 63 0 10639 0
vsize: 42808
[startup+170.017 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 86323 0 0 0 16709 292 0 0 25 0 1 0 835006706 43098112 9768 4294967295 134512640 134714508 3221224592 3221222052 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10522 9768 1111 63 0 10459 0
vsize: 42088
[startup+180.017 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 97529 0 0 0 17682 319 0 0 25 0 1 0 835006706 43769856 9900 4294967295 134512640 134714508 3221224592 3221222848 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10686 9900 1111 63 0 10623 0
vsize: 42744
[startup+190.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 105075 0 0 0 18664 337 0 0 25 0 1 0 835006706 44007424 9990 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10744 9990 1111 63 0 10681 0
vsize: 42976
[startup+200.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 110654 0 0 0 19652 350 0 0 25 0 1 0 835006706 45105152 10130 4294967295 134512640 134714508 3221224592 3221220928 1075114279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11012 10130 1111 63 0 10949 0
vsize: 44048
[startup+210.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 117947 0 0 0 20636 365 0 0 25 0 1 0 835006706 44982272 10196 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10982 10196 1111 63 0 10919 0
vsize: 43928
[startup+220.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 128084 0 0 0 21611 391 0 0 25 0 1 0 835006706 45113344 10260 4294967295 134512640 134714508 3221224592 3221223184 134543108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11014 10260 1111 63 0 10951 0
vsize: 44056
[startup+230.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 134934 0 0 0 22594 408 0 0 25 0 1 0 835006706 46198784 10515 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11279 10515 1111 63 0 11216 0
vsize: 45116
[startup+240.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 140481 0 0 0 23583 419 0 0 25 0 1 0 835006706 46411776 10358 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11331 10361 1111 63 0 11268 0
vsize: 45324
[startup+250.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 147529 0 0 0 24568 434 0 0 25 0 1 0 835006706 45977600 10471 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11225 10471 1111 63 0 11162 0
vsize: 44900
[startup+260.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 156452 0 0 0 25547 455 0 0 25 0 1 0 835006706 46620672 10601 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11382 10601 1111 63 0 11319 0
vsize: 45528
[startup+270.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 161488 0 0 0 26536 467 0 0 25 0 1 0 835006706 46780416 10659 4294967295 134512640 134714508 3221224592 3221223296 134652514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11421 10659 1111 63 0 11358 0
vsize: 45684
[startup+280.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 166758 0 0 0 27524 479 0 0 25 0 1 0 835006706 47599616 10855 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11621 10855 1111 63 0 11558 0
vsize: 46484
[startup+290.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 172187 0 0 0 28511 492 0 0 25 0 1 0 835006706 47239168 10771 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11533 10771 1111 63 0 11470 0
vsize: 46132
[startup+300.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 177262 0 0 0 29500 503 0 0 25 0 1 0 835006706 47403008 10807 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11573 10807 1111 63 0 11510 0
vsize: 46292
[startup+310.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 190735 0 0 0 30470 534 0 0 25 0 1 0 835006706 48132096 10995 4294967295 134512640 134714508 3221224592 3221223396 134622413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11751 10995 1111 63 0 11688 0
vsize: 47004
[startup+320.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 199879 0 0 0 31448 556 0 0 25 0 1 0 835006706 48652288 11124 4294967295 134512640 134714508 3221224592 3221223396 134622373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11878 11124 1111 63 0 11815 0
vsize: 47512
[startup+330.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 208936 0 0 0 32426 578 0 0 25 0 1 0 835006706 49446912 11310 4294967295 134512640 134714508 3221224592 3221222592 1074918316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12072 11310 1111 63 0 12009 0
vsize: 48288
[startup+340.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 215789 0 0 0 33411 593 0 0 25 0 1 0 835006706 49889280 11426 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12180 11426 1111 63 0 12117 0
vsize: 48720
[startup+350.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 224024 0 0 0 34392 613 0 0 25 0 1 0 835006706 50102272 11483 4294967295 134512640 134714508 3221224592 3221222736 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12232 11483 1111 63 0 12169 0
vsize: 48928
[startup+360.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 231514 0 0 0 35374 631 0 0 25 0 1 0 835006706 50606080 11606 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12355 11606 1111 63 0 12292 0
vsize: 49420
[startup+370.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 238722 0 0 0 36356 649 0 0 25 0 1 0 835006706 51601408 11834 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12598 11834 1111 63 0 12535 0
vsize: 50392
[startup+380.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 246267 0 0 0 37338 667 0 0 25 0 1 0 835006706 51412992 11803 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12552 11803 1111 63 0 12489 0
vsize: 50208
[startup+390.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 259417 0 0 0 38308 698 0 0 25 0 1 0 835006706 52727808 12120 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12873 12120 1111 63 0 12810 0
vsize: 51492
[startup+400.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 267685 0 0 0 39288 718 0 0 25 0 1 0 835006706 52854784 12155 4294967295 134512640 134714508 3221224592 3221222832 1074153726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12904 12155 1111 63 0 12841 0
vsize: 51616
[startup+410.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 274094 0 0 0 40273 733 0 0 25 0 1 0 835006706 53886976 12377 4294967295 134512640 134714508 3221224592 3221222592 1074918322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13156 12377 1111 63 0 13093 0
vsize: 52624
[startup+420.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 295230 0 0 0 41226 780 0 0 25 0 1 0 835006706 56131584 12777 4294967295 134512640 134714508 3221224592 3221221584 1075110378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13608 12774 1111 63 0 13545 0
vsize: 54816
[startup+430.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 311393 0 0 0 42189 817 0 0 25 0 1 0 835006706 56836096 13084 4294967295 134512640 134714508 3221224592 3221222640 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13876 13084 1111 63 0 13813 0
vsize: 55504
[startup+440.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 337230 0 0 0 43131 875 0 0 25 0 1 0 835006706 59506688 13736 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14528 13736 1111 63 0 14465 0
vsize: 58112
[startup+450.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 361809 0 0 0 44079 927 0 0 25 0 1 0 835006706 62754816 14379 4294967295 134512640 134714508 3221224592 3221222756 1077374471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15321 14379 1111 63 0 15258 0
vsize: 61284
[startup+460.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 381904 0 0 0 45035 971 0 0 25 0 1 0 835006706 65581056 14874 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16011 14874 1111 63 0 15948 0
vsize: 64044
[startup+470.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 391657 0 0 0 46015 992 0 0 25 0 1 0 835006706 65327104 14983 4294967295 134512640 134714508 3221224592 3221223260 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15949 14983 1111 63 0 15886 0
vsize: 63796
[startup+480.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 409058 0 0 0 46975 1032 0 0 25 0 1 0 835006706 67072000 15282 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16471 15284 1111 63 0 16408 0
vsize: 65500
[startup+490.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 424852 0 0 0 47939 1068 0 0 25 0 1 0 835006706 67653632 15548 4294967295 134512640 134714508 3221224592 3221222736 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16517 15548 1111 63 0 16454 0
vsize: 66068
[startup+500.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 448426 0 0 0 48888 1119 0 0 25 0 1 0 835006706 70668288 16103 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17253 16103 1111 63 0 17190 0
vsize: 69012
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 470506 0 0 0 49841 1167 0 0 25 0 1 0 835006706 72896512 16582 4294967295 134512640 134714508 3221224592 3221221612 1074619860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17797 16582 1111 63 0 17734 0
vsize: 71188
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 486248 0 0 0 50804 1204 0 0 25 0 1 0 835006706 72949760 16778 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17810 16778 1111 63 0 17747 0
vsize: 71240
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 501808 0 0 0 51769 1239 0 0 25 0 1 0 835006706 74874880 17054 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18280 17054 1111 63 0 18217 0
vsize: 73120
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 517092 0 0 0 52735 1273 0 0 25 0 1 0 835006706 75268096 17304 4294967295 134512640 134714508 3221224592 3221222320 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18376 17304 1111 63 0 18313 0
vsize: 73504
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 532935 0 0 0 53700 1308 0 0 25 0 1 0 835006706 77107200 17637 4294967295 134512640 134714508 3221224592 3221220736 1074969467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18825 17638 1111 63 0 18762 0
vsize: 75300
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 548155 0 0 0 54665 1344 0 0 25 0 1 0 835006706 77656064 17915 4294967295 134512640 134714508 3221224592 3221222704 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18959 17915 1111 63 0 18896 0
vsize: 75836
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 559956 0 0 0 55635 1374 0 0 25 0 1 0 835006706 78565376 18116 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19181 18116 1111 63 0 19118 0
vsize: 76724
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 571838 0 0 0 56607 1402 0 0 25 0 1 0 835006706 80388096 18409 4294967295 134512640 134714508 3221224592 3221220736 1074969743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19626 18409 1111 63 0 19563 0
vsize: 78504
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 577711 0 0 0 57593 1416 0 0 25 0 1 0 835006706 80449536 18389 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19641 18389 1111 63 0 19578 0
vsize: 78564
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 587653 0 0 0 58569 1440 0 0 25 0 1 0 835006706 80486400 18537 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19794 18542 1111 63 0 19731 0
vsize: 78600
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 600815 0 0 0 59542 1467 0 0 25 0 1 0 835006706 81838080 18752 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19980 18752 1111 63 0 19917 0
vsize: 79920
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 615613 0 0 0 60510 1500 0 0 25 0 1 0 835006706 83034112 19011 4294967295 134512640 134714508 3221224592 3221221184 1074885581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20272 19011 1111 63 0 20209 0
vsize: 81088
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 632277 0 0 0 61472 1538 0 0 25 0 1 0 835006706 83582976 19346 4294967295 134512640 134714508 3221224592 3221222904 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 19346 1111 63 0 20343 0
vsize: 81624
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 649041 0 0 0 62434 1576 0 0 25 0 1 0 835006706 85491712 19757 4294967295 134512640 134714508 3221224592 3221223168 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20872 19757 1111 63 0 20809 0
vsize: 83488
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 665938 0 0 0 63398 1612 0 0 25 0 1 0 835006706 87330816 20142 4294967295 134512640 134714508 3221224592 3221222320 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21321 20142 1111 63 0 21258 0
vsize: 85284
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 688572 0 0 0 64345 1666 0 0 25 0 1 0 835006706 90214400 20778 4294967295 134512640 134714508 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22025 20778 1111 63 0 21962 0
vsize: 88100
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 704757 0 0 0 65308 1703 0 0 25 0 1 0 835006706 91492352 21083 4294967295 134512640 134714508 3221224592 3221222336 1075646856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22337 21083 1111 63 0 22274 0
vsize: 89348
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 722116 0 0 0 66268 1743 0 0 25 0 1 0 835006706 92815360 21399 4294967295 134512640 134714508 3221224592 3221222944 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22660 21399 1111 63 0 22597 0
vsize: 90640
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 736852 0 0 0 67235 1776 0 0 25 0 1 0 835006706 94666752 21715 4294967295 134512640 134714508 3221224592 3221220928 1075114259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23112 21715 1111 63 0 23049 0
vsize: 92448
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 747966 0 0 0 68211 1801 0 0 25 0 1 0 835006706 95555584 21927 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23329 21927 1111 63 0 23266 0
vsize: 93316
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 768628 0 0 0 69165 1847 0 0 25 0 1 0 835006706 96153600 22229 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23475 22229 1111 63 0 23412 0
vsize: 93900
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 787181 0 0 0 70121 1891 0 0 25 0 1 0 835006706 97632256 22601 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23836 22601 1111 63 0 23773 0
vsize: 95344
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 803870 0 0 0 71081 1931 0 0 25 0 1 0 835006706 99573760 23062 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24310 23062 1111 63 0 24247 0
vsize: 97240
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 821764 0 0 0 72040 1972 0 0 25 0 1 0 835006706 100483072 23212 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24628 23216 1111 63 0 24565 0
vsize: 98128
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 843854 0 0 0 72988 2024 0 0 25 0 1 0 835006706 102211584 23705 4294967295 134512640 134714508 3221224592 3221222320 1075828674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24954 23705 1111 63 0 24891 0
vsize: 99816
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 858478 0 0 0 73955 2058 0 0 25 0 1 0 835006706 103841792 23989 4294967295 134512640 134714508 3221224592 3221221168 1076048143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25352 23989 1111 63 0 25289 0
vsize: 101408
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 873952 0 0 0 74918 2094 0 0 25 0 1 0 835006706 104366080 24234 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25480 24234 1111 63 0 25417 0
vsize: 101920
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 883417 0 0 0 75896 2117 0 0 25 0 1 0 835006706 104783872 24334 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25582 24334 1111 63 0 25519 0
vsize: 102328
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 895052 0 0 0 76869 2144 0 0 25 0 1 0 835006706 105340928 24486 4294967295 134512640 134714508 3221224592 3221221936 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25718 24486 1111 63 0 25655 0
vsize: 102872
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 909876 0 0 0 77836 2177 0 0 25 0 1 0 835006706 106594304 24773 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26024 24773 1111 63 0 25961 0
vsize: 104096
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 927302 0 0 0 78794 2220 0 0 25 0 1 0 835006706 108044288 25125 4294967295 134512640 134714508 3221224592 3221222372 1077378691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26378 25125 1111 63 0 26315 0
vsize: 105512
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 945677 0 0 0 79752 2262 0 0 25 0 1 0 835006706 109719552 25496 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26739 25494 1111 63 0 26676 0
vsize: 107148
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 962507 0 0 0 80713 2301 0 0 25 0 1 0 835006706 111026176 25874 4294967295 134512640 134714508 3221224592 3221222056 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27106 25874 1111 63 0 27043 0
vsize: 108424
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 977015 0 0 0 81680 2334 0 0 25 0 1 0 835006706 112078848 26138 4294967295 134512640 134714508 3221224592 3221223184 134539432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27363 26138 1111 63 0 27300 0
vsize: 109452
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 997516 0 0 0 82634 2380 0 0 25 0 1 0 835006706 113770496 26555 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27776 26555 1111 63 0 27713 0
vsize: 111104
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1011404 0 0 0 83604 2411 0 0 25 0 1 0 835006706 114843648 26819 4294967295 134512640 134714508 3221224592 3221222784 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28038 26819 1111 63 0 27975 0
vsize: 112152
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1026918 0 0 0 84569 2447 0 0 25 0 1 0 835006706 116510720 27188 4294967295 134512640 134714508 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28445 27188 1111 63 0 28382 0
vsize: 113780
[startup+880.049 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1044807 0 0 0 85529 2487 0 0 25 0 1 0 835006706 117776384 27538 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28754 27538 1111 63 0 28691 0
vsize: 115016
[startup+890.049 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1061300 0 0 0 86495 2522 0 0 25 0 1 0 835006706 121405440 28103 4294967295 134512640 134714508 3221224592 3221222552 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29640 28103 1111 63 0 29577 0
vsize: 118560
[startup+900.049 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1070266 0 0 0 87475 2542 0 0 25 0 1 0 835006706 122036224 28257 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29794 28257 1111 63 0 29731 0
vsize: 119176
[startup+910.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1088113 0 0 0 88434 2584 0 0 25 0 1 0 835006706 123498496 28602 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30151 28602 1111 63 0 30088 0
vsize: 120604
[startup+920.049 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1097751 0 0 0 89410 2608 0 0 25 0 1 0 835006706 123850752 28720 4294967295 134512640 134714508 3221224592 3221222296 1077377720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30237 28720 1111 63 0 30174 0
vsize: 120948
[startup+930.049 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1109714 0 0 0 90385 2632 0 0 25 0 1 0 835006706 124637184 28914 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30429 28914 1111 63 0 30366 0
vsize: 121716
[startup+940.049 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1121043 0 0 0 91359 2658 0 0 25 0 1 0 835006706 125386752 29101 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30612 29101 1111 63 0 30549 0
vsize: 122448
[startup+950.048 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1131401 0 0 0 92334 2684 0 0 25 0 1 0 835006706 125906944 29230 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30739 29230 1111 63 0 30676 0
vsize: 122956
[startup+960.049 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1141322 0 0 0 93311 2707 0 0 25 0 1 0 835006706 126681088 29412 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30928 29412 1111 63 0 30865 0
vsize: 123712
[startup+970.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1152229 0 0 0 94287 2732 0 0 25 0 1 0 835006706 127324160 29584 4294967295 134512640 134714508 3221224592 3221222496 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31085 29584 1111 63 0 31022 0
vsize: 124340
[startup+980.049 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1165612 0 0 0 95256 2763 0 0 25 0 1 0 835006706 128344064 29835 4294967295 134512640 134714508 3221224592 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31334 29835 1111 63 0 31271 0
vsize: 125336
[startup+990.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1175710 0 0 0 96235 2784 0 0 25 0 1 0 835006706 129187840 30015 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31540 30015 1111 63 0 31477 0
vsize: 126160
[startup+1000.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12519
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1190493 0 0 0 97202 2817 0 0 25 0 1 0 835006706 130207744 30283 4294967295 134512640 134714508 3221224592 3221223240 134542401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31789 30283 1111 63 0 31726 0
vsize: 127156
[startup+1010.05 s]
Raw data (loadavg): 1.08 1.00 0.92 3/57 12555
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1201765 0 0 0 98177 2843 0 0 25 0 1 0 835006706 132321280 30605 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32305 30607 1111 63 0 32242 0
vsize: 129220
[startup+1020.05 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 12572
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1231346 0 0 0 99110 2909 0 0 25 0 1 0 835006706 134107136 31165 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32741 31165 1111 63 0 32678 0
vsize: 130964
[startup+1030.05 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12572
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1256356 0 0 0 100057 2963 0 0 25 0 1 0 835006706 136122368 31662 4294967295 134512640 134714508 3221224592 3221223328 134622749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33233 31662 1111 63 0 33170 0
vsize: 132932
[startup+1040.06 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12572
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1271480 0 0 0 101025 2996 0 0 25 0 1 0 835006706 137617408 31889 4294967295 134512640 134714508 3221224592 3221220736 1074969652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33598 31889 1111 63 0 33535 0
vsize: 134392
[startup+1050.06 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12572
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1289064 0 0 0 101986 3035 0 0 25 0 1 0 835006706 139378688 32349 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34028 32349 1111 63 0 33965 0
vsize: 136112
[startup+1060.06 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12572
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1305027 0 0 0 102950 3071 0 0 25 0 1 0 835006706 140972032 32609 4294967295 134512640 134714508 3221224592 3221221248 1075966495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34417 32609 1111 63 0 34354 0
vsize: 137668
[startup+1070.07 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12572
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1317618 0 0 0 103925 3098 0 0 25 0 1 0 835006706 141348864 32758 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34509 32758 1111 63 0 34446 0
vsize: 138036
[startup+1080.07 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1330985 0 0 0 104893 3130 0 0 25 0 1 0 835006706 142868480 32999 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34880 33011 1111 63 0 34817 0
vsize: 139520
[startup+1090.07 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1347404 0 0 0 105857 3166 0 0 25 0 1 0 835006706 143761408 33230 4294967295 134512640 134714508 3221224592 3221220764 1074791776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35098 33230 1111 63 0 35035 0
vsize: 140392
[startup+1100.07 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1360121 0 0 0 106828 3195 0 0 25 0 1 0 835006706 144408576 33470 4294967295 134512640 134714508 3221224592 3221222880 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35256 33470 1111 63 0 35193 0
vsize: 141024
[startup+1110.07 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1378779 0 0 0 107784 3239 0 0 25 0 1 0 835006706 146169856 33872 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35686 33872 1111 63 0 35623 0
vsize: 142744
[startup+1120.07 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1392178 0 0 0 108751 3273 0 0 25 0 1 0 835006706 147857408 34094 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36098 34094 1111 63 0 36035 0
vsize: 144392
[startup+1130.07 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1409131 0 0 0 109712 3312 0 0 25 0 1 0 835006706 149577728 34511 4294967295 134512640 134714508 3221224592 3221221696 1074138740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36518 34511 1111 63 0 36455 0
vsize: 146072
[startup+1140.08 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1419988 0 0 0 110685 3339 0 0 25 0 1 0 835006706 149786624 34595 4294967295 134512640 134714508 3221224592 3221222616 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36569 34595 1111 63 0 36506 0
vsize: 146276
[startup+1150.08 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1435604 0 0 0 111650 3375 0 0 25 0 1 0 835006706 150675456 34785 4294967295 134512640 134714508 3221224592 3221222320 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36786 34785 1111 63 0 36723 0
vsize: 147144
[startup+1160.08 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1450071 0 0 0 112617 3408 0 0 25 0 1 0 835006706 151883776 35074 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37081 35074 1111 63 0 37018 0
vsize: 148324
[startup+1170.08 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1460700 0 0 0 113593 3432 0 0 25 0 1 0 835006706 152104960 35137 4294967295 134512640 134714508 3221224592 3221222320 1075828205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37135 35137 1111 63 0 37072 0
vsize: 148540
[startup+1175.03 s]
Raw data (loadavg): 1.02 1.01 0.93 1/53 12574
Raw data (stat): 12519 (bsolo_lpr) R 12518 4613 4612 0 -1 0 1460700 0 0 0 113593 3432 0 0 25 0 1 0 835006706 152104960 35137 4294967295 134512640 134714508 3221224592 3221222320 1075828205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37135 35137 1111 63 0 37072 0
vsize: 0

Child status: 10
Real time (s): 1175.02
CPU time (s): 1175.08
CPU user time (s): 1140.5
CPU system time (s): 34.5817
CPU usage (%): 100.005
Max. virtual memory (Kb): 148540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1139712
#### END VERIFIER DATA ####