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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb
MD5SUM	1c2ccb44cf4c8d63886f263017961035
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	190
Optimality of the best value was proved	NO
Number of terms in the objective function	52200
Biggest coefficient in the objective function	26214400
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	24146585100
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	26214400
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	24146585100
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.22
Number of variables	83000
Total number of constraints	1820
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1820
Minimum length of a constraint	200
Maximum length of a constraint	200
Trace number 26251

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 14:37:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14782 boxname=wulflinc26 idbench=1138 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  1c2ccb44cf4c8d63886f263017961035  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-qap10.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-qap10.opb
IDLAUNCH: 14782
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        925180 kB
Buffers:         33384 kB
Cached:          53256 kB
SwapCached:        604 kB
Active:          55756 kB
Inactive:        33600 kB
HighTotal:      131008 kB
HighFree:        76636 kB
LowTotal:       903652 kB
LowFree:        848544 kB
SwapTotal:     2097892 kB
SwapFree:      2097036 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6144 kB
Slab:            14240 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 14:57:30 (client local time) WITH STATUS 0 IN 1210.05 SECONDS
stats: 14782 7 1210.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 83000 variables and 3640 constraints.
#### 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.84 1.27 1.77 2/54 20825
Raw data (stat): 20825 (runsolver) R 20824 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831019090 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.86 1.26 1.76 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 952 0 8 0 945 3 0 0 25 0 1 0 831019090 16084992 884 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 884 1111 63 0 3864 0
vsize: 15708
[startup+20.0044 s]
Raw data (loadavg): 0.89 1.25 1.76 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 1197 0 8 0 1946 3 0 0 25 0 1 0 831019090 17108992 1129 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 1129 1111 63 0 4114 0
vsize: 16708
[startup+30.0041 s]
Raw data (loadavg): 0.90 1.25 1.75 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 1447 0 8 0 2945 4 0 0 25 0 1 0 831019090 18137088 1379 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4428 1379 1111 63 0 4365 0
vsize: 17712
[startup+40.0048 s]
Raw data (loadavg): 0.92 1.24 1.74 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 1701 0 8 0 3945 5 0 0 25 0 1 0 831019090 19156992 1633 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4677 1633 1111 63 0 4614 0
vsize: 18708
[startup+50.0124 s]
Raw data (loadavg): 0.93 1.23 1.73 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 1951 0 8 0 4945 5 0 0 25 0 1 0 831019090 20168704 1883 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4924 1883 1111 63 0 4861 0
vsize: 19696
[startup+60.0128 s]
Raw data (loadavg): 0.94 1.22 1.72 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 2202 0 8 0 5944 6 0 0 25 0 1 0 831019090 21172224 2134 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5169 2134 1111 63 0 5106 0
vsize: 20676
[startup+70.0192 s]
Raw data (loadavg): 0.95 1.21 1.71 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 2466 0 8 0 6944 7 0 0 25 0 1 0 831019090 22327296 2398 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5451 2398 1111 63 0 5388 0
vsize: 21804
[startup+80.0245 s]
Raw data (loadavg): 0.96 1.20 1.71 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 2719 0 8 0 7944 8 0 0 25 0 1 0 831019090 23326720 2651 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5695 2651 1111 63 0 5632 0
vsize: 22780
[startup+90.0245 s]
Raw data (loadavg): 0.96 1.20 1.70 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 2976 0 8 0 8944 9 0 0 25 0 1 0 831019090 24342528 2908 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5943 2908 1111 63 0 5880 0
vsize: 23772
[startup+100.024 s]
Raw data (loadavg): 1.04 1.21 1.70 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 3242 0 8 0 9943 9 0 0 25 0 1 0 831019090 25493504 3174 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6224 3174 1111 63 0 6161 0
vsize: 24896
[startup+110.026 s]
Raw data (loadavg): 1.03 1.20 1.69 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 3501 0 8 0 10943 10 0 0 25 0 1 0 831019090 26517504 3433 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6474 3433 1111 63 0 6411 0
vsize: 25896
[startup+120.026 s]
Raw data (loadavg): 1.03 1.19 1.68 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 3766 0 8 0 11942 11 0 0 25 0 1 0 831019090 27537408 3698 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6723 3698 1111 63 0 6660 0
vsize: 26892
[startup+130.027 s]
Raw data (loadavg): 1.02 1.19 1.67 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 4043 0 8 0 12942 12 0 0 25 0 1 0 831019090 28733440 3975 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7015 3975 1111 63 0 6952 0
vsize: 28060
[startup+140.027 s]
Raw data (loadavg): 1.02 1.18 1.66 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 4315 0 8 0 13942 12 0 0 25 0 1 0 831019090 29880320 4247 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7295 4247 1111 63 0 7232 0
vsize: 29180
[startup+150.026 s]
Raw data (loadavg): 1.02 1.17 1.66 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 4584 0 8 0 14941 12 0 0 25 0 1 0 831019090 30900224 4516 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7544 4516 1111 63 0 7481 0
vsize: 30176
[startup+160.034 s]
Raw data (loadavg): 1.01 1.17 1.65 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 4858 0 8 0 15941 13 0 0 25 0 1 0 831019090 32075776 4790 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7831 4790 1111 63 0 7768 0
vsize: 31324
[startup+170.034 s]
Raw data (loadavg): 1.01 1.16 1.64 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 5133 0 8 0 16940 14 0 0 25 0 1 0 831019090 33206272 5065 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8107 5065 1111 63 0 8044 0
vsize: 32428
[startup+180.034 s]
Raw data (loadavg): 1.01 1.16 1.63 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 5414 0 8 0 17940 15 0 0 25 0 1 0 831019090 34377728 5346 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8393 5346 1111 63 0 8330 0
vsize: 33572
[startup+190.034 s]
Raw data (loadavg): 1.01 1.15 1.63 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 5698 0 8 0 18939 16 0 0 25 0 1 0 831019090 35508224 5630 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 5630 1111 63 0 8606 0
vsize: 34676
[startup+200.034 s]
Raw data (loadavg): 1.01 1.14 1.62 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 5987 0 8 0 19939 17 0 0 25 0 1 0 831019090 36679680 5919 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8955 5919 1111 63 0 8892 0
vsize: 35820
[startup+210.034 s]
Raw data (loadavg): 1.00 1.14 1.61 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 6270 0 8 0 20938 17 0 0 25 0 1 0 831019090 37830656 6202 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9236 6202 1111 63 0 9173 0
vsize: 36944
[startup+220.034 s]
Raw data (loadavg): 1.00 1.13 1.61 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 6567 0 8 0 21938 18 0 0 25 0 1 0 831019090 38989824 6499 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9519 6499 1111 63 0 9456 0
vsize: 38076
[startup+230.034 s]
Raw data (loadavg): 1.00 1.13 1.60 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 6856 0 8 0 22938 18 0 0 25 0 1 0 831019090 40165376 6788 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9806 6788 1111 63 0 9743 0
vsize: 39224
[startup+240.034 s]
Raw data (loadavg): 1.00 1.12 1.59 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 7173 0 8 0 23937 19 0 0 25 0 1 0 831019090 41611264 7105 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10159 7105 1111 63 0 10096 0
vsize: 40636
[startup+250.034 s]
Raw data (loadavg): 1.00 1.12 1.58 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 7478 0 8 0 24936 20 0 0 25 0 1 0 831019090 42893312 7410 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10472 7410 1111 63 0 10409 0
vsize: 41888
[startup+260.034 s]
Raw data (loadavg): 1.00 1.12 1.58 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 7782 0 8 0 25936 20 0 0 25 0 1 0 831019090 44064768 7714 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10758 7714 1111 63 0 10695 0
vsize: 43032
[startup+270.034 s]
Raw data (loadavg): 1.00 1.11 1.57 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 8097 0 8 0 26935 21 0 0 25 0 1 0 831019090 45350912 8029 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11072 8029 1111 63 0 11009 0
vsize: 44288
[startup+280.033 s]
Raw data (loadavg): 1.00 1.11 1.56 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 8412 0 8 0 27935 22 0 0 25 0 1 0 831019090 46657536 8344 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11391 8344 1111 63 0 11328 0
vsize: 45564
[startup+290.034 s]
Raw data (loadavg): 1.00 1.10 1.56 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 8732 0 8 0 28934 23 0 0 25 0 1 0 831019090 47968256 8664 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11711 8664 1111 63 0 11648 0
vsize: 46844
[startup+300.034 s]
Raw data (loadavg): 1.00 1.10 1.55 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 9061 0 8 0 29934 23 0 0 25 0 1 0 831019090 49274880 8993 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12030 8993 1111 63 0 11967 0
vsize: 48120
[startup+310.048 s]
Raw data (loadavg): 1.00 1.10 1.54 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 9400 0 8 0 30935 24 0 0 25 0 1 0 831019090 50720768 9332 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12383 9332 1111 63 0 12320 0
vsize: 49532
[startup+320.055 s]
Raw data (loadavg): 1.00 1.09 1.54 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 9744 0 8 0 31935 25 0 0 25 0 1 0 831019090 52158464 9676 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12734 9676 1111 63 0 12671 0
vsize: 50936
[startup+330.055 s]
Raw data (loadavg): 1.00 1.09 1.53 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 10088 0 8 0 32934 25 0 0 25 0 1 0 831019090 53460992 10020 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13052 10020 1111 63 0 12989 0
vsize: 52208
[startup+340.055 s]
Raw data (loadavg): 1.00 1.08 1.53 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 10441 0 8 0 33934 26 0 0 25 0 1 0 831019090 54902784 10373 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13404 10373 1111 63 0 13341 0
vsize: 53616
[startup+350.055 s]
Raw data (loadavg): 1.00 1.08 1.52 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 10795 0 8 0 34933 27 0 0 25 0 1 0 831019090 56369152 10727 4294967295 134512640 134714508 3221224592 3221223248 134527953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13762 10727 1111 63 0 13699 0
vsize: 55048
[startup+360.056 s]
Raw data (loadavg): 1.00 1.08 1.51 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 11156 0 8 0 35933 28 0 0 25 0 1 0 831019090 57810944 11088 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14114 11088 1111 63 0 14051 0
vsize: 56456
[startup+370.057 s]
Raw data (loadavg): 1.00 1.08 1.51 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 11524 0 8 0 36932 29 0 0 25 0 1 0 831019090 59383808 11456 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14498 11456 1111 63 0 14435 0
vsize: 57992
[startup+380.056 s]
Raw data (loadavg): 1.00 1.07 1.50 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 11894 0 8 0 37932 29 0 0 25 0 1 0 831019090 60846080 11826 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14855 11826 1111 63 0 14792 0
vsize: 59420
[startup+390.057 s]
Raw data (loadavg): 1.00 1.07 1.50 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 12285 0 8 0 38931 30 0 0 25 0 1 0 831019090 62418944 12217 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15239 12217 1111 63 0 15176 0
vsize: 60956
[startup+400.057 s]
Raw data (loadavg): 1.00 1.07 1.49 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 12693 0 8 0 39931 31 0 0 25 0 1 0 831019090 64143360 12625 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15660 12625 1111 63 0 15597 0
vsize: 62640
[startup+410.056 s]
Raw data (loadavg): 1.00 1.06 1.49 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 13129 0 8 0 40930 31 0 0 25 0 1 0 831019090 65888256 13061 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16086 13061 1111 63 0 16023 0
vsize: 64344
[startup+420.056 s]
Raw data (loadavg): 1.00 1.06 1.48 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 13601 0 8 0 41930 32 0 0 25 0 1 0 831019090 68136960 13533 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16635 13533 1111 63 0 16572 0
vsize: 66540
[startup+430.069 s]
Raw data (loadavg): 1.00 1.06 1.47 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 14062 0 8 0 42929 34 0 0 25 0 1 0 831019090 70017024 13994 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17094 13994 1111 63 0 17031 0
vsize: 68376
[startup+440.069 s]
Raw data (loadavg): 1.00 1.06 1.47 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 14526 0 8 0 43928 35 0 0 25 0 1 0 831019090 71880704 14458 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17549 14458 1111 63 0 17486 0
vsize: 70196
[startup+450.069 s]
Raw data (loadavg): 1.00 1.05 1.46 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 14982 0 8 0 44928 36 0 0 25 0 1 0 831019090 73764864 14914 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18009 14914 1111 63 0 17946 0
vsize: 72036
[startup+460.07 s]
Raw data (loadavg): 1.00 1.05 1.46 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 15436 0 8 0 45926 37 0 0 25 0 1 0 831019090 75644928 15368 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18468 15368 1111 63 0 18405 0
vsize: 73872
[startup+470.07 s]
Raw data (loadavg): 1.00 1.05 1.45 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 15906 0 8 0 46925 39 0 0 25 0 1 0 831019090 77504512 15838 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18922 15838 1111 63 0 18859 0
vsize: 75688
[startup+480.069 s]
Raw data (loadavg): 1.00 1.05 1.45 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 16369 0 8 0 47925 39 0 0 25 0 1 0 831019090 79392768 16301 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19383 16301 1111 63 0 19320 0
vsize: 77532
[startup+490.069 s]
Raw data (loadavg): 1.00 1.05 1.44 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 16903 0 8 0 48924 40 0 0 25 0 1 0 831019090 81559552 16835 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19912 16835 1111 63 0 19849 0
vsize: 79648
[startup+500.069 s]
Raw data (loadavg): 1.00 1.04 1.44 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 17435 0 8 0 49922 42 0 0 25 0 1 0 831019090 83730432 17367 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20442 17367 1111 63 0 20379 0
vsize: 81768
[startup+510.07 s]
Raw data (loadavg): 1.00 1.04 1.43 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 17991 0 8 0 50922 43 0 0 25 0 1 0 831019090 86032384 17923 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21004 17923 1111 63 0 20941 0
vsize: 84016
[startup+520.07 s]
Raw data (loadavg): 1.00 1.04 1.43 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 18549 0 8 0 51921 44 0 0 25 0 1 0 831019090 88334336 18481 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21566 18481 1111 63 0 21503 0
vsize: 86264
[startup+530.069 s]
Raw data (loadavg): 1.00 1.04 1.42 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 19105 0 8 0 52920 45 0 0 25 0 1 0 831019090 90505216 19037 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22096 19037 1111 63 0 22033 0
vsize: 88384
[startup+540.069 s]
Raw data (loadavg): 1.00 1.04 1.42 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 19637 0 8 0 53919 46 0 0 25 0 1 0 831019090 92655616 19569 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22621 19569 1111 63 0 22558 0
vsize: 90484
[startup+550.069 s]
Raw data (loadavg): 1.00 1.04 1.41 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 20180 0 8 0 54917 48 0 0 25 0 1 0 831019090 94957568 20112 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23183 20112 1111 63 0 23120 0
vsize: 92732
[startup+560.07 s]
Raw data (loadavg): 1.00 1.03 1.41 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 20729 0 8 0 55917 48 0 0 25 0 1 0 831019090 97132544 20661 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23714 20661 1111 63 0 23651 0
vsize: 94856
[startup+570.07 s]
Raw data (loadavg): 1.00 1.03 1.40 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 22139 0 8 0 56914 52 0 0 25 0 1 0 831019090 101986304 21863 4294967295 134512640 134714508 3221224592 3221222252 1077244513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24899 21863 1111 63 0 24836 0
vsize: 99596
[startup+580.07 s]
Raw data (loadavg): 1.00 1.03 1.40 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 28887 0 8 0 57898 67 0 0 25 0 1 0 831019090 129806336 28485 4294967295 134512640 134714508 3221224592 3221222632 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31691 28485 1111 63 0 31628 0
vsize: 126764
[startup+590.07 s]
Raw data (loadavg): 1.00 1.03 1.39 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 33035 0 8 0 58888 77 0 0 25 0 1 0 831019090 146722816 32633 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35821 32633 1111 63 0 35758 0
vsize: 143284
[startup+600.07 s]
Raw data (loadavg): 1.00 1.03 1.39 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 36060 0 8 0 59881 84 0 0 25 0 1 0 831019090 159027200 35658 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38825 35658 1111 63 0 38762 0
vsize: 155300
[startup+610.072 s]
Raw data (loadavg): 1.00 1.03 1.38 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 39171 0 8 0 60874 92 0 0 25 0 1 0 831019090 171745280 38769 4294967295 134512640 134714508 3221224592 3221221052 1077359371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41930 38769 1111 63 0 41867 0
vsize: 167720
[startup+620.072 s]
Raw data (loadavg): 1.00 1.03 1.38 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 40917 0 8 0 61869 97 0 0 25 0 1 0 831019090 178954240 40515 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43690 40515 1111 63 0 43627 0
vsize: 174760
[startup+630.071 s]
Raw data (loadavg): 1.00 1.02 1.37 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 42318 0 8 0 62867 99 0 0 25 0 1 0 831019090 184631296 41916 4294967295 134512640 134714508 3221224592 3221222252 1077244362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45076 41916 1111 63 0 45013 0
vsize: 180304
[startup+640.072 s]
Raw data (loadavg): 1.00 1.02 1.37 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 43694 0 8 0 63863 103 0 0 25 0 1 0 831019090 190308352 43292 4294967295 134512640 134714508 3221224592 3221222252 1077245816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46462 43292 1111 63 0 46399 0
vsize: 185848
[startup+650.072 s]
Raw data (loadavg): 1.00 1.02 1.36 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 45036 0 8 0 64859 107 0 0 25 0 1 0 831019090 195715072 44634 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47782 44634 1111 63 0 47719 0
vsize: 191128
[startup+660.072 s]
Raw data (loadavg): 1.00 1.02 1.36 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 53903 0 8 0 65840 127 0 0 25 0 1 0 831019090 224047104 53236 4294967295 134512640 134714508 3221224592 3221223120 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54699 53236 1111 63 0 54636 0
vsize: 218796
[startup+670.074 s]
Raw data (loadavg): 1.00 1.02 1.35 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 56416 0 8 0 66834 133 0 0 25 0 1 0 831019090 234323968 55749 4294967295 134512640 134714508 3221224592 3221223320 134672944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57208 55749 1111 63 0 57145 0
vsize: 228832
[startup+680.074 s]
Raw data (loadavg): 1.00 1.02 1.35 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 58824 0 8 0 67830 137 0 0 25 0 1 0 831019090 244195328 58157 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59618 58157 1111 63 0 59555 0
vsize: 238472
[startup+690.074 s]
Raw data (loadavg): 1.00 1.02 1.35 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 61169 0 8 0 68826 141 0 0 25 0 1 0 831019090 253796352 60502 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61962 60502 1111 63 0 61899 0
vsize: 247848
[startup+700.074 s]
Raw data (loadavg): 1.00 1.02 1.34 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 63474 0 8 0 69822 145 0 0 25 0 1 0 831019090 263262208 62807 4294967295 134512640 134714508 3221224592 3221223328 134625553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64273 62807 1111 63 0 64210 0
vsize: 257092
[startup+710.074 s]
Raw data (loadavg): 1.00 1.02 1.34 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 65705 0 8 0 70818 150 0 0 25 0 1 0 831019090 272322560 65038 4294967295 134512640 134714508 3221224592 3221223344 134630822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66485 65038 1111 63 0 66422 0
vsize: 265940
[startup+720.074 s]
Raw data (loadavg): 1.00 1.02 1.34 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 67860 0 8 0 71813 154 0 0 25 0 1 0 831019090 281247744 67193 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68664 67193 1111 63 0 68601 0
vsize: 274656
[startup+730.074 s]
Raw data (loadavg): 1.00 1.01 1.33 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 69950 0 8 0 72810 157 0 0 25 0 1 0 831019090 289763328 69283 4294967295 134512640 134714508 3221224592 3221223120 134528533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70743 69283 1111 63 0 70680 0
vsize: 282972
[startup+740.075 s]
Raw data (loadavg): 1.00 1.01 1.33 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 72012 0 8 0 73806 162 0 0 25 0 1 0 831019090 298283008 71345 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72823 71345 1111 63 0 72760 0
vsize: 291292
[startup+750.075 s]
Raw data (loadavg): 1.00 1.01 1.32 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 73975 0 8 0 74802 166 0 0 25 0 1 0 831019090 306262016 73308 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74771 73308 1111 63 0 74708 0
vsize: 299084
[startup+760.076 s]
Raw data (loadavg): 1.00 1.01 1.32 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 75944 0 8 0 75799 169 0 0 25 0 1 0 831019090 314376192 75277 4294967295 134512640 134714508 3221224592 3221223000 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76752 75277 1111 63 0 76689 0
vsize: 307008
[startup+770.076 s]
Raw data (loadavg): 1.00 1.01 1.32 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 78138 0 8 0 76796 172 0 0 25 0 1 0 831019090 323301376 77471 4294967295 134512640 134714508 3221224592 3221223312 134625589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78931 77471 1111 63 0 78868 0
vsize: 315724
[startup+780.076 s]
Raw data (loadavg): 1.00 1.01 1.31 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 80240 0 8 0 77792 176 0 0 25 0 1 0 831019090 331956224 79573 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81044 79573 1111 63 0 80981 0
vsize: 324176
[startup+790.087 s]
Raw data (loadavg): 1.00 1.01 1.31 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 82276 0 8 0 78789 181 0 0 25 0 1 0 831019090 340205568 81609 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83058 81609 1111 63 0 82995 0
vsize: 332232
[startup+800.086 s]
Raw data (loadavg): 1.00 1.01 1.30 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 84250 0 8 0 79784 185 0 0 25 0 1 0 831019090 348319744 83583 4294967295 134512640 134714508 3221224592 3221223056 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85039 83583 1111 63 0 84976 0
vsize: 340156
[startup+810.088 s]
Raw data (loadavg): 1.00 1.01 1.30 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 86156 0 8 0 80781 189 0 0 25 0 1 0 831019090 356163584 85489 4294967295 134512640 134714508 3221224592 3221223088 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86954 85489 1111 63 0 86891 0
vsize: 347816
[startup+820.088 s]
Raw data (loadavg): 1.00 1.01 1.30 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 88001 0 8 0 81777 193 0 0 25 0 1 0 831019090 363732992 87334 4294967295 134512640 134714508 3221224592 3221223052 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88802 87334 1111 63 0 88739 0
vsize: 355208
[startup+830.087 s]
Raw data (loadavg): 1.00 1.00 1.29 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 89807 0 8 0 82773 197 0 0 25 0 1 0 831019090 371171328 89140 4294967295 134512640 134714508 3221224592 3221223328 134625553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90618 89140 1111 63 0 90555 0
vsize: 362472
[startup+840.087 s]
Raw data (loadavg): 1.00 1.00 1.29 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 91522 0 8 0 83770 200 0 0 25 0 1 0 831019090 378068992 90855 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92302 90855 1111 63 0 92239 0
vsize: 369208
[startup+850.087 s]
Raw data (loadavg): 1.00 1.00 1.28 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 93242 0 8 0 84768 203 0 0 25 0 1 0 831019090 385236992 92575 4294967295 134512640 134714508 3221224592 3221223168 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94052 92575 1111 63 0 93989 0
vsize: 376208
[startup+860.087 s]
Raw data (loadavg): 1.00 1.00 1.28 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 95071 0 8 0 85764 207 0 0 25 0 1 0 831019090 392671232 94404 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95867 94404 1111 63 0 95804 0
vsize: 383468
[startup+870.087 s]
Raw data (loadavg): 1.00 1.00 1.28 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 96836 0 8 0 86760 211 0 0 25 0 1 0 831019090 399839232 96169 4294967295 134512640 134714508 3221224592 3221223056 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97617 96169 1111 63 0 97554 0
vsize: 390468
[startup+880.088 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 98542 0 8 0 87757 214 0 0 25 0 1 0 831019090 406872064 97875 4294967295 134512640 134714508 3221224592 3221223000 134543594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99334 97875 1111 63 0 99271 0
vsize: 397336
[startup+890.088 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 100210 0 8 0 88754 217 0 0 25 0 1 0 831019090 413769728 99543 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101018 99543 1111 63 0 100955 0
vsize: 404072
[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 101962 0 8 0 89750 221 0 0 25 0 1 0 831019090 420933632 101295 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102767 101295 1111 63 0 102704 0
vsize: 411068
[startup+910.09 s]
Raw data (loadavg): 1.00 1.00 1.26 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 103722 0 8 0 90748 224 0 0 25 0 1 0 831019090 428101632 103055 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104517 103055 1111 63 0 104454 0
vsize: 418068
[startup+920.09 s]
Raw data (loadavg): 1.00 1.00 1.26 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 105410 0 8 0 91745 227 0 0 25 0 1 0 831019090 434999296 104743 4294967295 134512640 134714508 3221224592 3221223012 134542664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106201 104743 1111 63 0 106138 0
vsize: 424804
[startup+930.09 s]
Raw data (loadavg): 1.00 1.00 1.26 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 107059 0 8 0 92741 231 0 0 25 0 1 0 831019090 441761792 106392 4294967295 134512640 134714508 3221224592 3221223320 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107852 106392 1111 63 0 107789 0
vsize: 431408
[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 108626 0 8 0 93737 234 0 0 25 0 1 0 831019090 448249856 107959 4294967295 134512640 134714508 3221224592 3221223392 134617622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109436 107959 1111 63 0 109373 0
vsize: 437744
[startup+950.091 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 110125 0 8 0 94734 238 0 0 25 0 1 0 831019090 454336512 109458 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110922 109458 1111 63 0 110859 0
vsize: 443688
[startup+960.102 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 111623 0 8 0 95733 240 0 0 25 0 1 0 831019090 460423168 110956 4294967295 134512640 134714508 3221224592 3221222976 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112408 110956 1111 63 0 112345 0
vsize: 449632
[startup+970.115 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 113091 0 8 0 96731 243 0 0 25 0 1 0 831019090 466505728 112424 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113893 112424 1111 63 0 113830 0
vsize: 455572
[startup+980.128 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 114478 0 8 0 97730 246 0 0 25 0 1 0 831019090 472186880 113811 4294967295 134512640 134714508 3221224592 3221223000 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115280 113811 1111 63 0 115217 0
vsize: 461120
[startup+990.129 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 115905 0 8 0 98727 248 0 0 25 0 1 0 831019090 477999104 115238 4294967295 134512640 134714508 3221224592 3221223360 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116699 115238 1111 63 0 116636 0
vsize: 466796
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 117259 0 8 0 99725 251 0 0 25 0 1 0 831019090 483545088 116592 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118053 116592 1111 63 0 117990 0
vsize: 472212
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 118557 0 8 0 100723 253 0 0 25 0 1 0 831019090 488820736 117890 4294967295 134512640 134714508 3221224592 3221223212 134543776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119341 117890 1111 63 0 119278 0
vsize: 477364
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 119789 0 8 0 101721 255 0 0 25 0 1 0 831019090 493957120 119122 4294967295 134512640 134714508 3221224592 3221223024 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120595 119122 1111 63 0 120532 0
vsize: 482380
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 120970 0 8 0 102718 258 0 0 25 0 1 0 831019090 498692096 120303 4294967295 134512640 134714508 3221224592 3221223300 134625624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121751 120303 1111 63 0 121688 0
vsize: 487004
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 122077 0 8 0 103716 260 0 0 25 0 1 0 831019090 503287808 121410 4294967295 134512640 134714508 3221224592 3221223328 134630815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122873 121410 1111 63 0 122810 0
vsize: 491492
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 123251 0 8 0 104714 263 0 0 25 0 1 0 831019090 508157952 122584 4294967295 134512640 134714508 3221224592 3221223096 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124062 122584 1111 63 0 123999 0
vsize: 496248
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 124391 0 8 0 105711 266 0 0 25 0 1 0 831019090 512753664 123724 4294967295 134512640 134714508 3221224592 3221222960 134543046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125184 123724 1111 63 0 125121 0
vsize: 500736
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 125486 0 8 0 106709 268 0 0 25 0 1 0 831019090 517218304 124819 4294967295 134512640 134714508 3221224592 3221223324 134672949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126274 124819 1111 63 0 126211 0
vsize: 505096
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.21 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 126502 0 8 0 107707 270 0 0 25 0 1 0 831019090 521408512 125835 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127297 125835 1111 63 0 127234 0
vsize: 509188
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.21 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 127456 0 8 0 108706 271 0 0 25 0 1 0 831019090 525328384 126789 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128254 126789 1111 63 0 128191 0
vsize: 513016
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.21 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 128226 0 8 0 109703 274 0 0 25 0 1 0 831019090 528441344 127559 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129014 127559 1111 63 0 128951 0
vsize: 516056
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 128915 0 8 0 110702 276 0 0 25 0 1 0 831019090 531279872 128248 4294967295 134512640 134714508 3221224592 3221223220 134588084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129707 128248 1111 63 0 129644 0
vsize: 518828
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 129599 0 8 0 111700 278 0 0 25 0 1 0 831019090 534118400 128932 4294967295 134512640 134714508 3221224592 3221223320 134672913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130400 128932 1111 63 0 130337 0
vsize: 521600
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 130369 0 8 0 112698 279 0 0 25 0 1 0 831019090 537231360 129702 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131160 129702 1111 63 0 131097 0
vsize: 524640
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 131086 0 8 0 113697 281 0 0 25 0 1 0 831019090 540205056 130419 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131886 130419 1111 63 0 131823 0
vsize: 527544
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 131734 0 8 0 114695 283 0 0 25 0 1 0 831019090 542773248 131067 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132513 131067 1111 63 0 132450 0
vsize: 530052
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 132401 0 8 0 115693 285 0 0 25 0 1 0 831019090 545615872 131734 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133207 131734 1111 63 0 133144 0
vsize: 532828
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 133084 0 8 0 116692 286 0 0 25 0 1 0 831019090 548319232 132417 4294967295 134512640 134714508 3221224592 3221223008 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133867 132417 1111 63 0 133804 0
vsize: 535468
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 133770 0 8 0 117690 289 0 0 25 0 1 0 831019090 551157760 133103 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134560 133103 1111 63 0 134497 0
vsize: 538240
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 134319 0 8 0 118689 290 0 0 25 0 1 0 831019090 553455616 133652 4294967295 134512640 134714508 3221224592 3221223320 134625586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135121 133652 1111 63 0 135058 0
vsize: 540484
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 134729 0 8 0 119688 291 0 0 25 0 1 0 831019090 555081728 134062 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135518 134062 1111 63 0 135455 0
vsize: 542072
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 20825
Raw data (stat): 20825 (bsolo_lpr) R 20824 20687 20686 0 -1 0 135137 0 8 0 120687 292 0 0 25 0 1 0 831019090 556838912 134470 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135947 134470 1111 63 0 135884 0
vsize: 543788
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.38 s]
Raw data (loadavg): 1.00 1.00 1.18 1/54 20825
Raw data (stat): 20825 (bsolo_lpr) Z 20824 20687 20686 0 -1 1036 135137 0 8 0 120687 316 0 0 25 0 1 0 831019090 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1210.38
CPU time (s): 1210.05
CPU user time (s): 1206.88
CPU system time (s): 3.16852
CPU usage (%): 99.9723
Max. virtual memory (Kb): 543788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####