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-scsd8.opb
MD5SUM	63dde7c8c3b02bd89e3e065c5bd58b69
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	82500
Biggest coefficient in the objective function	221357547985043456
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	595796164546237562880
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	221357547985043456
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	595796164546237562880
Number of bits of the biggest sum of numbers	70
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.744886
Number of variables	82500
Total number of constraints	397
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	397
Minimum length of a constraint	300
Maximum length of a constraint	720
Trace number 39856

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 21:19:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27914 boxname=wulflinc3 idbench=870 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  63dde7c8c3b02bd89e3e065c5bd58b69  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-scsd8.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-scsd8.opb
IDLAUNCH: 27914
/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:        819664 kB
Buffers:         34148 kB
Cached:         152344 kB
SwapCached:       6016 kB
Active:          62388 kB
Inactive:       131500 kB
HighTotal:      131008 kB
HighFree:        20076 kB
LowTotal:       903652 kB
LowFree:        799588 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            15348 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:39:17 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 27914 7 1200.18 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.92 0.94 0.90 2/54 16284
Raw data (stat): 16284 (runsolver) R 16283 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896171025 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1144 0 0 0 993 4 0 0 25 0 1 0 896171025 15364096 1064 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1064 1111 63 0 3688 0
vsize: 15004
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1188 0 0 0 1993 5 0 0 25 0 1 0 896171025 15511552 1108 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1108 1111 63 0 3724 0
vsize: 15148
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1233 0 0 0 2993 5 0 0 25 0 1 0 896171025 15663104 1153 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1153 1111 63 0 3761 0
vsize: 15296
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1321 0 0 0 3992 6 0 0 25 0 1 0 896171025 16089088 1241 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 1241 1111 63 0 3865 0
vsize: 15712
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1381 0 0 0 4992 6 0 0 25 0 1 0 896171025 16236544 1301 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1301 1111 63 0 3901 0
vsize: 15856
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1437 0 0 0 5991 7 0 0 25 0 1 0 896171025 16535552 1357 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 1357 1111 63 0 3974 0
vsize: 16148
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1498 0 0 0 6990 8 0 0 25 0 1 0 896171025 16838656 1418 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1418 1111 63 0 4048 0
vsize: 16444
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1578 0 0 0 7990 8 0 0 25 0 1 0 896171025 17137664 1498 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4184 1498 1111 63 0 4121 0
vsize: 16736
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1633 0 0 0 8990 8 0 0 25 0 1 0 896171025 17272832 1553 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 1553 1111 63 0 4154 0
vsize: 16868
[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1708 0 0 0 9990 9 0 0 25 0 1 0 896171025 17702912 1628 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 1628 1111 63 0 4259 0
vsize: 17288
[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1780 0 0 0 10989 9 0 0 25 0 1 0 896171025 17993728 1700 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4393 1700 1111 63 0 4330 0
vsize: 17572
[startup+120.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1845 0 0 0 11989 10 0 0 25 0 1 0 896171025 18145280 1765 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 1765 1111 63 0 4367 0
vsize: 17720
[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 1926 0 0 0 12988 11 0 0 25 0 1 0 896171025 18591744 1846 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 1846 1111 63 0 4476 0
vsize: 18156
[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2000 0 0 0 13988 11 0 0 25 0 1 0 896171025 18894848 1920 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 1920 1111 63 0 4550 0
vsize: 18452
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2093 0 0 0 14988 11 0 0 25 0 1 0 896171025 19193856 2013 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4686 2013 1111 63 0 4623 0
vsize: 18744
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2151 0 0 0 15988 12 0 0 25 0 1 0 896171025 19488768 2071 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 2071 1111 63 0 4695 0
vsize: 19032
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2197 0 0 0 16987 12 0 0 25 0 1 0 896171025 19644416 2117 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 2117 1111 63 0 4733 0
vsize: 19184
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2242 0 0 0 17987 13 0 0 25 0 1 0 896171025 19795968 2162 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 2162 1111 63 0 4770 0
vsize: 19332
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2314 0 0 0 18987 13 0 0 25 0 1 0 896171025 20094976 2234 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4906 2234 1111 63 0 4843 0
vsize: 19624
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2403 0 0 0 19986 14 0 0 25 0 1 0 896171025 20545536 2323 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 2323 1111 63 0 4953 0
vsize: 20064
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2447 0 0 0 20986 14 0 0 25 0 1 0 896171025 20697088 2367 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5053 2367 1111 63 0 4990 0
vsize: 20212
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2506 0 0 0 21986 15 0 0 25 0 1 0 896171025 20844544 2426 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 2426 1111 63 0 5026 0
vsize: 20356
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2578 0 0 0 22985 15 0 0 25 0 1 0 896171025 21143552 2498 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 2498 1111 63 0 5099 0
vsize: 20648
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2653 0 0 0 23985 16 0 0 25 0 1 0 896171025 21450752 2573 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 2573 1111 63 0 5174 0
vsize: 20948
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2711 0 0 0 24984 16 0 0 25 0 1 0 896171025 21749760 2631 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5310 2631 1111 63 0 5247 0
vsize: 21240
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2784 0 0 0 25984 17 0 0 25 0 1 0 896171025 22048768 2704 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 2704 1111 63 0 5320 0
vsize: 21532
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2859 0 0 0 26984 17 0 0 25 0 1 0 896171025 22351872 2779 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 2779 1111 63 0 5394 0
vsize: 21828
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 2946 0 0 0 27983 18 0 0 25 0 1 0 896171025 22650880 2866 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5530 2866 1111 63 0 5467 0
vsize: 22120
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3012 0 0 0 28983 18 0 0 25 0 1 0 896171025 22949888 2932 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 2932 1111 63 0 5540 0
vsize: 22412
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3108 0 0 0 29983 18 0 0 25 0 1 0 896171025 23400448 3028 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 3028 1111 63 0 5650 0
vsize: 22852
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3174 0 0 0 30983 19 0 0 25 0 1 0 896171025 23695360 3094 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 3094 1111 63 0 5722 0
vsize: 23140
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3225 0 0 0 31983 19 0 0 25 0 1 0 896171025 23842816 3145 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 3145 1111 63 0 5758 0
vsize: 23284
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3277 0 0 0 32982 19 0 0 25 0 1 0 896171025 24145920 3197 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5895 3197 1111 63 0 5832 0
vsize: 23580
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3335 0 0 0 33982 20 0 0 25 0 1 0 896171025 24297472 3255 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5932 3255 1111 63 0 5869 0
vsize: 23728
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3423 0 0 0 34982 20 0 0 25 0 1 0 896171025 24743936 3343 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 3343 1111 63 0 5978 0
vsize: 24164
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3482 0 0 0 35982 20 0 0 25 0 1 0 896171025 24895488 3402 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 3402 1111 63 0 6015 0
vsize: 24312
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3542 0 0 0 36982 21 0 0 25 0 1 0 896171025 25202688 3462 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6153 3462 1111 63 0 6090 0
vsize: 24612
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3616 0 0 0 37982 21 0 0 25 0 1 0 896171025 25501696 3536 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6226 3536 1111 63 0 6163 0
vsize: 24904
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3689 0 0 0 38981 21 0 0 25 0 1 0 896171025 25800704 3609 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6299 3609 1111 63 0 6236 0
vsize: 25196
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3749 0 0 0 39981 22 0 0 25 0 1 0 896171025 25952256 3669 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6336 3669 1111 63 0 6273 0
vsize: 25344
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3822 0 0 0 40981 22 0 0 25 0 1 0 896171025 26251264 3742 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6409 3742 1111 63 0 6346 0
vsize: 25636
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3896 0 0 0 41981 23 0 0 25 0 1 0 896171025 26550272 3816 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6482 3816 1111 63 0 6419 0
vsize: 25928
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 3986 0 0 0 42980 23 0 0 25 0 1 0 896171025 26984448 3906 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6588 3906 1111 63 0 6525 0
vsize: 26352
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4060 0 0 0 43980 24 0 0 25 0 1 0 896171025 27275264 3980 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6659 3980 1111 63 0 6596 0
vsize: 26636
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4148 0 0 0 44979 25 0 0 25 0 1 0 896171025 27574272 4068 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 4068 1111 63 0 6669 0
vsize: 26928
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4214 0 0 0 45979 25 0 0 25 0 1 0 896171025 27881472 4134 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6807 4134 1111 63 0 6744 0
vsize: 27228
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4266 0 0 0 46978 26 0 0 25 0 1 0 896171025 28180480 4186 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6880 4186 1111 63 0 6817 0
vsize: 27520
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4310 0 0 0 47978 26 0 0 25 0 1 0 896171025 28327936 4230 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6916 4230 1111 63 0 6853 0
vsize: 27664
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4384 0 0 0 48978 27 0 0 25 0 1 0 896171025 28626944 4304 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6989 4304 1111 63 0 6926 0
vsize: 27956
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4472 0 0 0 49978 27 0 0 25 0 1 0 896171025 28934144 4392 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 4392 1111 63 0 7001 0
vsize: 28256
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4530 0 0 0 50977 27 0 0 25 0 1 0 896171025 29233152 4450 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7137 4450 1111 63 0 7074 0
vsize: 28548
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4589 0 0 0 51977 28 0 0 25 0 1 0 896171025 29380608 4509 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7173 4509 1111 63 0 7110 0
vsize: 28692
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4677 0 0 0 52977 28 0 0 25 0 1 0 896171025 29835264 4597 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7284 4597 1111 63 0 7221 0
vsize: 29136
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4737 0 0 0 53976 29 0 0 25 0 1 0 896171025 29982720 4657 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7320 4657 1111 63 0 7257 0
vsize: 29280
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4817 0 0 0 54976 29 0 0 25 0 1 0 896171025 30433280 4737 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 4737 1111 63 0 7367 0
vsize: 29720
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4891 0 0 0 55976 29 0 0 25 0 1 0 896171025 30740480 4811 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7505 4811 1111 63 0 7442 0
vsize: 30020
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 4964 0 0 0 56976 30 0 0 25 0 1 0 896171025 31039488 4884 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7578 4884 1111 63 0 7515 0
vsize: 30312
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5055 0 0 0 57976 30 0 0 25 0 1 0 896171025 31375360 4975 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7660 4975 1111 63 0 7597 0
vsize: 30640
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5144 0 0 0 58975 31 0 0 25 0 1 0 896171025 31825920 5064 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7770 5064 1111 63 0 7707 0
vsize: 31080
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5231 0 0 0 59975 31 0 0 25 0 1 0 896171025 32124928 5151 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7843 5151 1111 63 0 7780 0
vsize: 31372
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5278 0 0 0 60974 32 0 0 25 0 1 0 896171025 32276480 5198 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7880 5198 1111 63 0 7817 0
vsize: 31520
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5335 0 0 0 61974 32 0 0 25 0 1 0 896171025 32583680 5255 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7955 5255 1111 63 0 7892 0
vsize: 31820
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5387 0 0 0 62974 32 0 0 25 0 1 0 896171025 32731136 5307 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7991 5307 1111 63 0 7928 0
vsize: 31964
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5482 0 0 0 63974 33 0 0 25 0 1 0 896171025 33181696 5402 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8101 5402 1111 63 0 8038 0
vsize: 32404
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5544 0 0 0 64973 34 0 0 25 0 1 0 896171025 33333248 5464 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 5464 1111 63 0 8075 0
vsize: 32552
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5609 0 0 0 65973 34 0 0 25 0 1 0 896171025 33632256 5529 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8211 5529 1111 63 0 8148 0
vsize: 32844
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5682 0 0 0 66972 35 0 0 25 0 1 0 896171025 33931264 5602 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8284 5602 1111 63 0 8221 0
vsize: 33136
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5764 0 0 0 67972 35 0 0 25 0 1 0 896171025 34238464 5684 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8359 5684 1111 63 0 8296 0
vsize: 33436
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5830 0 0 0 68971 36 0 0 25 0 1 0 896171025 34537472 5750 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8432 5750 1111 63 0 8369 0
vsize: 33728
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5909 0 0 0 69971 36 0 0 25 0 1 0 896171025 34836480 5829 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8505 5829 1111 63 0 8442 0
vsize: 34020
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 5985 0 0 0 70971 37 0 0 25 0 1 0 896171025 35139584 5905 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 5905 1111 63 0 8516 0
vsize: 34316
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6074 0 0 0 71971 37 0 0 25 0 1 0 896171025 35590144 5994 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8689 5994 1111 63 0 8626 0
vsize: 34756
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6161 0 0 0 72970 38 0 0 25 0 1 0 896171025 35889152 6081 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8762 6081 1111 63 0 8699 0
vsize: 35048
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6251 0 0 0 73970 38 0 0 25 0 1 0 896171025 36343808 6171 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8873 6171 1111 63 0 8810 0
vsize: 35492
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6309 0 0 0 74970 39 0 0 25 0 1 0 896171025 36491264 6229 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8909 6229 1111 63 0 8846 0
vsize: 35636
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6360 0 0 0 75969 39 0 0 25 0 1 0 896171025 36790272 6280 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8982 6280 1111 63 0 8919 0
vsize: 35928
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6413 0 0 0 76969 40 0 0 25 0 1 0 896171025 36945920 6333 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 6333 1111 63 0 8957 0
vsize: 36080
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6515 0 0 0 77969 40 0 0 25 0 1 0 896171025 37396480 6435 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9130 6435 1111 63 0 9067 0
vsize: 36520
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6576 0 0 0 78969 40 0 0 25 0 1 0 896171025 37543936 6496 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9166 6496 1111 63 0 9103 0
vsize: 36664
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6642 0 0 0 79968 41 0 0 25 0 1 0 896171025 37847040 6562 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9240 6562 1111 63 0 9177 0
vsize: 36960
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6722 0 0 0 80968 41 0 0 25 0 1 0 896171025 38146048 6642 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9313 6642 1111 63 0 9250 0
vsize: 37252
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6796 0 0 0 81968 41 0 0 25 0 1 0 896171025 38445056 6716 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9386 6716 1111 63 0 9323 0
vsize: 37544
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6871 0 0 0 82968 41 0 0 25 0 1 0 896171025 38752256 6791 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9461 6791 1111 63 0 9398 0
vsize: 37844
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 6957 0 0 0 83968 42 0 0 25 0 1 0 896171025 39202816 6877 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9571 6877 1111 63 0 9508 0
vsize: 38284
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7032 0 0 0 84967 42 0 0 25 0 1 0 896171025 39501824 6952 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9644 6952 1111 63 0 9581 0
vsize: 38576
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7121 0 0 0 85967 43 0 0 25 0 1 0 896171025 39804928 7041 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 7041 1111 63 0 9655 0
vsize: 38872
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7210 0 0 0 86967 43 0 0 25 0 1 0 896171025 40251392 7130 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9827 7130 1111 63 0 9764 0
vsize: 39308
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7298 0 0 0 87967 44 0 0 25 0 1 0 896171025 40558592 7218 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9902 7218 1111 63 0 9839 0
vsize: 39608
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7357 0 0 0 88966 44 0 0 25 0 1 0 896171025 40857600 7277 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9975 7277 1111 63 0 9912 0
vsize: 39900
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7408 0 0 0 89967 44 0 0 25 0 1 0 896171025 41009152 7328 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10012 7328 1111 63 0 9949 0
vsize: 40048
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7475 0 0 0 90967 44 0 0 25 0 1 0 896171025 41308160 7395 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10085 7395 1111 63 0 10022 0
vsize: 40340
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7579 0 0 0 91966 45 0 0 25 0 1 0 896171025 41758720 7499 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 7499 1111 63 0 10132 0
vsize: 40780
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7637 0 0 0 92966 45 0 0 25 0 1 0 896171025 41910272 7557 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10232 7557 1111 63 0 10169 0
vsize: 40928
[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7703 0 0 0 93966 45 0 0 25 0 1 0 896171025 42209280 7623 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10305 7623 1111 63 0 10242 0
vsize: 41220
[startup+950.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7793 0 0 0 94965 46 0 0 25 0 1 0 896171025 42635264 7713 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 7713 1111 63 0 10346 0
vsize: 41636
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7858 0 0 0 95965 46 0 0 25 0 1 0 896171025 42782720 7778 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10445 7778 1111 63 0 10382 0
vsize: 41780
[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 7945 0 0 0 96965 47 0 0 25 0 1 0 896171025 43233280 7865 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 7865 1111 63 0 10492 0
vsize: 42220
[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8023 0 0 0 97965 47 0 0 25 0 1 0 896171025 43536384 7943 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10629 7943 1111 63 0 10566 0
vsize: 42516
[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8117 0 0 0 98965 47 0 0 25 0 1 0 896171025 43835392 8037 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10702 8037 1111 63 0 10639 0
vsize: 42808
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8199 0 0 0 99964 48 0 0 25 0 1 0 896171025 44290048 8119 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10813 8119 1111 63 0 10750 0
vsize: 43252
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8301 0 0 0 100964 48 0 0 25 0 1 0 896171025 44589056 8221 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10886 8221 1111 63 0 10823 0
vsize: 43544
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8360 0 0 0 101964 49 0 0 25 0 1 0 896171025 44888064 8280 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10959 8280 1111 63 0 10896 0
vsize: 43836
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8420 0 0 0 102963 49 0 0 25 0 1 0 896171025 45191168 8340 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11033 8340 1111 63 0 10970 0
vsize: 44132
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8479 0 0 0 103963 50 0 0 25 0 1 0 896171025 45342720 8399 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11070 8399 1111 63 0 11007 0
vsize: 44280
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8580 0 0 0 104963 50 0 0 25 0 1 0 896171025 45789184 8500 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11179 8500 1111 63 0 11116 0
vsize: 44716
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8648 0 0 0 105962 50 0 0 25 0 1 0 896171025 46096384 8568 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11254 8568 1111 63 0 11191 0
vsize: 45016
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8714 0 0 0 106962 51 0 0 25 0 1 0 896171025 46395392 8634 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11327 8634 1111 63 0 11264 0
vsize: 45308
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8801 0 0 0 107962 51 0 0 25 0 1 0 896171025 46694400 8721 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11400 8721 1111 63 0 11337 0
vsize: 45600
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8876 0 0 0 108962 52 0 0 25 0 1 0 896171025 46997504 8796 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11474 8796 1111 63 0 11411 0
vsize: 45896
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 8963 0 0 0 109961 52 0 0 25 0 1 0 896171025 47296512 8883 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11547 8883 1111 63 0 11484 0
vsize: 46188
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9069 0 0 0 110961 53 0 0 25 0 1 0 896171025 47849472 8989 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11682 8989 1111 63 0 11619 0
vsize: 46728
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9152 0 0 0 111960 54 0 0 25 0 1 0 896171025 48304128 9072 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11793 9072 1111 63 0 11730 0
vsize: 47172
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9239 0 0 0 112960 54 0 0 25 0 1 0 896171025 48603136 9159 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11866 9159 1111 63 0 11803 0
vsize: 47464
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9343 0 0 0 113960 55 0 0 25 0 1 0 896171025 49029120 9263 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11970 9263 1111 63 0 11907 0
vsize: 47880
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9410 0 0 0 114959 55 0 0 25 0 1 0 896171025 49328128 9330 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12043 9330 1111 63 0 11980 0
vsize: 48172
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9468 0 0 0 115959 55 0 0 25 0 1 0 896171025 49475584 9388 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12079 9388 1111 63 0 12016 0
vsize: 48316
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9529 0 0 0 116959 56 0 0 25 0 1 0 896171025 49774592 9449 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12152 9449 1111 63 0 12089 0
vsize: 48608
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9631 0 0 0 117959 56 0 0 25 0 1 0 896171025 50229248 9551 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12263 9551 1111 63 0 12200 0
vsize: 49052
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9704 0 0 0 118959 56 0 0 25 0 1 0 896171025 50528256 9624 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 9624 1111 63 0 12273 0
vsize: 49344
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) R 16283 20224 20223 0 -1 0 9778 0 0 0 119959 57 0 0 25 0 1 0 896171025 50810880 9698 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12405 9698 1111 63 0 12342 0
vsize: 49620
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16284
Raw data (stat): 16284 (bsolo_lpr-v2) Z 16283 20224 20223 0 -1 1036 9778 0 0 0 119959 58 0 0 25 0 1 0 896171025 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.08
CPU time (s): 1200.18
CPU user time (s): 1199.59
CPU system time (s): 0.58891
CPU usage (%): 100.008
Max. virtual memory (Kb): 49620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####