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-80bau3b.opb
MD5SUM	482f3c6a016323a565c292702d2c5673
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	183640
Biggest coefficient in the objective function	179765856174080000
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	6977628092477113102
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	179765856174080000
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	6977628092477113102
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.14967
Number of variables	228990
Total number of constraints	5220
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	5220
Minimum length of a constraint	10
Maximum length of a constraint	3330
Trace number 39798

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 20:34:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27847 boxname=wulflinc3 idbench=803 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  482f3c6a016323a565c292702d2c5673  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-80bau3b.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-80bau3b.opb
IDLAUNCH: 27847
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        840884 kB
Buffers:         34012 kB
Cached:         131264 kB
SwapCached:       6016 kB
Active:          71584 kB
Inactive:       101080 kB
HighTotal:      131008 kB
HighFree:        41160 kB
LowTotal:       903652 kB
LowFree:        799724 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            15376 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:54:18 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27847 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.91 0.94 0.91 2/54 15298
Raw data (stat): 15298 (runsolver) D 15297 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 895901057 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.002 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 1792 0 0 0 990 7 0 0 25 0 1 0 895901057 15212544 1712 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3714 1712 1111 63 0 3651 0
vsize: 14856
[startup+20.0027 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 1842 0 0 0 1990 7 0 0 25 0 1 0 895901057 15511552 1762 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1762 1111 63 0 3724 0
vsize: 15148
[startup+30.0025 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 1880 0 0 0 2990 7 0 0 25 0 1 0 895901057 15663104 1800 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1800 1111 63 0 3761 0
vsize: 15296
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 1931 0 0 0 3990 7 0 0 25 0 1 0 895901057 15810560 1851 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3860 1851 1111 63 0 3797 0
vsize: 15440
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 1975 0 0 0 4990 7 0 0 25 0 1 0 895901057 16089088 1895 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 1895 1111 63 0 3865 0
vsize: 15712
[startup+60.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2019 0 0 0 5990 8 0 0 25 0 1 0 895901057 16236544 1939 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1939 1111 63 0 3901 0
vsize: 15856
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2063 0 0 0 6991 8 0 0 25 0 1 0 895901057 16388096 1983 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 1983 1111 63 0 3938 0
vsize: 16004
[startup+80.0027 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2113 0 0 0 7990 8 0 0 25 0 1 0 895901057 16535552 2033 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2033 1111 63 0 3974 0
vsize: 16148
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2159 0 0 0 8990 8 0 0 25 0 1 0 895901057 16838656 2079 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 2079 1111 63 0 4048 0
vsize: 16444
[startup+100.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2203 0 0 0 9990 8 0 0 25 0 1 0 895901057 16990208 2123 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4148 2123 1111 63 0 4085 0
vsize: 16592
[startup+110.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2250 0 0 0 10990 8 0 0 25 0 1 0 895901057 17137664 2170 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4184 2170 1111 63 0 4121 0
vsize: 16736
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2308 0 0 0 11990 9 0 0 25 0 1 0 895901057 17420288 2228 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4253 2228 1111 63 0 4190 0
vsize: 17012
[startup+130.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2359 0 0 0 12991 9 0 0 25 0 1 0 895901057 17567744 2279 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4289 2279 1111 63 0 4226 0
vsize: 17156
[startup+140.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2412 0 0 0 13990 9 0 0 25 0 1 0 895901057 17846272 2332 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 2332 1111 63 0 4294 0
vsize: 17428
[startup+150.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2469 0 0 0 14990 9 0 0 25 0 1 0 895901057 17993728 2389 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4393 2389 1111 63 0 4330 0
vsize: 17572
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2515 0 0 0 15990 9 0 0 25 0 1 0 895901057 18292736 2435 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 2435 1111 63 0 4403 0
vsize: 17864
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2572 0 0 0 16990 10 0 0 25 0 1 0 895901057 18444288 2492 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 2492 1111 63 0 4440 0
vsize: 18012
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2631 0 0 0 17990 10 0 0 25 0 1 0 895901057 18726912 2551 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4572 2551 1111 63 0 4509 0
vsize: 18288
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2683 0 0 0 18991 10 0 0 25 0 1 0 895901057 18870272 2603 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4607 2603 1111 63 0 4544 0
vsize: 18428
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2741 0 0 0 19991 10 0 0 25 0 1 0 895901057 19169280 2661 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4680 2661 1111 63 0 4617 0
vsize: 18720
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2815 0 0 0 20990 10 0 0 25 0 1 0 895901057 19451904 2735 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4749 2735 1111 63 0 4686 0
vsize: 18996
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2887 0 0 0 21991 10 0 0 25 0 1 0 895901057 19738624 2807 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 2807 1111 63 0 4756 0
vsize: 19276
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2938 0 0 0 22991 10 0 0 25 0 1 0 895901057 20033536 2858 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4891 2858 1111 63 0 4828 0
vsize: 19564
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 2989 0 0 0 23991 10 0 0 25 0 1 0 895901057 20180992 2909 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4927 2909 1111 63 0 4864 0
vsize: 19708
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3027 0 0 0 24991 10 0 0 25 0 1 0 895901057 20332544 2947 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4964 2947 1111 63 0 4901 0
vsize: 19856
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3085 0 0 0 25991 10 0 0 25 0 1 0 895901057 20623360 3005 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5035 3005 1111 63 0 4972 0
vsize: 20140
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3154 0 0 0 26991 11 0 0 25 0 1 0 895901057 20914176 3074 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5106 3074 1111 63 0 5043 0
vsize: 20424
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3211 0 0 0 27991 11 0 0 25 0 1 0 895901057 21065728 3131 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5143 3131 1111 63 0 5080 0
vsize: 20572
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3261 0 0 0 28991 11 0 0 25 0 1 0 895901057 21352448 3181 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5213 3181 1111 63 0 5150 0
vsize: 20852
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3330 0 0 0 29991 11 0 0 25 0 1 0 895901057 21639168 3250 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 3250 1111 63 0 5220 0
vsize: 21132
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3376 0 0 0 30991 11 0 0 25 0 1 0 895901057 21794816 3296 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5321 3296 1111 63 0 5258 0
vsize: 21284
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3420 0 0 0 31992 11 0 0 25 0 1 0 895901057 21942272 3340 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5357 3340 1111 63 0 5294 0
vsize: 21428
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3470 0 0 0 32992 11 0 0 25 0 1 0 895901057 22093824 3390 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 3390 1111 63 0 5331 0
vsize: 21576
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3527 0 0 0 33991 12 0 0 25 0 1 0 895901057 22388736 3447 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5466 3447 1111 63 0 5403 0
vsize: 21864
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3580 0 0 0 34991 12 0 0 25 0 1 0 895901057 22532096 3500 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 3500 1111 63 0 5438 0
vsize: 22004
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3623 0 0 0 35991 12 0 0 25 0 1 0 895901057 22839296 3543 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 3543 1111 63 0 5513 0
vsize: 22304
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3667 0 0 0 36991 12 0 0 25 0 1 0 895901057 22986752 3587 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5612 3587 1111 63 0 5549 0
vsize: 22448
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3755 0 0 0 37991 12 0 0 25 0 1 0 895901057 23269376 3675 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5681 3675 1111 63 0 5618 0
vsize: 22724
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3824 0 0 0 38991 12 0 0 25 0 1 0 895901057 23543808 3744 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5748 3744 1111 63 0 5685 0
vsize: 22992
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3877 0 0 0 39991 13 0 0 25 0 1 0 895901057 23846912 3797 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5822 3797 1111 63 0 5759 0
vsize: 23288
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3933 0 0 0 40993 13 0 0 25 0 1 0 895901057 24129536 3853 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5891 3853 1111 63 0 5828 0
vsize: 23564
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 3996 0 0 0 41993 13 0 0 25 0 1 0 895901057 24276992 3916 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5927 3916 1111 63 0 5864 0
vsize: 23708
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4078 0 0 0 42993 13 0 0 25 0 1 0 895901057 24694784 3998 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6029 3998 1111 63 0 5966 0
vsize: 24116
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4131 0 0 0 43993 13 0 0 25 0 1 0 895901057 24842240 4051 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4051 1111 63 0 6002 0
vsize: 24260
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4175 0 0 0 44993 14 0 0 25 0 1 0 895901057 24993792 4095 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6102 4095 1111 63 0 6039 0
vsize: 24408
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4226 0 0 0 45993 14 0 0 25 0 1 0 895901057 25288704 4146 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6174 4146 1111 63 0 6111 0
vsize: 24696
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4289 0 0 0 46993 14 0 0 25 0 1 0 895901057 25583616 4209 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6246 4209 1111 63 0 6183 0
vsize: 24984
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4358 0 0 0 47993 14 0 0 25 0 1 0 895901057 25862144 4278 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6314 4278 1111 63 0 6251 0
vsize: 25256
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4411 0 0 0 48993 14 0 0 25 0 1 0 895901057 26017792 4331 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6352 4331 1111 63 0 6289 0
vsize: 25408
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4454 0 0 0 49993 14 0 0 25 0 1 0 895901057 26165248 4374 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6388 4374 1111 63 0 6325 0
vsize: 25552
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4506 0 0 0 50993 14 0 0 25 0 1 0 895901057 26464256 4426 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6461 4426 1111 63 0 6398 0
vsize: 25844
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4587 0 0 0 51993 14 0 0 25 0 1 0 895901057 26742784 4507 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6529 4507 1111 63 0 6466 0
vsize: 26116
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4646 0 0 0 52994 14 0 0 25 0 1 0 895901057 27037696 4566 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6601 4566 1111 63 0 6538 0
vsize: 26404
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4704 0 0 0 53994 14 0 0 25 0 1 0 895901057 27189248 4624 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6638 4624 1111 63 0 6575 0
vsize: 26552
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4760 0 0 0 54994 14 0 0 25 0 1 0 895901057 27475968 4680 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6708 4680 1111 63 0 6645 0
vsize: 26832
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4811 0 0 0 55994 14 0 0 25 0 1 0 895901057 27623424 4731 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6744 4731 1111 63 0 6681 0
vsize: 26976
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4869 0 0 0 56994 14 0 0 25 0 1 0 895901057 27914240 4789 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6815 4789 1111 63 0 6752 0
vsize: 27260
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4927 0 0 0 57994 15 0 0 25 0 1 0 895901057 28065792 4847 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6852 4847 1111 63 0 6789 0
vsize: 27408
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 4977 0 0 0 58994 15 0 0 25 0 1 0 895901057 28360704 4897 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6924 4897 1111 63 0 6861 0
vsize: 27696
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5021 0 0 0 59994 15 0 0 25 0 1 0 895901057 28508160 4941 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6960 4941 1111 63 0 6897 0
vsize: 27840
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5098 0 0 0 60994 15 0 0 25 0 1 0 895901057 28803072 5018 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7032 5018 1111 63 0 6969 0
vsize: 28128
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5162 0 0 0 61994 15 0 0 25 0 1 0 895901057 29081600 5082 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 5082 1111 63 0 7037 0
vsize: 28400
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5220 0 0 0 62994 15 0 0 25 0 1 0 895901057 29376512 5140 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7172 5140 1111 63 0 7109 0
vsize: 28688
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5277 0 0 0 63994 15 0 0 25 0 1 0 895901057 29519872 5197 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7207 5197 1111 63 0 7144 0
vsize: 28828
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5333 0 0 0 64994 16 0 0 25 0 1 0 895901057 29814784 5253 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7279 5253 1111 63 0 7216 0
vsize: 29116
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5423 0 0 0 65994 16 0 0 25 0 1 0 895901057 30085120 5343 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7345 5343 1111 63 0 7282 0
vsize: 29380
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5518 0 0 0 66994 16 0 0 25 0 1 0 895901057 30515200 5438 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7450 5438 1111 63 0 7387 0
vsize: 29800
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5619 0 0 0 67994 16 0 0 25 0 1 0 895901057 30928896 5539 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 5539 1111 63 0 7488 0
vsize: 30204
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5721 0 0 0 68994 17 0 0 25 0 1 0 895901057 31342592 5641 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7652 5641 1111 63 0 7589 0
vsize: 30608
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5828 0 0 0 69994 17 0 0 25 0 1 0 895901057 31760384 5748 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5748 1111 63 0 7691 0
vsize: 31016
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5899 0 0 0 70994 17 0 0 25 0 1 0 895901057 32047104 5819 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7824 5819 1111 63 0 7761 0
vsize: 31296
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 5994 0 0 0 71994 17 0 0 25 0 1 0 895901057 32464896 5914 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7926 5914 1111 63 0 7863 0
vsize: 31704
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6096 0 0 0 72994 17 0 0 25 0 1 0 895901057 32886784 6016 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8029 6016 1111 63 0 7966 0
vsize: 32116
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6167 0 0 0 73994 17 0 0 25 0 1 0 895901057 33165312 6087 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8097 6087 1111 63 0 8034 0
vsize: 32388
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6249 0 0 0 74994 17 0 0 25 0 1 0 895901057 33595392 6169 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8202 6169 1111 63 0 8139 0
vsize: 32808
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6346 0 0 0 75994 18 0 0 25 0 1 0 895901057 33882112 6266 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8272 6266 1111 63 0 8209 0
vsize: 33088
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6440 0 0 0 76994 18 0 0 25 0 1 0 895901057 34304000 6360 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8375 6360 1111 63 0 8312 0
vsize: 33500
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6552 0 0 0 77995 18 0 0 25 0 1 0 895901057 34861056 6472 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8511 6472 1111 63 0 8448 0
vsize: 34044
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6642 0 0 0 78995 18 0 0 25 0 1 0 895901057 35139584 6562 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 6562 1111 63 0 8516 0
vsize: 34316
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6724 0 0 0 79995 18 0 0 25 0 1 0 895901057 35569664 6644 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 6644 1111 63 0 8621 0
vsize: 34736
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6781 0 0 0 80995 18 0 0 25 0 1 0 895901057 35708928 6701 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8718 6701 1111 63 0 8655 0
vsize: 34872
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6863 0 0 0 81995 18 0 0 25 0 1 0 895901057 36130816 6783 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8821 6783 1111 63 0 8758 0
vsize: 35284
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 6946 0 0 0 82995 18 0 0 25 0 1 0 895901057 36409344 6866 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6866 1111 63 0 8826 0
vsize: 35556
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7016 0 0 0 83995 19 0 0 25 0 1 0 895901057 36700160 6936 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 6936 1111 63 0 8897 0
vsize: 35840
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7104 0 0 0 84995 19 0 0 25 0 1 0 895901057 37117952 7024 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9062 7024 1111 63 0 8999 0
vsize: 36248
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7187 0 0 0 85995 19 0 0 25 0 1 0 895901057 37392384 7107 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9129 7107 1111 63 0 9066 0
vsize: 36516
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7276 0 0 0 86995 19 0 0 25 0 1 0 895901057 37814272 7196 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9232 7196 1111 63 0 9169 0
vsize: 36928
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7370 0 0 0 87996 19 0 0 25 0 1 0 895901057 38232064 7290 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9334 7290 1111 63 0 9271 0
vsize: 37336
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7452 0 0 0 88996 19 0 0 25 0 1 0 895901057 38510592 7372 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9402 7372 1111 63 0 9339 0
vsize: 37608
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7540 0 0 0 89996 20 0 0 25 0 1 0 895901057 38924288 7460 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9503 7460 1111 63 0 9440 0
vsize: 38012
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7617 0 0 0 90996 20 0 0 25 0 1 0 895901057 39211008 7537 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9573 7537 1111 63 0 9510 0
vsize: 38292
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7692 0 0 0 91996 20 0 0 25 0 1 0 895901057 39493632 7612 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9642 7612 1111 63 0 9579 0
vsize: 38568
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7763 0 0 0 92996 20 0 0 25 0 1 0 895901057 39776256 7683 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 7683 1111 63 0 9648 0
vsize: 38844
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7834 0 0 0 93995 21 0 0 25 0 1 0 895901057 40062976 7754 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9781 7754 1111 63 0 9718 0
vsize: 39124
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 7930 0 0 0 94995 21 0 0 25 0 1 0 895901057 40488960 7850 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9885 7850 1111 63 0 9822 0
vsize: 39540
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8024 0 0 0 95995 22 0 0 25 0 1 0 895901057 40894464 7944 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9984 7944 1111 63 0 9921 0
vsize: 39936
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8136 0 0 0 96995 22 0 0 25 0 1 0 895901057 41308160 8056 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10085 8056 1111 63 0 10022 0
vsize: 40340
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8214 0 0 0 97995 22 0 0 25 0 1 0 895901057 41590784 8134 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10154 8134 1111 63 0 10091 0
vsize: 40616
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8308 0 0 0 98995 23 0 0 25 0 1 0 895901057 42012672 8228 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10257 8228 1111 63 0 10194 0
vsize: 41028
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8390 0 0 0 99994 23 0 0 25 0 1 0 895901057 42291200 8310 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10325 8310 1111 63 0 10262 0
vsize: 41300
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8460 0 0 0 100994 23 0 0 25 0 1 0 895901057 42573824 8380 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10394 8380 1111 63 0 10331 0
vsize: 41576
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8532 0 0 0 101994 23 0 0 25 0 1 0 895901057 42864640 8452 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10465 8452 1111 63 0 10402 0
vsize: 41860
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8609 0 0 0 102995 23 0 0 25 0 1 0 895901057 43290624 8529 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10569 8529 1111 63 0 10506 0
vsize: 42276
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8685 0 0 0 103995 23 0 0 25 0 1 0 895901057 43573248 8605 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10638 8605 1111 63 0 10575 0
vsize: 42552
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8763 0 0 0 104995 23 0 0 25 0 1 0 895901057 43855872 8683 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10707 8683 1111 63 0 10644 0
vsize: 42828
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8844 0 0 0 105995 24 0 0 25 0 1 0 895901057 44138496 8764 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10776 8764 1111 63 0 10713 0
vsize: 43104
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 8932 0 0 0 106995 24 0 0 25 0 1 0 895901057 44556288 8852 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10878 8852 1111 63 0 10815 0
vsize: 43512
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9014 0 0 0 107995 24 0 0 25 0 1 0 895901057 44834816 8934 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10946 8934 1111 63 0 10883 0
vsize: 43784
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9097 0 0 0 108995 24 0 0 25 0 1 0 895901057 45264896 9017 4294967295 134512640 134716908 3221224576 3221223232 134527956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11051 9017 1111 63 0 10988 0
vsize: 44204
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9186 0 0 0 109995 24 0 0 25 0 1 0 895901057 45543424 9106 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11119 9106 1111 63 0 11056 0
vsize: 44476
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9275 0 0 0 110995 24 0 0 25 0 1 0 895901057 45961216 9195 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11221 9195 1111 63 0 11158 0
vsize: 44884
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9357 0 0 0 111995 24 0 0 25 0 1 0 895901057 46231552 9277 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11287 9277 1111 63 0 11224 0
vsize: 45148
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9465 0 0 0 112995 24 0 0 25 0 1 0 895901057 46788608 9385 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11423 9385 1111 63 0 11360 0
vsize: 45692
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9547 0 0 0 113995 24 0 0 25 0 1 0 895901057 47067136 9467 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11491 9467 1111 63 0 11428 0
vsize: 45964
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9635 0 0 0 114995 24 0 0 25 0 1 0 895901057 47480832 9555 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11592 9555 1111 63 0 11529 0
vsize: 46368
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9699 0 0 0 115995 25 0 0 25 0 1 0 895901057 47624192 9619 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11627 9619 1111 63 0 11564 0
vsize: 46508
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9776 0 0 0 116996 25 0 0 25 0 1 0 895901057 48058368 9696 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11733 9696 1111 63 0 11670 0
vsize: 46932
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9858 0 0 0 117996 25 0 0 25 0 1 0 895901057 48340992 9778 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11802 9778 1111 63 0 11739 0
vsize: 47208
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 9959 0 0 0 118996 25 0 0 25 0 1 0 895901057 48750592 9879 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11902 9879 1111 63 0 11839 0
vsize: 47608
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) R 15297 20224 20223 0 -1 0 10049 0 0 0 119996 25 0 0 25 0 1 0 895901057 49172480 9969 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12005 9969 1111 63 0 11942 0
vsize: 48020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15298
Raw data (stat): 15298 (bsolo_lpr-v2) Z 15297 20224 20223 0 -1 1036 10049 0 0 0 119996 27 0 0 25 0 1 0 895901057 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.24
CPU user time (s): 1199.96
CPU system time (s): 0.273958
CPU usage (%): 100.014
Max. virtual memory (Kb): 48020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####