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/submitted/sorensson/garden/normalized-g15x15.opb
MD5SUM	6a083b86cc55025d2acb3bcf68562064
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	54
Optimality of the best value was proved	NO
Number of terms in the objective function	225
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	225
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	225
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	225
Total number of constraints	225
Number of constraints which are clauses	225
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	5
Trace number 25047

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 06:18:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4954 boxname=wulflinc31 idbench=382 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6a083b86cc55025d2acb3bcf68562064  /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb
IDLAUNCH: 4954
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        800060 kB
Buffers:         48692 kB
Cached:         163644 kB
SwapCached:       1932 kB
Active:         170228 kB
Inactive:        45296 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799808 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:            1476 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13316 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 06:38:34 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 4954 0 1175.08 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 225 variables and 225 constraints.
c After prepocess the problem consists of 225 variables and 225 constraints.
c preprocess terminated 0.082 s
c Initial Lower Bound: 49
c Lower Bound Elapsed time: 0.362
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 55 @ 2.147
c NEW SOLUTION FOUND: 54 @ 583.098
s SATISFIABLE
v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 -x91 x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 x209 -x210 x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 -x222 -x223 x224 -x225 
c Exit Code: 10
c Total time: 1175.03 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.85 0.97 0.96 2/55 10213
Raw data (stat): 10213 (runsolver) R 10212 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 758874881 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 4239 0 0 0 983 12 0 0 25 0 1 0 758874881 6463488 891 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1578 891 1111 63 0 1515 0
vsize: 6312
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 8371 0 0 0 1971 25 0 0 25 0 1 0 758874881 7503872 1118 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1832 1118 1111 63 0 1769 0
vsize: 7328
[startup+30.0006 s]
Raw data (loadavg): 0.91 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 12332 0 0 0 2958 37 0 0 25 0 1 0 758874881 8380416 1305 4294967295 134512640 134714508 3221221792 3221217668 1074786562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2046 1305 1111 63 0 1983 0
vsize: 8184
[startup+40.0009 s]
Raw data (loadavg): 0.92 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 16250 0 0 0 3948 47 0 0 25 0 1 0 758874881 9101312 1479 4294967295 134512640 134714508 3221221792 3221217784 1074867477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2222 1479 1111 63 0 2159 0
vsize: 8888
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 20395 0 0 0 4935 60 0 0 25 0 1 0 758874881 9973760 1716 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2435 1717 1111 63 0 2372 0
vsize: 9740
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 24514 0 0 0 5924 71 0 0 25 0 1 0 758874881 10891264 1914 4294967295 134512640 134714508 3221221792 3221217756 1074788143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2659 1914 1111 63 0 2596 0
vsize: 10636
[startup+70.0024 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 28856 0 0 0 6911 85 0 0 25 0 1 0 758874881 11444224 2100 4294967295 134512640 134714508 3221221792 3221220400 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 2100 1111 63 0 2731 0
vsize: 11176
[startup+80.0023 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 32950 0 0 0 7900 96 0 0 25 0 1 0 758874881 12283904 2302 4294967295 134512640 134714508 3221221792 3221219960 1077377398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2999 2302 1111 63 0 2936 0
vsize: 11996
[startup+90.0022 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 37010 0 0 0 8889 108 0 0 25 0 1 0 758874881 13254656 2494 4294967295 134512640 134714508 3221221792 3221217952 1074794682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3236 2494 1111 63 0 3173 0
vsize: 12944
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 40685 0 0 0 9877 119 0 0 25 0 1 0 758874881 13787136 2618 4294967295 134512640 134714508 3221221792 3221217804 1074788968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2618 1111 63 0 3303 0
vsize: 13464
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 44618 0 0 0 10867 130 0 0 25 0 1 0 758874881 14159872 2771 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2771 1111 63 0 3394 0
vsize: 13828
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 48391 0 0 0 11856 141 0 0 25 0 1 0 758874881 15007744 2978 4294967295 134512640 134714508 3221221792 3221219952 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2978 1111 63 0 3601 0
vsize: 14656
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 52792 0 0 0 12842 155 0 0 25 0 1 0 758874881 15581184 3118 4294967295 134512640 134714508 3221221792 3221219936 1074153587 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3804 3118 1111 63 0 3741 0
vsize: 15216
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 58867 0 0 0 13828 169 0 0 25 0 1 0 758874881 16138240 3254 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3940 3254 1111 63 0 3877 0
vsize: 15760
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 64765 0 0 0 14814 184 0 0 25 0 1 0 758874881 17039360 3386 4294967295 134512640 134714508 3221221792 3221218160 1075894558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4160 3386 1111 63 0 4097 0
vsize: 16640
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 70986 0 0 0 15799 199 0 0 25 0 1 0 758874881 17350656 3490 4294967295 134512640 134714508 3221221792 3221218112 1075116309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4236 3490 1111 63 0 4173 0
vsize: 16944
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 76987 0 0 0 16785 213 0 0 25 0 1 0 758874881 17424384 3562 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3562 1111 63 0 4191 0
vsize: 17016
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 82898 0 0 0 17770 228 0 0 25 0 1 0 758874881 18223104 3699 4294967295 134512640 134714508 3221221792 3221217792 1075965308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4449 3699 1111 63 0 4386 0
vsize: 17796
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 88794 0 0 0 18755 243 0 0 25 0 1 0 758874881 18608128 3797 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4543 3797 1111 63 0 4480 0
vsize: 18172
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 95283 0 0 0 19738 260 0 0 25 0 1 0 758874881 19054592 3907 4294967295 134512640 134714508 3221221792 3221217804 1074788943 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4652 3907 1111 63 0 4589 0
vsize: 18608
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 101523 0 0 0 20721 278 0 0 25 0 1 0 758874881 19025920 3948 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3948 1111 63 0 4582 0
vsize: 18580
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 107263 0 0 0 21705 294 0 0 25 0 1 0 758874881 19595264 4040 4294967295 134512640 134714508 3221221792 3221217728 1075965232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4784 4040 1111 63 0 4721 0
vsize: 19136
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 115006 0 0 0 22685 314 0 0 25 0 1 0 758874881 20127744 4229 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5007 4232 1111 63 0 4944 0
vsize: 19656
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 122781 0 0 0 23666 334 0 0 25 0 1 0 758874881 21200896 4432 4294967295 134512640 134714508 3221221792 3221217648 1074868865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4432 1111 63 0 5113 0
vsize: 20704
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 130674 0 0 0 24646 353 0 0 25 0 1 0 758874881 21786624 4620 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5319 4620 1111 63 0 5256 0
vsize: 21276
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 137836 0 0 0 25633 367 0 0 25 0 1 0 758874881 22843392 4840 4294967295 134512640 134714508 3221221792 3221218336 1075088573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5577 4840 1111 63 0 5514 0
vsize: 22308
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 145287 0 0 0 26614 386 0 0 25 0 1 0 758874881 24342528 5139 4294967295 134512640 134714508 3221221792 3221218368 1076052516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5943 5139 1111 63 0 5880 0
vsize: 23772
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 153005 0 0 0 27595 405 0 0 25 0 1 0 758874881 25108480 5346 4294967295 134512640 134714508 3221221792 3221218064 1074960800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6130 5346 1111 63 0 6067 0
vsize: 24520
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 159487 0 0 0 28580 420 0 0 25 0 1 0 758874881 25706496 5495 4294967295 134512640 134714508 3221221792 3221218864 1075895994 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6276 5495 1111 63 0 6213 0
vsize: 25104
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 166699 0 0 0 29562 438 0 0 25 0 1 0 758874881 26370048 5645 4294967295 134512640 134714508 3221221792 3221218160 1075894558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6438 5645 1111 63 0 6375 0
vsize: 25752
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 174421 0 0 0 30543 457 0 0 25 0 1 0 758874881 26779648 5805 4294967295 134512640 134714508 3221221792 3221220128 1073986817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6538 5805 1111 63 0 6475 0
vsize: 26152
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 181545 0 0 0 31525 476 0 0 25 0 1 0 758874881 27365376 5950 4294967295 134512640 134714508 3221221792 3221219744 1074056010 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6681 5950 1111 63 0 6618 0
vsize: 26724
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 187600 0 0 0 32510 491 0 0 25 0 1 0 758874881 27652096 6030 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6751 6030 1111 63 0 6688 0
vsize: 27004
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 192987 0 0 0 33497 505 0 0 25 0 1 0 758874881 27807744 6068 4294967295 134512640 134714508 3221221792 3221219952 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6789 6068 1111 63 0 6726 0
vsize: 27156
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 198792 0 0 0 34483 518 0 0 25 0 1 0 758874881 28618752 6178 4294967295 134512640 134714508 3221221792 3221217856 1074882027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6987 6178 1111 63 0 6924 0
vsize: 27948
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 204151 0 0 0 35472 529 0 0 25 0 1 0 758874881 28352512 6201 4294967295 134512640 134714508 3221221792 3221219656 1077374903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6922 6201 1111 63 0 6859 0
vsize: 27688
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 209555 0 0 0 36458 544 0 0 25 0 1 0 758874881 28561408 6252 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6973 6252 1111 63 0 6910 0
vsize: 27892
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 215736 0 0 0 37443 559 0 0 25 0 1 0 758874881 29138944 6324 4294967295 134512640 134714508 3221221792 3221217996 1075564263 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7114 6324 1111 63 0 7051 0
vsize: 28456
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 223426 0 0 0 38425 577 0 0 25 0 1 0 758874881 29777920 6485 4294967295 134512640 134714508 3221221792 3221217728 1075965260 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7270 6485 1111 63 0 7207 0
vsize: 29080
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 230337 0 0 0 39409 593 0 0 25 0 1 0 758874881 30396416 6643 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7421 6643 1111 63 0 7358 0
vsize: 29684
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 237218 0 0 0 40394 608 0 0 25 0 1 0 758874881 30642176 6760 4294967295 134512640 134714508 3221221792 3221220384 134650141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6760 1111 63 0 7418 0
vsize: 29924
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 244001 0 0 0 41379 624 0 0 25 0 1 0 758874881 31289344 6913 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7639 6913 1111 63 0 7576 0
vsize: 30556
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 251359 0 0 0 42362 640 0 0 25 0 1 0 758874881 32280576 7102 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7881 7102 1111 63 0 7818 0
vsize: 31524
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 258026 0 0 0 43346 657 0 0 25 0 1 0 758874881 32972800 7246 4294967295 134512640 134714508 3221221792 3221218832 1075860109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8050 7246 1111 63 0 7987 0
vsize: 32200
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 263846 0 0 0 44333 670 0 0 25 0 1 0 758874881 33177600 7314 4294967295 134512640 134714508 3221221792 3221217676 1074788930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8100 7314 1111 63 0 8037 0
vsize: 32400
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 269710 0 0 0 45317 686 0 0 25 0 1 0 758874881 33603584 7438 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8204 7438 1111 63 0 8141 0
vsize: 32816
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 277044 0 0 0 46298 705 0 0 25 0 1 0 758874881 34279424 7588 4294967295 134512640 134714508 3221221792 3221218020 1075114876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8369 7588 1111 63 0 8306 0
vsize: 33476
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 283999 0 0 0 47282 721 0 0 25 0 1 0 758874881 35065856 7781 4294967295 134512640 134714508 3221221792 3221217824 1074790153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8561 7781 1111 63 0 8498 0
vsize: 34244
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 291003 0 0 0 48264 739 0 0 25 0 1 0 758874881 35348480 7907 4294967295 134512640 134714508 3221221792 3221219776 1074056195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8630 7907 1111 63 0 8567 0
vsize: 34520
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 298867 0 0 0 49246 758 0 0 25 0 1 0 758874881 36204544 8102 4294967295 134512640 134714508 3221221792 3221219484 1075333723 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8839 8102 1111 63 0 8776 0
vsize: 35356
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 307521 0 0 0 50224 780 0 0 25 0 1 0 758874881 36921344 8298 4294967295 134512640 134714508 3221221792 3221219704 1077378596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9014 8298 1111 63 0 8951 0
vsize: 36056
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 315278 0 0 0 51207 798 0 0 25 0 1 0 758874881 37605376 8458 4294967295 134512640 134714508 3221221792 3221220360 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9181 8458 1111 63 0 9118 0
vsize: 36724
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 323785 0 0 0 52186 818 0 0 25 0 1 0 758874881 38785024 8684 4294967295 134512640 134714508 3221221792 3221218204 1075133168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9469 8684 1111 63 0 9406 0
vsize: 37876
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 332387 0 0 0 53167 838 0 0 25 0 1 0 758874881 39624704 8885 4294967295 134512640 134714508 3221221792 3221217904 1075895844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9674 8885 1111 63 0 9611 0
vsize: 38696
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 340302 0 0 0 54148 857 0 0 25 0 1 0 758874881 40402944 9080 4294967295 134512640 134714508 3221221792 3221217936 1074968597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9864 9080 1111 63 0 9801 0
vsize: 39456
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 347347 0 0 0 55131 874 0 0 25 0 1 0 758874881 42549248 9479 4294967295 134512640 134714508 3221221792 3221217952 1075090583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10388 9479 1111 63 0 10325 0
vsize: 41552
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 353580 0 0 0 56114 891 0 0 25 0 1 0 758874881 42950656 9596 4294967295 134512640 134714508 3221221792 3221217904 1075895849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10486 9596 1111 63 0 10423 0
vsize: 41944
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 360775 0 0 0 57098 907 0 0 25 0 1 0 758874881 43552768 9739 4294967295 134512640 134714508 3221221792 3221218324 1074260656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10633 9739 1111 63 0 10570 0
vsize: 42532
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 366973 0 0 0 58081 924 0 0 25 0 1 0 758874881 44224512 9870 4294967295 134512640 134714508 3221221792 3221217952 1075094193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10797 9870 1111 63 0 10734 0
vsize: 43188
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 373212 0 0 0 59067 939 0 0 25 0 1 0 758874881 44326912 9972 4294967295 134512640 134714508 3221221792 3221220144 1074153587 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10822 9972 1111 63 0 10759 0
vsize: 43288
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 379239 0 0 0 60051 954 0 0 25 0 1 0 758874881 45322240 10130 4294967295 134512640 134714508 3221221792 3221217904 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11065 10130 1111 63 0 11002 0
vsize: 44260
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 385054 0 0 0 61039 967 0 0 25 0 1 0 758874881 45678592 10230 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11152 10231 1111 63 0 11089 0
vsize: 44608
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 390909 0 0 0 62025 981 0 0 25 0 1 0 758874881 46129152 10354 4294967295 134512640 134714508 3221221792 3221218384 1074887658 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11262 10354 1111 63 0 11199 0
vsize: 45048
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 397274 0 0 0 63010 996 0 0 25 0 1 0 758874881 46256128 10450 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 10450 1111 63 0 11230 0
vsize: 45172
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 403573 0 0 0 63994 1012 0 0 25 0 1 0 758874881 46804992 10570 4294967295 134512640 134714508 3221221792 3221219768 1077380277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11427 10570 1111 63 0 11364 0
vsize: 45708
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 409695 0 0 0 64980 1026 0 0 25 0 1 0 758874881 47247360 10680 4294967295 134512640 134714508 3221221792 3221219960 1077378259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11535 10680 1111 63 0 11472 0
vsize: 46140
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 416053 0 0 0 65966 1040 0 0 25 0 1 0 758874881 48107520 10836 4294967295 134512640 134714508 3221221792 3221218256 1075603081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11745 10836 1111 63 0 11682 0
vsize: 46980
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 422978 0 0 0 66948 1058 0 0 25 0 1 0 758874881 48680960 10982 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11885 10982 1111 63 0 11822 0
vsize: 47540
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 429123 0 0 0 67933 1073 0 0 25 0 1 0 758874881 49160192 11091 4294967295 134512640 134714508 3221221792 3221218888 1075522565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12002 11091 1111 63 0 11939 0
vsize: 48008
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 435157 0 0 0 68918 1089 0 0 25 0 1 0 758874881 49643520 11209 4294967295 134512640 134714508 3221221792 3221217892 1075964286 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12120 11209 1111 63 0 12057 0
vsize: 48480
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 441099 0 0 0 69905 1102 0 0 25 0 1 0 758874881 50098176 11325 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12231 11325 1111 63 0 12168 0
vsize: 48924
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 446867 0 0 0 70890 1117 0 0 25 0 1 0 758874881 50163712 11401 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12247 11401 1111 63 0 12184 0
vsize: 48988
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 452292 0 0 0 71878 1129 0 0 25 0 1 0 758874881 51060736 11542 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12466 11542 1111 63 0 12403 0
vsize: 49864
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 459452 0 0 0 72860 1147 0 0 25 0 1 0 758874881 51568640 11690 4294967295 134512640 134714508 3221221792 3221218336 1076044962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12590 11690 1111 63 0 12527 0
vsize: 50360
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 466426 0 0 0 73842 1166 0 0 25 0 1 0 758874881 52289536 11847 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12766 11847 1111 63 0 12703 0
vsize: 51064
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 472992 0 0 0 74827 1181 0 0 25 0 1 0 758874881 52846592 11992 4294967295 134512640 134714508 3221221792 3221218336 1075088573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12902 11992 1111 63 0 12839 0
vsize: 51608
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 480194 0 0 0 75811 1197 0 0 25 0 1 0 758874881 53456896 12134 4294967295 134512640 134714508 3221221792 3221218336 1075088581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13051 12134 1111 63 0 12988 0
vsize: 52204
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 486249 0 0 0 76797 1211 0 0 25 0 1 0 758874881 53882880 12245 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12245 1111 63 0 13092 0
vsize: 52620
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 492330 0 0 0 77784 1225 0 0 25 0 1 0 758874881 53989376 12333 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13181 12333 1111 63 0 13118 0
vsize: 52724
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 498199 0 0 0 78769 1240 0 0 25 0 1 0 758874881 54185984 12381 4294967295 134512640 134714508 3221221792 3221219952 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13229 12381 1111 63 0 13166 0
vsize: 52916
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 503612 0 0 0 79757 1251 0 0 25 0 1 0 758874881 54853632 12482 4294967295 134512640 134714508 3221221792 3221217936 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13392 12482 1111 63 0 13329 0
vsize: 53568
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 509201 0 0 0 80744 1265 0 0 25 0 1 0 758874881 55312384 12587 4294967295 134512640 134714508 3221221792 3221218316 1075090004 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13504 12587 1111 63 0 13441 0
vsize: 54016
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 514524 0 0 0 81730 1279 0 0 25 0 1 0 758874881 55824384 12723 4294967295 134512640 134714508 3221221792 3221218324 1074260638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13629 12723 1111 63 0 13566 0
vsize: 54516
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 519897 0 0 0 82717 1292 0 0 25 0 1 0 758874881 56172544 12804 4294967295 134512640 134714508 3221221792 3221217728 1075965308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13714 12804 1111 63 0 13651 0
vsize: 54856
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 525113 0 0 0 83704 1306 0 0 25 0 1 0 758874881 56733696 12907 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13851 12907 1111 63 0 13788 0
vsize: 55404
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 530300 0 0 0 84691 1319 0 0 25 0 1 0 758874881 56999936 12998 4294967295 134512640 134714508 3221221792 3221218320 1075119996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13916 12998 1111 63 0 13853 0
vsize: 55664
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 535535 0 0 0 85676 1333 0 0 25 0 1 0 758874881 57384960 13093 4294967295 134512640 134714508 3221221792 3221217788 1074788156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14010 13093 1111 63 0 13947 0
vsize: 56040
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 540905 0 0 0 86663 1347 0 0 25 0 1 0 758874881 57872384 13196 4294967295 134512640 134714508 3221221792 3221218320 1075397206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14129 13196 1111 63 0 14066 0
vsize: 56516
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 546712 0 0 0 87651 1358 0 0 25 0 1 0 758874881 58159104 13312 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14199 13312 1111 63 0 14136 0
vsize: 56796
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 552341 0 0 0 88640 1371 0 0 25 0 1 0 758874881 58900480 13449 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14380 13449 1111 63 0 14317 0
vsize: 57520
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 557253 0 0 0 89626 1384 0 0 25 0 1 0 758874881 58896384 13515 4294967295 134512640 134714508 3221221792 3221219440 1075818287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14379 13515 1111 63 0 14316 0
vsize: 57516
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 562586 0 0 0 90614 1397 0 0 25 0 1 0 758874881 59768832 13666 4294967295 134512640 134714508 3221221792 3221218736 1074620038 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14592 13666 1111 63 0 14529 0
vsize: 58368
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 568433 0 0 0 91601 1410 0 0 25 0 1 0 758874881 60215296 13769 4294967295 134512640 134714508 3221221792 3221218044 1074791392 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14701 13769 1111 63 0 14638 0
vsize: 58804
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 574354 0 0 0 92586 1425 0 0 25 0 1 0 758874881 60690432 13879 4294967295 134512640 134714508 3221221792 3221217792 1075965256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14817 13880 1111 63 0 14754 0
vsize: 59268
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 580148 0 0 0 93571 1440 0 0 25 0 1 0 758874881 61095936 13986 4294967295 134512640 134714508 3221221792 3221218864 1074867311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14916 13986 1111 63 0 14853 0
vsize: 59664
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 586147 0 0 0 94558 1453 0 0 25 0 1 0 758874881 61599744 14111 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15039 14111 1111 63 0 14976 0
vsize: 60156
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 591657 0 0 0 95546 1465 0 0 25 0 1 0 758874881 61964288 14200 4294967295 134512640 134714508 3221221792 3221217676 1074788930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15128 14200 1111 63 0 15065 0
vsize: 60512
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 596503 0 0 0 96534 1477 0 0 25 0 1 0 758874881 62496768 14320 4294967295 134512640 134714508 3221221792 3221218172 1075114322 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15258 14320 1111 63 0 15195 0
vsize: 61032
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 601680 0 0 0 97522 1490 0 0 25 0 1 0 758874881 62889984 14403 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15354 14405 1111 63 0 15291 0
vsize: 61416
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 606995 0 0 0 98508 1504 0 0 25 0 1 0 758874881 63258624 14501 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15444 14501 1111 63 0 15381 0
vsize: 61776
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 612100 0 0 0 99493 1519 0 0 25 0 1 0 758874881 63705088 14610 4294967295 134512640 134714508 3221221792 3221217952 1075094808 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15553 14610 1111 63 0 15490 0
vsize: 62212
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 617008 0 0 0 100481 1531 0 0 25 0 1 0 758874881 64028672 14675 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15632 14677 1111 63 0 15569 0
vsize: 62528
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 622084 0 0 0 101466 1547 0 0 25 0 1 0 758874881 64393216 14780 4294967295 134512640 134714508 3221221792 3221217700 1074786531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15721 14780 1111 63 0 15658 0
vsize: 62884
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 626902 0 0 0 102455 1557 0 0 25 0 1 0 758874881 64708608 14858 4294967295 134512640 134714508 3221221792 3221217760 1075965248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15798 14858 1111 63 0 15735 0
vsize: 63192
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 632021 0 0 0 103442 1571 0 0 25 0 1 0 758874881 65085440 14955 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15890 14955 1111 63 0 15827 0
vsize: 63560
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 637245 0 0 0 104427 1586 0 0 25 0 1 0 758874881 65581056 15054 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16011 15054 1111 63 0 15948 0
vsize: 64044
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 642492 0 0 0 105414 1599 0 0 25 0 1 0 758874881 65994752 15155 4294967295 134512640 134714508 3221221792 3221218032 1075088573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16112 15155 1111 63 0 16049 0
vsize: 64448
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 647627 0 0 0 106400 1613 0 0 25 0 1 0 758874881 66347008 15248 4294967295 134512640 134714508 3221221792 3221217988 1074789902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16198 15248 1111 63 0 16135 0
vsize: 64792
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 653165 0 0 0 107386 1628 0 0 25 0 1 0 758874881 66723840 15333 4294967295 134512640 134714508 3221221792 3221217756 1074788977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16290 15333 1111 63 0 16227 0
vsize: 65160
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 658308 0 0 0 108374 1640 0 0 25 0 1 0 758874881 67063808 15422 4294967295 134512640 134714508 3221221792 3221218176 1074973213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16373 15422 1111 63 0 16310 0
vsize: 65492
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 663740 0 0 0 109362 1652 0 0 25 0 1 0 758874881 67436544 15505 4294967295 134512640 134714508 3221221792 3221217936 1074968727 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16464 15505 1111 63 0 16401 0
vsize: 65856
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 669140 0 0 0 110349 1665 0 0 25 0 1 0 758874881 67887104 15586 4294967295 134512640 134714508 3221221792 3221218384 1074887937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16574 15586 1111 63 0 16511 0
vsize: 66296
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 674779 0 0 0 111337 1677 0 0 25 0 1 0 758874881 68231168 15708 4294967295 134512640 134714508 3221221792 3221218368 1076045010 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16658 15708 1111 63 0 16595 0
vsize: 66632
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 680004 0 0 0 112326 1689 0 0 25 0 1 0 758874881 68636672 15802 4294967295 134512640 134714508 3221221792 3221218416 1075895360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16757 15802 1111 63 0 16694 0
vsize: 67028
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 685274 0 0 0 113312 1703 0 0 25 0 1 0 758874881 69058560 15913 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16860 15913 1111 63 0 16797 0
vsize: 67440
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 690491 0 0 0 114300 1715 0 0 25 0 1 0 758874881 69070848 15974 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16863 15974 1111 63 0 16800 0
vsize: 67452
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 695521 0 0 0 115288 1727 0 0 25 0 1 0 758874881 69791744 16086 4294967295 134512640 134714508 3221221792 3221218384 1074885441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17039 16086 1111 63 0 16976 0
vsize: 68156
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 10213
Raw data (stat): 10213 (bsolo_lpr) R 10212 7876 7672 0 -1 0 695521 0 0 0 115288 1727 0 0 25 0 1 0 758874881 69791744 16086 4294967295 134512640 134714508 3221221792 3221218384 1074885441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17039 16086 1111 63 0 16976 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.08
CPU user time (s): 1157.72
CPU system time (s): 17.3664
CPU usage (%): 100.011
Max. virtual memory (Kb): 68156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	54
#### END VERIFIER DATA ####