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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb
MD5SUM	ebb49febffdfe5475bc23e4ef8d466db
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	188160
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6734508713856
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	4602477289606474
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.65459
Number of variables	282240
Total number of constraints	3136
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	3136
Minimum length of a constraint	150
Maximum length of a constraint	720
Trace number 39853

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 21:09:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27890 boxname=wulflinc5 idbench=846 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ebb49febffdfe5475bc23e4ef8d466db  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-maros-r7.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-maros-r7.opb
IDLAUNCH: 27890
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        728732 kB
Buffers:         33944 kB
Cached:         247040 kB
SwapCached:        604 kB
Active:          96584 kB
Inactive:       186456 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        728480 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            17312 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:29:56 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27890 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.93 0.95 0.91 1/54 8703
Raw data (stat): 8703 (runsolver) R 8702 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896123359 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 1414 0 0 0 992 5 0 0 25 0 1 0 896123359 15511552 1334 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1334 1111 63 0 3724 0
vsize: 15148
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 1503 0 0 0 1992 6 0 0 25 0 1 0 896123359 15806464 1423 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 1423 1111 63 0 3796 0
vsize: 15436
[startup+30.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 1597 0 0 0 2992 6 0 0 25 0 1 0 896123359 16232448 1517 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 1517 1111 63 0 3900 0
vsize: 15852
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 1685 0 0 0 3992 6 0 0 25 0 1 0 896123359 16527360 1605 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4035 1605 1111 63 0 3972 0
vsize: 16140
[startup+50.0033 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 1780 0 0 0 4991 7 0 0 25 0 1 0 896123359 16982016 1700 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4146 1700 1111 63 0 4083 0
vsize: 16584
[startup+60.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 1871 0 0 0 5991 7 0 0 25 0 1 0 896123359 17412096 1791 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1791 1111 63 0 4188 0
vsize: 17004
[startup+70.0038 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 1966 0 0 0 6990 8 0 0 25 0 1 0 896123359 17715200 1886 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1886 1111 63 0 4262 0
vsize: 17300
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2054 0 0 0 7990 9 0 0 25 0 1 0 896123359 18161664 1974 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1974 1111 63 0 4371 0
vsize: 17736
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2142 0 0 0 8990 9 0 0 25 0 1 0 896123359 18460672 2062 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4507 2062 1111 63 0 4444 0
vsize: 18028
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2237 0 0 0 9989 9 0 0 25 0 1 0 896123359 18915328 2157 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4618 2157 1111 63 0 4555 0
vsize: 18472
[startup+110.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2336 0 0 0 10989 10 0 0 25 0 1 0 896123359 19197952 2256 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 2256 1111 63 0 4624 0
vsize: 18748
[startup+120.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2426 0 0 0 11988 11 0 0 25 0 1 0 896123359 19636224 2346 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4794 2346 1111 63 0 4731 0
vsize: 19176
[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2514 0 0 0 12988 11 0 0 25 0 1 0 896123359 19927040 2434 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 2434 1111 63 0 4802 0
vsize: 19460
[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2610 0 0 0 13988 11 0 0 25 0 1 0 896123359 20373504 2530 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 2530 1111 63 0 4911 0
vsize: 19896
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2704 0 0 0 14987 12 0 0 25 0 1 0 896123359 20824064 2624 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5084 2624 1111 63 0 5021 0
vsize: 20336
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2792 0 0 0 15987 12 0 0 25 0 1 0 896123359 21123072 2712 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2712 1111 63 0 5094 0
vsize: 20628
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2887 0 0 0 16987 12 0 0 25 0 1 0 896123359 21577728 2807 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5268 2807 1111 63 0 5205 0
vsize: 21072
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 2981 0 0 0 17986 13 0 0 25 0 1 0 896123359 21876736 2901 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5341 2901 1111 63 0 5278 0
vsize: 21364
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3070 0 0 0 18985 14 0 0 25 0 1 0 896123359 22327296 2990 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5451 2990 1111 63 0 5388 0
vsize: 21804
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3159 0 0 0 19985 15 0 0 25 0 1 0 896123359 22622208 3079 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 3079 1111 63 0 5460 0
vsize: 22092
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3253 0 0 0 20984 15 0 0 25 0 1 0 896123359 23072768 3173 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3173 1111 63 0 5570 0
vsize: 22532
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3355 0 0 0 21984 16 0 0 25 0 1 0 896123359 23511040 3275 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 3275 1111 63 0 5677 0
vsize: 22960
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3443 0 0 0 22983 16 0 0 25 0 1 0 896123359 23810048 3363 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5813 3363 1111 63 0 5750 0
vsize: 23252
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3539 0 0 0 23983 17 0 0 25 0 1 0 896123359 24264704 3459 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5924 3459 1111 63 0 5861 0
vsize: 23696
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3633 0 0 0 24982 17 0 0 25 0 1 0 896123359 24563712 3553 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5997 3553 1111 63 0 5934 0
vsize: 23988
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3723 0 0 0 25983 18 0 0 25 0 1 0 896123359 25014272 3643 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6107 3643 1111 63 0 6044 0
vsize: 24428
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3818 0 0 0 26982 18 0 0 25 0 1 0 896123359 25309184 3738 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6179 3738 1111 63 0 6116 0
vsize: 24716
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 3912 0 0 0 27982 19 0 0 25 0 1 0 896123359 25759744 3832 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6289 3832 1111 63 0 6226 0
vsize: 25156
[startup+290.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4003 0 0 0 28982 19 0 0 25 0 1 0 896123359 26062848 3923 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6363 3923 1111 63 0 6300 0
vsize: 25452
[startup+300.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4097 0 0 0 29982 20 0 0 25 0 1 0 896123359 26509312 4017 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6472 4017 1111 63 0 6409 0
vsize: 25888
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4192 0 0 0 30981 20 0 0 25 0 1 0 896123359 26804224 4112 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 4112 1111 63 0 6481 0
vsize: 26176
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4281 0 0 0 31981 20 0 0 25 0 1 0 896123359 27230208 4201 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6648 4201 1111 63 0 6585 0
vsize: 26592
[startup+330.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4375 0 0 0 32981 21 0 0 25 0 1 0 896123359 27676672 4295 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 4295 1111 63 0 6694 0
vsize: 27028
[startup+340.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4471 0 0 0 33981 21 0 0 25 0 1 0 896123359 27979776 4391 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6831 4391 1111 63 0 6768 0
vsize: 27324
[startup+350.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4561 0 0 0 34981 21 0 0 25 0 1 0 896123359 28426240 4481 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6940 4481 1111 63 0 6877 0
vsize: 27760
[startup+360.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4662 0 0 0 35981 21 0 0 25 0 1 0 896123359 28729344 4582 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7014 4582 1111 63 0 6951 0
vsize: 28056
[startup+370.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4751 0 0 0 36981 22 0 0 25 0 1 0 896123359 29179904 4671 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7124 4671 1111 63 0 7061 0
vsize: 28496
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4847 0 0 0 37981 22 0 0 25 0 1 0 896123359 29474816 4767 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4767 1111 63 0 7133 0
vsize: 28784
[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 4941 0 0 0 38981 22 0 0 25 0 1 0 896123359 29929472 4861 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 4861 1111 63 0 7244 0
vsize: 29228
[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5035 0 0 0 39981 22 0 0 25 0 1 0 896123359 30375936 4955 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4955 1111 63 0 7353 0
vsize: 29664
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5131 0 0 0 40981 22 0 0 25 0 1 0 896123359 30679040 5051 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 5051 1111 63 0 7427 0
vsize: 29960
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5220 0 0 0 41981 22 0 0 25 0 1 0 896123359 31125504 5140 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 5140 1111 63 0 7536 0
vsize: 30396
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5333 0 0 0 42981 23 0 0 25 0 1 0 896123359 31617024 5253 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7719 5253 1111 63 0 7656 0
vsize: 30876
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5421 0 0 0 43981 23 0 0 25 0 1 0 896123359 31916032 5341 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7792 5341 1111 63 0 7729 0
vsize: 31168
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5523 0 0 0 44981 23 0 0 25 0 1 0 896123359 32366592 5443 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7902 5443 1111 63 0 7839 0
vsize: 31608
[startup+460.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5612 0 0 0 45981 24 0 0 25 0 1 0 896123359 32661504 5532 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5532 1111 63 0 7911 0
vsize: 31896
[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5706 0 0 0 46981 24 0 0 25 0 1 0 896123359 33112064 5626 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8084 5626 1111 63 0 8021 0
vsize: 32336
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5804 0 0 0 47980 24 0 0 25 0 1 0 896123359 33562624 5724 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8194 5724 1111 63 0 8131 0
vsize: 32776
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5899 0 0 0 48980 24 0 0 25 0 1 0 896123359 33861632 5819 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8267 5819 1111 63 0 8204 0
vsize: 33068
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 5995 0 0 0 49981 24 0 0 25 0 1 0 896123359 34316288 5915 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8378 5915 1111 63 0 8315 0
vsize: 33512
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6089 0 0 0 50980 25 0 0 25 0 1 0 896123359 34611200 6009 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 6009 1111 63 0 8387 0
vsize: 33800
[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6185 0 0 0 51981 25 0 0 25 0 1 0 896123359 35061760 6105 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 6105 1111 63 0 8497 0
vsize: 34240
[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6282 0 0 0 52981 25 0 0 25 0 1 0 896123359 35512320 6202 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8670 6202 1111 63 0 8607 0
vsize: 34680
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6376 0 0 0 53981 25 0 0 25 0 1 0 896123359 35811328 6296 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8743 6296 1111 63 0 8680 0
vsize: 34972
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6472 0 0 0 54981 25 0 0 25 0 1 0 896123359 36261888 6392 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 6392 1111 63 0 8790 0
vsize: 35412
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6567 0 0 0 55981 25 0 0 25 0 1 0 896123359 36560896 6487 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8926 6487 1111 63 0 8863 0
vsize: 35704
[startup+570.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6663 0 0 0 56981 26 0 0 25 0 1 0 896123359 37011456 6583 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6583 1111 63 0 8973 0
vsize: 36144
[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6759 0 0 0 57981 26 0 0 25 0 1 0 896123359 37457920 6679 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9145 6679 1111 63 0 9082 0
vsize: 36580
[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6861 0 0 0 58981 26 0 0 25 0 1 0 896123359 37761024 6781 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6781 1111 63 0 9156 0
vsize: 36876
[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 6950 0 0 0 59981 26 0 0 25 0 1 0 896123359 38211584 6870 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9329 6870 1111 63 0 9266 0
vsize: 37316
[startup+610.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7052 0 0 0 60981 27 0 0 25 0 1 0 896123359 38662144 6972 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9439 6972 1111 63 0 9376 0
vsize: 37756
[startup+620.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7141 0 0 0 61981 27 0 0 25 0 1 0 896123359 38961152 7061 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9512 7061 1111 63 0 9449 0
vsize: 38048
[startup+630.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7243 0 0 0 62981 27 0 0 25 0 1 0 896123359 39407616 7163 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9621 7163 1111 63 0 9558 0
vsize: 38484
[startup+640.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7340 0 0 0 63981 27 0 0 25 0 1 0 896123359 39710720 7260 4294967295 134512640 134716908 3221224576 3221222536 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7260 1111 63 0 9632 0
vsize: 38780
[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7434 0 0 0 64981 27 0 0 25 0 1 0 896123359 40157184 7354 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9804 7354 1111 63 0 9741 0
vsize: 39216
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7530 0 0 0 65981 28 0 0 25 0 1 0 896123359 40611840 7450 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9915 7450 1111 63 0 9852 0
vsize: 39660
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7625 0 0 0 66981 28 0 0 25 0 1 0 896123359 40910848 7545 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9988 7545 1111 63 0 9925 0
vsize: 39952
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7722 0 0 0 67981 28 0 0 25 0 1 0 896123359 41361408 7642 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10098 7642 1111 63 0 10035 0
vsize: 40392
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7818 0 0 0 68981 29 0 0 25 0 1 0 896123359 41660416 7738 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10171 7738 1111 63 0 10108 0
vsize: 40684
[startup+700.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 7919 0 0 0 69981 29 0 0 25 0 1 0 896123359 42106880 7839 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10280 7839 1111 63 0 10217 0
vsize: 41120
[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8009 0 0 0 70981 29 0 0 25 0 1 0 896123359 42557440 7929 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10390 7929 1111 63 0 10327 0
vsize: 41560
[startup+720.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8110 0 0 0 71981 29 0 0 25 0 1 0 896123359 42856448 8030 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10463 8030 1111 63 0 10400 0
vsize: 41852
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8207 0 0 0 72981 29 0 0 25 0 1 0 896123359 43311104 8127 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10574 8127 1111 63 0 10511 0
vsize: 42296
[startup+740.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8303 0 0 0 73981 30 0 0 25 0 1 0 896123359 43753472 8223 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8223 1111 63 0 10619 0
vsize: 42728
[startup+750.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8405 0 0 0 74981 30 0 0 25 0 1 0 896123359 44052480 8325 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10755 8325 1111 63 0 10692 0
vsize: 43020
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8494 0 0 0 75981 30 0 0 25 0 1 0 896123359 44507136 8414 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10866 8414 1111 63 0 10803 0
vsize: 43464
[startup+770.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8596 0 0 0 76981 30 0 0 25 0 1 0 896123359 44953600 8516 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10975 8516 1111 63 0 10912 0
vsize: 43900
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8691 0 0 0 77981 30 0 0 25 0 1 0 896123359 45256704 8611 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11049 8611 1111 63 0 10986 0
vsize: 44196
[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8785 0 0 0 78981 30 0 0 25 0 1 0 896123359 45703168 8705 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11158 8705 1111 63 0 11095 0
vsize: 44632
[startup+800.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8888 0 0 0 79981 30 0 0 25 0 1 0 896123359 46129152 8808 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11262 8808 1111 63 0 11199 0
vsize: 45048
[startup+810.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 8983 0 0 0 80981 31 0 0 25 0 1 0 896123359 46424064 8903 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11334 8903 1111 63 0 11271 0
vsize: 45336
[startup+820.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9079 0 0 0 81981 31 0 0 25 0 1 0 896123359 46878720 8999 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11445 8999 1111 63 0 11382 0
vsize: 45780
[startup+830.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9174 0 0 0 82982 31 0 0 25 0 1 0 896123359 47325184 9094 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11554 9094 1111 63 0 11491 0
vsize: 46216
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9290 0 0 0 83982 31 0 0 25 0 1 0 896123359 47857664 9210 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11684 9210 1111 63 0 11621 0
vsize: 46736
[startup+850.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9391 0 0 0 84982 31 0 0 25 0 1 0 896123359 48295936 9311 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11791 9311 1111 63 0 11728 0
vsize: 47164
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9486 0 0 0 85982 31 0 0 25 0 1 0 896123359 48594944 9406 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11864 9406 1111 63 0 11801 0
vsize: 47456
[startup+870.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9582 0 0 0 86982 32 0 0 25 0 1 0 896123359 49045504 9502 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11974 9502 1111 63 0 11911 0
vsize: 47896
[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9683 0 0 0 87982 32 0 0 25 0 1 0 896123359 49496064 9603 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12084 9603 1111 63 0 12021 0
vsize: 48336
[startup+890.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9781 0 0 0 88982 32 0 0 25 0 1 0 896123359 49799168 9701 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12158 9701 1111 63 0 12095 0
vsize: 48632
[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9876 0 0 0 89982 32 0 0 25 0 1 0 896123359 50245632 9796 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12267 9796 1111 63 0 12204 0
vsize: 49068
[startup+910.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 9979 0 0 0 90982 32 0 0 25 0 1 0 896123359 50675712 9899 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12372 9899 1111 63 0 12309 0
vsize: 49488
[startup+920.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10074 0 0 0 91982 32 0 0 25 0 1 0 896123359 51113984 9994 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12479 9994 1111 63 0 12416 0
vsize: 49916
[startup+930.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10170 0 0 0 92982 32 0 0 25 0 1 0 896123359 51412992 10090 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12552 10090 1111 63 0 12489 0
vsize: 50208
[startup+940.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10273 0 0 0 93982 33 0 0 25 0 1 0 896123359 51863552 10193 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12662 10193 1111 63 0 12599 0
vsize: 50648
[startup+950.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10368 0 0 0 94982 33 0 0 25 0 1 0 896123359 52314112 10288 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12772 10288 1111 63 0 12709 0
vsize: 51088
[startup+960.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10465 0 0 0 95982 33 0 0 25 0 1 0 896123359 52617216 10385 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12846 10385 1111 63 0 12783 0
vsize: 51384
[startup+970.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10566 0 0 0 96982 33 0 0 25 0 1 0 896123359 53063680 10486 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12955 10486 1111 63 0 12892 0
vsize: 51820
[startup+980.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10662 0 0 0 97982 34 0 0 25 0 1 0 896123359 53518336 10582 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13066 10582 1111 63 0 13003 0
vsize: 52264
[startup+990.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10759 0 0 0 98982 34 0 0 25 0 1 0 896123359 53813248 10679 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13138 10679 1111 63 0 13075 0
vsize: 52552
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10862 0 0 0 99982 34 0 0 25 0 1 0 896123359 54263808 10782 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13248 10782 1111 63 0 13185 0
vsize: 52992
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 10963 0 0 0 100982 35 0 0 25 0 1 0 896123359 54714368 10883 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13358 10883 1111 63 0 13295 0
vsize: 53432
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11060 0 0 0 101982 35 0 0 25 0 1 0 896123359 55013376 10980 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13431 10980 1111 63 0 13368 0
vsize: 53724
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11156 0 0 0 102982 35 0 0 25 0 1 0 896123359 55463936 11076 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13541 11076 1111 63 0 13478 0
vsize: 54164
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11258 0 0 0 103982 35 0 0 25 0 1 0 896123359 55910400 11178 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13650 11178 1111 63 0 13587 0
vsize: 54600
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11360 0 0 0 104982 35 0 0 25 0 1 0 896123359 56360960 11280 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13760 11280 1111 63 0 13697 0
vsize: 55040
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11455 0 0 0 105982 35 0 0 25 0 1 0 896123359 56659968 11375 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13833 11375 1111 63 0 13770 0
vsize: 55332
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11552 0 0 0 106982 35 0 0 25 0 1 0 896123359 57114624 11472 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13944 11472 1111 63 0 13881 0
vsize: 55776
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11654 0 0 0 107982 36 0 0 25 0 1 0 896123359 57561088 11574 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14053 11574 1111 63 0 13990 0
vsize: 56212
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11752 0 0 0 108982 36 0 0 25 0 1 0 896123359 57864192 11672 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14127 11672 1111 63 0 14064 0
vsize: 56508
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11853 0 0 0 109982 36 0 0 25 0 1 0 896123359 58310656 11773 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14236 11773 1111 63 0 14173 0
vsize: 56944
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 11950 0 0 0 110983 36 0 0 25 0 1 0 896123359 58761216 11870 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14346 11870 1111 63 0 14283 0
vsize: 57384
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 12051 0 0 0 111983 36 0 0 25 0 1 0 896123359 59060224 11971 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14419 11971 1111 63 0 14356 0
vsize: 57676
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 12153 0 0 0 112983 36 0 0 25 0 1 0 896123359 59510784 12073 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14529 12073 1111 63 0 14466 0
vsize: 58116
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 12251 0 0 0 113983 36 0 0 25 0 1 0 896123359 59961344 12171 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14639 12171 1111 63 0 14576 0
vsize: 58556
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 12346 0 0 0 114983 36 0 0 25 0 1 0 896123359 60260352 12266 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14712 12266 1111 63 0 14649 0
vsize: 58848
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 12449 0 0 0 115983 36 0 0 25 0 1 0 896123359 60715008 12369 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14823 12369 1111 63 0 14760 0
vsize: 59292
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 12550 0 0 0 116983 36 0 0 25 0 1 0 896123359 61157376 12470 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14931 12470 1111 63 0 14868 0
vsize: 59724
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 12648 0 0 0 117983 37 0 0 25 0 1 0 896123359 61612032 12568 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15042 12568 1111 63 0 14979 0
vsize: 60168
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 12750 0 0 0 118983 37 0 0 25 0 1 0 896123359 61911040 12670 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15115 12670 1111 63 0 15052 0
vsize: 60460
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) R 8702 7266 7265 0 -1 0 12847 0 0 0 119983 37 0 0 25 0 1 0 896123359 62361600 12767 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15225 12767 1111 63 0 15162 0
vsize: 60900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 8703
Raw data (stat): 8703 (bsolo_lpr-v2) Z 8702 7266 7265 0 -1 1036 12847 0 0 0 119983 40 0 0 25 0 1 0 896123359 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.24
CPU user time (s): 1199.84
CPU system time (s): 0.400939
CPU usage (%): 100.012
Max. virtual memory (Kb): 60900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####