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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
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.01384
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 26998

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 18:37:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18903 boxname=wulflinc12 idbench=1455 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 18903
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        774432 kB
Buffers:         36648 kB
Cached:         202144 kB
SwapCached:        568 kB
Active:          63244 kB
Inactive:       178004 kB
HighTotal:      131008 kB
HighFree:         7756 kB
LowTotal:       903652 kB
LowFree:        766676 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            13212 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:56:59 (client local time) WITH STATUS 10 IN 1175.1 SECONDS
stats: 18903 0 1175.1 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.123 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.04
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.285
c NEW SOLUTION FOUND: 36 @ 0.29
c NEW SOLUTION FOUND: 35 @ 0.292
c NEW SOLUTION FOUND: 34 @ 0.294
c NEW SOLUTION FOUND: 33 @ 0.296
c NEW SOLUTION FOUND: 32 @ 0.301
c NEW SOLUTION FOUND: 31 @ 0.384
c NEW SOLUTION FOUND: 30 @ 44.57
s SATISFIABLE
v V0001_bit0 V0002_bit0 V0003_bit0 -V0004_bit0 V0005_bit0 V0006_bit0 V0007_bit0 V0008_bit0 -V0009_bit0 -V0010_bit0 V0011_bit0 V0012_bit0 V0013_bit0 V0014_bit0 V0015_bit0 -V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 V0020_bit0 V0021_bit0 V0022_bit0 -V0023_bit0 -V0024_bit0 V0025_bit0 V0026_bit0 -V0027_bit0 V0028_bit0 -V0029_bit0 V0030_bit0 V0031_bit0 V0032_bit0 -V0033_bit0 V0034_bit0 -V0035_bit0 -V0036_bit0 -V0037_bit0 V0038_bit0 V0039_bit0 V0040_bit0 V0041_bit0 V0042_bit0 -V0043_bit0 V0044_bit0 -V0045_bit0 
c Exit Code: 10
c Total time: 1175.05 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.78 0.93 0.94 2/54 2664
Raw data (stat): 2664 (runsolver) R 2663 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774225377 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.81 0.93 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 10974 0 0 0 953 37 0 0 25 0 1 0 774225377 8134656 1301 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1986 1301 1111 63 0 1923 0
vsize: 7944
[startup+20.0021 s]
Raw data (loadavg): 0.84 0.93 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 20037 0 0 0 1921 70 0 0 25 0 1 0 774225377 9641984 1670 4294967295 134512640 134714508 3221224592 3221222944 1074115270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2354 1670 1111 63 0 2291 0
vsize: 9416
[startup+30.0025 s]
Raw data (loadavg): 0.87 0.93 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 28740 0 0 0 2892 99 0 0 25 0 1 0 774225377 11112448 2029 4294967295 134512640 134714508 3221224592 3221222976 1074153532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2713 2029 1111 63 0 2650 0
vsize: 10852
[startup+40.0023 s]
Raw data (loadavg): 0.89 0.93 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 36629 0 0 0 3860 131 0 0 25 0 1 0 774225377 12599296 2392 4294967295 134512640 134714508 3221224592 3221222944 1073986885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3076 2392 1111 63 0 3013 0
vsize: 12304
[startup+50.0026 s]
Raw data (loadavg): 0.90 0.93 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 45042 0 0 0 4826 165 0 0 25 0 1 0 774225377 13709312 2664 4294967295 134512640 134714508 3221224592 3221223216 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+60.003 s]
Raw data (loadavg): 0.92 0.94 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 53403 0 0 0 5797 195 0 0 25 0 1 0 774225377 14802944 2901 4294967295 134512640 134714508 3221224592 3221221080 1076116629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3614 2901 1111 63 0 3551 0
vsize: 14456
[startup+70.0029 s]
Raw data (loadavg): 0.93 0.94 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 61703 0 0 0 6768 223 0 0 25 0 1 0 774225377 15568896 3116 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3801 3116 1111 63 0 3738 0
vsize: 15204
[startup+80.0041 s]
Raw data (loadavg): 0.94 0.94 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 70295 0 0 0 7739 252 0 0 25 0 1 0 774225377 16637952 3351 4294967295 134512640 134714508 3221224592 3221221144 1075088529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4062 3351 1111 63 0 3999 0
vsize: 16248
[startup+90.0046 s]
Raw data (loadavg): 0.95 0.94 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 78329 0 0 0 8710 282 0 0 25 0 1 0 774225377 17285120 3537 4294967295 134512640 134714508 3221224592 3221221512 1077378353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4220 3537 1111 63 0 4157 0
vsize: 16880
[startup+100.004 s]
Raw data (loadavg): 0.96 0.94 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 86110 0 0 0 9683 309 0 0 25 0 1 0 774225377 18567168 3778 4294967295 134512640 134714508 3221224592 3221220716 1074878595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4533 3778 1111 63 0 4470 0
vsize: 18132
[startup+110.006 s]
Raw data (loadavg): 0.96 0.94 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 93216 0 0 0 10655 337 0 0 25 0 1 0 774225377 19226624 4011 4294967295 134512640 134714508 3221224592 3221222760 1077377382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4694 4011 1111 63 0 4631 0
vsize: 18776
[startup+120.006 s]
Raw data (loadavg): 0.97 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 100487 0 0 0 11630 362 0 0 25 0 1 0 774225377 20033536 4204 4294967295 134512640 134714508 3221224592 3221222864 1074056036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4891 4204 1111 63 0 4828 0
vsize: 19564
[startup+130.007 s]
Raw data (loadavg): 0.97 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 107673 0 0 0 12604 389 0 0 25 0 1 0 774225377 20779008 4390 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5073 4390 1111 63 0 5010 0
vsize: 20292
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 114947 0 0 0 13577 416 0 0 25 0 1 0 774225377 21606400 4590 4294967295 134512640 134714508 3221224592 3221223184 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4590 1111 63 0 5212 0
vsize: 21100
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 122129 0 0 0 14555 438 0 0 25 0 1 0 774225377 22437888 4794 4294967295 134512640 134714508 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5478 4794 1111 63 0 5415 0
vsize: 21912
[startup+160.007 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 129799 0 0 0 15528 465 0 0 25 0 1 0 774225377 23404544 5001 4294967295 134512640 134714508 3221224592 3221220736 1074969486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5714 5001 1111 63 0 5651 0
vsize: 22856
[startup+170.008 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 136935 0 0 0 16503 490 0 0 25 0 1 0 774225377 24002560 5177 4294967295 134512640 134714508 3221224592 3221223264 134650219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5860 5177 1111 63 0 5797 0
vsize: 23440
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 143152 0 0 0 17479 514 0 0 25 0 1 0 774225377 24801280 5367 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6055 5367 1111 63 0 5992 0
vsize: 24220
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 149655 0 0 0 18457 536 0 0 25 0 1 0 774225377 25731072 5542 4294967295 134512640 134714508 3221224592 3221221692 1076121376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6282 5542 1111 63 0 6219 0
vsize: 25128
[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 155686 0 0 0 19434 559 0 0 25 0 1 0 774225377 26234880 5718 4294967295 134512640 134714508 3221224592 3221223328 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6405 5718 1111 63 0 6342 0
vsize: 25620
[startup+210.011 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 162319 0 0 0 20410 584 0 0 25 0 1 0 774225377 27074560 5920 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6610 5920 1111 63 0 6547 0
vsize: 26440
[startup+220.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 169080 0 0 0 21385 609 0 0 25 0 1 0 774225377 27791360 6102 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6785 6102 1111 63 0 6722 0
vsize: 27140
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 175494 0 0 0 22362 633 0 0 25 0 1 0 774225377 28663808 6284 4294967295 134512640 134714508 3221224592 3221220688 1074879010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6998 6284 1111 63 0 6935 0
vsize: 27992
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 181683 0 0 0 23341 654 0 0 25 0 1 0 774225377 29552640 6473 4294967295 134512640 134714508 3221224592 3221220864 1074798945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7215 6473 1111 63 0 7152 0
vsize: 28860
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 188304 0 0 0 24320 675 0 0 25 0 1 0 774225377 29958144 6631 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7314 6631 1111 63 0 7251 0
vsize: 29256
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 192048 0 0 0 25304 690 0 0 25 0 1 0 774225377 31035392 6891 4294967295 134512640 134714508 3221224592 3221223336 134652425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7577 6891 1111 63 0 7514 0
vsize: 30308
[startup+270.015 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 197981 0 0 0 26285 710 0 0 25 0 1 0 774225377 31703040 7057 4294967295 134512640 134714508 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7740 7057 1111 63 0 7677 0
vsize: 30960
[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 203829 0 0 0 27264 731 0 0 25 0 1 0 774225377 32292864 7201 4294967295 134512640 134714508 3221224592 3221223248 134649833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7884 7201 1111 63 0 7821 0
vsize: 31536
[startup+290.017 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 209385 0 0 0 28244 751 0 0 25 0 1 0 774225377 32915456 7353 4294967295 134512640 134714508 3221224592 3221223312 134529133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8036 7353 1111 63 0 7973 0
vsize: 32144
[startup+300.016 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 214668 0 0 0 29225 770 0 0 25 0 1 0 774225377 33509376 7495 4294967295 134512640 134714508 3221224592 3221223208 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8181 7495 1111 63 0 8118 0
vsize: 32724
[startup+310.016 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 220316 0 0 0 30206 789 0 0 25 0 1 0 774225377 34148352 7654 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8337 7654 1111 63 0 8274 0
vsize: 33348
[startup+320.017 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 225731 0 0 0 31189 807 0 0 25 0 1 0 774225377 34803712 7814 4294967295 134512640 134714508 3221224592 3221222540 1073972152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8497 7814 1111 63 0 8434 0
vsize: 33988
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 231313 0 0 0 32171 824 0 0 25 0 1 0 774225377 35405824 7961 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8644 7961 1111 63 0 8581 0
vsize: 34576
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 236695 0 0 0 33154 842 0 0 25 0 1 0 774225377 36360192 8135 4294967295 134512640 134714508 3221224592 3221220752 1075095694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8877 8135 1111 63 0 8814 0
vsize: 35508
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 242266 0 0 0 34133 863 0 0 25 0 1 0 774225377 36683776 8273 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8956 8273 1111 63 0 8893 0
vsize: 35824
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 247399 0 0 0 35114 882 0 0 25 0 1 0 774225377 37322752 8429 4294967295 134512640 134714508 3221224592 3221222856 1077404705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9112 8429 1111 63 0 9049 0
vsize: 36448
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 252078 0 0 0 36096 900 0 0 25 0 1 0 774225377 38068224 8584 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9294 8584 1111 63 0 9231 0
vsize: 37176
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 257197 0 0 0 37077 919 0 0 25 0 1 0 774225377 38658048 8728 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 8728 1111 63 0 9375 0
vsize: 37752
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 262187 0 0 0 38057 939 0 0 25 0 1 0 774225377 39383040 8873 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9615 8874 1111 63 0 9552 0
vsize: 38460
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 267192 0 0 0 39038 959 0 0 25 0 1 0 774225377 39800832 9007 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9717 9007 1111 63 0 9654 0
vsize: 38868
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 272315 0 0 0 40020 977 0 0 25 0 1 0 774225377 40337408 9138 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9848 9138 1111 63 0 9785 0
vsize: 39392
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 277147 0 0 0 41002 995 0 0 25 0 1 0 774225377 40931328 9281 4294967295 134512640 134714508 3221224592 3221223256 134551881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9993 9281 1111 63 0 9930 0
vsize: 39972
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 282251 0 0 0 41985 1012 0 0 25 0 1 0 774225377 41488384 9416 4294967295 134512640 134714508 3221224592 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10129 9416 1111 63 0 10066 0
vsize: 40516
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 287098 0 0 0 42968 1029 0 0 25 0 1 0 774225377 41984000 9536 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10250 9536 1111 63 0 10187 0
vsize: 41000
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 291678 0 0 0 43952 1046 0 0 25 0 1 0 774225377 42704896 9688 4294967295 134512640 134714508 3221224592 3221220960 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10426 9688 1111 63 0 10363 0
vsize: 41704
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 296381 0 0 0 44935 1063 0 0 25 0 1 0 774225377 43044864 9799 4294967295 134512640 134714508 3221224592 3221223072 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10509 9799 1111 63 0 10446 0
vsize: 42036
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 300727 0 0 0 45919 1079 0 0 25 0 1 0 774225377 43560960 9922 4294967295 134512640 134714508 3221224592 3221223040 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10635 9922 1111 63 0 10572 0
vsize: 42540
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 304913 0 0 0 46902 1096 0 0 25 0 1 0 774225377 44113920 10060 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10770 10060 1111 63 0 10707 0
vsize: 43080
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 309650 0 0 0 47883 1116 0 0 25 0 1 0 774225377 44654592 10187 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10902 10187 1111 63 0 10839 0
vsize: 43608
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 314700 0 0 0 48865 1133 0 0 25 0 1 0 774225377 45338624 10326 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11069 10326 1111 63 0 11006 0
vsize: 44276
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 319429 0 0 0 49849 1150 0 0 25 0 1 0 774225377 45772800 10465 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11175 10465 1111 63 0 11112 0
vsize: 44700
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 324300 0 0 0 50832 1167 0 0 25 0 1 0 774225377 46338048 10603 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11352 10605 1111 63 0 11289 0
vsize: 45252
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 329210 0 0 0 51816 1183 0 0 25 0 1 0 774225377 47042560 10744 4294967295 134512640 134714508 3221224592 3221221084 1075169396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11485 10744 1111 63 0 11422 0
vsize: 45940
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 334353 0 0 0 52799 1200 0 0 25 0 1 0 774225377 47730688 10883 4294967295 134512640 134714508 3221224592 3221220684 1075663535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11653 10883 1111 63 0 11590 0
vsize: 46612
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 339314 0 0 0 53784 1216 0 0 25 0 1 0 774225377 47960064 10999 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11709 10999 1111 63 0 11646 0
vsize: 46836
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 343513 0 0 0 54767 1233 0 0 25 0 1 0 774225377 48594944 11152 4294967295 134512640 134714508 3221224592 3221223328 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11864 11152 1111 63 0 11801 0
vsize: 47456
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 347946 0 0 0 55749 1250 0 0 25 0 1 0 774225377 49201152 11299 4294967295 134512640 134714508 3221224592 3221223328 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12012 11299 1111 63 0 11949 0
vsize: 48048
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 352036 0 0 0 56734 1267 0 0 25 0 1 0 774225377 49774592 11442 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12152 11442 1111 63 0 12089 0
vsize: 48608
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 356536 0 0 0 57717 1284 0 0 25 0 1 0 774225377 50356224 11584 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12294 11584 1111 63 0 12231 0
vsize: 49176
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 360745 0 0 0 58700 1300 0 0 25 0 1 0 774225377 51195904 11729 4294967295 134512640 134714508 3221224592 3221220588 1074788214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12499 11729 1111 63 0 12436 0
vsize: 49996
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 365056 0 0 0 59683 1318 0 0 25 0 1 0 774225377 51560448 11847 4294967295 134512640 134714508 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12588 11848 1111 63 0 12525 0
vsize: 50352
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 369362 0 0 0 60667 1333 0 0 25 0 1 0 774225377 51945472 11972 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12682 11972 1111 63 0 12619 0
vsize: 50728
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 373898 0 0 0 61652 1349 0 0 25 0 1 0 774225377 52420608 12088 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12798 12088 1111 63 0 12735 0
vsize: 51192
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 377742 0 0 0 62639 1362 0 0 25 0 1 0 774225377 52883456 12201 4294967295 134512640 134714508 3221224592 3221223040 134535477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12911 12201 1111 63 0 12848 0
vsize: 51644
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 381920 0 0 0 63624 1377 0 0 25 0 1 0 774225377 53383168 12323 4294967295 134512640 134714508 3221224592 3221223328 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13033 12323 1111 63 0 12970 0
vsize: 52132
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 386601 0 0 0 64607 1395 0 0 25 0 1 0 774225377 53878784 12444 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13154 12444 1111 63 0 13091 0
vsize: 52616
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 391057 0 0 0 65589 1412 0 0 25 0 1 0 774225377 54353920 12560 4294967295 134512640 134714508 3221224592 3221223252 134649894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13270 12560 1111 63 0 13207 0
vsize: 53080
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 395976 0 0 0 66571 1431 0 0 25 0 1 0 774225377 55558144 12851 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13564 12851 1111 63 0 13501 0
vsize: 54256
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 400252 0 0 0 67556 1446 0 0 25 0 1 0 774225377 55984128 12958 4294967295 134512640 134714508 3221224592 3221222592 1074056280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13668 12958 1111 63 0 13605 0
vsize: 54672
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 404064 0 0 0 68540 1462 0 0 25 0 1 0 774225377 56467456 13076 4294967295 134512640 134714508 3221224592 3221223280 134528605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13786 13076 1111 63 0 13723 0
vsize: 55144
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 408163 0 0 0 69526 1476 0 0 25 0 1 0 774225377 56872960 13175 4294967295 134512640 134714508 3221224592 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13885 13175 1111 63 0 13822 0
vsize: 55540
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 412374 0 0 0 70513 1489 0 0 25 0 1 0 774225377 57315328 13281 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13993 13281 1111 63 0 13930 0
vsize: 55972
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 416059 0 0 0 71501 1502 0 0 25 0 1 0 774225377 57798656 13401 4294967295 134512640 134714508 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14111 13401 1111 63 0 14048 0
vsize: 56444
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 419954 0 0 0 72486 1518 0 0 25 0 1 0 774225377 58216448 13503 4294967295 134512640 134714508 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14213 13503 1111 63 0 14150 0
vsize: 56852
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 423575 0 0 0 73473 1531 0 0 25 0 1 0 774225377 58654720 13606 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14320 13606 1111 63 0 14257 0
vsize: 57280
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 427465 0 0 0 74460 1544 0 0 25 0 1 0 774225377 59031552 13702 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14412 13702 1111 63 0 14349 0
vsize: 57648
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 431285 0 0 0 75445 1559 0 0 25 0 1 0 774225377 59449344 13804 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14514 13804 1111 63 0 14451 0
vsize: 58056
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 434972 0 0 0 76431 1573 0 0 25 0 1 0 774225377 59826176 13896 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14606 13896 1111 63 0 14543 0
vsize: 58424
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 438571 0 0 0 77419 1585 0 0 25 0 1 0 774225377 60276736 14002 4294967295 134512640 134714508 3221224592 3221223272 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14716 14002 1111 63 0 14653 0
vsize: 58864
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 442498 0 0 0 78405 1599 0 0 25 0 1 0 774225377 60698624 14109 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14819 14109 1111 63 0 14756 0
vsize: 59276
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 446500 0 0 0 79392 1612 0 0 25 0 1 0 774225377 61095936 14202 4294967295 134512640 134714508 3221224592 3221223264 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14916 14202 1111 63 0 14853 0
vsize: 59664
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 449717 0 0 0 80380 1624 0 0 25 0 1 0 774225377 61550592 14317 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15027 14317 1111 63 0 14964 0
vsize: 60108
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 453290 0 0 0 81369 1636 0 0 25 0 1 0 774225377 61956096 14416 4294967295 134512640 134714508 3221224592 3221223280 134524376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15126 14416 1111 63 0 15063 0
vsize: 60504
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 457215 0 0 0 82355 1650 0 0 25 0 1 0 774225377 62357504 14514 4294967295 134512640 134714508 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15224 14514 1111 63 0 15161 0
vsize: 60896
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 460638 0 0 0 83343 1662 0 0 25 0 1 0 774225377 62824448 14628 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15338 14628 1111 63 0 15275 0
vsize: 61352
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 463975 0 0 0 84330 1675 0 0 25 0 1 0 774225377 63496192 14733 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15502 14733 1111 63 0 15439 0
vsize: 62008
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 467750 0 0 0 85316 1689 0 0 25 0 1 0 774225377 63655936 14831 4294967295 134512640 134714508 3221224592 3221223184 134650193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15541 14831 1111 63 0 15478 0
vsize: 62164
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 471333 0 0 0 86304 1702 0 0 25 0 1 0 774225377 64081920 14935 4294967295 134512640 134714508 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15645 14935 1111 63 0 15582 0
vsize: 62580
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 474861 0 0 0 87294 1712 0 0 25 0 1 0 774225377 64491520 15035 4294967295 134512640 134714508 3221224592 3221223216 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15745 15035 1111 63 0 15682 0
vsize: 62980
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 478482 0 0 0 88282 1724 0 0 25 0 1 0 774225377 64978944 15152 4294967295 134512640 134714508 3221224592 3221223272 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15864 15152 1111 63 0 15801 0
vsize: 63456
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 482000 0 0 0 89269 1738 0 0 25 0 1 0 774225377 65421312 15262 4294967295 134512640 134714508 3221224592 3221223248 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15972 15262 1111 63 0 15909 0
vsize: 63888
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 486136 0 0 0 90256 1751 0 0 25 0 1 0 774225377 65859584 15365 4294967295 134512640 134714508 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16079 15365 1111 63 0 16016 0
vsize: 64316
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 489762 0 0 0 91242 1765 0 0 25 0 1 0 774225377 66379776 15462 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16206 15462 1111 63 0 16143 0
vsize: 64824
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 493217 0 0 0 92229 1778 0 0 25 0 1 0 774225377 66637824 15559 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16269 15559 1111 63 0 16206 0
vsize: 65076
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 496984 0 0 0 93215 1792 0 0 25 0 1 0 774225377 67055616 15661 4294967295 134512640 134714508 3221224592 3221223184 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16371 15661 1111 63 0 16308 0
vsize: 65484
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 500520 0 0 0 94201 1806 0 0 25 0 1 0 774225377 67477504 15764 4294967295 134512640 134714508 3221224592 3221223264 134650235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16474 15764 1111 63 0 16411 0
vsize: 65896
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 504145 0 0 0 95189 1819 0 0 25 0 1 0 774225377 67858432 15857 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16567 15857 1111 63 0 16504 0
vsize: 66268
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 507766 0 0 0 96177 1831 0 0 25 0 1 0 774225377 68378624 15954 4294967295 134512640 134714508 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16694 15954 1111 63 0 16631 0
vsize: 66776
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 511092 0 0 0 97163 1845 0 0 25 0 1 0 774225377 68653056 16047 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 16047 1111 63 0 16698 0
vsize: 67044
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 514657 0 0 0 98152 1856 0 0 25 0 1 0 774225377 69029888 16143 4294967295 134512640 134714508 3221224592 3221223248 134649898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16853 16143 1111 63 0 16790 0
vsize: 67412
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 517866 0 0 0 99143 1866 0 0 25 0 1 0 774225377 69779456 16269 4294967295 134512640 134714508 3221224592 3221220592 1075965301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17021 16268 1111 63 0 16958 0
vsize: 68144
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 521212 0 0 0 100132 1877 0 0 25 0 1 0 774225377 70029312 16360 4294967295 134512640 134714508 3221224592 3221223280 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17097 16360 1111 63 0 17034 0
vsize: 68388
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 524151 0 0 0 101122 1887 0 0 25 0 1 0 774225377 70418432 16455 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17192 16455 1111 63 0 17129 0
vsize: 68768
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 527393 0 0 0 102110 1899 0 0 25 0 1 0 774225377 70950912 16554 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17322 16554 1111 63 0 17259 0
vsize: 69288
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 530583 0 0 0 103099 1910 0 0 25 0 1 0 774225377 71229440 16652 4294967295 134512640 134714508 3221224592 3221223264 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17390 16652 1111 63 0 17327 0
vsize: 69560
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 533798 0 0 0 104087 1923 0 0 25 0 1 0 774225377 71622656 16745 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17486 16745 1111 63 0 17423 0
vsize: 69944
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 537101 0 0 0 105075 1934 0 0 25 0 1 0 774225377 72019968 16841 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17583 16841 1111 63 0 17520 0
vsize: 70332
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 540487 0 0 0 106062 1947 0 0 25 0 1 0 774225377 72515584 16933 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17704 16933 1111 63 0 17641 0
vsize: 70816
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 543800 0 0 0 107052 1958 0 0 25 0 1 0 774225377 72736768 17021 4294967295 134512640 134714508 3221224592 3221223168 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17758 17021 1111 63 0 17695 0
vsize: 71032
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 547099 0 0 0 108041 1969 0 0 25 0 1 0 774225377 73121792 17110 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17852 17110 1111 63 0 17789 0
vsize: 71408
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 550601 0 0 0 109029 1982 0 0 25 0 1 0 774225377 73461760 17198 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17935 17198 1111 63 0 17872 0
vsize: 71740
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 554416 0 0 0 110017 1994 0 0 25 0 1 0 774225377 73842688 17287 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18028 17287 1111 63 0 17965 0
vsize: 72112
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 557416 0 0 0 111007 2004 0 0 25 0 1 0 774225377 74199040 17378 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18115 17378 1111 63 0 18052 0
vsize: 72460
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 560559 0 0 0 111995 2015 0 0 25 0 1 0 774225377 74575872 17470 4294967295 134512640 134714508 3221224592 3221223328 134528816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18207 17470 1111 63 0 18144 0
vsize: 72828
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 563898 0 0 0 112983 2028 0 0 25 0 1 0 774225377 74964992 17565 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18302 17565 1111 63 0 18239 0
vsize: 73208
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 566621 0 0 0 113972 2039 0 0 25 0 1 0 774225377 75395072 17669 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18407 17669 1111 63 0 18344 0
vsize: 73628
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 569680 0 0 0 114962 2049 0 0 25 0 1 0 774225377 76038144 17769 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18564 17769 1111 63 0 18501 0
vsize: 74256
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 2664
Raw data (stat): 2664 (bsolo_lpr) R 2663 32284 32283 0 -1 0 569680 0 0 0 114962 2049 0 0 25 0 1 0 774225377 76038144 17769 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18564 17769 1111 63 0 18501 0
vsize: 0

Child status: 10
Real time (s): 1175.02
CPU time (s): 1175.1
CPU user time (s): 1154.5
CPU system time (s): 20.5929
CPU usage (%): 100.007
Max. virtual memory (Kb): 74256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####