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-jnh201.opb
MD5SUM	ba509931ad93c2223be235a06a9b3100
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	84
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.01884
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	14
Trace number 24038

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 23:37:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1613 boxname=wulflinc31 idbench=180 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ba509931ad93c2223be235a06a9b3100  /oldhome/oroussel/tmp/wulflinc31/normalized-jnh201.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-jnh201.opb
IDLAUNCH: 1613
/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:        144860 kB
Buffers:         39752 kB
Cached:         815724 kB
SwapCached:        644 kB
Active:         489996 kB
Inactive:       367844 kB
HighTotal:      131008 kB
HighFree:         5824 kB
LowTotal:       903652 kB
LowFree:        139036 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26284 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 23:56:49 (client local time) WITH STATUS 10 IN 1176.66 SECONDS
stats: 1613 0 1176.66 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 196 variables and 855 constraints.
c preprocess terminated 0.54 s
c Initial Lower Bound: 68
c Lower Bound Elapsed time: 0.44125
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 2.316
c NEW SOLUTION FOUND: 99 @ 2.317
c NEW SOLUTION FOUND: 98 @ 2.321
c NEW SOLUTION FOUND: 97 @ 2.325
c NEW SOLUTION FOUND: 96 @ 2.328
c NEW SOLUTION FOUND: 94 @ 2.336
c NEW SOLUTION FOUND: 93 @ 2.342
c NEW SOLUTION FOUND: 92 @ 2.349
c NEW SOLUTION FOUND: 91 @ 2.373
c NEW SOLUTION FOUND: 90 @ 2.552
c NEW SOLUTION FOUND: 89 @ 2.655
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: 1176.62 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.96 0.97 0.91 2/54 4161
Raw data (stat): 4161 (runsolver) R 4160 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 687336036 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 4809 0 0 0 978 18 0 0 25 0 1 0 687336036 7962624 1168 4294967295 134512640 134714508 3221221792 3221218832 1075971386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 1168 1111 63 0 1881 0
vsize: 7776
[startup+20.0002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 10978 0 0 0 1959 36 0 0 25 0 1 0 687336036 8028160 1279 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1960 1279 1111 63 0 1897 0
vsize: 7840
[startup+30.0008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 19511 0 0 0 2936 59 0 0 25 0 1 0 687336036 9105408 1500 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2223 1500 1111 63 0 2160 0
vsize: 8892
[startup+40.0007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 29536 0 0 0 3911 85 0 0 25 0 1 0 687336036 9699328 1658 4294967295 134512640 134714508 3221221792 3221218896 1074138844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2368 1658 1111 63 0 2305 0
vsize: 9472
[startup+50.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 38232 0 0 0 4886 110 0 0 25 0 1 0 687336036 10481664 1853 4294967295 134512640 134714508 3221221792 3221218448 1075966572 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2559 1853 1111 63 0 2496 0
vsize: 10236
[startup+60.0016 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 46969 0 0 0 5863 134 0 0 25 0 1 0 687336036 10387456 1827 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2536 1827 1111 63 0 2473 0
vsize: 10144
[startup+70.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 55413 0 0 0 6843 153 0 0 25 0 1 0 687336036 11096064 1952 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2709 1952 1111 63 0 2646 0
vsize: 10836
[startup+80.0027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 64643 0 0 0 7820 177 0 0 25 0 1 0 687336036 11878400 2196 4294967295 134512640 134714508 3221221792 3221218336 1075088581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 2196 1111 63 0 2837 0
vsize: 11600
[startup+90.0023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 74820 0 0 0 8793 203 0 0 25 0 1 0 687336036 11108352 2002 4294967295 134512640 134714508 3221221792 3221220336 1074032775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2712 2002 1111 63 0 2649 0
vsize: 10848
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 83484 0 0 0 9772 225 0 0 25 0 1 0 687336036 11120640 2005 4294967295 134512640 134714508 3221221792 3221220072 1074138300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2715 2005 1111 63 0 2652 0
vsize: 10860
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 93073 0 0 0 10750 247 0 0 25 0 1 0 687336036 11145216 2043 4294967295 134512640 134714508 3221221792 3221219680 1074839041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2860 2049 1111 63 0 2797 0
vsize: 10884
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 103008 0 0 0 11726 272 0 0 25 0 1 0 687336036 12345344 2258 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3014 2258 1111 63 0 2951 0
vsize: 12056
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 112293 0 0 0 12702 296 0 0 25 0 1 0 687336036 11833344 2179 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2889 2179 1111 63 0 2826 0
vsize: 11556
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 121872 0 0 0 13679 318 0 0 25 0 1 0 687336036 12881920 2364 4294967295 134512640 134714508 3221221792 3221218832 1075971386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3145 2364 1111 63 0 3082 0
vsize: 12580
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 130549 0 0 0 14659 339 0 0 25 0 1 0 687336036 12427264 2324 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3034 2324 1111 63 0 2971 0
vsize: 12136
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 139776 0 0 0 15634 364 0 0 25 0 1 0 687336036 14221312 2706 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2706 1111 63 0 3409 0
vsize: 13888
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 149027 0 0 0 16614 384 0 0 25 0 1 0 687336036 13500416 2496 4294967295 134512640 134714508 3221221792 3221219432 1075850409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3296 2496 1111 63 0 3233 0
vsize: 13184
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 157701 0 0 0 17594 405 0 0 25 0 1 0 687336036 14082048 2651 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2651 1111 63 0 3375 0
vsize: 13752
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 168034 0 0 0 18569 430 0 0 25 0 1 0 687336036 13836288 2618 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3378 2618 1111 63 0 3315 0
vsize: 13512
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 178826 0 0 0 19543 456 0 0 25 0 1 0 687336036 14733312 2750 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3597 2750 1111 63 0 3534 0
vsize: 14388
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 188508 0 0 0 20519 480 0 0 25 0 1 0 687336036 13389824 2591 4294967295 134512640 134714508 3221221792 3221219536 1075640261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2591 1111 63 0 3206 0
vsize: 13076
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 197580 0 0 0 21497 503 0 0 25 0 1 0 687336036 13774848 2685 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3363 2685 1111 63 0 3300 0
vsize: 13452
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 205542 0 0 0 22478 521 0 0 25 0 1 0 687336036 13987840 2715 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2715 1111 63 0 3352 0
vsize: 13660
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 215990 0 0 0 23452 548 0 0 25 0 1 0 687336036 13889536 2713 4294967295 134512640 134714508 3221221792 3221219984 1073978447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3391 2713 1111 63 0 3328 0
vsize: 13564
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 226195 0 0 0 24427 573 0 0 25 0 1 0 687336036 14872576 2845 4294967295 134512640 134714508 3221221792 3221217968 1074882584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2845 1111 63 0 3568 0
vsize: 14524
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 236358 0 0 0 25404 597 0 0 25 0 1 0 687336036 15695872 3014 4294967295 134512640 134714508 3221221792 3221217740 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3832 3014 1111 63 0 3769 0
vsize: 15328
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 247150 0 0 0 26379 622 0 0 25 0 1 0 687336036 14548992 2874 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3552 2874 1111 63 0 3489 0
vsize: 14208
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 258596 0 0 0 27351 650 0 0 25 0 1 0 687336036 15224832 3007 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3717 3007 1111 63 0 3654 0
vsize: 14868
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 269119 0 0 0 28327 674 0 0 25 0 1 0 687336036 15712256 3146 4294967295 134512640 134714508 3221221792 3221219520 1075828505 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3836 3146 1111 63 0 3773 0
vsize: 15344
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 278984 0 0 0 29303 698 0 0 25 0 1 0 687336036 15536128 3115 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3793 3115 1111 63 0 3730 0
vsize: 15172
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 288688 0 0 0 30282 719 0 0 25 0 1 0 687336036 15560704 3121 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 3121 1111 63 0 3736 0
vsize: 15196
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 300269 0 0 0 31256 745 0 0 25 0 1 0 687336036 15753216 3136 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3846 3136 1111 63 0 3783 0
vsize: 15384
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 311151 0 0 0 32233 768 0 0 25 0 1 0 687336036 17403904 3393 4294967295 134512640 134714508 3221221792 3221214604 1075363764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4249 3393 1111 63 0 4186 0
vsize: 16996
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 322472 0 0 0 33207 795 0 0 25 0 1 0 687336036 16191488 3275 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3275 1111 63 0 3890 0
vsize: 15812
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 333220 0 0 0 34182 820 0 0 25 0 1 0 687336036 17862656 3645 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4361 3645 1111 63 0 4298 0
vsize: 17444
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 344404 0 0 0 35155 847 0 0 25 0 1 0 687336036 16560128 3365 4294967295 134512640 134714508 3221221792 3221220264 134543141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4043 3365 1111 63 0 3980 0
vsize: 16172
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 355511 0 0 0 36131 872 0 0 25 0 1 0 687336036 17379328 3533 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4243 3533 1111 63 0 4180 0
vsize: 16972
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 366057 0 0 0 37105 897 0 0 25 0 1 0 687336036 17432576 3546 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4256 3546 1111 63 0 4193 0
vsize: 17024
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 377277 0 0 0 38077 925 0 0 25 0 1 0 687336036 17518592 3599 4294967295 134512640 134714508 3221221792 3221220096 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4277 3599 1111 63 0 4214 0
vsize: 17108
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 388778 0 0 0 39052 951 0 0 25 0 1 0 687336036 17772544 3661 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4339 3661 1111 63 0 4276 0
vsize: 17356
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 398751 0 0 0 40029 974 0 0 25 0 1 0 687336036 17993728 3715 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4393 3715 1111 63 0 4330 0
vsize: 17572
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 409962 0 0 0 41001 1002 0 0 25 0 1 0 687336036 18173952 3759 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3759 1111 63 0 4374 0
vsize: 17748
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 421241 0 0 0 41974 1029 0 0 25 0 1 0 687336036 19574784 3983 4294967295 134512640 134714508 3221221792 3221217792 1075965243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4779 3983 1111 63 0 4716 0
vsize: 19116
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 429142 0 0 0 42956 1047 0 0 25 0 1 0 687336036 20369408 4256 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4973 4256 1111 63 0 4910 0
vsize: 19892
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 439007 0 0 0 43935 1069 0 0 25 0 1 0 687336036 20455424 4255 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4994 4255 1111 63 0 4931 0
vsize: 19976
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 449285 0 0 0 44911 1093 0 0 25 0 1 0 687336036 19124224 3965 4294967295 134512640 134714508 3221221792 3221219944 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4669 3965 1111 63 0 4606 0
vsize: 18676
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 460695 0 0 0 45885 1119 0 0 25 0 1 0 687336036 18550784 3857 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4529 3857 1111 63 0 4466 0
vsize: 18116
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 470555 0 0 0 46862 1142 0 0 25 0 1 0 687336036 20631552 4096 4294967295 134512640 134714508 3221221792 3221217848 1074789590 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5037 4096 1111 63 0 4974 0
vsize: 20148
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 481782 0 0 0 47837 1167 0 0 25 0 1 0 687336036 19320832 4030 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4717 4030 1111 63 0 4654 0
vsize: 18868
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 490463 0 0 0 48820 1185 0 0 25 0 1 0 687336036 19722240 4111 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4815 4111 1111 63 0 4752 0
vsize: 19260
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 501387 0 0 0 49795 1210 0 0 25 0 1 0 687336036 19378176 4059 4294967295 134512640 134714508 3221221792 3221219080 1073987057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4731 4059 1111 63 0 4668 0
vsize: 18924
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 510247 0 0 0 50776 1229 0 0 25 0 1 0 687336036 20099072 4204 4294967295 134512640 134714508 3221221792 3221219520 1075828447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4204 1111 63 0 4844 0
vsize: 19628
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 521862 0 0 0 51751 1254 0 0 25 0 1 0 687336036 20164608 4220 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4923 4220 1111 63 0 4860 0
vsize: 19692
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 534448 0 0 0 52722 1283 0 0 25 0 1 0 687336036 20287488 4249 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4953 4249 1111 63 0 4890 0
vsize: 19812
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 546226 0 0 0 53697 1309 0 0 25 0 1 0 687336036 19718144 4142 4294967295 134512640 134714508 3221221792 3221219760 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4814 4142 1111 63 0 4751 0
vsize: 19256
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 558078 0 0 0 54671 1335 0 0 25 0 1 0 687336036 20254720 4268 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4945 4268 1111 63 0 4882 0
vsize: 19780
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 568987 0 0 0 55647 1358 0 0 25 0 1 0 687336036 21925888 4590 4294967295 134512640 134714508 3221221792 3221218992 1075967895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5353 4594 1111 63 0 5290 0
vsize: 21412
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 578988 0 0 0 56625 1380 0 0 25 0 1 0 687336036 20860928 4421 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5093 4421 1111 63 0 5030 0
vsize: 20372
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 588890 0 0 0 57603 1402 0 0 25 0 1 0 687336036 20795392 4403 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5077 4403 1111 63 0 5014 0
vsize: 20308
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 597770 0 0 0 58583 1423 0 0 25 0 1 0 687336036 21364736 4544 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5216 4544 1111 63 0 5153 0
vsize: 20864
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 608797 0 0 0 59558 1447 0 0 25 0 1 0 687336036 20819968 4411 4294967295 134512640 134714508 3221221792 3221219808 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5083 4411 1111 63 0 5020 0
vsize: 20332
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 618767 0 0 0 60534 1472 0 0 25 0 1 0 687336036 21483520 4541 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5245 4541 1111 63 0 5182 0
vsize: 20980
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 631267 0 0 0 61507 1500 0 0 25 0 1 0 687336036 23142400 4669 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5650 4669 1111 63 0 5587 0
vsize: 22600
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 641743 0 0 0 62484 1522 0 0 25 0 1 0 687336036 21192704 4502 4294967295 134512640 134714508 3221221792 3221219616 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5174 4502 1111 63 0 5111 0
vsize: 20696
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 650366 0 0 0 63466 1541 0 0 25 0 1 0 687336036 23744512 5057 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5797 5057 1111 63 0 5734 0
vsize: 23188
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 661229 0 0 0 64441 1566 0 0 25 0 1 0 687336036 24059904 5116 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5874 5116 1111 63 0 5811 0
vsize: 23496
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 672189 0 0 0 65417 1590 0 0 25 0 1 0 687336036 21487616 4574 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5246 4574 1111 63 0 5183 0
vsize: 20984
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 682611 0 0 0 66393 1614 0 0 25 0 1 0 687336036 21487616 4574 4294967295 134512640 134714508 3221221792 3221219456 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5246 4574 1111 63 0 5183 0
vsize: 20984
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 691561 0 0 0 67374 1633 0 0 25 0 1 0 687336036 24797184 5126 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6054 5126 1111 63 0 5991 0
vsize: 24216
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 703058 0 0 0 68348 1660 0 0 25 0 1 0 687336036 23900160 5053 4294967295 134512640 134714508 3221221792 3221218032 1075115704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5835 5053 1111 63 0 5772 0
vsize: 23340
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 713139 0 0 0 69325 1683 0 0 25 0 1 0 687336036 21999616 4699 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5371 4699 1111 63 0 5308 0
vsize: 21484
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 722632 0 0 0 70303 1705 0 0 25 0 1 0 687336036 24215552 5065 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5912 5065 1111 63 0 5849 0
vsize: 23648
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 734022 0 0 0 71277 1732 0 0 25 0 1 0 687336036 23252992 5000 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5677 5000 1111 63 0 5614 0
vsize: 22708
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 742833 0 0 0 72257 1751 0 0 25 0 1 0 687336036 23023616 4949 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5621 4949 1111 63 0 5558 0
vsize: 22484
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 753644 0 0 0 73232 1777 0 0 25 0 1 0 687336036 24797184 5076 4294967295 134512640 134714508 3221221792 3221218064 1075116266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6054 5076 1111 63 0 5991 0
vsize: 24216
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 764253 0 0 0 74208 1801 0 0 25 0 1 0 687336036 22749184 4882 4294967295 134512640 134714508 3221221792 3221219720 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5554 4882 1111 63 0 5491 0
vsize: 22216
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 773618 0 0 0 75187 1822 0 0 25 0 1 0 687336036 25067520 5320 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6120 5320 1111 63 0 6057 0
vsize: 24480
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 785775 0 0 0 76160 1849 0 0 25 0 1 0 687336036 23203840 4978 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5665 4978 1111 63 0 5602 0
vsize: 22660
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 799206 0 0 0 77129 1881 0 0 25 0 1 0 687336036 23371776 5002 4294967295 134512640 134714508 3221221792 3221219792 1074918220 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5668 4996 1111 63 0 5605 0
vsize: 22824
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 811828 0 0 0 78100 1910 0 0 25 0 1 0 687336036 24182784 5037 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5904 5037 1111 63 0 5841 0
vsize: 23616
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 824387 0 0 0 79071 1939 0 0 25 0 1 0 687336036 23252992 4973 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5677 4973 1111 63 0 5614 0
vsize: 22708
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 835302 0 0 0 80046 1964 0 0 25 0 1 0 687336036 25755648 5504 4294967295 134512640 134714508 3221221792 3221217936 1074969474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6288 5504 1111 63 0 6225 0
vsize: 25152
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 847825 0 0 0 81017 1993 0 0 25 0 1 0 687336036 23187456 4989 4294967295 134512640 134714508 3221221792 3221219424 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5661 4989 1111 63 0 5598 0
vsize: 22644
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 858306 0 0 0 81993 2018 0 0 25 0 1 0 687336036 24272896 5252 4294967295 134512640 134714508 3221221792 3221219704 1074138265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5926 5252 1111 63 0 5863 0
vsize: 23704
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 868368 0 0 0 82969 2041 0 0 25 0 1 0 687336036 24875008 5201 4294967295 134512640 134714508 3221221792 3221218448 1075966727 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6073 5201 1111 63 0 6010 0
vsize: 24292
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 877214 0 0 0 83949 2061 0 0 25 0 1 0 687336036 26189824 5585 4294967295 134512640 134714508 3221221792 3221218020 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6394 5585 1111 63 0 6331 0
vsize: 25576
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 888565 0 0 0 84922 2089 0 0 25 0 1 0 687336036 23977984 5182 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5854 5182 1111 63 0 5791 0
vsize: 23416
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 898639 0 0 0 85900 2112 0 0 25 0 1 0 687336036 24387584 5278 4294967295 134512640 134714508 3221221792 3221219944 1074950119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5954 5278 1111 63 0 5891 0
vsize: 23816
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 909545 0 0 0 86873 2138 0 0 25 0 1 0 687336036 25444352 5293 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5293 1111 63 0 6149 0
vsize: 24848
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 920204 0 0 0 87850 2161 0 0 25 0 1 0 687336036 25505792 5552 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6227 5552 1111 63 0 6164 0
vsize: 24908
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 930694 0 0 0 88829 2183 0 0 25 0 1 0 687336036 24772608 5376 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6048 5376 1111 63 0 5985 0
vsize: 24192
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 942437 0 0 0 89803 2209 0 0 25 0 1 0 687336036 27361280 5718 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6680 5718 1111 63 0 6617 0
vsize: 26720
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 954436 0 0 0 90775 2237 0 0 25 0 1 0 687336036 25108480 5458 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6130 5458 1111 63 0 6067 0
vsize: 24520
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 966932 0 0 0 91744 2268 0 0 25 0 1 0 687336036 25194496 5479 4294967295 134512640 134714508 3221221792 3221219600 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6151 5479 1111 63 0 6088 0
vsize: 24604
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 978710 0 0 0 92715 2298 0 0 25 0 1 0 687336036 25640960 5558 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6260 5558 1111 63 0 6197 0
vsize: 25040
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 990310 0 0 0 93689 2324 0 0 25 0 1 0 687336036 28024832 5787 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6842 5791 1111 63 0 6779 0
vsize: 27368
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1001069 0 0 0 94664 2349 0 0 25 0 1 0 687336036 25972736 5669 4294967295 134512640 134714508 3221221792 3221219616 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6341 5669 1111 63 0 6278 0
vsize: 25364
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1011855 0 0 0 95639 2374 0 0 25 0 1 0 687336036 27922432 6028 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6817 6028 1111 63 0 6754 0
vsize: 27268
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1024334 0 0 0 96610 2404 0 0 25 0 1 0 687336036 26116096 5704 4294967295 134512640 134714508 3221221792 3221219696 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6376 5704 1111 63 0 6313 0
vsize: 25504
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1035574 0 0 0 97584 2429 0 0 25 0 1 0 687336036 28839936 6235 4294967295 134512640 134714508 3221221792 3221218000 1074815312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7041 6235 1111 63 0 6978 0
vsize: 28164
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1047893 0 0 0 98558 2455 0 0 25 0 1 0 687336036 26775552 5865 4294967295 134512640 134714508 3221221792 3221219824 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5865 1111 63 0 6474 0
vsize: 26148
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1057575 0 0 0 99536 2478 0 0 25 0 1 0 687336036 27279360 5974 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6660 5974 1111 63 0 6597 0
vsize: 26640
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1069125 0 0 0 100509 2505 0 0 25 0 1 0 687336036 26771456 5843 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6536 5843 1111 63 0 6473 0
vsize: 26144
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1080625 0 0 0 101483 2531 0 0 25 0 1 0 687336036 29163520 6125 4294967295 134512640 134714508 3221221792 3221217952 1075091857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7120 6125 1111 63 0 7057 0
vsize: 28480
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1091453 0 0 0 102461 2553 0 0 25 0 1 0 687336036 27570176 6027 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6731 6027 1111 63 0 6668 0
vsize: 26924
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1102202 0 0 0 103437 2577 0 0 25 0 1 0 687336036 29831168 6521 4294967295 134512640 134714508 3221221792 3221218020 1075115028 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7283 6521 1111 63 0 7220 0
vsize: 29132
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1113031 0 0 0 104414 2601 0 0 25 0 1 0 687336036 27934720 6116 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6820 6116 1111 63 0 6757 0
vsize: 27280
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1125053 0 0 0 105386 2629 0 0 25 0 1 0 687336036 28794880 6073 4294967295 134512640 134714508 3221221792 3221218752 1074818401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7030 6073 1111 63 0 6967 0
vsize: 28120
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1136559 0 0 0 106359 2656 0 0 25 0 1 0 687336036 28229632 6211 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6892 6211 1111 63 0 6829 0
vsize: 27568
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1148650 0 0 0 107332 2683 0 0 25 0 1 0 687336036 29958144 6459 4294967295 134512640 134714508 3221221792 3221217788 1074788159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7314 6459 1111 63 0 7251 0
vsize: 29256
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1156059 0 0 0 108314 2701 0 0 25 0 1 0 687336036 30261248 6651 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7388 6651 1111 63 0 7325 0
vsize: 29552
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1165767 0 0 0 109292 2723 0 0 25 0 1 0 687336036 30359552 6353 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7412 6357 1111 63 0 7349 0
vsize: 29648
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1177651 0 0 0 110267 2749 0 0 25 0 1 0 687336036 28180480 6208 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6880 6208 1111 63 0 6817 0
vsize: 27520
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1189339 0 0 0 111241 2775 0 0 25 0 1 0 687336036 28672000 6302 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7000 6302 1111 63 0 6937 0
vsize: 28000
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1201515 0 0 0 112212 2803 0 0 25 0 1 0 687336036 28774400 6353 4294967295 134512640 134714508 3221221792 3221220032 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7025 6353 1111 63 0 6962 0
vsize: 28100
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1213093 0 0 0 113189 2827 0 0 25 0 1 0 687336036 29454336 6487 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7191 6487 1111 63 0 7128 0
vsize: 28764
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1223880 0 0 0 114163 2853 0 0 25 0 1 0 687336036 31895552 7032 4294967295 134512640 134714508 3221221792 3221218020 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7787 7032 1111 63 0 7724 0
vsize: 31148
[startup+1176.52 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4161
Raw data (stat): 4161 (bsolo_lpr_cuts) R 4160 7876 7672 0 -1 0 1223880 0 0 0 114163 2853 0 0 25 0 1 0 687336036 31895552 7032 4294967295 134512640 134714508 3221221792 3221218020 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7787 7032 1111 63 0 7724 0
vsize: 0

Child status: 10
Real time (s): 1176.52
CPU time (s): 1176.66
CPU user time (s): 1147.97
CPU system time (s): 28.6906
CPU usage (%): 100.012
Max. virtual memory (Kb): 31148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	89
#### END VERIFIER DATA ####