PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb
MD5SUM	795a1eda830447df9b9714fdf1d66b4e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2795888
Optimality of the best value was proved	NO
Number of terms in the objective function	5418
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1537450315
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1537450315
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1224.65
Number of variables	5418
Total number of constraints	307
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	307
Minimum length of a constraint	21
Maximum length of a constraint	860
Trace number 25543

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        716844 kB
Buffers:         19048 kB
Cached:         278460 kB
SwapCached:        944 kB
Active:         182896 kB
Inactive:       116736 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        716508 kB
SwapTotal:     2097892 kB
SwapFree:      2095936 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12520 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 10:15:36 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 19345 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5418 variables and 356 constraints.
c After prepocess the problem consists of 2953 variables and 492 constraints.
c preprocess terminated 7.421 s
c Initial Lower Bound: 799323
c Lower Bound Elapsed time: 0.60025
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.15 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (runsolver) R 30940 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 794741212 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 11004 0 0 0 969 26 0 0 25 0 1 0 794741212 36110336 8037 4294967295 134512640 134714508 3221221776 3221220048 1074057902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8816 8037 1111 63 0 8753 0
vsize: 35264
[startup+20.0019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 11176 0 0 0 1968 28 0 0 25 0 1 0 794741212 36110336 8078 4294967295 134512640 134714508 3221221776 3221219464 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8816 8078 1111 63 0 8753 0
vsize: 35264
[startup+30.0024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 11314 0 0 0 2967 28 0 0 25 0 1 0 794741212 36110336 8082 4294967295 134512640 134714508 3221221776 3221219544 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8816 8082 1111 63 0 8753 0
vsize: 35264
[startup+40.0032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 11449 0 0 0 3966 29 0 0 25 0 1 0 794741212 36302848 8084 4294967295 134512640 134714508 3221221776 3221219504 1075828449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8863 8084 1111 63 0 8800 0
vsize: 35452
[startup+50.0045 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 11590 0 0 0 4966 30 0 0 25 0 1 0 794741212 36249600 8089 4294967295 134512640 134714508 3221221776 3221218004 1075114918 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8850 8089 1111 63 0 8787 0
vsize: 35400
[startup+60.0041 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 12118 0 0 0 5964 32 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219272 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+70.0051 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 13822 0 0 0 6958 38 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220032 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+80.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 15381 0 0 0 7954 42 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221214848 1074153742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+90.0069 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 16680 0 0 0 8950 47 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+100.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 17750 0 0 0 9947 49 0 0 25 0 1 0 794741212 36499456 8155 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8911 8155 1111 63 0 8848 0
vsize: 35644
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 18761 0 0 0 10944 53 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220072 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 19755 0 0 0 11942 55 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219552 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 20795 0 0 0 12939 59 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220064 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 21832 0 0 0 13936 62 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220416 134649086 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 22855 0 0 0 14933 65 0 0 25 0 1 0 794741212 36491264 8153 4294967295 134512640 134714508 3221221776 3221218008 1076111521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8909 8153 1111 63 0 8846 0
vsize: 35636
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 23878 0 0 0 15930 67 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220176 1074119057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 24895 0 0 0 16928 70 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220492 134558560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 25899 0 0 0 17924 74 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219932 1077404770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 26891 0 0 0 18921 77 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220064 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 27932 0 0 0 19918 80 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 28904 0 0 0 20916 83 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219164 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 29921 0 0 0 21913 85 0 0 25 0 1 0 794741212 36483072 8147 4294967295 134512640 134714508 3221221776 3221217848 1074950215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8907 8147 1111 63 0 8844 0
vsize: 35628
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 30886 0 0 0 22911 88 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220032 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30941
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 31135 0 0 0 23909 90 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220480 134652538 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+250.06 s]
Raw data (loadavg): 1.07 1.00 0.99 3/58 30981
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 31294 0 0 0 24911 92 0 0 25 0 1 0 794741212 36306944 8107 4294967295 134512640 134714508 3221221776 3221217740 1074860598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8864 8107 1111 63 0 8801 0
vsize: 35456
[startup+260.128 s]
Raw data (loadavg): 1.14 1.02 0.99 2/55 30994
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 31451 0 0 0 25918 92 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+270.129 s]
Raw data (loadavg): 1.11 1.02 0.99 2/55 30994
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 31607 0 0 0 26917 93 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220128 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+280.201 s]
Raw data (loadavg): 1.10 1.01 0.99 2/55 30994
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 31766 0 0 0 27924 94 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219456 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+290.202 s]
Raw data (loadavg): 1.08 1.01 0.99 2/55 30994
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 31926 0 0 0 28923 95 0 0 25 0 1 0 794741212 36306944 8107 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8864 8107 1111 63 0 8801 0
vsize: 35456
[startup+300.202 s]
Raw data (loadavg): 1.07 1.01 0.99 2/55 30994
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 32076 0 0 0 29922 96 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219584 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+310.201 s]
Raw data (loadavg): 1.06 1.01 0.99 2/55 30994
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 32234 0 0 0 30921 97 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220080 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+320.203 s]
Raw data (loadavg): 1.05 1.01 0.99 2/55 30994
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 32391 0 0 0 31921 97 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+330.203 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 32550 0 0 0 32920 98 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+340.204 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 32709 0 0 0 33919 99 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+350.204 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 32864 0 0 0 34919 100 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219544 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+360.204 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 33025 0 0 0 35918 101 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+370.205 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 33186 0 0 0 36917 102 0 0 25 0 1 0 794741212 36306944 8107 4294967295 134512640 134714508 3221221776 3221217936 1074794560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8864 8107 1111 63 0 8801 0
vsize: 35456
[startup+380.205 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 33344 0 0 0 37916 103 0 0 25 0 1 0 794741212 36360192 8104 4294967295 134512640 134714508 3221221776 3221219696 1075799558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8877 8104 1111 63 0 8814 0
vsize: 35508
[startup+390.206 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 33510 0 0 0 38915 104 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221219488 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+400.207 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 33673 0 0 0 39914 105 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220392 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+410.207 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 33829 0 0 0 40913 106 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220064 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+420.208 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 33997 0 0 0 41913 107 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220160 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+430.209 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34165 0 0 0 42912 108 0 0 25 0 1 0 794741212 36167680 8102 4294967295 134512640 134714508 3221221776 3221220064 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8102 1111 63 0 8767 0
vsize: 35320
[startup+440.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34334 0 0 0 43911 110 0 0 25 0 1 0 794741212 36167680 8103 4294967295 134512640 134714508 3221221776 3221216452 1077374082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8103 1111 63 0 8767 0
vsize: 35320
[startup+450.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34392 0 0 0 44910 111 0 0 25 0 1 0 794741212 36167680 8103 4294967295 134512640 134714508 3221221776 3221219992 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8103 1111 63 0 8767 0
vsize: 35320
[startup+460.209 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34450 0 0 0 45910 111 0 0 25 0 1 0 794741212 36167680 8103 4294967295 134512640 134714508 3221221776 3221220080 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8103 1111 63 0 8767 0
vsize: 35320
[startup+470.21 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34508 0 0 0 46909 112 0 0 25 0 1 0 794741212 36167680 8103 4294967295 134512640 134714508 3221221776 3221219632 1074153527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8103 1111 63 0 8767 0
vsize: 35320
[startup+480.211 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34568 0 0 0 47909 113 0 0 25 0 1 0 794741212 36167680 8103 4294967295 134512640 134714508 3221221776 3221219688 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8103 1111 63 0 8767 0
vsize: 35320
[startup+490.211 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34627 0 0 0 48908 113 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219272 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+500.212 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34687 0 0 0 49908 114 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219776 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+510.212 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34861 0 0 0 50907 115 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219480 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+520.213 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 34994 0 0 0 51906 116 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220112 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+530.213 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35096 0 0 0 52906 117 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220112 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+540.214 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35204 0 0 0 53905 117 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219264 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+550.215 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35321 0 0 0 54905 118 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220024 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+560.215 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35441 0 0 0 55904 119 0 0 25 0 1 0 794741212 36306944 8107 4294967295 134512640 134714508 3221221776 3221218160 1076116715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8864 8107 1111 63 0 8801 0
vsize: 35456
[startup+570.216 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35561 0 0 0 56903 120 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+580.216 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35681 0 0 0 57902 121 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219600 1074050818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+590.217 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35804 0 0 0 58901 122 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219584 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+600.217 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30996
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35870 0 0 0 59901 123 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221217872 1074879060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+610.218 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35870 0 0 0 60901 123 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219696 1075799579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+620.218 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 35963 0 0 0 61900 124 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219696 1075799685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+630.218 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36077 0 0 0 62899 125 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220064 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+640.219 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36197 0 0 0 63898 127 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220048 1074056237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+650.219 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36317 0 0 0 64897 128 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220240 1074121006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+660.219 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36437 0 0 0 65897 128 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+670.22 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36560 0 0 0 66896 129 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220112 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+680.221 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 67895 130 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219960 1075606666 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+690.222 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 68896 130 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220368 134650190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+700.222 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 69896 130 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219824 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+710.222 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 70896 130 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+720.222 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 71895 131 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219624 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+730.222 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 72895 131 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219952 1074208179 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+740.222 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 73895 131 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+750.224 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 74895 131 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221220416 134649077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+760.223 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 75895 132 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219888 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+770.224 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 76895 132 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219056 1074140055 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+780.225 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36671 0 0 0 77895 132 0 0 25 0 1 0 794741212 36167680 8104 4294967295 134512640 134714508 3221221776 3221219696 1075799765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8104 1111 63 0 8767 0
vsize: 35320
[startup+790.225 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36672 0 0 0 78895 132 0 0 25 0 1 0 794741212 36167680 8105 4294967295 134512640 134714508 3221221776 3221218680 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8105 1111 63 0 8767 0
vsize: 35320
[startup+800.225 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36672 0 0 0 79895 132 0 0 25 0 1 0 794741212 36167680 8105 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8105 1111 63 0 8767 0
vsize: 35320
[startup+810.225 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36672 0 0 0 80896 132 0 0 25 0 1 0 794741212 36167680 8105 4294967295 134512640 134714508 3221221776 3221219936 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8105 1111 63 0 8767 0
vsize: 35320
[startup+820.226 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36673 0 0 0 81895 133 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+830.226 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36673 0 0 0 82895 133 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+840.227 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36673 0 0 0 83895 134 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220112 1074206923 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+850.228 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36673 0 0 0 84895 134 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220392 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+860.228 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36673 0 0 0 85895 134 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220128 1074115342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+870.229 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36673 0 0 0 86895 134 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219832 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+880.229 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36688 0 0 0 87894 135 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219704 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+890.229 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36796 0 0 0 88894 136 0 0 25 0 1 0 794741212 36306944 8109 4294967295 134512640 134714508 3221221776 3221217740 1074860598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8864 8109 1111 63 0 8801 0
vsize: 35456
[startup+900.231 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 36910 0 0 0 89893 137 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220128 1074142716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+910.231 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37030 0 0 0 90892 137 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219416 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+920.231 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37150 0 0 0 91892 138 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+930.231 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37270 0 0 0 92891 139 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219424 1075818331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+940.232 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37396 0 0 0 93891 140 0 0 25 0 1 0 794741212 36306944 8109 4294967295 134512640 134714508 3221221776 3221217936 1074794571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8864 8109 1111 63 0 8801 0
vsize: 35456
[startup+950.232 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 94890 141 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219592 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+960.232 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 95890 141 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219840 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+970.233 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 96890 141 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221217840 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+980.233 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 97890 141 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+990.234 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 98890 141 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220128 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1000.23 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 99890 141 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221218968 1074138309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1010.23 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 100890 142 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219880 1074138271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1020.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 101890 142 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219776 1074056630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1030.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 102890 142 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220040 1074138153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 103890 142 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219776 1074918280 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1050.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 104890 143 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1060.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 105890 143 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1070.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 106890 143 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220024 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1080.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 107890 143 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219888 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 108889 144 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220128 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 109889 145 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219784 1074138163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 110889 145 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219984 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1120.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 111888 145 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219920 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 112888 146 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219160 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1140.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 113888 146 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37462 0 0 0 114888 147 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220192 1074116254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37505 0 0 0 115887 147 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221220056 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37610 0 0 0 116886 148 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219696 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 35320
[startup+1175.07 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 30998
Raw data (stat): 30941 (bsolo_lpr) R 30940 7876 7672 0 -1 0 37610 0 0 0 116886 148 0 0 25 0 1 0 794741212 36167680 8106 4294967295 134512640 134714508 3221221776 3221219696 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8106 1111 63 0 8767 0
vsize: 0

Child status: 0
Real time (s): 1175.07
CPU time (s): 1175.19
CPU user time (s): 1173.68
CPU system time (s): 1.50477
CPU usage (%): 100.01
Max. virtual memory (Kb): 35644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####