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/manquinho/primes-dimacs-cnf/normalized-jnh217.opb
MD5SUM	c4040960fadc5a0c2fe39dd858a66385
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	89
Optimality of the best value was proved	NO
Number of terms in the objective function	200
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	200
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	200
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.02284
Number of variables	200
Total number of constraints	900
Number of constraints which are clauses	900
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	2
Maximum length of a constraint	11
Trace number 24077

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 01:15:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1684 boxname=wulflinc31 idbench=188 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c4040960fadc5a0c2fe39dd858a66385  /oldhome/oroussel/tmp/wulflinc31/normalized-jnh217.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-jnh217.opb
IDLAUNCH: 1684
/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:        143588 kB
Buffers:         40352 kB
Cached:         816212 kB
SwapCached:        644 kB
Active:         490468 kB
Inactive:       368440 kB
HighTotal:      131008 kB
HighFree:         5320 kB
LowTotal:       903652 kB
LowFree:        138268 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26452 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 01:35:20 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 1684 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 900 constraints.
c After prepocess the problem consists of 200 variables and 881 constraints.
c preprocess terminated 0.369 s
c Initial Lower Bound: 69
c Lower Bound Elapsed time: 0.486
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 3.379
c NEW SOLUTION FOUND: 99 @ 3.381
c NEW SOLUTION FOUND: 98 @ 3.385
c NEW SOLUTION FOUND: 97 @ 3.391
c NEW SOLUTION FOUND: 96 @ 3.395
c NEW SOLUTION FOUND: 93 @ 4.332
c NEW SOLUTION FOUND: 92 @ 82.717
c NEW SOLUTION FOUND: 91 @ 82.758
c NEW SOLUTION FOUND: 90 @ 91.358
c NEW SOLUTION FOUND: 89 @ 677.244
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 
c Exit Code: 10
c Total time: 1175.04 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.53 0.79 0.86 2/54 7892
Raw data (stat): 7892 (runsolver) R 7891 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 687927309 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.0005 s]
Raw data (loadavg): 0.60 0.80 0.86 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 4546 0 0 0 981 14 0 0 25 0 1 0 687927309 6475776 897 4294967295 134512640 134714508 3221221792 3221219792 1074052193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1581 897 1111 63 0 1518 0
vsize: 6324
[startup+20.0004 s]
Raw data (loadavg): 0.66 0.80 0.86 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 8105 0 0 0 1972 23 0 0 25 0 1 0 687927309 6893568 937 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1683 937 1111 63 0 1620 0
vsize: 6732
[startup+30.0014 s]
Raw data (loadavg): 0.71 0.81 0.86 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 11357 0 0 0 2962 33 0 0 25 0 1 0 687927309 6549504 918 4294967295 134512640 134714508 3221221792 3221220192 1074118806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1599 918 1111 63 0 1536 0
vsize: 6396
[startup+40.0013 s]
Raw data (loadavg): 0.76 0.81 0.86 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 15049 0 0 0 3953 43 0 0 25 0 1 0 687927309 7098368 964 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1733 964 1111 63 0 1670 0
vsize: 6932
[startup+50.0026 s]
Raw data (loadavg): 0.79 0.82 0.86 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 18481 0 0 0 4944 52 0 0 25 0 1 0 687927309 7426048 976 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1813 976 1111 63 0 1750 0
vsize: 7252
[startup+60.0022 s]
Raw data (loadavg): 0.83 0.83 0.86 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 22103 0 0 0 5934 62 0 0 25 0 1 0 687927309 7041024 946 4294967295 134512640 134714508 3221221792 3221218792 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1719 946 1111 63 0 1656 0
vsize: 6876
[startup+70.002 s]
Raw data (loadavg): 0.85 0.83 0.86 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 25520 0 0 0 6924 71 0 0 25 0 1 0 687927309 7225344 1012 4294967295 134512640 134714508 3221221792 3221218188 1075114064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1764 1012 1111 63 0 1701 0
vsize: 7056
[startup+80.003 s]
Raw data (loadavg): 0.87 0.84 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 28724 0 0 0 7917 79 0 0 25 0 1 0 687927309 7204864 1023 4294967295 134512640 134714508 3221221792 3221217936 1074969449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1759 1023 1111 63 0 1696 0
vsize: 7036
[startup+90.0029 s]
Raw data (loadavg): 0.89 0.84 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 32520 0 0 0 8906 90 0 0 25 0 1 0 687927309 7516160 1078 4294967295 134512640 134714508 3221221792 3221217676 1074788930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1835 1078 1111 63 0 1772 0
vsize: 7340
[startup+100.003 s]
Raw data (loadavg): 0.91 0.85 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 36178 0 0 0 9896 100 0 0 25 0 1 0 687927309 7434240 1075 4294967295 134512640 134714508 3221221792 3221217864 1075964755 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1815 1075 1111 63 0 1752 0
vsize: 7260
[startup+110.003 s]
Raw data (loadavg): 0.92 0.85 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 39814 0 0 0 10886 110 0 0 25 0 1 0 687927309 7680000 1084 4294967295 134512640 134714508 3221221792 3221217936 1074969680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1875 1084 1111 63 0 1812 0
vsize: 7500
[startup+120.003 s]
Raw data (loadavg): 0.93 0.85 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 43921 0 0 0 11875 121 0 0 25 0 1 0 687927309 7856128 1099 4294967295 134512640 134714508 3221221792 3221217952 1075092566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1918 1099 1111 63 0 1855 0
vsize: 7672
[startup+130.003 s]
Raw data (loadavg): 0.94 0.86 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 47887 0 0 0 12865 132 0 0 25 0 1 0 687927309 7548928 1102 4294967295 134512640 134714508 3221221792 3221218168 1075112516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1843 1102 1111 63 0 1780 0
vsize: 7372
[startup+140.003 s]
Raw data (loadavg): 0.95 0.86 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 51080 0 0 0 13856 140 0 0 25 0 1 0 687927309 7479296 1096 4294967295 134512640 134714508 3221221792 3221218392 1075850822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1826 1096 1111 63 0 1763 0
vsize: 7304
[startup+150.003 s]
Raw data (loadavg): 0.96 0.87 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 54555 0 0 0 14847 150 0 0 25 0 1 0 687927309 7995392 1136 4294967295 134512640 134714508 3221221792 3221217936 1074969499 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1952 1136 1111 63 0 1889 0
vsize: 7808
[startup+160.003 s]
Raw data (loadavg): 0.96 0.87 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 57948 0 0 0 15839 158 0 0 25 0 1 0 687927309 8036352 1152 4294967295 134512640 134714508 3221221792 3221217740 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1962 1152 1111 63 0 1899 0
vsize: 7848
[startup+170.004 s]
Raw data (loadavg): 0.97 0.87 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 61574 0 0 0 16828 169 0 0 25 0 1 0 687927309 7229440 1087 4294967295 134512640 134714508 3221221792 3221219960 1077377470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1765 1087 1111 63 0 1702 0
vsize: 7060
[startup+180.004 s]
Raw data (loadavg): 0.97 0.88 0.87 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 64853 0 0 0 17818 179 0 0 25 0 1 0 687927309 8093696 1159 4294967295 134512640 134714508 3221221792 3221218064 1074961249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1976 1159 1111 63 0 1913 0
vsize: 7904
[startup+190.004 s]
Raw data (loadavg): 0.98 0.88 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 68121 0 0 0 18808 189 0 0 25 0 1 0 687927309 7290880 1102 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1780 1102 1111 63 0 1717 0
vsize: 7120
[startup+200.005 s]
Raw data (loadavg): 0.98 0.89 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 71815 0 0 0 19798 200 0 0 25 0 1 0 687927309 8138752 1168 4294967295 134512640 134714508 3221221792 3221217944 1074883029 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1987 1168 1111 63 0 1924 0
vsize: 7948
[startup+210.005 s]
Raw data (loadavg): 0.98 0.89 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 75720 0 0 0 20786 212 0 0 25 0 1 0 687927309 8212480 1192 4294967295 134512640 134714508 3221221792 3221217740 1074788930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2005 1192 1111 63 0 1942 0
vsize: 8020
[startup+220.005 s]
Raw data (loadavg): 0.98 0.89 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 79292 0 0 0 21776 222 0 0 25 0 1 0 687927309 8159232 1202 4294967295 134512640 134714508 3221221792 3221217968 1074882552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1992 1202 1111 63 0 1929 0
vsize: 7968
[startup+230.005 s]
Raw data (loadavg): 0.99 0.89 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 82857 0 0 0 22767 232 0 0 25 0 1 0 687927309 8282112 1205 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2022 1205 1111 63 0 1959 0
vsize: 8088
[startup+240.005 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 85805 0 0 0 23759 239 0 0 25 0 1 0 687927309 8351744 1228 4294967295 134512640 134714508 3221221792 3221217944 1074883062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2039 1228 1111 63 0 1976 0
vsize: 8156
[startup+250.005 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 89294 0 0 0 24749 249 0 0 25 0 1 0 687927309 7540736 1163 4294967295 134512640 134714508 3221221792 3221220108 1074064528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1841 1163 1111 63 0 1778 0
vsize: 7364
[startup+260.006 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 92930 0 0 0 25741 258 0 0 25 0 1 0 687927309 8355840 1217 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2040 1217 1111 63 0 1977 0
vsize: 8160
[startup+270.006 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 96386 0 0 0 26731 267 0 0 25 0 1 0 687927309 7565312 1169 4294967295 134512640 134714508 3221221792 3221220420 134696264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1847 1169 1111 63 0 1784 0
vsize: 7388
[startup+280.006 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 100105 0 0 0 27722 277 0 0 25 0 1 0 687927309 7983104 1219 4294967295 134512640 134714508 3221221792 3221218020 1075115062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1949 1219 1111 63 0 1886 0
vsize: 7796
[startup+290.006 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 103764 0 0 0 28712 287 0 0 25 0 1 0 687927309 7675904 1196 4294967295 134512640 134714508 3221221792 3221220176 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1874 1196 1111 63 0 1811 0
vsize: 7496
[startup+300.007 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 107584 0 0 0 29702 297 0 0 25 0 1 0 687927309 7688192 1199 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1877 1199 1111 63 0 1814 0
vsize: 7508
[startup+310.006 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 111755 0 0 0 30690 309 0 0 25 0 1 0 687927309 7753728 1216 4294967295 134512640 134714508 3221221792 3221219708 1077378145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1893 1216 1111 63 0 1830 0
vsize: 7572
[startup+320.006 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 115508 0 0 0 31678 321 0 0 25 0 1 0 687927309 8597504 1271 4294967295 134512640 134714508 3221221792 3221217940 1075964413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2099 1271 1111 63 0 2036 0
vsize: 8396
[startup+330.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 119662 0 0 0 32670 330 0 0 25 0 1 0 687927309 7847936 1239 4294967295 134512640 134714508 3221221792 3221219980 1074206635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1916 1239 1111 63 0 1853 0
vsize: 7664
[startup+340.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 123428 0 0 0 33659 341 0 0 25 0 1 0 687927309 8224768 1282 4294967295 134512640 134714508 3221221792 3221217728 1075965317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2008 1282 1111 63 0 1945 0
vsize: 8032
[startup+350.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 127092 0 0 0 34647 352 0 0 25 0 1 0 687927309 7942144 1262 4294967295 134512640 134714508 3221221792 3221219920 1077404827 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1939 1262 1111 63 0 1876 0
vsize: 7756
[startup+360.008 s]
Raw data (loadavg): 1.07 0.94 0.90 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 130933 0 0 0 35637 363 0 0 25 0 1 0 687927309 8409088 1310 4294967295 134512640 134714508 3221221792 3221218064 1074961253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2053 1310 1111 63 0 1990 0
vsize: 8212
[startup+370.008 s]
Raw data (loadavg): 1.06 0.94 0.90 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 134570 0 0 0 36627 373 0 0 25 0 1 0 687927309 8568832 1360 4294967295 134512640 134714508 3221221792 3221217892 1075964227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2092 1360 1111 63 0 2029 0
vsize: 8368
[startup+380.008 s]
Raw data (loadavg): 1.05 0.94 0.90 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 138042 0 0 0 37617 383 0 0 25 0 1 0 687927309 8499200 1325 4294967295 134512640 134714508 3221221792 3221217952 1075095096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1325 1111 63 0 2012 0
vsize: 8300
[startup+390.008 s]
Raw data (loadavg): 1.04 0.94 0.90 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 141739 0 0 0 38606 394 0 0 25 0 1 0 687927309 8802304 1402 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2149 1402 1111 63 0 2086 0
vsize: 8596
[startup+400.009 s]
Raw data (loadavg): 1.03 0.95 0.90 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 145218 0 0 0 39596 404 0 0 25 0 1 0 687927309 8781824 1386 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2144 1386 1111 63 0 2081 0
vsize: 8576
[startup+410.009 s]
Raw data (loadavg): 1.03 0.95 0.90 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 149286 0 0 0 40587 414 0 0 25 0 1 0 687927309 9023488 1445 4294967295 134512640 134714508 3221221792 3221217676 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2203 1445 1111 63 0 2140 0
vsize: 8812
[startup+420.009 s]
Raw data (loadavg): 1.02 0.95 0.90 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 152950 0 0 0 41576 425 0 0 25 0 1 0 687927309 8241152 1335 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2012 1335 1111 63 0 1949 0
vsize: 8048
[startup+430.009 s]
Raw data (loadavg): 1.02 0.95 0.90 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 156673 0 0 0 42564 437 0 0 25 0 1 0 687927309 8691712 1382 4294967295 134512640 134714508 3221221792 3221217676 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2122 1382 1111 63 0 2059 0
vsize: 8488
[startup+440.009 s]
Raw data (loadavg): 1.02 0.95 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 160256 0 0 0 43553 448 0 0 25 0 1 0 687927309 9170944 1427 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2239 1427 1111 63 0 2176 0
vsize: 8956
[startup+450.009 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 164233 0 0 0 44542 459 0 0 25 0 1 0 687927309 8925184 1416 4294967295 134512640 134714508 3221221792 3221217976 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2179 1416 1111 63 0 2116 0
vsize: 8716
[startup+460.009 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 168094 0 0 0 45533 469 0 0 25 0 1 0 687927309 8986624 1430 4294967295 134512640 134714508 3221221792 3221218864 1074867341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2194 1430 1111 63 0 2131 0
vsize: 8776
[startup+470.01 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 171992 0 0 0 46524 478 0 0 25 0 1 0 687927309 9019392 1437 4294967295 134512640 134714508 3221221792 3221218392 1075850777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2202 1437 1111 63 0 2139 0
vsize: 8808
[startup+480.01 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 175559 0 0 0 47514 488 0 0 25 0 1 0 687927309 9043968 1447 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2208 1447 1111 63 0 2145 0
vsize: 8832
[startup+490.01 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 178868 0 0 0 48504 498 0 0 25 0 1 0 687927309 9048064 1473 4294967295 134512640 134714508 3221221792 3221218448 1075967953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2209 1473 1111 63 0 2146 0
vsize: 8836
[startup+500.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 182697 0 0 0 49494 508 0 0 25 0 1 0 687927309 9080832 1479 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2217 1479 1111 63 0 2154 0
vsize: 8868
[startup+510.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 186404 0 0 0 50485 518 0 0 25 0 1 0 687927309 8642560 1433 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2110 1433 1111 63 0 2047 0
vsize: 8440
[startup+520.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 190216 0 0 0 51474 528 0 0 25 0 1 0 687927309 8650752 1435 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2112 1435 1111 63 0 2049 0
vsize: 8448
[startup+530.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 193893 0 0 0 52465 538 0 0 25 0 1 0 687927309 8675328 1441 4294967295 134512640 134714508 3221221792 3221219800 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2118 1441 1111 63 0 2055 0
vsize: 8472
[startup+540.012 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 197515 0 0 0 53455 547 0 0 25 0 1 0 687927309 9113600 1485 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2225 1485 1111 63 0 2162 0
vsize: 8900
[startup+550.012 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 201269 0 0 0 54445 558 0 0 25 0 1 0 687927309 9437184 1517 4294967295 134512640 134714508 3221221792 3221217944 1074883056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2304 1517 1111 63 0 2241 0
vsize: 9216
[startup+560.012 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 205320 0 0 0 55433 569 0 0 25 0 1 0 687927309 8880128 1453 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2168 1453 1111 63 0 2105 0
vsize: 8672
[startup+570.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 209146 0 0 0 56424 579 0 0 25 0 1 0 687927309 8757248 1461 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2138 1461 1111 63 0 2075 0
vsize: 8552
[startup+580.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 213019 0 0 0 57412 591 0 0 25 0 1 0 687927309 9244672 1519 4294967295 134512640 134714508 3221221792 3221218020 1075114975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2257 1519 1111 63 0 2194 0
vsize: 9028
[startup+590.012 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 216799 0 0 0 58402 601 0 0 25 0 1 0 687927309 9293824 1525 4294967295 134512640 134714508 3221221792 3221217976 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2269 1525 1111 63 0 2206 0
vsize: 9076
[startup+600.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 221343 0 0 0 59391 612 0 0 25 0 1 0 687927309 9428992 1533 4294967295 134512640 134714508 3221221792 3221217996 1075563020 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2206 1529 1111 63 0 2143 0
vsize: 9208
[startup+610.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 225228 0 0 0 60381 623 0 0 25 0 1 0 687927309 9912320 1653 4294967295 134512640 134714508 3221221792 3221217972 1075964208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2420 1653 1111 63 0 2357 0
vsize: 9680
[startup+620.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 228644 0 0 0 61370 633 0 0 25 0 1 0 687927309 9519104 1592 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2324 1592 1111 63 0 2261 0
vsize: 9296
[startup+630.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 231995 0 0 0 62361 642 0 0 25 0 1 0 687927309 9547776 1590 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2331 1598 1111 63 0 2268 0
vsize: 9324
[startup+640.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 235521 0 0 0 63351 653 0 0 25 0 1 0 687927309 9936896 1628 4294967295 134512640 134714508 3221221792 3221217944 1074883041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1628 1111 63 0 2363 0
vsize: 9704
[startup+650.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 239429 0 0 0 64342 662 0 0 25 0 1 0 687927309 9773056 1637 4294967295 134512640 134714508 3221221792 3221217952 1075093371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2386 1637 1111 63 0 2323 0
vsize: 9544
[startup+660.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 243653 0 0 0 65330 674 0 0 25 0 1 0 687927309 10231808 1727 4294967295 134512640 134714508 3221221792 3221217756 1074861049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2498 1727 1111 63 0 2435 0
vsize: 9992
[startup+670.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 247475 0 0 0 66319 685 0 0 25 0 1 0 687927309 10051584 1686 4294967295 134512640 134714508 3221221792 3221217824 1074790226 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2454 1686 1111 63 0 2391 0
vsize: 9816
[startup+680.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 251493 0 0 0 67308 696 0 0 25 0 1 0 687927309 10080256 1716 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2461 1718 1111 63 0 2398 0
vsize: 9844
[startup+690.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 255225 0 0 0 68298 706 0 0 25 0 1 0 687927309 10203136 1754 4294967295 134512640 134714508 3221221792 3221217892 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2491 1754 1111 63 0 2428 0
vsize: 9964
[startup+700.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 258563 0 0 0 69289 715 0 0 25 0 1 0 687927309 10567680 1764 4294967295 134512640 134714508 3221221792 3221217848 1074789542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1764 1111 63 0 2517 0
vsize: 10320
[startup+710.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 262045 0 0 0 70280 725 0 0 25 0 1 0 687927309 10235904 1761 4294967295 134512640 134714508 3221221792 3221217728 1075965260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2499 1761 1111 63 0 2436 0
vsize: 9996
[startup+720.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 266105 0 0 0 71268 736 0 0 25 0 1 0 687927309 9904128 1741 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2418 1741 1111 63 0 2355 0
vsize: 9672
[startup+730.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 269694 0 0 0 72258 747 0 0 25 0 1 0 687927309 10514432 1803 4294967295 134512640 134714508 3221221792 3221218256 1075602856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2567 1803 1111 63 0 2504 0
vsize: 10268
[startup+740.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 273346 0 0 0 73248 757 0 0 25 0 1 0 687927309 10428416 1810 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2546 1811 1111 63 0 2483 0
vsize: 10184
[startup+750.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 277347 0 0 0 74238 767 0 0 25 0 1 0 687927309 10715136 1855 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2616 1855 1111 63 0 2553 0
vsize: 10464
[startup+760.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 281252 0 0 0 75227 778 0 0 25 0 1 0 687927309 10985472 1915 4294967295 134512640 134714508 3221221792 3221218000 1074815276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2682 1915 1111 63 0 2619 0
vsize: 10728
[startup+770.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 284971 0 0 0 76218 787 0 0 25 0 1 0 687927309 10330112 1845 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2522 1845 1111 63 0 2459 0
vsize: 10088
[startup+780.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 288508 0 0 0 77210 796 0 0 25 0 1 0 687927309 11046912 1907 4294967295 134512640 134714508 3221221792 3221217572 1074786593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2697 1907 1111 63 0 2634 0
vsize: 10788
[startup+790.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 292676 0 0 0 78200 806 0 0 25 0 1 0 687927309 10940416 1903 4294967295 134512640 134714508 3221221792 3221217804 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2671 1903 1111 63 0 2608 0
vsize: 10684
[startup+800.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 296513 0 0 0 79188 817 0 0 25 0 1 0 687927309 11272192 1938 4294967295 134512640 134714508 3221221792 3221218064 1074960822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2752 1938 1111 63 0 2689 0
vsize: 11008
[startup+810.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 299953 0 0 0 80180 826 0 0 25 0 1 0 687927309 11276288 1980 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1980 1111 63 0 2690 0
vsize: 11012
[startup+820.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 303615 0 0 0 81170 836 0 0 25 0 1 0 687927309 11378688 1965 4294967295 134512640 134714508 3221221792 3221217672 1074788452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2778 1965 1111 63 0 2715 0
vsize: 11112
[startup+830.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 307116 0 0 0 82162 844 0 0 25 0 1 0 687927309 10596352 1910 4294967295 134512640 134714508 3221221792 3221220176 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1910 1111 63 0 2524 0
vsize: 10348
[startup+840.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 310868 0 0 0 83152 855 0 0 25 0 1 0 687927309 10645504 1922 4294967295 134512640 134714508 3221221792 3221220176 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1922 1111 63 0 2536 0
vsize: 10396
[startup+850.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 314773 0 0 0 84143 864 0 0 25 0 1 0 687927309 11132928 1973 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2718 1973 1111 63 0 2655 0
vsize: 10872
[startup+860.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 318889 0 0 0 85132 875 0 0 25 0 1 0 687927309 11210752 2003 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2737 2003 1111 63 0 2674 0
vsize: 10948
[startup+870.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 322576 0 0 0 86122 885 0 0 25 0 1 0 687927309 11264000 2013 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2750 2013 1111 63 0 2687 0
vsize: 11000
[startup+880.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 326222 0 0 0 87112 895 0 0 25 0 1 0 687927309 11382784 2000 4294967295 134512640 134714508 3221221792 3221218684 1077387418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2005 1111 63 0 2716 0
vsize: 11116
[startup+890.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 330007 0 0 0 88103 904 0 0 25 0 1 0 687927309 11501568 2037 4294967295 134512640 134714508 3221221792 3221217836 1074873486 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2808 2037 1111 63 0 2745 0
vsize: 11232
[startup+900.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 334073 0 0 0 89094 914 0 0 25 0 1 0 687927309 11096064 2032 4294967295 134512640 134714508 3221221792 3221218896 1074139070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2792 2037 1111 63 0 2729 0
vsize: 10836
[startup+910.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 337576 0 0 0 90086 922 0 0 25 0 1 0 687927309 11579392 2072 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 2072 1111 63 0 2764 0
vsize: 11308
[startup+920.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 341397 0 0 0 91076 932 0 0 25 0 1 0 687927309 12021760 2167 4294967295 134512640 134714508 3221221792 3221217952 1075094801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2935 2167 1111 63 0 2872 0
vsize: 11740
[startup+930.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 345132 0 0 0 92066 942 0 0 25 0 1 0 687927309 11296768 2080 4294967295 134512640 134714508 3221221792 3221220504 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2758 2080 1111 63 0 2695 0
vsize: 11032
[startup+940.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 348910 0 0 0 93058 950 0 0 25 0 1 0 687927309 11886592 2133 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2902 2133 1111 63 0 2839 0
vsize: 11608
[startup+950.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 353161 0 0 0 94047 961 0 0 25 0 1 0 687927309 11468800 2124 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2800 2124 1111 63 0 2737 0
vsize: 11200
[startup+960.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 357035 0 0 0 95038 971 0 0 25 0 1 0 687927309 12087296 2184 4294967295 134512640 134714508 3221221792 3221217784 1075964781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2951 2184 1111 63 0 2888 0
vsize: 11804
[startup+970.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 360683 0 0 0 96028 981 0 0 25 0 1 0 687927309 12185600 2212 4294967295 134512640 134714508 3221221792 3221217644 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2975 2212 1111 63 0 2912 0
vsize: 11900
[startup+980.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 364315 0 0 0 97019 990 0 0 25 0 1 0 687927309 11698176 2180 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2856 2180 1111 63 0 2793 0
vsize: 11424
[startup+990.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 368174 0 0 0 98009 1000 0 0 25 0 1 0 687927309 11747328 2192 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2868 2192 1111 63 0 2805 0
vsize: 11472
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 371764 0 0 0 99001 1008 0 0 25 0 1 0 687927309 12414976 2275 4294967295 134512640 134714508 3221221792 3221218020 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2275 1111 63 0 2968 0
vsize: 12124
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 375206 0 0 0 99992 1018 0 0 25 0 1 0 687927309 12328960 2279 4294967295 134512640 134714508 3221221792 3221218784 1075338960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3010 2279 1111 63 0 2947 0
vsize: 12040
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 378636 0 0 0 100982 1027 0 0 25 0 1 0 687927309 11988992 2257 4294967295 134512640 134714508 3221221792 3221220144 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2927 2257 1111 63 0 2864 0
vsize: 11708
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 382378 0 0 0 101975 1034 0 0 25 0 1 0 687927309 12025856 2266 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2936 2266 1111 63 0 2873 0
vsize: 11744
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 385930 0 0 0 102965 1045 0 0 25 0 1 0 687927309 12660736 2333 4294967295 134512640 134714508 3221221792 3221217760 1074872731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3091 2333 1111 63 0 3028 0
vsize: 12364
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 389365 0 0 0 103956 1054 0 0 25 0 1 0 687927309 12668928 2363 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2363 1111 63 0 3030 0
vsize: 12372
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 392805 0 0 0 104946 1064 0 0 25 0 1 0 687927309 12660736 2360 4294967295 134512640 134714508 3221221792 3221217724 1074788156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3091 2360 1111 63 0 3028 0
vsize: 12364
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 396594 0 0 0 105937 1074 0 0 25 0 1 0 687927309 12840960 2371 4294967295 134512640 134714508 3221221792 3221218064 1074961490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3135 2371 1111 63 0 3072 0
vsize: 12540
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 400011 0 0 0 106928 1083 0 0 25 0 1 0 687927309 12759040 2380 4294967295 134512640 134714508 3221221792 3221217884 1075663462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2380 1111 63 0 3052 0
vsize: 12460
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 403674 0 0 0 107919 1092 0 0 25 0 1 0 687927309 12943360 2390 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3160 2393 1111 63 0 3097 0
vsize: 12640
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 407504 0 0 0 108911 1100 0 0 25 0 1 0 687927309 13275136 2509 4294967295 134512640 134714508 3221221792 3221217952 1075091378 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3241 2509 1111 63 0 3178 0
vsize: 12964
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 411220 0 0 0 109901 1110 0 0 25 0 1 0 687927309 13008896 2450 4294967295 134512640 134714508 3221221792 3221217936 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3176 2450 1111 63 0 3113 0
vsize: 12704
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 415321 0 0 0 110893 1119 0 0 25 0 1 0 687927309 13111296 2479 4294967295 134512640 134714508 3221221792 3221219056 1075277900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2479 1111 63 0 3138 0
vsize: 12804
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 419340 0 0 0 111883 1128 0 0 25 0 1 0 687927309 12857344 2469 4294967295 134512640 134714508 3221221792 3221220384 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3139 2469 1111 63 0 3076 0
vsize: 12556
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 423445 0 0 0 112873 1139 0 0 25 0 1 0 687927309 12955648 2493 4294967295 134512640 134714508 3221221792 3221220132 1074141644 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3163 2493 1111 63 0 3100 0
vsize: 12652
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 427082 0 0 0 113864 1148 0 0 25 0 1 0 687927309 13422592 2544 4294967295 134512640 134714508 3221221792 3221218024 1074879905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2544 1111 63 0 3214 0
vsize: 13108
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 430750 0 0 0 114857 1156 0 0 25 0 1 0 687927309 13459456 2559 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3286 2559 1111 63 0 3223 0
vsize: 13144
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 434509 0 0 0 115848 1164 0 0 25 0 1 0 687927309 13516800 2568 4294967295 134512640 134714508 3221221792 3221218064 1074960857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3300 2568 1111 63 0 3237 0
vsize: 13200
[startup+1174.96 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 7892
Raw data (stat): 7892 (bsolo_lpr) R 7891 7876 7672 0 -1 0 434509 0 0 0 115848 1164 0 0 25 0 1 0 687927309 13516800 2568 4294967295 134512640 134714508 3221221792 3221218064 1074960857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3300 2568 1111 63 0 3237 0
vsize: 0

Child status: 10
Real time (s): 1174.96
CPU time (s): 1175.07
CPU user time (s): 1163.38
CPU system time (s): 11.6902
CPU usage (%): 100.009
Max. virtual memory (Kb): 13200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	89
#### END VERIFIER DATA ####