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 39568

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 13:37:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27630 boxname=wulflinc1 idbench=188 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c4040960fadc5a0c2fe39dd858a66385  /oldhome/oroussel/tmp/wulflinc1/normalized-jnh217.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-jnh217.opb
IDLAUNCH: 27630
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        875744 kB
Buffers:         33756 kB
Cached:          94052 kB
SwapCached:       7036 kB
Active:          35268 kB
Inactive:       100736 kB
HighTotal:      131008 kB
HighFree:        96124 kB
LowTotal:       903652 kB
LowFree:        779620 kB
SwapTotal:     2097136 kB
SwapFree:      2089016 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            17088 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 13:57:16 (client local time) WITH STATUS 10 IN 1175.09 SECONDS
stats: 27630 0 1175.09 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.379 s
c Initial Lower Bound: 68
c Lower Bound Elapsed time: 0.2415
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 1.499
c NEW SOLUTION FOUND: 99 @ 1.5
c NEW SOLUTION FOUND: 98 @ 1.504
c NEW SOLUTION FOUND: 97 @ 1.51
c NEW SOLUTION FOUND: 96 @ 1.514
c NEW SOLUTION FOUND: 95 @ 1.518
c NEW SOLUTION FOUND: 94 @ 4.971
c NEW SOLUTION FOUND: 93 @ 5.401
c NEW SOLUTION FOUND: 91 @ 12.783
c NEW SOLUTION FOUND: 90 @ 13.865
c NEW SOLUTION FOUND: 89 @ 312.294
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.08 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.83 0.92 0.90 2/55 6392
Raw data (stat): 6392 (runsolver) R 6391 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 836552844 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.86 0.92 0.90 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 3997 0 0 0 987 11 0 0 25 0 1 0 836552844 6811648 928 4294967295 134512640 134716908 3221224592 3221220724 1074786513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 928 1111 63 0 1600 0
vsize: 6652
[startup+20.0017 s]
Raw data (loadavg): 0.88 0.92 0.90 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 7656 0 0 0 1976 22 0 0 25 0 1 0 836552844 6840320 927 4294967295 134512640 134716908 3221224592 3221220692 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1670 927 1111 63 0 1607 0
vsize: 6680
[startup+30.0025 s]
Raw data (loadavg): 0.90 0.92 0.90 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 11480 0 0 0 2965 33 0 0 25 0 1 0 836552844 7045120 942 4294967295 134512640 134716908 3221224592 3221220476 1074788912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1720 942 1111 63 0 1657 0
vsize: 6880
[startup+40.0023 s]
Raw data (loadavg): 0.91 0.93 0.90 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 15003 0 0 0 3955 43 0 0 25 0 1 0 836552844 6995968 959 4294967295 134512640 134716908 3221224592 3221221056 1075602812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1708 959 1111 63 0 1645 0
vsize: 6832
[startup+50.002 s]
Raw data (loadavg): 0.93 0.93 0.90 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 18944 0 0 0 4944 55 0 0 25 0 1 0 836552844 7163904 976 4294967295 134512640 134716908 3221224592 3221220752 1074794482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 976 1111 63 0 1686 0
vsize: 6996
[startup+60.0019 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 22471 0 0 0 5935 64 0 0 25 0 1 0 836552844 7106560 984 4294967295 134512640 134716908 3221224592 3221220832 1075115762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1735 984 1111 63 0 1672 0
vsize: 6940
[startup+70.0027 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 26047 0 0 0 6926 73 0 0 25 0 1 0 836552844 7397376 1055 4294967295 134512640 134716908 3221224592 3221221512 1075964764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1806 1055 1111 63 0 1743 0
vsize: 7224
[startup+80.0034 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 29733 0 0 0 7914 85 0 0 25 0 1 0 836552844 7618560 1033 4294967295 134512640 134716908 3221224592 3221221712 1074834291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1860 1033 1111 63 0 1797 0
vsize: 7440
[startup+90.0032 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 33438 0 0 0 8904 95 0 0 25 0 1 0 836552844 7278592 1032 4294967295 134512640 134716908 3221224592 3221220820 1075114940 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1777 1032 1111 63 0 1714 0
vsize: 7108
[startup+100.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 36960 0 0 0 9894 105 0 0 25 0 1 0 836552844 6914048 1003 4294967295 134512640 134716908 3221224592 3221222976 1074153893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1688 1003 1111 63 0 1625 0
vsize: 6752
[startup+110.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 40668 0 0 0 10883 117 0 0 25 0 1 0 836552844 7794688 1082 4294967295 134512640 134716908 3221224592 3221220864 1074961155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1903 1082 1111 63 0 1840 0
vsize: 7612
[startup+120.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 44317 0 0 0 11872 128 0 0 25 0 1 0 836552844 7524352 1057 4294967295 134512640 134716908 3221224592 3221220620 1074788231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1837 1057 1111 63 0 1774 0
vsize: 7348
[startup+130.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 48385 0 0 0 12862 138 0 0 25 0 1 0 836552844 7061504 1036 4294967295 134512640 134716908 3221224592 3221223348 134655251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1724 1036 1111 63 0 1661 0
vsize: 6896
[startup+140.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 52613 0 0 0 13851 149 0 0 25 0 1 0 836552844 7634944 1114 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1864 1114 1111 63 0 1801 0
vsize: 7456
[startup+150.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 56122 0 0 0 14842 158 0 0 25 0 1 0 836552844 7622656 1112 4294967295 134512640 134716908 3221224592 3221220528 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 1112 1111 63 0 1798 0
vsize: 7444
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 60314 0 0 0 15834 166 0 0 25 0 1 0 836552844 7770112 1149 4294967295 134512640 134716908 3221224592 3221220864 1074960783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1897 1149 1111 63 0 1834 0
vsize: 7588
[startup+170.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 63935 0 0 0 16826 174 0 0 25 0 1 0 836552844 7753728 1150 4294967295 134512640 134716908 3221224592 3221220960 1075894480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1893 1150 1111 63 0 1830 0
vsize: 7572
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 68026 0 0 0 17815 186 0 0 25 0 1 0 836552844 7811072 1155 4294967295 134512640 134716908 3221224592 3221220736 1074969743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 1155 1111 63 0 1844 0
vsize: 7628
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 72161 0 0 0 18804 197 0 0 25 0 1 0 836552844 7524352 1152 4294967295 134512640 134716908 3221224592 3221223168 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1837 1152 1111 63 0 1774 0
vsize: 7348
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 76068 0 0 0 19795 206 0 0 25 0 1 0 836552844 7577600 1173 4294967295 134512640 134716908 3221224592 3221222504 1077378596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1850 1173 1111 63 0 1787 0
vsize: 7400
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 79849 0 0 0 20786 215 0 0 25 0 1 0 836552844 8011776 1223 4294967295 134512640 134716908 3221224592 3221220552 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1956 1223 1111 63 0 1893 0
vsize: 7824
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 83390 0 0 0 21777 225 0 0 25 0 1 0 836552844 7667712 1195 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1872 1195 1111 63 0 1809 0
vsize: 7488
[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 87187 0 0 0 22766 236 0 0 25 0 1 0 836552844 7700480 1203 4294967295 134512640 134716908 3221224592 3221222860 1074206250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1880 1203 1111 63 0 1817 0
vsize: 7520
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 91106 0 0 0 23756 246 0 0 25 0 1 0 836552844 8425472 1296 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2057 1296 1111 63 0 1994 0
vsize: 8228
[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 94646 0 0 0 24746 256 0 0 25 0 1 0 836552844 8241152 1269 4294967295 134512640 134716908 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 1269 1111 63 0 1949 0
vsize: 8048
[startup+260.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 98582 0 0 0 25735 267 0 0 25 0 1 0 836552844 7933952 1260 4294967295 134512640 134716908 3221224592 3221222992 1074119091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1260 1111 63 0 1874 0
vsize: 7748
[startup+270.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 102452 0 0 0 26724 279 0 0 25 0 1 0 836552844 8466432 1330 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1330 1111 63 0 2004 0
vsize: 8268
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 105914 0 0 0 27713 289 0 0 25 0 1 0 836552844 8445952 1312 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 1312 1111 63 0 1999 0
vsize: 8248
[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 109396 0 0 0 28703 300 0 0 25 0 1 0 836552844 8470528 1329 4294967295 134512640 134716908 3221224592 3221220776 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2068 1329 1111 63 0 2005 0
vsize: 8272
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 112925 0 0 0 29694 309 0 0 25 0 1 0 836552844 8916992 1362 4294967295 134512640 134716908 3221224592 3221220928 1075113513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2177 1362 1111 63 0 2114 0
vsize: 8708
[startup+310.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 116524 0 0 0 30682 321 0 0 25 0 1 0 836552844 8568832 1347 4294967295 134512640 134716908 3221224592 3221220684 1075663543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2092 1347 1111 63 0 2029 0
vsize: 8368
[startup+320.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 120053 0 0 0 31673 330 0 0 25 0 1 0 836552844 8642560 1367 4294967295 134512640 134716908 3221224592 3221220800 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2110 1367 1111 63 0 2047 0
vsize: 8440
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 123575 0 0 0 32663 341 0 0 25 0 1 0 836552844 8638464 1371 4294967295 134512640 134716908 3221224592 3221220928 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2109 1371 1111 63 0 2046 0
vsize: 8436
[startup+340.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 127305 0 0 0 33655 349 0 0 25 0 1 0 836552844 8765440 1399 4294967295 134512640 134716908 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2140 1399 1111 63 0 2077 0
vsize: 8560
[startup+350.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 131472 0 0 0 34644 360 0 0 25 0 1 0 836552844 8863744 1426 4294967295 134512640 134716908 3221224592 3221220864 1074960898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2164 1426 1111 63 0 2101 0
vsize: 8656
[startup+360.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 135285 0 0 0 35633 371 0 0 25 0 1 0 836552844 9072640 1449 4294967295 134512640 134716908 3221224592 3221220928 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2215 1449 1111 63 0 2152 0
vsize: 8860
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 138607 0 0 0 36623 381 0 0 25 0 1 0 836552844 8982528 1453 4294967295 134512640 134716908 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2193 1453 1111 63 0 2130 0
vsize: 8772
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 142266 0 0 0 37614 390 0 0 25 0 1 0 836552844 8646656 1432 4294967295 134512640 134716908 3221224592 3221223224 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2111 1432 1111 63 0 2048 0
vsize: 8444
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 145787 0 0 0 38606 399 0 0 25 0 1 0 836552844 9269248 1499 4294967295 134512640 134716908 3221224592 3221220604 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2263 1499 1111 63 0 2200 0
vsize: 9052
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 149218 0 0 0 39597 408 0 0 25 0 1 0 836552844 8757248 1461 4294967295 134512640 134716908 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2138 1461 1111 63 0 2075 0
vsize: 8552
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 153272 0 0 0 40587 418 0 0 25 0 1 0 836552844 8867840 1488 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2165 1488 1111 63 0 2102 0
vsize: 8660
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 157514 0 0 0 41574 431 0 0 25 0 1 0 836552844 9531392 1519 4294967295 134512640 134716908 3221224592 3221221216 1075895383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2327 1519 1111 63 0 2264 0
vsize: 9308
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 161339 0 0 0 42564 441 0 0 25 0 1 0 836552844 9359360 1528 4294967295 134512640 134716908 3221224592 3221221248 1075966531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2285 1528 1111 63 0 2222 0
vsize: 9140
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 165205 0 0 0 43554 451 0 0 25 0 1 0 836552844 9445376 1552 4294967295 134512640 134716908 3221224592 3221220752 1075091234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2306 1552 1111 63 0 2243 0
vsize: 9224
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 169102 0 0 0 44545 461 0 0 25 0 1 0 836552844 9515008 1576 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2323 1576 1111 63 0 2260 0
vsize: 9292
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 173256 0 0 0 45534 471 0 0 25 0 1 0 836552844 9560064 1596 4294967295 134512640 134716908 3221224592 3221220736 1074969467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2334 1596 1111 63 0 2271 0
vsize: 9336
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 177048 0 0 0 46523 483 0 0 25 0 1 0 836552844 9945088 1683 4294967295 134512640 134716908 3221224592 3221220976 1076116715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2428 1683 1111 63 0 2365 0
vsize: 9712
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 181425 0 0 0 47512 494 0 0 25 0 1 0 836552844 9965568 1660 4294967295 134512640 134716908 3221224592 3221220768 1074792066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2433 1660 1111 63 0 2370 0
vsize: 9732
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 185363 0 0 0 48502 505 0 0 25 0 1 0 836552844 9515008 1646 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2323 1646 1111 63 0 2260 0
vsize: 9292
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 189119 0 0 0 49491 515 0 0 25 0 1 0 836552844 10076160 1721 4294967295 134512640 134716908 3221224592 3221220528 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2460 1721 1111 63 0 2397 0
vsize: 9840
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 192715 0 0 0 50483 523 0 0 25 0 1 0 836552844 9605120 1668 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2345 1668 1111 63 0 2282 0
vsize: 9380
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 196429 0 0 0 51474 532 0 0 25 0 1 0 836552844 9666560 1683 4294967295 134512640 134716908 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2360 1683 1111 63 0 2297 0
vsize: 9440
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 200064 0 0 0 52465 542 0 0 25 0 1 0 836552844 10194944 1739 4294967295 134512640 134716908 3221224592 3221220736 1074969654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2489 1739 1111 63 0 2426 0
vsize: 9956
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 203486 0 0 0 53456 551 0 0 25 0 1 0 836552844 10293248 1773 4294967295 134512640 134716908 3221224592 3221220560 1074872805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2513 1773 1111 63 0 2450 0
vsize: 10052
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 207029 0 0 0 54446 561 0 0 25 0 1 0 836552844 10747904 1805 4294967295 134512640 134716908 3221224592 3221220624 1075965301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1805 1111 63 0 2561 0
vsize: 10496
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 210345 0 0 0 55437 570 0 0 25 0 1 0 836552844 10764288 1815 4294967295 134512640 134716908 3221224592 3221221248 1075968585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2628 1815 1111 63 0 2565 0
vsize: 10512
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 213599 0 0 0 56429 579 0 0 25 0 1 0 836552844 10416128 1802 4294967295 134512640 134716908 3221224592 3221221184 1074885622 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1802 1111 63 0 2480 0
vsize: 10172
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 216912 0 0 0 57419 588 0 0 25 0 1 0 836552844 10543104 1811 4294967295 134512640 134716908 3221224592 3221220820 1075115070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2574 1811 1111 63 0 2511 0
vsize: 10296
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 220329 0 0 0 58409 599 0 0 25 0 1 0 836552844 10518528 1817 4294967295 134512640 134716908 3221224592 3221220744 1074883041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2568 1817 1111 63 0 2505 0
vsize: 10272
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 223699 0 0 0 59400 608 0 0 25 0 1 0 836552844 10563584 1829 4294967295 134512640 134716908 3221224592 3221220636 1074788168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2579 1829 1111 63 0 2516 0
vsize: 10316
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 227302 0 0 0 60391 617 0 0 25 0 1 0 836552844 10182656 1807 4294967295 134512640 134716908 3221224592 3221223184 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1807 1111 63 0 2423 0
vsize: 9944
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 231141 0 0 0 61379 629 0 0 25 0 1 0 836552844 10825728 1879 4294967295 134512640 134716908 3221224592 3221221168 1076048165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2643 1879 1111 63 0 2580 0
vsize: 10572
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 234809 0 0 0 62370 638 0 0 25 0 1 0 836552844 11120640 1950 4294967295 134512640 134716908 3221224592 3221220800 1074815208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2715 1950 1111 63 0 2652 0
vsize: 10860
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 238167 0 0 0 63360 648 0 0 25 0 1 0 836552844 10821632 1895 4294967295 134512640 134716908 3221224592 3221220752 1075093371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2642 1895 1111 63 0 2579 0
vsize: 10568
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 241970 0 0 0 64350 658 0 0 25 0 1 0 836552844 11108352 1964 4294967295 134512640 134716908 3221224592 3221220688 1074879331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2712 1964 1111 63 0 2649 0
vsize: 10848
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 245333 0 0 0 65341 668 0 0 25 0 1 0 836552844 10850304 1903 4294967295 134512640 134716908 3221224592 3221220800 1074815273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2649 1903 1111 63 0 2586 0
vsize: 10596
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 248876 0 0 0 66331 678 0 0 25 0 1 0 836552844 10506240 1888 4294967295 134512640 134716908 3221224592 3221222924 1077410225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2565 1888 1111 63 0 2502 0
vsize: 10260
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 252489 0 0 0 67322 687 0 0 25 0 1 0 836552844 11341824 1955 4294967295 134512640 134716908 3221224592 3221220864 1074961369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1955 1111 63 0 2706 0
vsize: 11076
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 256051 0 0 0 68312 697 0 0 25 0 1 0 836552844 11087872 1941 4294967295 134512640 134716908 3221224592 3221220524 1074788168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2707 1941 1111 63 0 2644 0
vsize: 10828
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 259283 0 0 0 69304 705 0 0 25 0 1 0 836552844 11071488 1970 4294967295 134512640 134716908 3221224592 3221220864 1074961225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2703 1970 1111 63 0 2640 0
vsize: 10812
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 262775 0 0 0 70295 715 0 0 25 0 1 0 836552844 11218944 1975 4294967295 134512640 134716908 3221224592 3221220736 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2739 1975 1111 63 0 2676 0
vsize: 10956
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 266319 0 0 0 71285 725 0 0 25 0 1 0 836552844 11378688 2033 4294967295 134512640 134716908 3221224592 3221220604 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 2033 1111 63 0 2715 0
vsize: 11112
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 270241 0 0 0 72274 736 0 0 25 0 1 0 836552844 11108352 1977 4294967295 134512640 134716908 3221224592 3221220524 1074788136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2712 1977 1111 63 0 2649 0
vsize: 10848
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 273699 0 0 0 73265 744 0 0 25 0 1 0 836552844 11563008 2007 4294967295 134512640 134716908 3221224592 3221220496 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2823 2007 1111 63 0 2760 0
vsize: 11292
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 277112 0 0 0 74256 754 0 0 25 0 1 0 836552844 11223040 1995 4294967295 134512640 134716908 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2740 1995 1111 63 0 2677 0
vsize: 10960
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 280367 0 0 0 75247 763 0 0 25 0 1 0 836552844 11272192 2014 4294967295 134512640 134716908 3221224592 3221221192 1075850679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2752 2014 1111 63 0 2689 0
vsize: 11008
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 283572 0 0 0 76238 772 0 0 25 0 1 0 836552844 10948608 1996 4294967295 134512640 134716908 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2673 1996 1111 63 0 2610 0
vsize: 10692
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 287141 0 0 0 77230 780 0 0 25 0 1 0 836552844 11358208 2037 4294967295 134512640 134716908 3221224592 3221220476 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2773 2037 1111 63 0 2710 0
vsize: 11092
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 290653 0 0 0 78221 789 0 0 25 0 1 0 836552844 11575296 2054 4294967295 134512640 134716908 3221224592 3221220964 1075965515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 2054 1111 63 0 2763 0
vsize: 11304
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 293998 0 0 0 79214 797 0 0 25 0 1 0 836552844 11960320 2110 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2920 2110 1111 63 0 2857 0
vsize: 11680
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 297893 0 0 0 80204 807 0 0 25 0 1 0 836552844 11718656 2092 4294967295 134512640 134716908 3221224592 3221220800 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 2092 1111 63 0 2798 0
vsize: 11444
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 301549 0 0 0 81195 816 0 0 25 0 1 0 836552844 11276288 2072 4294967295 134512640 134716908 3221224592 3221223376 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2753 2072 1111 63 0 2690 0
vsize: 11012
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 305265 0 0 0 82187 825 0 0 25 0 1 0 836552844 11329536 2089 4294967295 134512640 134716908 3221224592 3221222320 1075125331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 2089 1111 63 0 2703 0
vsize: 11064
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 308758 0 0 0 83177 834 0 0 25 0 1 0 836552844 12165120 2153 4294967295 134512640 134716908 3221224592 3221220740 1075964393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2970 2153 1111 63 0 2907 0
vsize: 11880
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 312729 0 0 0 84167 845 0 0 25 0 1 0 836552844 12009472 2169 4294967295 134512640 134716908 3221224592 3221220696 1074788597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2169 1111 63 0 2869 0
vsize: 11728
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 316152 0 0 0 85158 854 0 0 25 0 1 0 836552844 11870208 2154 4294967295 134512640 134716908 3221224592 3221220556 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 2154 1111 63 0 2835 0
vsize: 11592
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 319479 0 0 0 86149 863 0 0 25 0 1 0 836552844 11862016 2164 4294967295 134512640 134716908 3221224592 3221220820 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2896 2164 1111 63 0 2833 0
vsize: 11584
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 322989 0 0 0 87140 872 0 0 25 0 1 0 836552844 11984896 2185 4294967295 134512640 134716908 3221224592 3221220976 1074973926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2926 2185 1111 63 0 2863 0
vsize: 11704
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 326461 0 0 0 88131 881 0 0 25 0 1 0 836552844 12038144 2199 4294967295 134512640 134716908 3221224592 3221220864 1074961191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2939 2199 1111 63 0 2876 0
vsize: 11756
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 329788 0 0 0 89123 890 0 0 25 0 1 0 836552844 12087296 2211 4294967295 134512640 134716908 3221224592 3221220960 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2951 2211 1111 63 0 2888 0
vsize: 11804
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 333486 0 0 0 90114 900 0 0 25 0 1 0 836552844 12140544 2225 4294967295 134512640 134716908 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2964 2225 1111 63 0 2901 0
vsize: 11856
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 337364 0 0 0 91104 910 0 0 25 0 1 0 836552844 12386304 2257 4294967295 134512640 134716908 3221224592 3221220556 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2257 1111 63 0 2961 0
vsize: 12096
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 340812 0 0 0 92095 919 0 0 25 0 1 0 836552844 12533760 2301 4294967295 134512640 134716908 3221224592 3221220752 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2301 1111 63 0 2997 0
vsize: 12240
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 344625 0 0 0 93085 929 0 0 25 0 1 0 836552844 12369920 2276 4294967295 134512640 134716908 3221224592 3221220796 1075564192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3020 2276 1111 63 0 2957 0
vsize: 12080
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 348210 0 0 0 94076 939 0 0 25 0 1 0 836552844 12853248 2378 4294967295 134512640 134716908 3221224592 3221220768 1074882566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3138 2378 1111 63 0 3075 0
vsize: 12552
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 351858 0 0 0 95066 949 0 0 25 0 1 0 836552844 12881920 2362 4294967295 134512640 134716908 3221224592 3221220592 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3145 2362 1111 63 0 3082 0
vsize: 12580
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 355332 0 0 0 96057 958 0 0 25 0 1 0 836552844 12976128 2361 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3168 2361 1111 63 0 3105 0
vsize: 12672
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 358844 0 0 0 97047 968 0 0 25 0 1 0 836552844 13008896 2382 4294967295 134512640 134716908 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3176 2382 1111 63 0 3113 0
vsize: 12704
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 362349 0 0 0 98037 979 0 0 25 0 1 0 836552844 12406784 2351 4294967295 134512640 134716908 3221224592 3221222232 1077377291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3029 2351 1111 63 0 2966 0
vsize: 12116
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 366372 0 0 0 99025 990 0 0 25 0 1 0 836552844 12951552 2422 4294967295 134512640 134716908 3221224592 3221221536 1074620133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2422 1111 63 0 3099 0
vsize: 12648
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 369852 0 0 0 100016 1000 0 0 25 0 1 0 836552844 12898304 2416 4294967295 134512640 134716908 3221224592 3221220796 1075564273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3149 2416 1111 63 0 3086 0
vsize: 12596
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 373209 0 0 0 101007 1009 0 0 25 0 1 0 836552844 12603392 2401 4294967295 134512640 134716908 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3077 2401 1111 63 0 3014 0
vsize: 12308
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 376882 0 0 0 101996 1020 0 0 25 0 1 0 836552844 12656640 2414 4294967295 134512640 134716908 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3090 2414 1111 63 0 3027 0
vsize: 12360
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 380518 0 0 0 102986 1031 0 0 25 0 1 0 836552844 13234176 2465 4294967295 134512640 134716908 3221224592 3221220744 1074883056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3231 2465 1111 63 0 3168 0
vsize: 12924
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 384394 0 0 0 103975 1042 0 0 25 0 1 0 836552844 13312000 2483 4294967295 134512640 134716908 3221224592 3221220556 1074788206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3250 2483 1111 63 0 3187 0
vsize: 13000
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 388317 0 0 0 104964 1053 0 0 25 0 1 0 836552844 13578240 2521 4294967295 134512640 134716908 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3315 2521 1111 63 0 3252 0
vsize: 13260
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 392072 0 0 0 105955 1062 0 0 25 0 1 0 836552844 13332480 2517 4294967295 134512640 134716908 3221224592 3221221424 1075115422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3255 2517 1111 63 0 3192 0
vsize: 13020
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 395830 0 0 0 106946 1072 0 0 25 0 1 0 836552844 13570048 2550 4294967295 134512640 134716908 3221224592 3221220556 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 2550 1111 63 0 3250 0
vsize: 13252
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 399287 0 0 0 107937 1081 0 0 25 0 1 0 836552844 13611008 2560 4294967295 134512640 134716908 3221224592 3221220768 1074882505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3323 2560 1111 63 0 3260 0
vsize: 13292
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 402720 0 0 0 108927 1090 0 0 25 0 1 0 836552844 13688832 2586 4294967295 134512640 134716908 3221224592 3221220604 1074788943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2586 1111 63 0 3279 0
vsize: 13368
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 406128 0 0 0 109918 1100 0 0 25 0 1 0 836552844 13545472 2570 4294967295 134512640 134716908 3221224592 3221220476 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3307 2570 1111 63 0 3244 0
vsize: 13228
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 409497 0 0 0 110911 1107 0 0 25 0 1 0 836552844 13160448 2537 4294967295 134512640 134716908 3221224592 3221222560 1075552862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2537 1111 63 0 3150 0
vsize: 12852
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 413037 0 0 0 111901 1117 0 0 25 0 1 0 836552844 13606912 2580 4294967295 134512640 134716908 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3322 2580 1111 63 0 3259 0
vsize: 13288
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 416190 0 0 0 112893 1126 0 0 25 0 1 0 836552844 14077952 2626 4294967295 134512640 134716908 3221224592 3221220540 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2626 1111 63 0 3374 0
vsize: 13748
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 419947 0 0 0 113883 1135 0 0 25 0 1 0 836552844 13905920 2636 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2636 1111 63 0 3332 0
vsize: 13580
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 423470 0 0 0 114873 1145 0 0 25 0 1 0 836552844 13889536 2629 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 2629 1111 63 0 3328 0
vsize: 13564
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 427359 0 0 0 115863 1155 0 0 25 0 1 0 836552844 13369344 2588 4294967295 134512640 134716908 3221224592 3221222640 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3264 2588 1111 63 0 3201 0
vsize: 13056
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6392
Raw data (stat): 6392 (bsolo_lpr-v2) R 6391 8378 8377 0 -1 0 427359 0 0 0 115863 1155 0 0 25 0 1 0 836552844 13369344 2588 4294967295 134512640 134716908 3221224592 3221222640 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3264 2588 1111 63 0 3201 0
vsize: 0

Child status: 10
Real time (s): 1174.94
CPU time (s): 1175.09
CPU user time (s): 1163.49
CPU system time (s): 11.6072
CPU usage (%): 100.013
Max. virtual memory (Kb): 13748
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	89
#### END VERIFIER DATA ####