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/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
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	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 39983

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 23:54:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28040 boxname=wulflinc2 idbench=996 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 28040
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        601792 kB
Buffers:         18392 kB
Cached:         391292 kB
SwapCached:       1376 kB
Active:          22820 kB
Inactive:       388908 kB
HighTotal:      131008 kB
HighFree:        24808 kB
LowTotal:       903652 kB
LowFree:        576984 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            15528 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:14:01 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 28040 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1835 variables and 2149 constraints.
c After prepocess the problem consists of 1835 variables and 2368 constraints.
c preprocess terminated 88.192 s
c Initial Lower Bound: -41
c Lower Bound Elapsed time: 4.0005
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.69 0.92 0.89 2/54 32729
Raw data (stat): 32729 (runsolver) R 32728 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897114433 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.74 0.92 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 14020 0 0 0 963 34 0 0 25 0 1 0 897114433 60534784 13933 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14779 13933 1111 63 0 14716 0
vsize: 59116
[startup+20.0008 s]
Raw data (loadavg): 0.78 0.92 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 16482 0 0 0 1957 40 0 0 25 0 1 0 897114433 70676480 16395 4294967295 134512640 134716908 3221224576 3221222992 134542665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17255 16395 1111 63 0 17192 0
vsize: 69020
[startup+30.0018 s]
Raw data (loadavg): 0.81 0.93 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 17744 0 0 0 2954 43 0 0 25 0 1 0 897114433 75816960 17657 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18510 17657 1111 63 0 18447 0
vsize: 74040
[startup+40.0025 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 17756 0 0 0 3954 43 0 0 25 0 1 0 897114433 75816960 17669 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18510 17669 1111 63 0 18447 0
vsize: 74040
[startup+50.0027 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 17767 0 0 0 4954 43 0 0 25 0 1 0 897114433 75952128 17680 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18543 17680 1111 63 0 18480 0
vsize: 74172
[startup+60.0028 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 17780 0 0 0 5954 43 0 0 25 0 1 0 897114433 75952128 17693 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18543 17693 1111 63 0 18480 0
vsize: 74172
[startup+70.0035 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 17794 0 0 0 6955 43 0 0 25 0 1 0 897114433 76087296 17707 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18576 17707 1111 63 0 18513 0
vsize: 74304
[startup+80.0038 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 17805 0 0 0 7955 43 0 0 25 0 1 0 897114433 76087296 17718 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18576 17718 1111 63 0 18513 0
vsize: 74304
[startup+90.0045 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 18744 0 0 0 8953 45 0 0 25 0 1 0 897114433 79663104 18477 4294967295 134512640 134716908 3221224576 3221221408 1075960440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19449 18477 1111 63 0 19386 0
vsize: 77796
[startup+100.005 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 18999 0 0 0 9951 46 0 0 25 0 1 0 897114433 79646720 18640 4294967295 134512640 134716908 3221224576 3221220448 1074872864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19445 18640 1111 63 0 19382 0
vsize: 77780
[startup+110.008 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 22197 0 0 0 10944 53 0 0 25 0 1 0 897114433 77709312 18255 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18972 18255 1111 63 0 18909 0
vsize: 75888
[startup+120.019 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 22391 0 0 0 11942 55 0 0 25 0 1 0 897114433 78520320 18449 4294967295 134512640 134716908 3221224576 3221223320 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19170 18449 1111 63 0 19107 0
vsize: 76680
[startup+130.02 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 22523 0 0 0 12941 57 0 0 25 0 1 0 897114433 79060992 18581 4294967295 134512640 134716908 3221224576 3221223096 134535877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19302 18581 1111 63 0 19239 0
vsize: 77208
[startup+140.019 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 22699 0 0 0 13939 59 0 0 25 0 1 0 897114433 79736832 18757 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19467 18757 1111 63 0 19404 0
vsize: 77868
[startup+150.026 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 22868 0 0 0 14938 60 0 0 25 0 1 0 897114433 80412672 18926 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19632 18926 1111 63 0 19569 0
vsize: 78528
[startup+160.027 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 23035 0 0 0 15937 62 0 0 25 0 1 0 897114433 81084416 19093 4294967295 134512640 134716908 3221224576 3221223116 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19796 19093 1111 63 0 19733 0
vsize: 79184
[startup+170.028 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 23196 0 0 0 16935 64 0 0 25 0 1 0 897114433 81760256 19254 4294967295 134512640 134716908 3221224576 3221223228 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19961 19254 1111 63 0 19898 0
vsize: 79844
[startup+180.028 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 23358 0 0 0 17934 66 0 0 25 0 1 0 897114433 82436096 19416 4294967295 134512640 134716908 3221224576 3221223180 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20126 19416 1111 63 0 20063 0
vsize: 80504
[startup+190.029 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 23533 0 0 0 18932 68 0 0 25 0 1 0 897114433 83111936 19591 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20291 19591 1111 63 0 20228 0
vsize: 81164
[startup+200.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 23700 0 0 0 19930 70 0 0 25 0 1 0 897114433 83787776 19758 4294967295 134512640 134716908 3221224576 3221223072 134535442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20456 19758 1111 63 0 20393 0
vsize: 81824
[startup+210.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 23894 0 0 0 20928 72 0 0 25 0 1 0 897114433 84598784 19952 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20654 19952 1111 63 0 20591 0
vsize: 82616
[startup+220.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 24070 0 0 0 21928 73 0 0 25 0 1 0 897114433 85409792 20128 4294967295 134512640 134716908 3221224576 3221223244 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20852 20129 1111 63 0 20789 0
vsize: 83408
[startup+230.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 24218 0 0 0 22927 74 0 0 25 0 1 0 897114433 85950464 20276 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20984 20276 1111 63 0 20921 0
vsize: 83936
[startup+240.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 24347 0 0 0 23925 76 0 0 25 0 1 0 897114433 86491136 20405 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21116 20405 1111 63 0 21053 0
vsize: 84464
[startup+250.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 24473 0 0 0 24924 77 0 0 25 0 1 0 897114433 87031808 20531 4294967295 134512640 134716908 3221224576 3221223304 134536894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21248 20531 1111 63 0 21185 0
vsize: 84992
[startup+260.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 24682 0 0 0 25922 79 0 0 25 0 1 0 897114433 87838720 20740 4294967295 134512640 134716908 3221224576 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21445 20740 1111 63 0 21382 0
vsize: 85780
[startup+270.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 24803 0 0 0 26921 81 0 0 25 0 1 0 897114433 88379392 20861 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21577 20861 1111 63 0 21514 0
vsize: 86308
[startup+280.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 24948 0 0 0 27920 82 0 0 25 0 1 0 897114433 88920064 21006 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21709 21006 1111 63 0 21646 0
vsize: 86836
[startup+290.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 25133 0 0 0 28919 83 0 0 25 0 1 0 897114433 89731072 21191 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21907 21191 1111 63 0 21844 0
vsize: 87628
[startup+300.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 25307 0 0 0 29917 85 0 0 25 0 1 0 897114433 90402816 21365 4294967295 134512640 134716908 3221224576 3221223116 134539214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22071 21365 1111 63 0 22008 0
vsize: 88284
[startup+310.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 25444 0 0 0 30916 86 0 0 25 0 1 0 897114433 90939392 21502 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22202 21502 1111 63 0 22139 0
vsize: 88808
[startup+320.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 25605 0 0 0 31915 88 0 0 25 0 1 0 897114433 91615232 21663 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22367 21663 1111 63 0 22304 0
vsize: 89468
[startup+330.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32729
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 25793 0 0 0 32913 89 0 0 25 0 1 0 897114433 92422144 21851 4294967295 134512640 134716908 3221224576 3221223232 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22564 21851 1111 63 0 22501 0
vsize: 90256
[startup+340.032 s]
Raw data (loadavg): 1.07 0.98 0.91 3/57 302
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 25952 0 0 0 33912 90 0 0 25 0 1 0 897114433 93097984 22010 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22729 22010 1111 63 0 22666 0
vsize: 90916
[startup+350.032 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 314
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 26122 0 0 0 34911 92 0 0 25 0 1 0 897114433 93773824 22180 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22894 22180 1111 63 0 22831 0
vsize: 91576
[startup+360.033 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 314
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 26271 0 0 0 35910 93 0 0 25 0 1 0 897114433 94314496 22329 4294967295 134512640 134716908 3221224576 3221223244 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23026 22329 1111 63 0 22963 0
vsize: 92104
[startup+370.032 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 314
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 26418 0 0 0 36908 95 0 0 25 0 1 0 897114433 94990336 22476 4294967295 134512640 134716908 3221224576 3221223060 134699564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23191 22476 1111 63 0 23128 0
vsize: 92764
[startup+380.032 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 314
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 26554 0 0 0 37907 97 0 0 25 0 1 0 897114433 95531008 22612 4294967295 134512640 134716908 3221224576 3221223304 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23323 22612 1111 63 0 23260 0
vsize: 93292
[startup+390.032 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 314
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 26713 0 0 0 38905 98 0 0 25 0 1 0 897114433 96206848 22771 4294967295 134512640 134716908 3221224576 3221223320 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23488 22771 1111 63 0 23425 0
vsize: 93952
[startup+400.031 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 314
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 26880 0 0 0 39904 100 0 0 25 0 1 0 897114433 96882688 22938 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23653 22938 1111 63 0 23590 0
vsize: 94612
[startup+410.031 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 314
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 26999 0 0 0 40902 101 0 0 25 0 1 0 897114433 97423360 23057 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23785 23057 1111 63 0 23722 0
vsize: 95140
[startup+420.031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 27116 0 0 0 41901 103 0 0 25 0 1 0 897114433 97828864 23174 4294967295 134512640 134716908 3221224576 3221223232 134536591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23884 23174 1111 63 0 23821 0
vsize: 95536
[startup+430.031 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 27317 0 0 0 42900 105 0 0 25 0 1 0 897114433 98639872 23375 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24082 23375 1111 63 0 24019 0
vsize: 96328
[startup+440.031 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 27454 0 0 0 43899 106 0 0 25 0 1 0 897114433 99180544 23512 4294967295 134512640 134716908 3221224576 3221223360 134529027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24214 23512 1111 63 0 24151 0
vsize: 96856
[startup+450.031 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 27632 0 0 0 44898 107 0 0 25 0 1 0 897114433 99991552 23690 4294967295 134512640 134716908 3221224576 3221223200 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24412 23690 1111 63 0 24349 0
vsize: 97648
[startup+460.032 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 27808 0 0 0 45896 108 0 0 25 0 1 0 897114433 100663296 23866 4294967295 134512640 134716908 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24576 23866 1111 63 0 24513 0
vsize: 98304
[startup+470.042 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 27971 0 0 0 46896 110 0 0 25 0 1 0 897114433 101335040 24029 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24740 24029 1111 63 0 24677 0
vsize: 98960
[startup+480.042 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 28109 0 0 0 47895 111 0 0 25 0 1 0 897114433 101875712 24167 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24872 24167 1111 63 0 24809 0
vsize: 99488
[startup+490.042 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 28201 0 0 0 48894 112 0 0 25 0 1 0 897114433 102281216 24259 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24971 24259 1111 63 0 24908 0
vsize: 99884
[startup+500.041 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 28340 0 0 0 49893 113 0 0 25 0 1 0 897114433 102821888 24398 4294967295 134512640 134716908 3221224576 3221223296 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25103 24398 1111 63 0 25040 0
vsize: 100412
[startup+510.041 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 28464 0 0 0 50892 114 0 0 25 0 1 0 897114433 103366656 24522 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25236 24522 1111 63 0 25173 0
vsize: 100944
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 28598 0 0 0 51891 116 0 0 25 0 1 0 897114433 103899136 24656 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25366 24656 1111 63 0 25303 0
vsize: 101464
[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 28720 0 0 0 52889 118 0 0 25 0 1 0 897114433 104435712 24778 4294967295 134512640 134716908 3221224576 3221223216 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25497 24778 1111 63 0 25434 0
vsize: 101988
[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 28861 0 0 0 53888 119 0 0 25 0 1 0 897114433 104976384 24919 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25629 24919 1111 63 0 25566 0
vsize: 102516
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 28948 0 0 0 54887 120 0 0 25 0 1 0 897114433 105381888 25006 4294967295 134512640 134716908 3221224576 3221223360 134529259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25728 25006 1111 63 0 25665 0
vsize: 102912
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 29078 0 0 0 55886 122 0 0 25 0 1 0 897114433 105922560 25136 4294967295 134512640 134716908 3221224576 3221223136 134698945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25860 25136 1111 63 0 25797 0
vsize: 103440
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 29176 0 0 0 56885 123 0 0 25 0 1 0 897114433 106328064 25234 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25959 25234 1111 63 0 25896 0
vsize: 103836
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 29342 0 0 0 57884 124 0 0 25 0 1 0 897114433 107003904 25400 4294967295 134512640 134716908 3221224576 3221223184 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26124 25400 1111 63 0 26061 0
vsize: 104496
[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 29511 0 0 0 58883 124 0 0 25 0 1 0 897114433 107675648 25569 4294967295 134512640 134716908 3221224576 3221223168 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26288 25569 1111 63 0 26225 0
vsize: 105152
[startup+600.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 29626 0 0 0 59882 126 0 0 25 0 1 0 897114433 108081152 25684 4294967295 134512640 134716908 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26387 25684 1111 63 0 26324 0
vsize: 105548
[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 29801 0 0 0 60882 126 0 0 25 0 1 0 897114433 108892160 25859 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26585 25859 1111 63 0 26522 0
vsize: 106340
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 29911 0 0 0 61880 128 0 0 25 0 1 0 897114433 109297664 25969 4294967295 134512640 134716908 3221224576 3221223108 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26684 25969 1111 63 0 26621 0
vsize: 106736
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 30037 0 0 0 62880 129 0 0 25 0 1 0 897114433 109838336 26095 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26816 26095 1111 63 0 26753 0
vsize: 107264
[startup+640.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 316
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 30154 0 0 0 63879 130 0 0 25 0 1 0 897114433 110243840 26212 4294967295 134512640 134716908 3221224576 3221223204 134536674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26915 26212 1111 63 0 26852 0
vsize: 107660
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 30273 0 0 0 64877 132 0 0 25 0 1 0 897114433 110784512 26331 4294967295 134512640 134716908 3221224576 3221223112 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27047 26331 1111 63 0 26984 0
vsize: 108188
[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 30367 0 0 0 65877 132 0 0 25 0 1 0 897114433 111190016 26425 4294967295 134512640 134716908 3221224576 3221223264 134523350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27146 26425 1111 63 0 27083 0
vsize: 108584
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 30505 0 0 0 66876 134 0 0 25 0 1 0 897114433 111730688 26563 4294967295 134512640 134716908 3221224576 3221223132 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27278 26563 1111 63 0 27215 0
vsize: 109112
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 30603 0 0 0 67875 135 0 0 25 0 1 0 897114433 112136192 26661 4294967295 134512640 134716908 3221224576 3221223328 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27377 26661 1111 63 0 27314 0
vsize: 109508
[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 30755 0 0 0 68874 136 0 0 25 0 1 0 897114433 112791552 26813 4294967295 134512640 134716908 3221224576 3221223292 134551880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27537 26813 1111 63 0 27474 0
vsize: 110148
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 30836 0 0 0 69873 137 0 0 25 0 1 0 897114433 113061888 26894 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27603 26894 1111 63 0 27540 0
vsize: 110412
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 30903 0 0 0 70872 138 0 0 25 0 1 0 897114433 113332224 26961 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27669 26961 1111 63 0 27606 0
vsize: 110676
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31009 0 0 0 71871 139 0 0 25 0 1 0 897114433 113737728 27067 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27768 27067 1111 63 0 27705 0
vsize: 111072
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31156 0 0 0 72870 141 0 0 25 0 1 0 897114433 114413568 27214 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27933 27214 1111 63 0 27870 0
vsize: 111732
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31191 0 0 0 73869 141 0 0 25 0 1 0 897114433 114548736 27249 4294967295 134512640 134716908 3221224576 3221223160 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27966 27249 1111 63 0 27903 0
vsize: 111864
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31275 0 0 0 74868 143 0 0 25 0 1 0 897114433 114810880 27333 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28030 27333 1111 63 0 27967 0
vsize: 112120
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31418 0 0 0 75867 144 0 0 25 0 1 0 897114433 115486720 27476 4294967295 134512640 134716908 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28195 27476 1111 63 0 28132 0
vsize: 112780
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31529 0 0 0 76867 145 0 0 25 0 1 0 897114433 115892224 27587 4294967295 134512640 134716908 3221224576 3221223216 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28294 27587 1111 63 0 28231 0
vsize: 113176
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31657 0 0 0 77866 145 0 0 25 0 1 0 897114433 116432896 27715 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28426 27715 1111 63 0 28363 0
vsize: 113704
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31794 0 0 0 78864 147 0 0 25 0 1 0 897114433 116969472 27852 4294967295 134512640 134716908 3221224576 3221223136 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28557 27852 1111 63 0 28494 0
vsize: 114228
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31870 0 0 0 79863 148 0 0 25 0 1 0 897114433 117374976 27928 4294967295 134512640 134716908 3221224576 3221223328 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28656 27928 1111 63 0 28593 0
vsize: 114624
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 31955 0 0 0 80862 149 0 0 25 0 1 0 897114433 117641216 28013 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28721 28013 1111 63 0 28658 0
vsize: 114884
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32057 0 0 0 81861 151 0 0 25 0 1 0 897114433 118046720 28115 4294967295 134512640 134716908 3221224576 3221223196 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28820 28115 1111 63 0 28757 0
vsize: 115280
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32089 0 0 0 82861 151 0 0 25 0 1 0 897114433 118181888 28147 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28853 28147 1111 63 0 28790 0
vsize: 115412
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32102 0 0 0 83861 152 0 0 25 0 1 0 897114433 118317056 28160 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28886 28160 1111 63 0 28823 0
vsize: 115544
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32106 0 0 0 84861 153 0 0 25 0 1 0 897114433 118317056 28164 4294967295 134512640 134716908 3221224576 3221223168 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28886 28164 1111 63 0 28823 0
vsize: 115544
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32107 0 0 0 85860 153 0 0 25 0 1 0 897114433 118308864 28165 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28884 28165 1111 63 0 28821 0
vsize: 115536
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32109 0 0 0 86860 154 0 0 25 0 1 0 897114433 118308864 28167 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28884 28167 1111 63 0 28821 0
vsize: 115536
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32115 0 0 0 87860 155 0 0 25 0 1 0 897114433 118308864 28173 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28884 28173 1111 63 0 28821 0
vsize: 115536
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32139 0 0 0 88859 155 0 0 25 0 1 0 897114433 118444032 28197 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28917 28197 1111 63 0 28854 0
vsize: 115668
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32255 0 0 0 89859 156 0 0 25 0 1 0 897114433 118849536 28313 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29016 28313 1111 63 0 28953 0
vsize: 116064
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32277 0 0 0 90858 157 0 0 25 0 1 0 897114433 118984704 28335 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29049 28335 1111 63 0 28986 0
vsize: 116196
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32419 0 0 0 91857 159 0 0 25 0 1 0 897114433 119525376 28477 4294967295 134512640 134716908 3221224576 3221223296 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29181 28477 1111 63 0 29118 0
vsize: 116724
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32500 0 0 0 92856 160 0 0 25 0 1 0 897114433 119930880 28558 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28558 1111 63 0 29217 0
vsize: 117120
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32560 0 0 0 93855 161 0 0 25 0 1 0 897114433 120201216 28618 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29346 28618 1111 63 0 29283 0
vsize: 117384
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32653 0 0 0 94854 162 0 0 25 0 1 0 897114433 120463360 28711 4294967295 134512640 134716908 3221224576 3221223116 134539265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29410 28711 1111 63 0 29347 0
vsize: 117640
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32810 0 0 0 95853 163 0 0 25 0 1 0 897114433 121139200 28868 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29575 28868 1111 63 0 29512 0
vsize: 118300
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32870 0 0 0 96852 164 0 0 25 0 1 0 897114433 121409536 28928 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29641 28928 1111 63 0 29578 0
vsize: 118564
[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32912 0 0 0 97852 165 0 0 25 0 1 0 897114433 121544704 28970 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29674 28970 1111 63 0 29611 0
vsize: 118696
[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 32974 0 0 0 98851 165 0 0 25 0 1 0 897114433 121815040 29032 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29740 29032 1111 63 0 29677 0
vsize: 118960
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33054 0 0 0 99850 167 0 0 25 0 1 0 897114433 122216448 29112 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29838 29112 1111 63 0 29775 0
vsize: 119352
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33114 0 0 0 100849 168 0 0 25 0 1 0 897114433 122351616 29172 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29871 29172 1111 63 0 29808 0
vsize: 119484
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33222 0 0 0 101848 169 0 0 25 0 1 0 897114433 122892288 29280 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30003 29280 1111 63 0 29940 0
vsize: 120012
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33335 0 0 0 102847 170 0 0 25 0 1 0 897114433 123293696 29393 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30101 29393 1111 63 0 30038 0
vsize: 120404
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33389 0 0 0 103846 171 0 0 25 0 1 0 897114433 123564032 29447 4294967295 134512640 134716908 3221224576 3221223132 134539265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30167 29447 1111 63 0 30104 0
vsize: 120668
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33494 0 0 0 104845 173 0 0 25 0 1 0 897114433 123969536 29552 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30266 29552 1111 63 0 30203 0
vsize: 121064
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33580 0 0 0 105845 173 0 0 25 0 1 0 897114433 124375040 29638 4294967295 134512640 134716908 3221224576 3221223168 134698450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30365 29638 1111 63 0 30302 0
vsize: 121460
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33684 0 0 0 106844 174 0 0 25 0 1 0 897114433 124780544 29742 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30464 29742 1111 63 0 30401 0
vsize: 121856
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33776 0 0 0 107843 175 0 0 25 0 1 0 897114433 125050880 29834 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30530 29834 1111 63 0 30467 0
vsize: 122120
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33836 0 0 0 108842 176 0 0 25 0 1 0 897114433 125313024 29894 4294967295 134512640 134716908 3221224576 3221223376 134588090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30594 29894 1111 63 0 30531 0
vsize: 122376
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33914 0 0 0 109842 176 0 0 25 0 1 0 897114433 125718528 29972 4294967295 134512640 134716908 3221224576 3221223168 134698491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30693 29972 1111 63 0 30630 0
vsize: 122772
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 33993 0 0 0 110841 177 0 0 25 0 1 0 897114433 125988864 30051 4294967295 134512640 134716908 3221224576 3221223216 134536653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30759 30051 1111 63 0 30696 0
vsize: 123036
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 34057 0 0 0 111841 178 0 0 25 0 1 0 897114433 126259200 30115 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30825 30115 1111 63 0 30762 0
vsize: 123300
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 34135 0 0 0 112841 179 0 0 25 0 1 0 897114433 126529536 30193 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30891 30193 1111 63 0 30828 0
vsize: 123564
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 34227 0 0 0 113841 179 0 0 25 0 1 0 897114433 126935040 30285 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30990 30285 1111 63 0 30927 0
vsize: 123960
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 34303 0 0 0 114840 180 0 0 25 0 1 0 897114433 127340544 30361 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31089 30361 1111 63 0 31026 0
vsize: 124356
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 34450 0 0 0 115839 181 0 0 25 0 1 0 897114433 127877120 30508 4294967295 134512640 134716908 3221224576 3221223304 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31220 30508 1111 63 0 31157 0
vsize: 124880
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 34557 0 0 0 116842 182 0 0 25 0 1 0 897114433 128282624 30615 4294967295 134512640 134716908 3221224576 3221223352 134613544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31319 30615 1111 63 0 31256 0
vsize: 125276
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 318
Raw data (stat): 32729 (bsolo_lpr-v2) R 32728 31399 31398 0 -1 0 34557 0 0 0 116842 182 0 0 25 0 1 0 897114433 128282624 30615 4294967295 134512640 134716908 3221224576 3221223352 134613544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31319 30615 1111 63 0 31256 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1173.19
CPU system time (s): 1.87871
CPU usage (%): 100.012
Max. virtual memory (Kb): 125276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####