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 24078

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 01:35:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1685 boxname=wulflinc31 idbench=188 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c4040960fadc5a0c2fe39dd858a66385  /oldhome/oroussel/tmp/wulflinc31/normalized-jnh217.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-jnh217.opb
IDLAUNCH: 1685
/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:        143876 kB
Buffers:         40372 kB
Cached:         816192 kB
SwapCached:        644 kB
Active:         490508 kB
Inactive:       368432 kB
HighTotal:      131008 kB
HighFree:         5376 kB
LowTotal:       903652 kB
LowFree:        138500 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26216 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 01:55:05 (client local time) WITH STATUS 10 IN 1175.49 SECONDS
stats: 1685 0 1175.49 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: 69
c Lower Bound Elapsed time: 0.483333
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 3.374
c NEW SOLUTION FOUND: 99 @ 3.375
c NEW SOLUTION FOUND: 98 @ 3.379
c NEW SOLUTION FOUND: 97 @ 3.386
c NEW SOLUTION FOUND: 96 @ 3.39
c NEW SOLUTION FOUND: 93 @ 5.981
c NEW SOLUTION FOUND: 91 @ 340.421
c NEW SOLUTION FOUND: 90 @ 713.017
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.46 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.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (runsolver) R 7984 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 688045859 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 6564 0 0 0 974 21 0 0 25 0 1 0 688045859 7319552 1050 4294967295 134512640 134714508 3221221792 3221218064 1074961132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1787 1050 1111 63 0 1724 0
vsize: 7148
[startup+20.0012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 13507 0 0 0 1955 40 0 0 25 0 1 0 688045859 7872512 1162 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1922 1162 1111 63 0 1859 0
vsize: 7688
[startup+30.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 18840 0 0 0 2938 57 0 0 25 0 1 0 688045859 7524352 1159 4294967295 134512640 134714508 3221221792 3221220008 1074138259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1837 1159 1111 63 0 1774 0
vsize: 7348
[startup+40.0028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 25660 0 0 0 3920 75 0 0 25 0 1 0 688045859 8560640 1360 4294967295 134512640 134714508 3221221792 3221218856 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2090 1360 1111 63 0 2027 0
vsize: 8360
[startup+50.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 33072 0 0 0 4899 97 0 0 25 0 1 0 688045859 8380416 1368 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2046 1368 1111 63 0 1983 0
vsize: 8184
[startup+60.0037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 38798 0 0 0 5884 112 0 0 25 0 1 0 688045859 10031104 1704 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2449 1704 1111 63 0 2386 0
vsize: 9796
[startup+70.0046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 44847 0 0 0 6867 129 0 0 25 0 1 0 688045859 9371648 1524 4294967295 134512640 134714508 3221221792 3221218160 1075894554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2288 1524 1111 63 0 2225 0
vsize: 9152
[startup+80.0048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 50145 0 0 0 7853 144 0 0 25 0 1 0 688045859 9449472 1539 4294967295 134512640 134714508 3221221792 3221217996 1075564393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2307 1539 1111 63 0 2244 0
vsize: 9228
[startup+90.0055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 56073 0 0 0 8837 159 0 0 25 0 1 0 688045859 10403840 1706 4294967295 134512640 134714508 3221221792 3221218344 1075088529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1706 1111 63 0 2477 0
vsize: 10160
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 62458 0 0 0 9822 175 0 0 25 0 1 0 688045859 9719808 1597 4294967295 134512640 134714508 3221221792 3221217804 1074788968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2373 1597 1111 63 0 2310 0
vsize: 9492
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 67354 0 0 0 10810 187 0 0 25 0 1 0 688045859 9359360 1586 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2285 1586 1111 63 0 2222 0
vsize: 9140
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 72190 0 0 0 11798 200 0 0 25 0 1 0 688045859 9531392 1655 4294967295 134512640 134714508 3221221792 3221219792 1074918280 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2327 1655 1111 63 0 2264 0
vsize: 9308
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 77949 0 0 0 12782 215 0 0 25 0 1 0 688045859 10080256 1659 4294967295 134512640 134714508 3221221792 3221217936 1074971770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2461 1659 1111 63 0 2398 0
vsize: 9844
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 83840 0 0 0 13765 232 0 0 25 0 1 0 688045859 10186752 1679 4294967295 134512640 134714508 3221221792 3221218000 1074815241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2487 1679 1111 63 0 2424 0
vsize: 9948
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 90240 0 0 0 14750 248 0 0 25 0 1 0 688045859 10366976 1760 4294967295 134512640 134714508 3221221792 3221218020 1075115023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1760 1111 63 0 2468 0
vsize: 10124
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 96238 0 0 0 15735 263 0 0 25 0 1 0 688045859 10117120 1781 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1781 1111 63 0 2407 0
vsize: 9880
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 102336 0 0 0 16720 278 0 0 25 0 1 0 688045859 10129408 1802 4294967295 134512640 134714508 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2473 1802 1111 63 0 2410 0
vsize: 9892
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 108005 0 0 0 17706 293 0 0 25 0 1 0 688045859 10739712 1889 4294967295 134512640 134714508 3221221792 3221218272 1075397211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2622 1889 1111 63 0 2559 0
vsize: 10488
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 113503 0 0 0 18692 306 0 0 25 0 1 0 688045859 11739136 2167 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2866 2167 1111 63 0 2803 0
vsize: 11464
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 119256 0 0 0 19679 320 0 0 25 0 1 0 688045859 10866688 1950 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2653 1950 1111 63 0 2590 0
vsize: 10612
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 125921 0 0 0 20660 339 0 0 25 0 1 0 688045859 12283904 2266 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2266 1111 63 0 2936 0
vsize: 11996
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 131076 0 0 0 21648 351 0 0 25 0 1 0 688045859 11091968 2012 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2708 2012 1111 63 0 2645 0
vsize: 10832
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 135604 0 0 0 22636 364 0 0 25 0 1 0 688045859 11214848 2067 4294967295 134512640 134714508 3221221792 3221220144 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2738 2067 1111 63 0 2675 0
vsize: 10952
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 140721 0 0 0 23623 377 0 0 25 0 1 0 688045859 12582912 2374 4294967295 134512640 134714508 3221221792 3221217952 1075093350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3072 2374 1111 63 0 3009 0
vsize: 12288
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 146255 0 0 0 24610 390 0 0 25 0 1 0 688045859 13033472 2489 4294967295 134512640 134714508 3221221792 3221217752 1075964778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2489 1111 63 0 3119 0
vsize: 12728
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 151487 0 0 0 25596 404 0 0 25 0 1 0 688045859 12668928 2238 4294967295 134512640 134714508 3221221792 3221217740 1074788968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3093 2238 1111 63 0 3030 0
vsize: 12372
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 156194 0 0 0 26586 413 0 0 25 0 1 0 688045859 11444224 2123 4294967295 134512640 134714508 3221221792 3221219568 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 2123 1111 63 0 2731 0
vsize: 11176
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 161485 0 0 0 27575 425 0 0 25 0 1 0 688045859 11661312 2171 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2847 2171 1111 63 0 2784 0
vsize: 11388
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 167233 0 0 0 28561 440 0 0 25 0 1 0 688045859 12230656 2283 4294967295 134512640 134714508 3221221792 3221218896 1074139082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2986 2283 1111 63 0 2923 0
vsize: 11944
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 173239 0 0 0 29546 454 0 0 25 0 1 0 688045859 13422592 2570 4294967295 134512640 134714508 3221221792 3221217952 1074794466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3277 2570 1111 63 0 3214 0
vsize: 13108
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 180683 0 0 0 30529 472 0 0 25 0 1 0 688045859 11710464 2188 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2859 2188 1111 63 0 2796 0
vsize: 11436
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 190487 0 0 0 31503 498 0 0 25 0 1 0 688045859 11886592 2231 4294967295 134512640 134714508 3221221792 3221220140 1074152822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2902 2231 1111 63 0 2839 0
vsize: 11608
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 199111 0 0 0 32481 520 0 0 25 0 1 0 688045859 13213696 2390 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3226 2390 1111 63 0 3163 0
vsize: 12904
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 209378 0 0 0 33455 547 0 0 25 0 1 0 688045859 14188544 2575 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3464 2575 1111 63 0 3401 0
vsize: 13856
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 218318 0 0 0 34434 567 0 0 25 0 1 0 688045859 12570624 2400 4294967295 134512640 134714508 3221221792 3221219504 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3069 2400 1111 63 0 3006 0
vsize: 12276
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 227807 0 0 0 35410 591 0 0 25 0 1 0 688045859 13832192 2568 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3377 2568 1111 63 0 3314 0
vsize: 13508
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 236441 0 0 0 36388 613 0 0 25 0 1 0 688045859 14032896 2637 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2637 1111 63 0 3363 0
vsize: 13704
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 245027 0 0 0 37369 632 0 0 25 0 1 0 688045859 13258752 2568 4294967295 134512640 134714508 3221221792 3221220208 1074117074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3237 2568 1111 63 0 3174 0
vsize: 12948
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 254062 0 0 0 38347 655 0 0 25 0 1 0 688045859 13807616 2670 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2670 1111 63 0 3308 0
vsize: 13484
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 262418 0 0 0 39328 673 0 0 25 0 1 0 688045859 15081472 2941 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3682 2941 1111 63 0 3619 0
vsize: 14728
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 269727 0 0 0 40310 691 0 0 25 0 1 0 688045859 16216064 3219 4294967295 134512640 134714508 3221221792 3221217756 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3959 3219 1111 63 0 3896 0
vsize: 15836
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 273266 0 0 0 41302 699 0 0 25 0 1 0 688045859 14581760 2891 4294967295 134512640 134714508 3221221792 3221220256 1074121052 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3560 2891 1111 63 0 3497 0
vsize: 14240
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 278557 0 0 0 42290 711 0 0 25 0 1 0 688045859 13987840 2746 4294967295 134512640 134714508 3221221792 3221220128 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3415 2746 1111 63 0 3352 0
vsize: 13660
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 283523 0 0 0 43280 722 0 0 25 0 1 0 688045859 16314368 3192 4294967295 134512640 134714508 3221221792 3221218020 1075115112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3983 3192 1111 63 0 3920 0
vsize: 15932
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 291272 0 0 0 44262 740 0 0 25 0 1 0 688045859 16392192 3055 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4002 3055 1111 63 0 3939 0
vsize: 16008
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 298622 0 0 0 45244 758 0 0 25 0 1 0 688045859 16748544 3298 4294967295 134512640 134714508 3221221792 3221217892 1075964227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4089 3298 1111 63 0 4026 0
vsize: 16356
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 306348 0 0 0 46227 775 0 0 25 0 1 0 688045859 18345984 3563 4294967295 134512640 134714508 3221221792 3221217952 1075091857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4479 3563 1111 63 0 4416 0
vsize: 17916
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 310372 0 0 0 47219 784 0 0 25 0 1 0 688045859 17395712 3499 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4247 3499 1111 63 0 4184 0
vsize: 16988
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 318221 0 0 0 48200 803 0 0 25 0 1 0 688045859 17125376 3384 4294967295 134512640 134714508 3221221792 3221218720 1075960372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4181 3384 1111 63 0 4118 0
vsize: 16724
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 327160 0 0 0 49179 825 0 0 25 0 1 0 688045859 17477632 3494 4294967295 134512640 134714508 3221221792 3221218320 1075397146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3494 1111 63 0 4204 0
vsize: 17068
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 334018 0 0 0 50162 841 0 0 25 0 1 0 688045859 17760256 3594 4294967295 134512640 134714508 3221221792 3221217756 1074788078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4336 3594 1111 63 0 4273 0
vsize: 17344
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 339444 0 0 0 51150 853 0 0 25 0 1 0 688045859 17285120 3415 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4220 3415 1111 63 0 4157 0
vsize: 16880
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 347355 0 0 0 52132 871 0 0 25 0 1 0 688045859 17420288 3450 4294967295 134512640 134714508 3221221792 3221217760 1075965260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4253 3450 1111 63 0 4190 0
vsize: 17012
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 352999 0 0 0 53120 884 0 0 25 0 1 0 688045859 18173952 3645 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4437 3645 1111 63 0 4374 0
vsize: 17748
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 359981 0 0 0 54103 901 0 0 25 0 1 0 688045859 17055744 3311 4294967295 134512640 134714508 3221221792 3221217936 1074969474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4164 3311 1111 63 0 4101 0
vsize: 16656
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 367481 0 0 0 55083 921 0 0 25 0 1 0 688045859 17412096 3437 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4251 3437 1111 63 0 4188 0
vsize: 17004
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 376419 0 0 0 56058 946 0 0 25 0 1 0 688045859 15601664 3140 4294967295 134512640 134714508 3221221792 3221219840 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 3140 1111 63 0 3746 0
vsize: 15236
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 384456 0 0 0 57038 966 0 0 25 0 1 0 688045859 15949824 3209 4294967295 134512640 134714508 3221221792 3221219240 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3216 1111 63 0 3831 0
vsize: 15576
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 392533 0 0 0 58019 986 0 0 25 0 1 0 688045859 15851520 3201 4294967295 134512640 134714508 3221221792 3221220332 134539262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3870 3201 1111 63 0 3807 0
vsize: 15480
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 400798 0 0 0 58999 1006 0 0 25 0 1 0 688045859 16953344 3462 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4139 3462 1111 63 0 4076 0
vsize: 16556
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 406470 0 0 0 59985 1020 0 0 25 0 1 0 688045859 16580608 3347 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3347 1111 63 0 3985 0
vsize: 16192
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 412699 0 0 0 60971 1035 0 0 25 0 1 0 688045859 18112512 3627 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4422 3627 1111 63 0 4359 0
vsize: 17688
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 419641 0 0 0 61953 1053 0 0 25 0 1 0 688045859 16830464 3423 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4109 3423 1111 63 0 4046 0
vsize: 16436
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 427983 0 0 0 62934 1072 0 0 25 0 1 0 688045859 16211968 3289 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3958 3289 1111 63 0 3895 0
vsize: 15832
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 431229 0 0 0 63927 1079 0 0 25 0 1 0 688045859 19009536 3900 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4641 3900 1111 63 0 4578 0
vsize: 18564
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 436154 0 0 0 64916 1090 0 0 25 0 1 0 688045859 16211968 3289 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3958 3289 1111 63 0 3895 0
vsize: 15832
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 444936 0 0 0 65893 1113 0 0 25 0 1 0 688045859 16203776 3287 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3287 1111 63 0 3893 0
vsize: 15824
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 453871 0 0 0 66871 1136 0 0 25 0 1 0 688045859 16547840 3366 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4040 3366 1111 63 0 3977 0
vsize: 16160
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 461960 0 0 0 67852 1155 0 0 25 0 1 0 688045859 17022976 3493 4294967295 134512640 134714508 3221221792 3221219440 1075818338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4156 3493 1111 63 0 4093 0
vsize: 16624
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 471792 0 0 0 68828 1179 0 0 25 0 1 0 688045859 16580608 3385 4294967295 134512640 134714508 3221221792 3221219716 1077402435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4048 3385 1111 63 0 3985 0
vsize: 16192
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 478920 0 0 0 69812 1195 0 0 25 0 1 0 688045859 16818176 3443 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4106 3443 1111 63 0 4043 0
vsize: 16424
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 488673 0 0 0 70788 1219 0 0 25 0 1 0 688045859 17137664 3489 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3489 1111 63 0 4121 0
vsize: 16736
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 496281 0 0 0 71769 1238 0 0 25 0 1 0 688045859 17256448 3518 4294967295 134512640 134714508 3221221792 3221220272 1074031945 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4213 3518 1111 63 0 4150 0
vsize: 16852
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 502264 0 0 0 72754 1254 0 0 25 0 1 0 688045859 16965632 3479 4294967295 134512640 134714508 3221221792 3221219312 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4142 3479 1111 63 0 4079 0
vsize: 16568
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 508184 0 0 0 73739 1268 0 0 25 0 1 0 688045859 17186816 3501 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4196 3501 1111 63 0 4133 0
vsize: 16784
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 518495 0 0 0 74715 1293 0 0 25 0 1 0 688045859 17326080 3567 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4230 3567 1111 63 0 4167 0
vsize: 16920
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 527993 0 0 0 75693 1315 0 0 25 0 1 0 688045859 19410944 3923 4294967295 134512640 134714508 3221221792 3221217928 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4739 3923 1111 63 0 4676 0
vsize: 18956
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 536761 0 0 0 76673 1335 0 0 25 0 1 0 688045859 20275200 3947 4294967295 134512640 134714508 3221221792 3221217848 1074789711 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 3947 1111 63 0 4887 0
vsize: 19800
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 544881 0 0 0 77654 1354 0 0 25 0 1 0 688045859 17928192 3714 4294967295 134512640 134714508 3221221792 3221219600 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4377 3714 1111 63 0 4314 0
vsize: 17508
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 550797 0 0 0 78642 1366 0 0 25 0 1 0 688045859 19832832 4042 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4842 4042 1111 63 0 4779 0
vsize: 19368
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 561417 0 0 0 79615 1393 0 0 25 0 1 0 688045859 19374080 3859 4294967295 134512640 134714508 3221221792 3221217728 1075965308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4730 3859 1111 63 0 4667 0
vsize: 18920
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 571830 0 0 0 80590 1419 0 0 25 0 1 0 688045859 18317312 3809 4294967295 134512640 134714508 3221221792 3221220048 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4472 3809 1111 63 0 4409 0
vsize: 17888
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 579435 0 0 0 81570 1438 0 0 25 0 1 0 688045859 18898944 3942 4294967295 134512640 134714508 3221221792 3221219788 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4614 3942 1111 63 0 4551 0
vsize: 18456
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 589610 0 0 0 82547 1462 0 0 25 0 1 0 688045859 18587648 3875 4294967295 134512640 134714508 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3875 1111 63 0 4475 0
vsize: 18152
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 597850 0 0 0 83529 1480 0 0 25 0 1 0 688045859 19251200 4011 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4700 4011 1111 63 0 4637 0
vsize: 18800
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 608166 0 0 0 84504 1506 0 0 25 0 1 0 688045859 21381120 4221 4294967295 134512640 134714508 3221221792 3221218128 1075113465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5220 4221 1111 63 0 5157 0
vsize: 20880
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 615143 0 0 0 85489 1521 0 0 25 0 1 0 688045859 19128320 4007 4294967295 134512640 134714508 3221221792 3221220512 134535793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4670 4007 1111 63 0 4607 0
vsize: 18680
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 619453 0 0 0 86478 1532 0 0 25 0 1 0 688045859 20754432 4259 4294967295 134512640 134714508 3221221792 3221218020 1075115028 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5067 4259 1111 63 0 5004 0
vsize: 20268
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 625930 0 0 0 87462 1547 0 0 25 0 1 0 688045859 21426176 4392 4294967295 134512640 134714508 3221221792 3221217952 1075093433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5231 4392 1111 63 0 5168 0
vsize: 20924
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 634784 0 0 0 88438 1571 0 0 25 0 1 0 688045859 19386368 4047 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4733 4047 1111 63 0 4670 0
vsize: 18932
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 640877 0 0 0 89424 1587 0 0 25 0 1 0 688045859 22331392 4454 4294967295 134512640 134714508 3221221792 3221217952 1075091819 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5452 4455 1111 63 0 5389 0
vsize: 21808
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 645033 0 0 0 90414 1596 0 0 25 0 1 0 688045859 19800064 4171 4294967295 134512640 134714508 3221221792 3221219792 1074915844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4834 4171 1111 63 0 4771 0
vsize: 19336
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 654685 0 0 0 91392 1618 0 0 25 0 1 0 688045859 19103744 4001 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4664 4001 1111 63 0 4601 0
vsize: 18656
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 664412 0 0 0 92369 1641 0 0 25 0 1 0 688045859 21565440 4503 4294967295 134512640 134714508 3221221792 3221217756 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5265 4503 1111 63 0 5202 0
vsize: 21060
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 670435 0 0 0 93355 1655 0 0 25 0 1 0 688045859 21975040 4630 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5365 4630 1111 63 0 5302 0
vsize: 21460
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 675072 0 0 0 94345 1666 0 0 25 0 1 0 688045859 21221376 4311 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5181 4311 1111 63 0 5118 0
vsize: 20724
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 682761 0 0 0 95326 1685 0 0 25 0 1 0 688045859 19730432 4154 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4817 4154 1111 63 0 4754 0
vsize: 19268
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 687047 0 0 0 96314 1697 0 0 25 0 1 0 688045859 23093248 4866 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5638 4866 1111 63 0 5575 0
vsize: 22552
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 689764 0 0 0 97308 1704 0 0 25 0 1 0 688045859 23392256 4960 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5711 4960 1111 63 0 5648 0
vsize: 22844
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 694322 0 0 0 98296 1715 0 0 25 0 1 0 688045859 22798336 4772 4294967295 134512640 134714508 3221221792 3221217752 1075964764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5566 4772 1111 63 0 5503 0
vsize: 22264
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 697680 0 0 0 99289 1723 0 0 25 0 1 0 688045859 19853312 4184 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4847 4184 1111 63 0 4784 0
vsize: 19388
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 701293 0 0 0 100280 1732 0 0 25 0 1 0 688045859 22822912 4788 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5572 4788 1111 63 0 5509 0
vsize: 22288
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 709551 0 0 0 101260 1752 0 0 25 0 1 0 688045859 19582976 4118 4294967295 134512640 134714508 3221221792 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4781 4118 1111 63 0 4718 0
vsize: 19124
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 719027 0 0 0 102238 1774 0 0 25 0 1 0 688045859 23838720 5018 4294967295 134512640 134714508 3221221792 3221217920 1075112091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5820 5018 1111 63 0 5757 0
vsize: 23280
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 725680 0 0 0 103224 1789 0 0 25 0 1 0 688045859 20525056 4338 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4338 1111 63 0 4948 0
vsize: 20044
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 730813 0 0 0 104211 1802 0 0 25 0 1 0 688045859 23941120 5038 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5845 5038 1111 63 0 5782 0
vsize: 23380
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 734983 0 0 0 105202 1811 0 0 25 0 1 0 688045859 23838720 4984 4294967295 134512640 134714508 3221221792 3221218000 1075895849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4984 1111 63 0 5757 0
vsize: 23280
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 740521 0 0 0 106189 1825 0 0 25 0 1 0 688045859 22990848 4516 4294967295 134512640 134714508 3221221792 3221218624 1075115385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5613 4516 1111 63 0 5550 0
vsize: 22452
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 748012 0 0 0 107172 1841 0 0 25 0 1 0 688045859 19582976 4118 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4781 4118 1111 63 0 4718 0
vsize: 19124
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 755476 0 0 0 108156 1858 0 0 25 0 1 0 688045859 22302720 4536 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5445 4536 1111 63 0 5382 0
vsize: 21780
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 765025 0 0 0 109133 1881 0 0 25 0 1 0 688045859 20021248 4225 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4888 4225 1111 63 0 4825 0
vsize: 19552
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 774687 0 0 0 110111 1903 0 0 25 0 1 0 688045859 20807680 4395 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5080 4395 1111 63 0 5017 0
vsize: 20320
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 781011 0 0 0 111095 1920 0 0 25 0 1 0 688045859 20824064 4417 4294967295 134512640 134714508 3221221792 3221219792 1074916543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5084 4417 1111 63 0 5021 0
vsize: 20336
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 784877 0 0 0 112085 1929 0 0 25 0 1 0 688045859 21266432 4508 4294967295 134512640 134714508 3221221792 3221219424 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5192 4508 1111 63 0 5129 0
vsize: 20768
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 789317 0 0 0 113075 1940 0 0 25 0 1 0 688045859 20922368 4445 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5108 4445 1111 63 0 5045 0
vsize: 20432
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 794450 0 0 0 114062 1952 0 0 25 0 1 0 688045859 23662592 4953 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5777 4953 1111 63 0 5714 0
vsize: 23108
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 801600 0 0 0 115046 1969 0 0 25 0 1 0 688045859 24035328 4988 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5868 4988 1111 63 0 5805 0
vsize: 23472
[startup+1175.37 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 7985
Raw data (stat): 7985 (bsolo_lpr_cuts) R 7984 7876 7672 0 -1 0 801600 0 0 0 115046 1969 0 0 25 0 1 0 688045859 24035328 4988 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5868 4988 1111 63 0 5805 0
vsize: 0

Child status: 10
Real time (s): 1175.37
CPU time (s): 1175.49
CPU user time (s): 1155.66
CPU system time (s): 19.826
CPU usage (%): 100.011
Max. virtual memory (Kb): 23472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	90
#### END VERIFIER DATA ####