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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM	7731f50c352d2fd7b2fe148b68bfdbab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
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	760
Total number of constraints	41605
Number of constraints which are clauses	41605
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24772

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 19:40:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2935 boxname=wulflinc31 idbench=327 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  7731f50c352d2fd7b2fe148b68bfdbab  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb
IDLAUNCH: 2935
/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:        882628 kB
Buffers:         35244 kB
Cached:          94944 kB
SwapCached:       1936 kB
Active:          97088 kB
Inactive:        36328 kB
HighTotal:      131008 kB
HighFree:        35140 kB
LowTotal:       903652 kB
LowFree:        847488 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             912 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12864 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 20:00:08 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 2935 7 1200.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41605 constraints.
c After prepocess the problem consists of 760 variables and 28351 constraints.
c preprocess terminated 241.925 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.91 0.95 0.95 2/55 11619
Raw data (stat): 11619 (runsolver) R 11618 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 729118112 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 14021 0 0 0 953 41 0 0 25 0 1 0 729118112 53645312 12266 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13097 12266 1111 63 0 13034 0
vsize: 52388
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 14769 0 0 0 1951 44 0 0 25 0 1 0 729118112 53747712 12291 4294967295 134512640 134714508 3221221792 3221220304 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13122 12291 1111 63 0 13059 0
vsize: 52488
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 15054 0 0 0 2950 44 0 0 25 0 1 0 729118112 53747712 12291 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13122 12291 1111 63 0 13059 0
vsize: 52488
[startup+40.003 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 15822 0 0 0 3948 47 0 0 25 0 1 0 729118112 54321152 12431 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+50.0043 s]
Raw data (loadavg): 0.96 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 15822 0 0 0 4948 47 0 0 25 0 1 0 729118112 54321152 12431 4294967295 134512640 134714508 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 15822 0 0 0 5948 47 0 0 25 0 1 0 729118112 54321152 12431 4294967295 134512640 134714508 3221221792 3221220176 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+70.0057 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 15822 0 0 0 6948 48 0 0 25 0 1 0 729118112 54321152 12431 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 15822 0 0 0 7948 48 0 0 25 0 1 0 729118112 54321152 12431 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 15822 0 0 0 8947 48 0 0 25 0 1 0 729118112 54321152 12431 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 15822 0 0 0 9947 49 0 0 25 0 1 0 729118112 54321152 12431 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 15855 0 0 0 10947 49 0 0 25 0 1 0 729118112 54423552 12456 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13287 12456 1111 63 0 13224 0
vsize: 53148
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16111 0 0 0 11946 50 0 0 25 0 1 0 729118112 55341056 12654 4294967295 134512640 134714508 3221221792 3221220172 134539208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13511 12654 1111 63 0 13448 0
vsize: 54044
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16111 0 0 0 12946 50 0 0 25 0 1 0 729118112 55341056 12654 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13511 12654 1111 63 0 13448 0
vsize: 54044
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16111 0 0 0 13946 50 0 0 25 0 1 0 729118112 55341056 12654 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13511 12654 1111 63 0 13448 0
vsize: 54044
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16220 0 0 0 14946 51 0 0 25 0 1 0 729118112 55545856 12704 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13561 12704 1111 63 0 13498 0
vsize: 54244
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16563 0 0 0 15945 52 0 0 25 0 1 0 729118112 55959552 12831 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16563 0 0 0 16945 52 0 0 25 0 1 0 729118112 55959552 12831 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16563 0 0 0 17944 53 0 0 25 0 1 0 729118112 55959552 12831 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16563 0 0 0 18944 53 0 0 25 0 1 0 729118112 55959552 12831 4294967295 134512640 134714508 3221221792 3221220444 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16563 0 0 0 19944 53 0 0 25 0 1 0 729118112 55959552 12831 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16607 0 0 0 20944 54 0 0 25 0 1 0 729118112 56229888 12875 4294967295 134512640 134714508 3221221792 3221220444 134558608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13728 12875 1111 63 0 13665 0
vsize: 54912
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 16658 0 0 0 21944 54 0 0 25 0 1 0 729118112 56369152 12926 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13762 12926 1111 63 0 13699 0
vsize: 55048
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17039 0 0 0 22943 55 0 0 25 0 1 0 729118112 58032128 13307 4294967295 134512640 134714508 3221221792 3221220648 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14168 13307 1111 63 0 14105 0
vsize: 56672
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17068 0 0 0 23943 56 0 0 25 0 1 0 729118112 58032128 13336 4294967295 134512640 134714508 3221221792 3221220672 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14168 13336 1111 63 0 14105 0
vsize: 56672
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17616 0 0 0 24940 58 0 0 25 0 1 0 729118112 60502016 13851 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14771 13851 1111 63 0 14708 0
vsize: 59084
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17675 0 0 0 25938 60 0 0 25 0 1 0 729118112 60698624 13910 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14819 13910 1111 63 0 14756 0
vsize: 59276
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17749 0 0 0 26937 62 0 0 25 0 1 0 729118112 60973056 13984 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14886 13984 1111 63 0 14823 0
vsize: 59544
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17780 0 0 0 27935 63 0 0 25 0 1 0 729118112 61091840 14015 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14915 14015 1111 63 0 14852 0
vsize: 59660
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17818 0 0 0 28935 64 0 0 25 0 1 0 729118112 61214720 14053 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14945 14053 1111 63 0 14882 0
vsize: 59780
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17842 0 0 0 29933 65 0 0 25 0 1 0 729118112 61304832 14077 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14967 14077 1111 63 0 14904 0
vsize: 59868
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17972 0 0 0 30932 67 0 0 25 0 1 0 729118112 61804544 14207 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15089 14207 1111 63 0 15026 0
vsize: 60356
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 17991 0 0 0 31931 68 0 0 25 0 1 0 729118112 61878272 14226 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15107 14226 1111 63 0 15044 0
vsize: 60428
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 18011 0 0 0 32930 69 0 0 25 0 1 0 729118112 61956096 14246 4294967295 134512640 134714508 3221221792 3221220000 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15126 14246 1111 63 0 15063 0
vsize: 60504
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 18029 0 0 0 33930 70 0 0 25 0 1 0 729118112 62025728 14264 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15143 14264 1111 63 0 15080 0
vsize: 60572
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 18078 0 0 0 34929 71 0 0 25 0 1 0 729118112 62181376 14276 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15181 14276 1111 63 0 15118 0
vsize: 60724
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 18096 0 0 0 35928 72 0 0 25 0 1 0 729118112 62251008 14294 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15198 14294 1111 63 0 15135 0
vsize: 60792
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 18113 0 0 0 36927 72 0 0 25 0 1 0 729118112 62316544 14311 4294967295 134512640 134714508 3221221792 3221220064 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15214 14311 1111 63 0 15151 0
vsize: 60856
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 18129 0 0 0 37926 73 0 0 25 0 1 0 729118112 62377984 14327 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15229 14327 1111 63 0 15166 0
vsize: 60916
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 18144 0 0 0 38925 74 0 0 25 0 1 0 729118112 62439424 14342 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14342 1111 63 0 15181 0
vsize: 60976
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 18267 0 0 0 39924 76 0 0 25 0 1 0 729118112 62918656 14465 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15361 14465 1111 63 0 15298 0
vsize: 61444
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 18283 0 0 0 40923 76 0 0 25 0 1 0 729118112 62980096 14481 4294967295 134512640 134714508 3221221792 3221220040 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15376 14481 1111 63 0 15313 0
vsize: 61504
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 23358 0 0 0 41912 88 0 0 25 0 1 0 729118112 84488192 17756 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20627 17756 1111 63 0 20564 0
vsize: 82508
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24258 0 0 0 42910 90 0 0 25 0 1 0 729118112 84488192 18654 4294967295 134512640 134714508 3221221792 3221217936 1075895887 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20627 18654 1111 63 0 20564 0
vsize: 82508
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24515 0 0 0 43909 92 0 0 25 0 1 0 729118112 82395136 18107 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20116 18107 1111 63 0 20053 0
vsize: 80464
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24528 0 0 0 44909 92 0 0 25 0 1 0 729118112 82395136 18118 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20116 18118 1111 63 0 20053 0
vsize: 80464
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24561 0 0 0 45909 92 0 0 25 0 1 0 729118112 82395136 18149 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20116 18149 1111 63 0 20053 0
vsize: 80464
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24577 0 0 0 46908 93 0 0 25 0 1 0 729118112 82395136 18163 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20116 18163 1111 63 0 20053 0
vsize: 80464
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24596 0 0 0 47908 93 0 0 25 0 1 0 729118112 82395136 18180 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20116 18180 1111 63 0 20053 0
vsize: 80464
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24681 0 0 0 48907 94 0 0 25 0 1 0 729118112 82808832 18261 4294967295 134512640 134714508 3221221792 3221217672 1075964737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20217 18261 1111 63 0 20154 0
vsize: 80868
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24691 0 0 0 49907 94 0 0 25 0 1 0 729118112 82808832 18269 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20217 18269 1111 63 0 20154 0
vsize: 80868
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24757 0 0 0 50907 95 0 0 25 0 1 0 729118112 83247104 18333 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20324 18333 1111 63 0 20261 0
vsize: 81296
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24785 0 0 0 51907 95 0 0 25 0 1 0 729118112 83247104 18359 4294967295 134512640 134714508 3221221792 3221217704 1075964733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20324 18359 1111 63 0 20261 0
vsize: 81296
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24801 0 0 0 52906 96 0 0 25 0 1 0 729118112 83247104 18373 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20324 18373 1111 63 0 20261 0
vsize: 81296
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24851 0 0 0 53906 96 0 0 25 0 1 0 729118112 83705856 18421 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20436 18421 1111 63 0 20373 0
vsize: 81744
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24884 0 0 0 54906 96 0 0 25 0 1 0 729118112 83705856 18452 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20436 18452 1111 63 0 20373 0
vsize: 81744
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24895 0 0 0 55906 97 0 0 25 0 1 0 729118112 83705856 18461 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20436 18461 1111 63 0 20373 0
vsize: 81744
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24969 0 0 0 56905 97 0 0 25 0 1 0 729118112 84197376 18533 4294967295 134512640 134714508 3221221792 3221217856 1074969685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18533 1111 63 0 20493 0
vsize: 82224
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 24988 0 0 0 57905 97 0 0 25 0 1 0 729118112 84197376 18550 4294967295 134512640 134714508 3221221792 3221217856 1074969465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18550 1111 63 0 20493 0
vsize: 82224
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25003 0 0 0 58905 98 0 0 25 0 1 0 729118112 84197376 18563 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18563 1111 63 0 20493 0
vsize: 82224
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25011 0 0 0 59904 99 0 0 25 0 1 0 729118112 84197376 18567 4294967295 134512640 134714508 3221221792 3221217824 1075895674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18567 1111 63 0 20493 0
vsize: 82224
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25021 0 0 0 60904 99 0 0 25 0 1 0 729118112 84197376 18575 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18575 1111 63 0 20493 0
vsize: 82224
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25033 0 0 0 61904 99 0 0 25 0 1 0 729118112 84197376 18583 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18583 1111 63 0 20493 0
vsize: 82224
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25037 0 0 0 62904 99 0 0 25 0 1 0 729118112 84197376 18585 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18585 1111 63 0 20493 0
vsize: 82224
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25042 0 0 0 63904 100 0 0 25 0 1 0 729118112 84197376 18586 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18586 1111 63 0 20493 0
vsize: 82224
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25068 0 0 0 64904 100 0 0 25 0 1 0 729118112 84197376 18610 4294967295 134512640 134714508 3221221792 3221217936 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18610 1111 63 0 20493 0
vsize: 82224
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25081 0 0 0 65904 100 0 0 25 0 1 0 729118112 84197376 18619 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18619 1111 63 0 20493 0
vsize: 82224
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25087 0 0 0 66904 101 0 0 25 0 1 0 729118112 84197376 18623 4294967295 134512640 134714508 3221221792 3221217920 1074815188 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18623 1111 63 0 20493 0
vsize: 82224
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25091 0 0 0 67903 101 0 0 25 0 1 0 729118112 84197376 18623 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18623 1111 63 0 20493 0
vsize: 82224
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25098 0 0 0 68903 101 0 0 25 0 1 0 729118112 84197376 18626 4294967295 134512640 134714508 3221221792 3221217984 1074961487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18626 1111 63 0 20493 0
vsize: 82224
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25100 0 0 0 69903 102 0 0 25 0 1 0 729118112 84197376 18626 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18626 1111 63 0 20493 0
vsize: 82224
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25105 0 0 0 70903 102 0 0 25 0 1 0 729118112 84197376 18627 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18627 1111 63 0 20493 0
vsize: 82224
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25110 0 0 0 71903 102 0 0 25 0 1 0 729118112 84197376 18630 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18630 1111 63 0 20493 0
vsize: 82224
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25202 0 0 0 72902 103 0 0 25 0 1 0 729118112 84705280 18718 4294967295 134512640 134714508 3221221792 3221217840 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18718 1111 63 0 20617 0
vsize: 82720
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25210 0 0 0 73902 103 0 0 25 0 1 0 729118112 84705280 18724 4294967295 134512640 134714508 3221221792 3221217936 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18724 1111 63 0 20617 0
vsize: 82720
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25214 0 0 0 74902 103 0 0 25 0 1 0 729118112 84705280 18724 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18724 1111 63 0 20617 0
vsize: 82720
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25216 0 0 0 75902 103 0 0 25 0 1 0 729118112 84705280 18724 4294967295 134512640 134714508 3221221792 3221217984 1074961132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18724 1111 63 0 20617 0
vsize: 82720
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25220 0 0 0 76902 104 0 0 25 0 1 0 729118112 84705280 18724 4294967295 134512640 134714508 3221221792 3221217872 1075095169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18724 1111 63 0 20617 0
vsize: 82720
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25226 0 0 0 77902 104 0 0 25 0 1 0 729118112 84705280 18728 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25230 0 0 0 78902 104 0 0 25 0 1 0 729118112 84705280 18728 4294967295 134512640 134714508 3221221792 3221217920 1074815281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25232 0 0 0 79902 104 0 0 25 0 1 0 729118112 84705280 18728 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25236 0 0 0 80902 105 0 0 25 0 1 0 729118112 84705280 18728 4294967295 134512640 134714508 3221221792 3221217756 1074873336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25238 0 0 0 81902 105 0 0 25 0 1 0 729118112 84705280 18728 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25242 0 0 0 82901 106 0 0 25 0 1 0 729118112 84934656 18730 4294967295 134512640 134714508 3221221792 3221218784 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20736 18730 1111 63 0 20673 0
vsize: 82944
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25310 0 0 0 83901 106 0 0 25 0 1 0 729118112 85233664 18794 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20809 18794 1111 63 0 20746 0
vsize: 83236
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25500 0 0 0 84900 107 0 0 25 0 1 0 729118112 86380544 18978 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21089 18978 1111 63 0 21026 0
vsize: 84356
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25542 0 0 0 85900 107 0 0 25 0 1 0 729118112 86380544 19018 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21089 19018 1111 63 0 21026 0
vsize: 84356
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25548 0 0 0 86900 107 0 0 25 0 1 0 729118112 86380544 19022 4294967295 134512640 134714508 3221221792 3221217812 1075964248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21089 19022 1111 63 0 21026 0
vsize: 84356
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25554 0 0 0 87900 108 0 0 25 0 1 0 729118112 86380544 19024 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21089 19024 1111 63 0 21026 0
vsize: 84356
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25556 0 0 0 88900 108 0 0 25 0 1 0 729118112 86380544 19024 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21089 19024 1111 63 0 21026 0
vsize: 84356
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25563 0 0 0 89900 108 0 0 25 0 1 0 729118112 86380544 19029 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21089 19029 1111 63 0 21026 0
vsize: 84356
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25612 0 0 0 90900 108 0 0 25 0 1 0 729118112 86999040 19074 4294967295 134512640 134714508 3221221792 3221218632 1075964720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21240 19074 1111 63 0 21177 0
vsize: 84960
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25788 0 0 0 91900 108 0 0 25 0 1 0 729118112 87642112 19248 4294967295 134512640 134714508 3221221792 3221217872 1074794682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19248 1111 63 0 21334 0
vsize: 85588
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25824 0 0 0 92900 108 0 0 25 0 1 0 729118112 87642112 19282 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19282 1111 63 0 21334 0
vsize: 85588
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25833 0 0 0 93900 108 0 0 25 0 1 0 729118112 87642112 19289 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19289 1111 63 0 21334 0
vsize: 85588
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25841 0 0 0 94900 108 0 0 25 0 1 0 729118112 87642112 19293 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19293 1111 63 0 21334 0
vsize: 85588
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25847 0 0 0 95900 109 0 0 25 0 1 0 729118112 87642112 19297 4294967295 134512640 134714508 3221221792 3221217596 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19297 1111 63 0 21334 0
vsize: 85588
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25850 0 0 0 96900 109 0 0 25 0 1 0 729118112 87642112 19298 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19298 1111 63 0 21334 0
vsize: 85588
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25854 0 0 0 97901 109 0 0 25 0 1 0 729118112 87642112 19300 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19300 1111 63 0 21334 0
vsize: 85588
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25861 0 0 0 98901 109 0 0 25 0 1 0 729118112 87642112 19303 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19303 1111 63 0 21334 0
vsize: 85588
[startup+1000.04 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25877 0 0 0 99901 109 0 0 25 0 1 0 729118112 87642112 19317 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19317 1111 63 0 21334 0
vsize: 85588
[startup+1010.04 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25880 0 0 0 100901 109 0 0 25 0 1 0 729118112 87642112 19318 4294967295 134512640 134714508 3221221792 3221217648 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19318 1111 63 0 21334 0
vsize: 85588
[startup+1020.04 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25883 0 0 0 101901 109 0 0 25 0 1 0 729118112 87642112 19319 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 19319 1111 63 0 21334 0
vsize: 85588
[startup+1030.04 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25890 0 0 0 102901 109 0 0 25 0 1 0 729118112 87871488 19324 4294967295 134512640 134714508 3221221792 3221218784 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21453 19324 1111 63 0 21390 0
vsize: 85812
[startup+1040.04 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 25991 0 0 0 103901 109 0 0 25 0 1 0 729118112 88326144 19421 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19421 1111 63 0 21501 0
vsize: 86256
[startup+1050.04 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26035 0 0 0 104901 109 0 0 25 0 1 0 729118112 88326144 19463 4294967295 134512640 134714508 3221221792 3221217940 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19463 1111 63 0 21501 0
vsize: 86256
[startup+1060.04 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26041 0 0 0 105901 109 0 0 25 0 1 0 729118112 88326144 19467 4294967295 134512640 134714508 3221221792 3221217940 1075115051 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19467 1111 63 0 21501 0
vsize: 86256
[startup+1070.05 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26056 0 0 0 106901 109 0 0 25 0 1 0 729118112 88326144 19480 4294967295 134512640 134714508 3221221792 3221217648 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19480 1111 63 0 21501 0
vsize: 86256
[startup+1080.04 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26060 0 0 0 107901 110 0 0 25 0 1 0 729118112 88326144 19480 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19480 1111 63 0 21501 0
vsize: 86256
[startup+1090.05 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26063 0 0 0 108902 110 0 0 25 0 1 0 729118112 88326144 19481 4294967295 134512640 134714508 3221221792 3221218240 1075397211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19481 1111 63 0 21501 0
vsize: 86256
[startup+1100.05 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26067 0 0 0 109902 110 0 0 25 0 1 0 729118112 88326144 19483 4294967295 134512640 134714508 3221221792 3221217824 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19483 1111 63 0 21501 0
vsize: 86256
[startup+1110.05 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26075 0 0 0 110902 110 0 0 25 0 1 0 729118112 88326144 19489 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19489 1111 63 0 21501 0
vsize: 86256
[startup+1120.05 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26093 0 0 0 111902 110 0 0 25 0 1 0 729118112 88555520 19505 4294967295 134512640 134714508 3221221792 3221218752 1075971404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21620 19505 1111 63 0 21557 0
vsize: 86480
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26096 0 0 0 112902 110 0 0 25 0 1 0 729118112 88326144 19504 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19504 1111 63 0 21501 0
vsize: 86256
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26107 0 0 0 113902 110 0 0 25 0 1 0 729118112 88326144 19513 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19513 1111 63 0 21501 0
vsize: 86256
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26117 0 0 0 114902 110 0 0 25 0 1 0 729118112 88326144 19521 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19521 1111 63 0 21501 0
vsize: 86256
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26119 0 0 0 115903 110 0 0 25 0 1 0 729118112 88326144 19521 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19521 1111 63 0 21501 0
vsize: 86256
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26121 0 0 0 116903 110 0 0 25 0 1 0 729118112 88326144 19521 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19521 1111 63 0 21501 0
vsize: 86256
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26126 0 0 0 117903 110 0 0 25 0 1 0 729118112 88326144 19522 4294967295 134512640 134714508 3221221792 3221217648 1075965232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19522 1111 63 0 21501 0
vsize: 86256
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11619
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26128 0 0 0 118903 110 0 0 25 0 1 0 729118112 88326144 19522 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19522 1111 63 0 21501 0
vsize: 86256
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.95 3/57 11627
Raw data (stat): 11619 (bsolo_lpr) R 11618 7876 7672 0 -1 0 26130 0 0 0 119903 110 0 0 25 0 1 0 729118112 88326144 19522 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21564 19522 1111 63 0 21501 0
vsize: 86256
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/58 11628
Raw data (stat): 11619 (bsolo_lpr) Z 11618 7876 7672 0 -1 1036 26130 0 0 0 119903 114 0 0 25 0 1 0 729118112 0 0 4294967295 0 0 0 0 0 0 0 1 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): 1200.09
CPU time (s): 1200.18
CPU user time (s): 1199.04
CPU system time (s): 1.14482
CPU usage (%): 100.007
Max. virtual memory (Kb): 86480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####