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-ship12l.opb
MD5SUM	bdd9a8da4deb9b8348cff99945476562
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	162810
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	426775792258590390
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	426775792258590390
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.53377
Number of variables	162810
Total number of constraints	1042
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	1042
Minimum length of a constraint	30
Maximum length of a constraint	2250
Trace number 39871

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 21:34:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27926 boxname=wulflinc2 idbench=882 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bdd9a8da4deb9b8348cff99945476562  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-ship12l.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-ship12l.opb
IDLAUNCH: 27926
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        802712 kB
Buffers:         34188 kB
Cached:         174372 kB
SwapCached:       1492 kB
Active:          50528 kB
Inactive:       160144 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        802460 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            15660 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:54:24 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 27926 7 1200.25 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.90 2/54 30383
Raw data (stat): 30383 (runsolver) R 30382 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896273914 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 1568 0 0 0 992 6 0 0 25 0 1 0 896273914 15364096 1488 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 1488 1111 63 0 3688 0
vsize: 15004
[startup+20.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 1613 0 0 0 1992 6 0 0 25 0 1 0 896273914 15511552 1533 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1533 1111 63 0 3724 0
vsize: 15148
[startup+30.0017 s]
Raw data (loadavg): 1.11 0.99 0.92 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 1664 0 0 0 2992 6 0 0 25 0 1 0 896273914 15663104 1584 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 1584 1111 63 0 3761 0
vsize: 15296
[startup+40.0028 s]
Raw data (loadavg): 1.09 0.99 0.92 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 1716 0 0 0 3992 6 0 0 25 0 1 0 896273914 15945728 1636 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 1636 1111 63 0 3830 0
vsize: 15572
[startup+50.0031 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 1760 0 0 0 4992 6 0 0 25 0 1 0 896273914 16089088 1680 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3928 1680 1111 63 0 3865 0
vsize: 15712
[startup+60.0028 s]
Raw data (loadavg): 1.22 1.02 0.93 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 1818 0 0 0 5992 6 0 0 25 0 1 0 896273914 16388096 1738 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 1738 1111 63 0 3938 0
vsize: 16004
[startup+70.0031 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 1862 0 0 0 6992 6 0 0 25 0 1 0 896273914 16535552 1782 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 1782 1111 63 0 3974 0
vsize: 16148
[startup+80.0032 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 1921 0 0 0 7992 6 0 0 25 0 1 0 896273914 16838656 1841 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1841 1111 63 0 4048 0
vsize: 16444
[startup+90.0039 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 1980 0 0 0 8993 6 0 0 25 0 1 0 896273914 16990208 1900 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 1900 1111 63 0 4085 0
vsize: 16592
[startup+100.004 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2042 0 0 0 9993 6 0 0 25 0 1 0 896273914 17272832 1962 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1962 1111 63 0 4154 0
vsize: 16868
[startup+110.004 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2107 0 0 0 10993 6 0 0 25 0 1 0 896273914 17567744 2027 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 2027 1111 63 0 4226 0
vsize: 17156
[startup+120.005 s]
Raw data (loadavg): 1.23 1.05 0.94 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2174 0 0 0 11993 6 0 0 25 0 1 0 896273914 17846272 2094 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 2094 1111 63 0 4294 0
vsize: 17428
[startup+130.005 s]
Raw data (loadavg): 1.20 1.05 0.94 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2233 0 0 0 12993 6 0 0 25 0 1 0 896273914 17993728 2153 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 2153 1111 63 0 4330 0
vsize: 17572
[startup+140.005 s]
Raw data (loadavg): 1.17 1.05 0.94 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2292 0 0 0 13994 6 0 0 25 0 1 0 896273914 18292736 2212 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 2212 1111 63 0 4403 0
vsize: 17864
[startup+150.006 s]
Raw data (loadavg): 1.29 1.08 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2352 0 0 0 14994 7 0 0 25 0 1 0 896273914 18591744 2272 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 2272 1111 63 0 4476 0
vsize: 18156
[startup+160.006 s]
Raw data (loadavg): 1.25 1.07 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2424 0 0 0 15994 7 0 0 25 0 1 0 896273914 18894848 2344 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 2344 1111 63 0 4550 0
vsize: 18452
[startup+170.006 s]
Raw data (loadavg): 1.21 1.07 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2482 0 0 0 16994 7 0 0 25 0 1 0 896273914 19046400 2402 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 2402 1111 63 0 4587 0
vsize: 18600
[startup+180.006 s]
Raw data (loadavg): 1.18 1.07 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2546 0 0 0 17994 7 0 0 25 0 1 0 896273914 19341312 2466 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 2466 1111 63 0 4659 0
vsize: 18888
[startup+190.008 s]
Raw data (loadavg): 1.15 1.07 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2607 0 0 0 18994 7 0 0 25 0 1 0 896273914 19644416 2527 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 2527 1111 63 0 4733 0
vsize: 19184
[startup+200.008 s]
Raw data (loadavg): 1.12 1.06 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2673 0 0 0 19994 7 0 0 25 0 1 0 896273914 19795968 2593 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 2593 1111 63 0 4770 0
vsize: 19332
[startup+210.007 s]
Raw data (loadavg): 1.11 1.06 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2738 0 0 0 20994 7 0 0 25 0 1 0 896273914 20094976 2658 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4906 2658 1111 63 0 4843 0
vsize: 19624
[startup+220.009 s]
Raw data (loadavg): 1.09 1.06 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2797 0 0 0 21994 8 0 0 25 0 1 0 896273914 20393984 2717 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 2717 1111 63 0 4916 0
vsize: 19916
[startup+230.009 s]
Raw data (loadavg): 1.07 1.06 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2864 0 0 0 22994 8 0 0 25 0 1 0 896273914 20697088 2784 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 2784 1111 63 0 4990 0
vsize: 20212
[startup+240.009 s]
Raw data (loadavg): 1.06 1.05 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2929 0 0 0 23995 8 0 0 25 0 1 0 896273914 20844544 2849 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 2849 1111 63 0 5026 0
vsize: 20356
[startup+250.01 s]
Raw data (loadavg): 1.05 1.05 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 2988 0 0 0 24995 8 0 0 25 0 1 0 896273914 21143552 2908 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 2908 1111 63 0 5099 0
vsize: 20648
[startup+260.01 s]
Raw data (loadavg): 1.04 1.05 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3049 0 0 0 25995 8 0 0 25 0 1 0 896273914 21450752 2969 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2969 1111 63 0 5174 0
vsize: 20948
[startup+270.01 s]
Raw data (loadavg): 1.04 1.05 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3114 0 0 0 26995 8 0 0 25 0 1 0 896273914 21602304 3034 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5274 3034 1111 63 0 5211 0
vsize: 21096
[startup+280.01 s]
Raw data (loadavg): 1.03 1.05 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3179 0 0 0 27995 8 0 0 25 0 1 0 896273914 21901312 3099 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 3099 1111 63 0 5284 0
vsize: 21388
[startup+290.01 s]
Raw data (loadavg): 1.03 1.04 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3238 0 0 0 28995 8 0 0 25 0 1 0 896273914 22200320 3158 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 3158 1111 63 0 5357 0
vsize: 21680
[startup+300.01 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3305 0 0 0 29995 8 0 0 25 0 1 0 896273914 22503424 3225 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 3225 1111 63 0 5431 0
vsize: 21976
[startup+310.01 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3370 0 0 0 30995 8 0 0 25 0 1 0 896273914 22650880 3290 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 3290 1111 63 0 5467 0
vsize: 22120
[startup+320.01 s]
Raw data (loadavg): 1.01 1.04 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3429 0 0 0 31995 8 0 0 25 0 1 0 896273914 22949888 3349 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 3349 1111 63 0 5540 0
vsize: 22412
[startup+330.01 s]
Raw data (loadavg): 1.01 1.04 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3498 0 0 0 32995 8 0 0 25 0 1 0 896273914 23265280 3418 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5680 3418 1111 63 0 5617 0
vsize: 22720
[startup+340.01 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3561 0 0 0 33995 9 0 0 25 0 1 0 896273914 23543808 3481 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 3481 1111 63 0 5685 0
vsize: 22992
[startup+350.01 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3627 0 0 0 34996 9 0 0 25 0 1 0 896273914 23842816 3547 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 3547 1111 63 0 5758 0
vsize: 23284
[startup+360.01 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3686 0 0 0 35995 9 0 0 25 0 1 0 896273914 23994368 3606 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 3606 1111 63 0 5795 0
vsize: 23432
[startup+370.01 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3752 0 0 0 36995 9 0 0 25 0 1 0 896273914 24297472 3672 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5932 3672 1111 63 0 5869 0
vsize: 23728
[startup+380.01 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3817 0 0 0 37995 9 0 0 25 0 1 0 896273914 24596480 3737 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 3737 1111 63 0 5942 0
vsize: 24020
[startup+390.01 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3876 0 0 0 38995 10 0 0 25 0 1 0 896273914 24743936 3796 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 3796 1111 63 0 5978 0
vsize: 24164
[startup+400.011 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 3938 0 0 0 39996 10 0 0 25 0 1 0 896273914 25051136 3858 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 3858 1111 63 0 6053 0
vsize: 24464
[startup+410.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4004 0 0 0 40996 10 0 0 25 0 1 0 896273914 25350144 3924 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 3924 1111 63 0 6126 0
vsize: 24756
[startup+420.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4070 0 0 0 41996 10 0 0 25 0 1 0 896273914 25649152 3990 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 3990 1111 63 0 6199 0
vsize: 25048
[startup+430.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4128 0 0 0 42996 10 0 0 25 0 1 0 896273914 25800704 4048 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 4048 1111 63 0 6236 0
vsize: 25196
[startup+440.009 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4195 0 0 0 43996 10 0 0 25 0 1 0 896273914 26103808 4115 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 4115 1111 63 0 6310 0
vsize: 25492
[startup+450.009 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4260 0 0 0 44996 10 0 0 25 0 1 0 896273914 26402816 4180 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6446 4180 1111 63 0 6383 0
vsize: 25784
[startup+460.009 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4319 0 0 0 45996 10 0 0 25 0 1 0 896273914 26550272 4239 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 4239 1111 63 0 6419 0
vsize: 25928
[startup+470.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4380 0 0 0 46996 10 0 0 25 0 1 0 896273914 26849280 4300 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 4300 1111 63 0 6492 0
vsize: 26220
[startup+480.009 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4446 0 0 0 47996 10 0 0 25 0 1 0 896273914 27127808 4366 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 4366 1111 63 0 6560 0
vsize: 26492
[startup+490.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4512 0 0 0 48996 10 0 0 25 0 1 0 896273914 27426816 4432 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6696 4432 1111 63 0 6633 0
vsize: 26784
[startup+500.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4572 0 0 0 49996 11 0 0 25 0 1 0 896273914 27574272 4492 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6732 4492 1111 63 0 6669 0
vsize: 26928
[startup+510.009 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4638 0 0 0 50996 11 0 0 25 0 1 0 896273914 27881472 4558 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 4558 1111 63 0 6744 0
vsize: 27228
[startup+520.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4704 0 0 0 51996 11 0 0 25 0 1 0 896273914 28180480 4624 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6880 4624 1111 63 0 6817 0
vsize: 27520
[startup+530.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4763 0 0 0 52997 11 0 0 25 0 1 0 896273914 28475392 4683 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4683 1111 63 0 6889 0
vsize: 27808
[startup+540.009 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4829 0 0 0 53997 11 0 0 25 0 1 0 896273914 28626944 4749 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6989 4749 1111 63 0 6926 0
vsize: 27956
[startup+550.011 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4895 0 0 0 54997 11 0 0 25 0 1 0 896273914 28934144 4815 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 4815 1111 63 0 7001 0
vsize: 28256
[startup+560.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 4955 0 0 0 55997 11 0 0 25 0 1 0 896273914 29233152 4875 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7137 4875 1111 63 0 7074 0
vsize: 28548
[startup+570.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5020 0 0 0 56997 11 0 0 25 0 1 0 896273914 29532160 4940 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7210 4940 1111 63 0 7147 0
vsize: 28840
[startup+580.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5087 0 0 0 57997 12 0 0 25 0 1 0 896273914 29683712 5007 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 5007 1111 63 0 7184 0
vsize: 28988
[startup+590.009 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5147 0 0 0 58997 12 0 0 25 0 1 0 896273914 29982720 5067 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7320 5067 1111 63 0 7257 0
vsize: 29280
[startup+600.009 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5218 0 0 0 59997 12 0 0 25 0 1 0 896273914 30281728 5138 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 5138 1111 63 0 7330 0
vsize: 29572
[startup+610.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5279 0 0 0 60997 12 0 0 25 0 1 0 896273914 30588928 5199 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7468 5199 1111 63 0 7405 0
vsize: 29872
[startup+620.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5344 0 0 0 61997 12 0 0 25 0 1 0 896273914 30740480 5264 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 5264 1111 63 0 7442 0
vsize: 30020
[startup+630.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5410 0 0 0 62997 12 0 0 25 0 1 0 896273914 31039488 5330 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 5330 1111 63 0 7515 0
vsize: 30312
[startup+640.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5481 0 0 0 63997 12 0 0 25 0 1 0 896273914 31375360 5401 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7660 5401 1111 63 0 7597 0
vsize: 30640
[startup+650.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5553 0 0 0 64997 13 0 0 25 0 1 0 896273914 31678464 5473 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7734 5473 1111 63 0 7671 0
vsize: 30936
[startup+660.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5612 0 0 0 65997 13 0 0 25 0 1 0 896273914 31977472 5532 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7807 5532 1111 63 0 7744 0
vsize: 31228
[startup+670.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5677 0 0 0 66997 13 0 0 25 0 1 0 896273914 32276480 5597 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5597 1111 63 0 7817 0
vsize: 31520
[startup+680.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5744 0 0 0 67997 13 0 0 25 0 1 0 896273914 32432128 5664 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 5664 1111 63 0 7855 0
vsize: 31672
[startup+690.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5804 0 0 0 68997 14 0 0 25 0 1 0 896273914 32731136 5724 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 5724 1111 63 0 7928 0
vsize: 31964
[startup+700.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5869 0 0 0 69997 14 0 0 25 0 1 0 896273914 33030144 5789 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 5789 1111 63 0 8001 0
vsize: 32256
[startup+710.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 5937 0 0 0 70997 14 0 0 25 0 1 0 896273914 33333248 5857 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8138 5857 1111 63 0 8075 0
vsize: 32552
[startup+720.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6003 0 0 0 71997 14 0 0 25 0 1 0 896273914 33484800 5923 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5923 1111 63 0 8112 0
vsize: 32700
[startup+730.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6069 0 0 0 72997 14 0 0 25 0 1 0 896273914 33783808 5989 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8248 5989 1111 63 0 8185 0
vsize: 32992
[startup+740.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6128 0 0 0 73997 14 0 0 25 0 1 0 896273914 34082816 6048 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8321 6048 1111 63 0 8258 0
vsize: 33284
[startup+750.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6195 0 0 0 74997 14 0 0 25 0 1 0 896273914 34390016 6115 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8396 6115 1111 63 0 8333 0
vsize: 33584
[startup+760.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6261 0 0 0 75998 14 0 0 25 0 1 0 896273914 34537472 6181 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8432 6181 1111 63 0 8369 0
vsize: 33728
[startup+770.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6320 0 0 0 76998 14 0 0 25 0 1 0 896273914 34836480 6240 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 6240 1111 63 0 8442 0
vsize: 34020
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6394 0 0 0 78000 15 0 0 25 0 1 0 896273914 35139584 6314 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8579 6314 1111 63 0 8516 0
vsize: 34316
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6454 0 0 0 79000 15 0 0 25 0 1 0 896273914 35438592 6374 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8652 6374 1111 63 0 8589 0
vsize: 34608
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6520 0 0 0 80000 15 0 0 25 0 1 0 896273914 35590144 6440 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8689 6440 1111 63 0 8626 0
vsize: 34756
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6585 0 0 0 81000 15 0 0 25 0 1 0 896273914 35889152 6505 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8762 6505 1111 63 0 8699 0
vsize: 35048
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6652 0 0 0 82000 15 0 0 25 0 1 0 896273914 36192256 6572 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 6572 1111 63 0 8773 0
vsize: 35344
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6718 0 0 0 83000 15 0 0 25 0 1 0 896273914 36491264 6638 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 6638 1111 63 0 8846 0
vsize: 35636
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6777 0 0 0 84000 15 0 0 25 0 1 0 896273914 36642816 6697 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6697 1111 63 0 8883 0
vsize: 35784
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6850 0 0 0 85000 15 0 0 25 0 1 0 896273914 36945920 6770 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 6770 1111 63 0 8957 0
vsize: 36080
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6911 0 0 0 86001 15 0 0 25 0 1 0 896273914 37244928 6831 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 6831 1111 63 0 9030 0
vsize: 36372
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 6977 0 0 0 87001 15 0 0 25 0 1 0 896273914 37543936 6897 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6897 1111 63 0 9103 0
vsize: 36664
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7044 0 0 0 88001 16 0 0 25 0 1 0 896273914 37847040 6964 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9240 6964 1111 63 0 9177 0
vsize: 36960
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7110 0 0 0 89001 16 0 0 25 0 1 0 896273914 37998592 7030 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9277 7030 1111 63 0 9214 0
vsize: 37108
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7176 0 0 0 90001 16 0 0 25 0 1 0 896273914 38297600 7096 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9350 7096 1111 63 0 9287 0
vsize: 37400
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7235 0 0 0 91001 16 0 0 25 0 1 0 896273914 38596608 7155 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 7155 1111 63 0 9360 0
vsize: 37692
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7308 0 0 0 92001 16 0 0 25 0 1 0 896273914 38903808 7228 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9498 7228 1111 63 0 9435 0
vsize: 37992
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7368 0 0 0 93001 16 0 0 25 0 1 0 896273914 39051264 7288 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9534 7288 1111 63 0 9471 0
vsize: 38136
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7441 0 0 0 94001 16 0 0 25 0 1 0 896273914 39350272 7361 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9607 7361 1111 63 0 9544 0
vsize: 38428
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7502 0 0 0 95001 16 0 0 25 0 1 0 896273914 39653376 7422 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9681 7422 1111 63 0 9618 0
vsize: 38724
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7568 0 0 0 96002 16 0 0 25 0 1 0 896273914 39952384 7488 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9754 7488 1111 63 0 9691 0
vsize: 39016
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7633 0 0 0 97001 16 0 0 25 0 1 0 896273914 40251392 7553 4294967295 134512640 134716908 3221224576 3221221100 1077198280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 7553 1111 63 0 9764 0
vsize: 39308
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7692 0 0 0 98002 16 0 0 25 0 1 0 896273914 40402944 7612 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9864 7612 1111 63 0 9801 0
vsize: 39456
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7766 0 0 0 99002 17 0 0 25 0 1 0 896273914 40710144 7686 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9939 7686 1111 63 0 9876 0
vsize: 39756
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7825 0 0 0 100002 17 0 0 25 0 1 0 896273914 41009152 7745 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 7745 1111 63 0 9949 0
vsize: 40048
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7891 0 0 0 101002 17 0 0 25 0 1 0 896273914 41308160 7811 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10085 7811 1111 63 0 10022 0
vsize: 40340
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 7959 0 0 0 102002 17 0 0 25 0 1 0 896273914 41459712 7879 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 7879 1111 63 0 10059 0
vsize: 40488
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8018 0 0 0 103002 17 0 0 25 0 1 0 896273914 41758720 7938 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 7938 1111 63 0 10132 0
vsize: 40780
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8084 0 0 0 104002 17 0 0 25 0 1 0 896273914 42057728 8004 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10268 8004 1111 63 0 10205 0
vsize: 41072
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8151 0 0 0 105001 18 0 0 25 0 1 0 896273914 42356736 8071 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10341 8071 1111 63 0 10278 0
vsize: 41364
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8216 0 0 0 106001 18 0 0 25 0 1 0 896273914 42635264 8136 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 8136 1111 63 0 10346 0
vsize: 41636
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8282 0 0 0 107002 18 0 0 25 0 1 0 896273914 42782720 8202 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 8202 1111 63 0 10382 0
vsize: 41780
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8341 0 0 0 108001 18 0 0 25 0 1 0 896273914 43081728 8261 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10518 8261 1111 63 0 10455 0
vsize: 42072
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8416 0 0 0 109002 18 0 0 25 0 1 0 896273914 43384832 8336 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10592 8336 1111 63 0 10529 0
vsize: 42368
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8476 0 0 0 110002 18 0 0 25 0 1 0 896273914 43683840 8396 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10665 8396 1111 63 0 10602 0
vsize: 42660
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8548 0 0 0 111002 18 0 0 25 0 1 0 896273914 43982848 8468 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10738 8468 1111 63 0 10675 0
vsize: 42952
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8609 0 0 0 112002 18 0 0 25 0 1 0 896273914 44134400 8529 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10775 8529 1111 63 0 10712 0
vsize: 43100
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8681 0 0 0 113002 18 0 0 25 0 1 0 896273914 44441600 8601 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10850 8601 1111 63 0 10787 0
vsize: 43400
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8747 0 0 0 114002 19 0 0 25 0 1 0 896273914 44740608 8667 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 8667 1111 63 0 10860 0
vsize: 43692
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8814 0 0 0 115002 19 0 0 25 0 1 0 896273914 45039616 8734 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10996 8734 1111 63 0 10933 0
vsize: 43984
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8873 0 0 0 116002 19 0 0 25 0 1 0 896273914 45191168 8793 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11033 8793 1111 63 0 10970 0
vsize: 44132
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 8947 0 0 0 117002 19 0 0 25 0 1 0 896273914 45490176 8867 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11106 8867 1111 63 0 11043 0
vsize: 44424
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 9012 0 0 0 118002 19 0 0 25 0 1 0 896273914 45789184 8932 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11179 8932 1111 63 0 11116 0
vsize: 44716
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 9079 0 0 0 119002 19 0 0 25 0 1 0 896273914 46096384 8999 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11254 8999 1111 63 0 11191 0
vsize: 45016
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) R 30382 31399 31398 0 -1 0 9145 0 0 0 120003 19 0 0 25 0 1 0 896273914 46395392 9065 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11327 9065 1111 63 0 11264 0
vsize: 45308
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 30383
Raw data (stat): 30383 (bsolo_lpr-v2) Z 30382 31399 31398 0 -1 1036 9145 0 0 0 120003 21 0 0 25 0 1 0 896273914 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.05
CPU time (s): 1200.25
CPU user time (s): 1200.03
CPU system time (s): 0.214967
CPU usage (%): 100.016
Max. virtual memory (Kb): 45308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####