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/een/normalized-stein45.opb
MD5SUM	34647f6a75058de4a92f0ff94f3c9005
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
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	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01484
Number of variables	45
Total number of constraints	331
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	45
Trace number 39794

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 20:28:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27843 boxname=wulflinc5 idbench=401 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  34647f6a75058de4a92f0ff94f3c9005  /oldhome/oroussel/tmp/wulflinc5/normalized-stein45.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-stein45.opb
IDLAUNCH: 27843
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        884652 kB
Buffers:         33888 kB
Cached:          92056 kB
SwapCached:        604 kB
Active:          42072 kB
Inactive:        85940 kB
HighTotal:      131008 kB
HighFree:        93548 kB
LowTotal:       903652 kB
LowFree:        791104 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            16372 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:47:55 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 27843 0 1175.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.088 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.01775
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.161
c NEW SOLUTION FOUND: 36 @ 0.169
c NEW SOLUTION FOUND: 35 @ 0.174
c NEW SOLUTION FOUND: 34 @ 0.184
c NEW SOLUTION FOUND: 33 @ 0.195
c NEW SOLUTION FOUND: 32 @ 0.305
c NEW SOLUTION FOUND: 31 @ 2.254
c NEW SOLUTION FOUND: 30 @ 34.05
s SATISFIABLE
v x0 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 
c Exit Code: 10
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.95 0.90 1/54 8275
Raw data (stat): 8275 (runsolver) R 8274 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895873993 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 10345 0 0 0 961 37 0 0 25 0 1 0 895873993 7409664 1086 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1809 1086 1111 63 0 1746 0
vsize: 7236
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 20308 0 0 0 1922 76 0 0 25 0 1 0 895873993 8859648 1470 4294967295 134512640 134716908 3221224576 3221222304 1075635973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2163 1470 1111 63 0 2100 0
vsize: 8652
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 29149 0 0 0 2889 109 0 0 25 0 1 0 895873993 10493952 1839 4294967295 134512640 134716908 3221224576 3221220960 1074972301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2562 1839 1111 63 0 2499 0
vsize: 10248
[startup+40.002 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 38051 0 0 0 3859 139 0 0 25 0 1 0 895873993 11563008 2131 4294967295 134512640 134716908 3221224576 3221223312 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2823 2131 1111 63 0 2760 0
vsize: 11292
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 47167 0 0 0 4827 171 0 0 25 0 1 0 895873993 12496896 2354 4294967295 134512640 134716908 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3051 2354 1111 63 0 2988 0
vsize: 12204
[startup+60.0039 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 55414 0 0 0 5794 204 0 0 25 0 1 0 895873993 13549568 2618 4294967295 134512640 134716908 3221224576 3221221808 1075550321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2618 1111 63 0 3245 0
vsize: 13232
[startup+70.0043 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 64110 0 0 0 6762 237 0 0 25 0 1 0 895873993 14495744 2848 4294967295 134512640 134716908 3221224576 3221222900 1077374563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2848 1111 63 0 3476 0
vsize: 14156
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 72433 0 0 0 7732 267 0 0 25 0 1 0 895873993 15405056 3066 4294967295 134512640 134716908 3221224576 3221223232 134524069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3761 3066 1111 63 0 3698 0
vsize: 15044
[startup+90.0048 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 80282 0 0 0 8702 297 0 0 25 0 1 0 895873993 16310272 3287 4294967295 134512640 134716908 3221224576 3221222000 1076056586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3982 3287 1111 63 0 3919 0
vsize: 15928
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 87676 0 0 0 9675 324 0 0 25 0 1 0 895873993 17408000 3524 4294967295 134512640 134716908 3221224576 3221221648 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4250 3524 1111 63 0 4187 0
vsize: 17000
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 95481 0 0 0 10646 353 0 0 25 0 1 0 895873993 18104320 3730 4294967295 134512640 134716908 3221224576 3221222576 1074916565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4420 3730 1111 63 0 4357 0
vsize: 17680
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 102771 0 0 0 11620 379 0 0 25 0 1 0 895873993 18919424 3929 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 3929 1111 63 0 4556 0
vsize: 18476
[startup+130.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 109244 0 0 0 12598 401 0 0 25 0 1 0 895873993 19677184 4114 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4804 4114 1111 63 0 4741 0
vsize: 19216
[startup+140.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 115880 0 0 0 13574 425 0 0 25 0 1 0 895873993 20467712 4304 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4997 4304 1111 63 0 4934 0
vsize: 19988
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 121843 0 0 0 14548 452 0 0 25 0 1 0 895873993 21422080 4540 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5230 4540 1111 63 0 5167 0
vsize: 20920
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 128640 0 0 0 15525 475 0 0 25 0 1 0 895873993 22179840 4721 4294967295 134512640 134716908 3221224576 3221222928 1074115271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5415 4721 1111 63 0 5352 0
vsize: 21660
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 135002 0 0 0 16504 496 0 0 25 0 1 0 895873993 22876160 4895 4294967295 134512640 134716908 3221224576 3221222900 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5585 4895 1111 63 0 5522 0
vsize: 22340
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 141115 0 0 0 17482 518 0 0 25 0 1 0 895873993 23609344 5074 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5764 5074 1111 63 0 5701 0
vsize: 23056
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 147654 0 0 0 18455 545 0 0 25 0 1 0 895873993 24371200 5260 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5950 5260 1111 63 0 5887 0
vsize: 23800
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 153448 0 0 0 19433 567 0 0 25 0 1 0 895873993 25079808 5433 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6123 5433 1111 63 0 6060 0
vsize: 24492
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 159761 0 0 0 20411 590 0 0 25 0 1 0 895873993 25808896 5611 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6301 5611 1111 63 0 6238 0
vsize: 25204
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 165974 0 0 0 21390 611 0 0 25 0 1 0 895873993 26476544 5774 4294967295 134512640 134716908 3221224576 3221223288 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6464 5774 1111 63 0 6401 0
vsize: 25856
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 172349 0 0 0 22368 632 0 0 25 0 1 0 895873993 27283456 5940 4294967295 134512640 134716908 3221224576 3221220572 1074788241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6661 5940 1111 63 0 6598 0
vsize: 26644
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 178501 0 0 0 23346 655 0 0 25 0 1 0 895873993 27791360 6095 4294967295 134512640 134716908 3221224576 3221223296 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6785 6095 1111 63 0 6722 0
vsize: 27140
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 184612 0 0 0 24325 676 0 0 25 0 1 0 895873993 28471296 6261 4294967295 134512640 134716908 3221224576 3221222788 1077377189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6951 6261 1111 63 0 6888 0
vsize: 27804
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 189704 0 0 0 25307 695 0 0 25 0 1 0 895873993 29274112 6457 4294967295 134512640 134716908 3221224576 3221223168 134543118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7147 6457 1111 63 0 7084 0
vsize: 28588
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 194940 0 0 0 26285 717 0 0 25 0 1 0 895873993 30081024 6624 4294967295 134512640 134716908 3221224576 3221220720 1074971177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7344 6624 1111 63 0 7281 0
vsize: 29376
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 200511 0 0 0 27264 738 0 0 25 0 1 0 895873993 30760960 6786 4294967295 134512640 134716908 3221224576 3221220720 1074969779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7510 6786 1111 63 0 7447 0
vsize: 30040
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 206154 0 0 0 28244 758 0 0 25 0 1 0 895873993 31330304 6929 4294967295 134512640 134716908 3221224576 3221220736 1075093374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6929 1111 63 0 7586 0
vsize: 30596
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 211554 0 0 0 29225 777 0 0 25 0 1 0 895873993 31817728 7074 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7768 7074 1111 63 0 7705 0
vsize: 31072
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 216983 0 0 0 30203 800 0 0 25 0 1 0 895873993 32522240 7250 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7940 7250 1111 63 0 7877 0
vsize: 31760
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 222868 0 0 0 31183 820 0 0 25 0 1 0 895873993 33177600 7410 4294967295 134512640 134716908 3221224576 3221223072 134699765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8100 7410 1111 63 0 8037 0
vsize: 32400
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 228882 0 0 0 32161 842 0 0 25 0 1 0 895873993 33869824 7578 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8327 7579 1111 63 0 8264 0
vsize: 33076
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 234728 0 0 0 33141 863 0 0 25 0 1 0 895873993 34500608 7733 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8423 7733 1111 63 0 8360 0
vsize: 33692
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 239965 0 0 0 34120 883 0 0 25 0 1 0 895873993 35188736 7901 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8591 7901 1111 63 0 8528 0
vsize: 34364
[startup+360.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 245283 0 0 0 35103 902 0 0 25 0 1 0 895873993 35835904 8059 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8749 8059 1111 63 0 8686 0
vsize: 34996
[startup+370.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 249781 0 0 0 36085 920 0 0 25 0 1 0 895873993 37056512 8329 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 8329 1111 63 0 8984 0
vsize: 36188
[startup+380.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 253953 0 0 0 37069 936 0 0 25 0 1 0 895873993 37457920 8427 4294967295 134512640 134716908 3221224576 3221222304 1075828668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9145 8427 1111 63 0 9082 0
vsize: 36580
[startup+390.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 259079 0 0 0 38050 955 0 0 25 0 1 0 895873993 38096896 8580 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9301 8580 1111 63 0 9238 0
vsize: 37204
[startup+400.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 264582 0 0 0 39031 974 0 0 25 0 1 0 895873993 38707200 8729 4294967295 134512640 134716908 3221224576 3221222576 1074056253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9450 8729 1111 63 0 9387 0
vsize: 37800
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 269579 0 0 0 40012 993 0 0 25 0 1 0 895873993 39383040 8897 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9615 8897 1111 63 0 9552 0
vsize: 38460
[startup+420.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 274465 0 0 0 40992 1014 0 0 25 0 1 0 895873993 40251392 9052 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 9052 1111 63 0 9764 0
vsize: 39308
[startup+430.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 279347 0 0 0 41973 1033 0 0 25 0 1 0 895873993 40591360 9189 4294967295 134512640 134716908 3221224576 3221223300 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9910 9189 1111 63 0 9847 0
vsize: 39640
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 284628 0 0 0 42952 1054 0 0 25 0 1 0 895873993 41181184 9336 4294967295 134512640 134716908 3221224576 3221223132 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10054 9336 1111 63 0 9991 0
vsize: 40216
[startup+450.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 289851 0 0 0 43935 1071 0 0 25 0 1 0 895873993 41713664 9466 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10184 9466 1111 63 0 10121 0
vsize: 40736
[startup+460.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 294338 0 0 0 44919 1088 0 0 25 0 1 0 895873993 42409984 9606 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10354 9606 1111 63 0 10291 0
vsize: 41416
[startup+470.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 299034 0 0 0 45901 1105 0 0 25 0 1 0 895873993 42827776 9737 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10513 9738 1111 63 0 10450 0
vsize: 41824
[startup+480.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 303730 0 0 0 46886 1121 0 0 25 0 1 0 895873993 43331584 9861 4294967295 134512640 134716908 3221224576 3221222928 1074115244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10616 9861 1111 63 0 10553 0
vsize: 42316
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 308399 0 0 0 47871 1136 0 0 25 0 1 0 895873993 43925504 10004 4294967295 134512640 134716908 3221224576 3221223312 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10724 10004 1111 63 0 10661 0
vsize: 42896
[startup+500.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 313226 0 0 0 48854 1154 0 0 25 0 1 0 895873993 44740608 10145 4294967295 134512640 134716908 3221224576 3221221776 1075970465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 10145 1111 63 0 10860 0
vsize: 43692
[startup+510.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 318219 0 0 0 49836 1172 0 0 25 0 1 0 895873993 45023232 10274 4294967295 134512640 134716908 3221224576 3221223188 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10992 10274 1111 63 0 10929 0
vsize: 43968
[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 323675 0 0 0 50818 1190 0 0 25 0 1 0 895873993 45715456 10413 4294967295 134512640 134716908 3221224576 3221220672 1074879400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11161 10413 1111 63 0 11098 0
vsize: 44644
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 327916 0 0 0 51802 1206 0 0 25 0 1 0 895873993 46100480 10535 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 10535 1111 63 0 11192 0
vsize: 45020
[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 332186 0 0 0 52786 1222 0 0 25 0 1 0 895873993 46669824 10676 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11391 10673 1111 63 0 11328 0
vsize: 45576
[startup+550.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 336444 0 0 0 53772 1237 0 0 25 0 1 0 895873993 47153152 10794 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11512 10794 1111 63 0 11449 0
vsize: 46048
[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 340812 0 0 0 54756 1253 0 0 25 0 1 0 895873993 47820800 10927 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11675 10927 1111 63 0 11612 0
vsize: 46700
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 345237 0 0 0 55740 1269 0 0 25 0 1 0 895873993 48214016 11052 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11771 11052 1111 63 0 11708 0
vsize: 47084
[startup+580.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 349278 0 0 0 56724 1285 0 0 25 0 1 0 895873993 48697344 11171 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11889 11171 1111 63 0 11826 0
vsize: 47556
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 353988 0 0 0 57708 1301 0 0 25 0 1 0 895873993 49160192 11284 4294967295 134512640 134716908 3221224576 3221222960 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12002 11284 1111 63 0 11939 0
vsize: 48008
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 358185 0 0 0 58695 1314 0 0 25 0 1 0 895873993 49651712 11404 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12122 11404 1111 63 0 12059 0
vsize: 48488
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 362517 0 0 0 59680 1330 0 0 25 0 1 0 895873993 50118656 11518 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12236 11518 1111 63 0 12173 0
vsize: 48944
[startup+620.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 366618 0 0 0 60664 1346 0 0 25 0 1 0 895873993 50630656 11643 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12361 11643 1111 63 0 12298 0
vsize: 49444
[startup+630.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 370436 0 0 0 61651 1359 0 0 25 0 1 0 895873993 51073024 11751 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12469 11751 1111 63 0 12406 0
vsize: 49876
[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 374632 0 0 0 62636 1374 0 0 25 0 1 0 895873993 51544064 11866 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12584 11866 1111 63 0 12521 0
vsize: 50336
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 378413 0 0 0 63623 1387 0 0 25 0 1 0 895873993 52011008 11980 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12698 11980 1111 63 0 12635 0
vsize: 50792
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 382303 0 0 0 64609 1402 0 0 25 0 1 0 895873993 52449280 12087 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12805 12087 1111 63 0 12742 0
vsize: 51220
[startup+670.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 386213 0 0 0 65594 1416 0 0 25 0 1 0 895873993 52887552 12194 4294967295 134512640 134716908 3221224576 3221223180 134536839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12912 12194 1111 63 0 12849 0
vsize: 51648
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 390146 0 0 0 66582 1429 0 0 25 0 1 0 895873993 53661696 12383 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13101 12383 1111 63 0 13038 0
vsize: 52404
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 393832 0 0 0 67569 1442 0 0 25 0 1 0 895873993 54116352 12494 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13212 12494 1111 63 0 13149 0
vsize: 52848
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 397506 0 0 0 68556 1455 0 0 25 0 1 0 895873993 54693888 12604 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13353 12604 1111 63 0 13290 0
vsize: 53412
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 401360 0 0 0 69543 1468 0 0 25 0 1 0 895873993 54980608 12705 4294967295 134512640 134716908 3221224576 3221221852 1077404545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13463 12708 1111 63 0 13400 0
vsize: 53692
[startup+720.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 404745 0 0 0 70531 1481 0 0 25 0 1 0 895873993 55431168 12815 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13533 12815 1111 63 0 13470 0
vsize: 54132
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 408042 0 0 0 71520 1492 0 0 25 0 1 0 895873993 55975936 12918 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13629 12911 1111 63 0 13566 0
vsize: 54664
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 411722 0 0 0 72507 1505 0 0 25 0 1 0 895873993 56229888 13010 4294967295 134512640 134716908 3221224576 3221223248 134652564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13728 13010 1111 63 0 13665 0
vsize: 54912
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 415508 0 0 0 73494 1518 0 0 25 0 1 0 895873993 56639488 13110 4294967295 134512640 134716908 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13828 13110 1111 63 0 13765 0
vsize: 55312
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 418807 0 0 0 74484 1529 0 0 25 0 1 0 895873993 57098240 13220 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13940 13220 1111 63 0 13877 0
vsize: 55760
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 422458 0 0 0 75471 1542 0 0 25 0 1 0 895873993 57503744 13321 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14039 13321 1111 63 0 13976 0
vsize: 56156
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 426363 0 0 0 76456 1556 0 0 25 0 1 0 895873993 57888768 13415 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14133 13415 1111 63 0 14070 0
vsize: 56532
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 430026 0 0 0 77444 1569 0 0 25 0 1 0 895873993 58470400 13527 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14275 13527 1111 63 0 14212 0
vsize: 57100
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 433433 0 0 0 78434 1579 0 0 25 0 1 0 895873993 58888192 13626 4294967295 134512640 134716908 3221224576 3221223280 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14377 13626 1111 63 0 14314 0
vsize: 57508
[startup+810.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 436721 0 0 0 79422 1591 0 0 25 0 1 0 895873993 59191296 13729 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14451 13729 1111 63 0 14388 0
vsize: 57804
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 440453 0 0 0 80410 1603 0 0 25 0 1 0 895873993 59613184 13836 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14554 13836 1111 63 0 14491 0
vsize: 58216
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 443786 0 0 0 81398 1616 0 0 25 0 1 0 895873993 60137472 13963 4294967295 134512640 134716908 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14682 13963 1111 63 0 14619 0
vsize: 58728
[startup+840.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 447744 0 0 0 82384 1630 0 0 25 0 1 0 895873993 60645376 14088 4294967295 134512640 134716908 3221224576 3221222872 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14806 14088 1111 63 0 14743 0
vsize: 59224
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 451238 0 0 0 83370 1644 0 0 25 0 1 0 895873993 61145088 14207 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14928 14207 1111 63 0 14865 0
vsize: 59712
[startup+860.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 454823 0 0 0 84359 1655 0 0 25 0 1 0 895873993 61632512 14325 4294967295 134512640 134716908 3221224576 3221223280 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15047 14325 1111 63 0 14984 0
vsize: 60188
[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 458928 0 0 0 85345 1669 0 0 25 0 1 0 895873993 62271488 14455 4294967295 134512640 134716908 3221224576 3221220816 1075088546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15203 14455 1111 63 0 15140 0
vsize: 60812
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 462626 0 0 0 86331 1684 0 0 25 0 1 0 895873993 62615552 14569 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15287 14569 1111 63 0 15224 0
vsize: 61148
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 466138 0 0 0 87320 1695 0 0 25 0 1 0 895873993 63057920 14677 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15395 14677 1111 63 0 15332 0
vsize: 61580
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 469888 0 0 0 88307 1708 0 0 25 0 1 0 895873993 63483904 14778 4294967295 134512640 134716908 3221224576 3221223232 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15499 14778 1111 63 0 15436 0
vsize: 61996
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 473282 0 0 0 89295 1720 0 0 25 0 1 0 895873993 63897600 14882 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15600 14882 1111 63 0 15537 0
vsize: 62400
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 476999 0 0 0 90280 1735 0 0 25 0 1 0 895873993 64335872 14989 4294967295 134512640 134716908 3221224576 3221223292 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15707 14989 1111 63 0 15644 0
vsize: 62828
[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 480290 0 0 0 91269 1746 0 0 25 0 1 0 895873993 64851968 15115 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15833 15115 1111 63 0 15770 0
vsize: 63332
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 484156 0 0 0 92255 1760 0 0 25 0 1 0 895873993 65298432 15224 4294967295 134512640 134716908 3221224576 3221223248 134652583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15942 15224 1111 63 0 15879 0
vsize: 63768
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 487611 0 0 0 93243 1773 0 0 25 0 1 0 895873993 65875968 15334 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16050 15332 1111 63 0 15987 0
vsize: 64332
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 491253 0 0 0 94228 1788 0 0 25 0 1 0 895873993 66154496 15433 4294967295 134512640 134716908 3221224576 3221223136 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16151 15433 1111 63 0 16088 0
vsize: 64604
[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 494712 0 0 0 95218 1799 0 0 25 0 1 0 895873993 66543616 15526 4294967295 134512640 134716908 3221224576 3221223144 134535877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16246 15526 1111 63 0 16183 0
vsize: 64984
[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 498025 0 0 0 96205 1811 0 0 25 0 1 0 895873993 66973696 15633 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16351 15633 1111 63 0 16288 0
vsize: 65404
[startup+990.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 501458 0 0 0 97193 1823 0 0 25 0 1 0 895873993 67420160 15742 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16460 15742 1111 63 0 16397 0
vsize: 65840
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 505033 0 0 0 98181 1836 0 0 25 0 1 0 895873993 67829760 15841 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16555 15837 1111 63 0 16492 0
vsize: 66240
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 508574 0 0 0 99171 1846 0 0 25 0 1 0 895873993 68468736 15967 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16716 15967 1111 63 0 16653 0
vsize: 66864
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 511898 0 0 0 100160 1858 0 0 25 0 1 0 895873993 69312512 16175 4294967295 134512640 134716908 3221224576 3221222576 1074056129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16922 16175 1111 63 0 16859 0
vsize: 67688
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 515301 0 0 0 101146 1872 0 0 25 0 1 0 895873993 69750784 16282 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17029 16282 1111 63 0 16966 0
vsize: 68116
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 518606 0 0 0 102135 1882 0 0 25 0 1 0 895873993 70234112 16399 4294967295 134512640 134716908 3221224576 3221223300 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17147 16399 1111 63 0 17084 0
vsize: 68588
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 522335 0 0 0 103122 1896 0 0 25 0 1 0 895873993 70647808 16503 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17248 16503 1111 63 0 17185 0
vsize: 68992
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 525896 0 0 0 104109 1909 0 0 25 0 1 0 895873993 71086080 16608 4294967295 134512640 134716908 3221224576 3221222224 1075818357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17355 16608 1111 63 0 17292 0
vsize: 69420
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 529474 0 0 0 105098 1920 0 0 25 0 1 0 895873993 71520256 16713 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17461 16713 1111 63 0 17398 0
vsize: 69844
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 532824 0 0 0 106087 1932 0 0 25 0 1 0 895873993 71888896 16806 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17587 16809 1111 63 0 17524 0
vsize: 70204
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 536550 0 0 0 107073 1945 0 0 25 0 1 0 895873993 72298496 16906 4294967295 134512640 134716908 3221224576 3221223088 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17651 16906 1111 63 0 17588 0
vsize: 70604
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 540260 0 0 0 108060 1959 0 0 25 0 1 0 895873993 72761344 17016 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17764 17016 1111 63 0 17701 0
vsize: 71056
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 543047 0 0 0 109050 1969 0 0 25 0 1 0 895873993 73228288 17131 4294967295 134512640 134716908 3221224576 3221223200 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17878 17131 1111 63 0 17815 0
vsize: 71512
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 546003 0 0 0 110040 1979 0 0 25 0 1 0 895873993 73641984 17234 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17979 17234 1111 63 0 17916 0
vsize: 71916
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 549154 0 0 0 111029 1990 0 0 25 0 1 0 895873993 74088448 17340 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18088 17340 1111 63 0 18025 0
vsize: 72352
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 551691 0 0 0 112020 2000 0 0 25 0 1 0 895873993 74686464 17432 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18234 17432 1111 63 0 18171 0
vsize: 72936
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 554979 0 0 0 113009 2011 0 0 25 0 1 0 895873993 74788864 17514 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18259 17514 1111 63 0 18196 0
vsize: 73036
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 558178 0 0 0 113998 2022 0 0 25 0 1 0 895873993 75153408 17603 4294967295 134512640 134716908 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18348 17603 1111 63 0 18285 0
vsize: 73392
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 561559 0 0 0 114985 2035 0 0 25 0 1 0 895873993 75534336 17696 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18441 17696 1111 63 0 18378 0
vsize: 73764
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 8275
Raw data (stat): 8275 (bsolo_lpr-v2) R 8274 7266 7265 0 -1 0 561559 0 0 0 114985 2035 0 0 25 0 1 0 895873993 75534336 17696 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18441 17696 1111 63 0 18378 0
vsize: 0

Child status: 10
Real time (s): 1174.9
CPU time (s): 1175.06
CPU user time (s): 1154.61
CPU system time (s): 20.4439
CPU usage (%): 100.013
Max. virtual memory (Kb): 73764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####