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-ship04l.opb
MD5SUM	2c68ccb202caa7ec35d2be2cf2e849d9
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	63540
Biggest coefficient in the objective function	1977295568896000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	435915316225983825
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1977295568896000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	435915316225983825
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.556914
Number of variables	63540
Total number of constraints	352
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	352
Minimum length of a constraint	30
Maximum length of a constraint	2520
Trace number 39862

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        786000 kB
Buffers:         34292 kB
Cached:         191032 kB
SwapCached:       1796 kB
Active:          41476 kB
Inactive:       186812 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        785748 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14696 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:46:33 (client local time) WITH STATUS 0 IN 1200.48 SECONDS
stats: 27922 7 1200.48 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.90 2/54 19820
Raw data (stat): 19820 (runsolver) R 19819 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896222168 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.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 1010 0 0 0 994 4 0 0 25 0 1 0 896222168 15663104 930 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 930 1111 63 0 3761 0
vsize: 15296
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 1144 0 0 0 1994 4 0 0 25 0 1 0 896222168 16236544 1064 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1064 1111 63 0 3901 0
vsize: 15856
[startup+30.001 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 1305 0 0 0 2994 4 0 0 25 0 1 0 896222168 16838656 1225 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1225 1111 63 0 4048 0
vsize: 16444
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 1455 0 0 0 3994 4 0 0 25 0 1 0 896222168 17420288 1375 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4253 1375 1111 63 0 4190 0
vsize: 17012
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 1616 0 0 0 4994 5 0 0 25 0 1 0 896222168 18145280 1536 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 1536 1111 63 0 4367 0
vsize: 17720
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 1771 0 0 0 5994 5 0 0 25 0 1 0 896222168 18747392 1691 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 1691 1111 63 0 4514 0
vsize: 18308
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 1930 0 0 0 6994 5 0 0 25 0 1 0 896222168 19341312 1850 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 1850 1111 63 0 4659 0
vsize: 18888
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 2093 0 0 0 7994 6 0 0 25 0 1 0 896222168 20094976 2013 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4906 2013 1111 63 0 4843 0
vsize: 19624
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 2254 0 0 0 8995 6 0 0 25 0 1 0 896222168 20697088 2174 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5053 2174 1111 63 0 4990 0
vsize: 20212
[startup+100.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 2416 0 0 0 9995 6 0 0 25 0 1 0 896222168 21450752 2336 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 2336 1111 63 0 5174 0
vsize: 20948
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 2570 0 0 0 10995 7 0 0 25 0 1 0 896222168 22048768 2490 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 2490 1111 63 0 5320 0
vsize: 21532
[startup+120.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 2732 0 0 0 11994 8 0 0 25 0 1 0 896222168 22650880 2652 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5530 2652 1111 63 0 5467 0
vsize: 22120
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 2894 0 0 0 12994 8 0 0 25 0 1 0 896222168 23400448 2814 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 2814 1111 63 0 5650 0
vsize: 22852
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 3055 0 0 0 13994 9 0 0 25 0 1 0 896222168 23994368 2975 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 2975 1111 63 0 5795 0
vsize: 23432
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 3217 0 0 0 14994 9 0 0 25 0 1 0 896222168 24743936 3137 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 3137 1111 63 0 5978 0
vsize: 24164
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 3387 0 0 0 15994 9 0 0 25 0 1 0 896222168 25350144 3307 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6189 3307 1111 63 0 6126 0
vsize: 24756
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 3550 0 0 0 16994 9 0 0 25 0 1 0 896222168 26103808 3470 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 3470 1111 63 0 6310 0
vsize: 25492
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 3717 0 0 0 17994 10 0 0 25 0 1 0 896222168 26701824 3637 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6519 3637 1111 63 0 6456 0
vsize: 26076
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 3881 0 0 0 18995 10 0 0 25 0 1 0 896222168 27426816 3801 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6696 3801 1111 63 0 6633 0
vsize: 26784
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 4044 0 0 0 19995 10 0 0 25 0 1 0 896222168 28028928 3964 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 3964 1111 63 0 6780 0
vsize: 27372
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 4213 0 0 0 20995 10 0 0 25 0 1 0 896222168 28782592 4133 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 4133 1111 63 0 6964 0
vsize: 28108
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 4382 0 0 0 21995 11 0 0 25 0 1 0 896222168 29380608 4302 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7173 4302 1111 63 0 7110 0
vsize: 28692
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 4545 0 0 0 22995 11 0 0 25 0 1 0 896222168 30134272 4465 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7357 4465 1111 63 0 7294 0
vsize: 29428
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 4720 0 0 0 23995 11 0 0 25 0 1 0 896222168 30887936 4640 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7541 4640 1111 63 0 7478 0
vsize: 30164
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 4894 0 0 0 24995 12 0 0 25 0 1 0 896222168 31526912 4814 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 4814 1111 63 0 7634 0
vsize: 30788
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 5068 0 0 0 25995 12 0 0 25 0 1 0 896222168 32276480 4988 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7880 4988 1111 63 0 7817 0
vsize: 31520
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 5238 0 0 0 26995 12 0 0 25 0 1 0 896222168 33030144 5158 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 5158 1111 63 0 8001 0
vsize: 32256
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 5416 0 0 0 27995 13 0 0 25 0 1 0 896222168 33783808 5336 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8248 5336 1111 63 0 8185 0
vsize: 32992
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 5587 0 0 0 28995 13 0 0 25 0 1 0 896222168 34390016 5507 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8396 5507 1111 63 0 8333 0
vsize: 33584
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 5764 0 0 0 29994 14 0 0 25 0 1 0 896222168 35139584 5684 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 5684 1111 63 0 8516 0
vsize: 34316
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 5940 0 0 0 30994 14 0 0 25 0 1 0 896222168 35889152 5860 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8762 5860 1111 63 0 8699 0
vsize: 35048
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 6116 0 0 0 31994 14 0 0 25 0 1 0 896222168 36642816 6036 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6036 1111 63 0 8883 0
vsize: 35784
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 6294 0 0 0 32994 15 0 0 25 0 1 0 896222168 37244928 6214 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9093 6214 1111 63 0 9030 0
vsize: 36372
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 6472 0 0 0 33994 16 0 0 25 0 1 0 896222168 37998592 6392 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9277 6392 1111 63 0 9214 0
vsize: 37108
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 6649 0 0 0 34994 16 0 0 25 0 1 0 896222168 38752256 6569 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9461 6569 1111 63 0 9398 0
vsize: 37844
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 6833 0 0 0 35994 16 0 0 25 0 1 0 896222168 39501824 6753 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9644 6753 1111 63 0 9581 0
vsize: 38576
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 7010 0 0 0 36994 16 0 0 25 0 1 0 896222168 40251392 6930 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9827 6930 1111 63 0 9764 0
vsize: 39308
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 7193 0 0 0 37994 17 0 0 25 0 1 0 896222168 41009152 7113 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10012 7113 1111 63 0 9949 0
vsize: 40048
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 7372 0 0 0 38994 17 0 0 25 0 1 0 896222168 41758720 7292 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 7292 1111 63 0 10132 0
vsize: 40780
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 7549 0 0 0 39994 18 0 0 25 0 1 0 896222168 42356736 7469 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10341 7469 1111 63 0 10278 0
vsize: 41364
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 7731 0 0 0 40994 18 0 0 25 0 1 0 896222168 43233280 7651 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 7651 1111 63 0 10492 0
vsize: 42220
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 7917 0 0 0 41994 18 0 0 25 0 1 0 896222168 43982848 7837 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10738 7837 1111 63 0 10675 0
vsize: 42952
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 8094 0 0 0 42994 19 0 0 25 0 1 0 896222168 44589056 8014 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10886 8014 1111 63 0 10823 0
vsize: 43544
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 8279 0 0 0 43994 19 0 0 25 0 1 0 896222168 45342720 8199 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11070 8199 1111 63 0 11007 0
vsize: 44280
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 8463 0 0 0 44994 20 0 0 25 0 1 0 896222168 46096384 8383 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11254 8383 1111 63 0 11191 0
vsize: 45016
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 8654 0 0 0 45994 20 0 0 25 0 1 0 896222168 46997504 8574 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11474 8574 1111 63 0 11411 0
vsize: 45896
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 8863 0 0 0 46994 20 0 0 25 0 1 0 896222168 47849472 8783 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11682 8783 1111 63 0 11619 0
vsize: 46728
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 9054 0 0 0 47994 21 0 0 25 0 1 0 896222168 48750592 8974 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11902 8974 1111 63 0 11839 0
vsize: 47608
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 9246 0 0 0 48994 21 0 0 25 0 1 0 896222168 49475584 9166 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12079 9166 1111 63 0 12016 0
vsize: 48316
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 9439 0 0 0 49994 22 0 0 25 0 1 0 896222168 50229248 9359 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12263 9359 1111 63 0 12200 0
vsize: 49052
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 9637 0 0 0 50994 22 0 0 25 0 1 0 896222168 51101696 9557 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 9557 1111 63 0 12413 0
vsize: 49904
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 9838 0 0 0 51994 22 0 0 25 0 1 0 896222168 51855360 9758 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12660 9758 1111 63 0 12597 0
vsize: 50640
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 10030 0 0 0 52994 23 0 0 25 0 1 0 896222168 52609024 9950 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12844 9950 1111 63 0 12781 0
vsize: 51376
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 10236 0 0 0 53994 23 0 0 25 0 1 0 896222168 53510144 10156 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 10156 1111 63 0 13001 0
vsize: 52256
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 10435 0 0 0 54993 24 0 0 25 0 1 0 896222168 54259712 10355 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10355 1111 63 0 13184 0
vsize: 52988
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 10633 0 0 0 55993 24 0 0 25 0 1 0 896222168 55164928 10553 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13468 10553 1111 63 0 13405 0
vsize: 53872
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 10840 0 0 0 56993 24 0 0 25 0 1 0 896222168 55914496 10760 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10760 1111 63 0 13588 0
vsize: 54604
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 11039 0 0 0 57993 25 0 0 25 0 1 0 896222168 56819712 10959 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13872 10959 1111 63 0 13809 0
vsize: 55488
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 11247 0 0 0 58993 25 0 0 25 0 1 0 896222168 57573376 11167 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14056 11167 1111 63 0 13993 0
vsize: 56224
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 11453 0 0 0 59993 26 0 0 25 0 1 0 896222168 58478592 11373 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14277 11373 1111 63 0 14214 0
vsize: 57108
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 11659 0 0 0 60993 26 0 0 25 0 1 0 896222168 59379712 11579 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14497 11579 1111 63 0 14434 0
vsize: 57988
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 11873 0 0 0 61993 27 0 0 25 0 1 0 896222168 60133376 11793 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14681 11793 1111 63 0 14618 0
vsize: 58724
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 12080 0 0 0 62993 27 0 0 25 0 1 0 896222168 61034496 12000 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14901 12000 1111 63 0 14838 0
vsize: 59604
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 12295 0 0 0 63993 27 0 0 25 0 1 0 896222168 61939712 12215 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15122 12215 1111 63 0 15059 0
vsize: 60488
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 12508 0 0 0 64993 28 0 0 25 0 1 0 896222168 62840832 12428 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15342 12428 1111 63 0 15279 0
vsize: 61368
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 12724 0 0 0 65993 28 0 0 25 0 1 0 896222168 63598592 12644 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15527 12644 1111 63 0 15464 0
vsize: 62108
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 12943 0 0 0 66993 29 0 0 25 0 1 0 896222168 64499712 12863 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15747 12863 1111 63 0 15684 0
vsize: 62988
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 13158 0 0 0 67992 29 0 0 25 0 1 0 896222168 65400832 13078 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15967 13078 1111 63 0 15904 0
vsize: 63868
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 13380 0 0 0 68992 30 0 0 25 0 1 0 896222168 66306048 13300 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16188 13300 1111 63 0 16125 0
vsize: 64752
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 13607 0 0 0 69992 31 0 0 25 0 1 0 896222168 67207168 13527 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16408 13527 1111 63 0 16345 0
vsize: 65632
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 13836 0 0 0 70992 31 0 0 25 0 1 0 896222168 68259840 13756 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16665 13756 1111 63 0 16602 0
vsize: 66660
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 14058 0 0 0 71992 31 0 0 25 0 1 0 896222168 69160960 13978 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16885 13978 1111 63 0 16822 0
vsize: 67540
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 14294 0 0 0 72992 32 0 0 25 0 1 0 896222168 70066176 14214 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17106 14214 1111 63 0 17043 0
vsize: 68424
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 14529 0 0 0 73991 33 0 0 25 0 1 0 896222168 70967296 14449 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17326 14449 1111 63 0 17263 0
vsize: 69304
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 14767 0 0 0 74991 34 0 0 25 0 1 0 896222168 72024064 14687 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17584 14687 1111 63 0 17521 0
vsize: 70336
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 15009 0 0 0 75991 34 0 0 25 0 1 0 896222168 72925184 14929 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17804 14929 1111 63 0 17741 0
vsize: 71216
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 15253 0 0 0 76990 35 0 0 25 0 1 0 896222168 73949184 15173 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 15173 1111 63 0 17991 0
vsize: 72216
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 15489 0 0 0 77990 35 0 0 25 0 1 0 896222168 74997760 15409 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18310 15409 1111 63 0 18247 0
vsize: 73240
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 15738 0 0 0 78990 35 0 0 25 0 1 0 896222168 75902976 15658 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18531 15658 1111 63 0 18468 0
vsize: 74124
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 15990 0 0 0 79990 36 0 0 25 0 1 0 896222168 76955648 15910 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18788 15910 1111 63 0 18725 0
vsize: 75152
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 16234 0 0 0 80990 36 0 0 25 0 1 0 896222168 78012416 16154 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19046 16154 1111 63 0 18983 0
vsize: 76184
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 16491 0 0 0 81990 37 0 0 25 0 1 0 896222168 79069184 16411 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19304 16411 1111 63 0 19241 0
vsize: 77216
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 16788 0 0 0 82990 38 0 0 25 0 1 0 896222168 80478208 16708 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19648 16708 1111 63 0 19585 0
vsize: 78592
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 17046 0 0 0 83989 38 0 0 25 0 1 0 896222168 81502208 16966 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19898 16966 1111 63 0 19835 0
vsize: 79592
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 17312 0 0 0 84989 39 0 0 25 0 1 0 896222168 82702336 17232 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20191 17232 1111 63 0 20128 0
vsize: 80764
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 17585 0 0 0 85989 39 0 0 25 0 1 0 896222168 83759104 17505 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20449 17505 1111 63 0 20386 0
vsize: 81796
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 17852 0 0 0 86989 40 0 0 25 0 1 0 896222168 84815872 17772 4294967295 134512640 134716908 3221224576 3221222804 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20707 17772 1111 63 0 20644 0
vsize: 82828
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 18131 0 0 0 87989 40 0 0 25 0 1 0 896222168 86016000 18051 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21000 18051 1111 63 0 20937 0
vsize: 84000
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 18410 0 0 0 88989 41 0 0 25 0 1 0 896222168 87068672 18330 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21257 18330 1111 63 0 21194 0
vsize: 85028
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 18692 0 0 0 89988 42 0 0 25 0 1 0 896222168 88276992 18612 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21552 18612 1111 63 0 21489 0
vsize: 86208
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 18971 0 0 0 90988 42 0 0 25 0 1 0 896222168 89477120 18891 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21845 18891 1111 63 0 21782 0
vsize: 87380
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 19260 0 0 0 91988 43 0 0 25 0 1 0 896222168 90652672 19180 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22132 19180 1111 63 0 22069 0
vsize: 88528
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 19547 0 0 0 92988 43 0 0 25 0 1 0 896222168 91701248 19467 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22388 19467 1111 63 0 22325 0
vsize: 89552
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 19844 0 0 0 93988 43 0 0 25 0 1 0 896222168 92909568 19764 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22683 19764 1111 63 0 22620 0
vsize: 90732
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 20153 0 0 0 94988 44 0 0 25 0 1 0 896222168 94261248 20073 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23013 20073 1111 63 0 22950 0
vsize: 92052
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 20463 0 0 0 95987 45 0 0 25 0 1 0 896222168 95465472 20383 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23307 20383 1111 63 0 23244 0
vsize: 93228
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 20773 0 0 0 96987 46 0 0 25 0 1 0 896222168 96821248 20693 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23638 20693 1111 63 0 23575 0
vsize: 94552
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 21096 0 0 0 97987 46 0 0 25 0 1 0 896222168 98021376 21016 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23931 21016 1111 63 0 23868 0
vsize: 95724
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 21415 0 0 0 98987 47 0 0 25 0 1 0 896222168 99381248 21335 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24263 21335 1111 63 0 24200 0
vsize: 97052
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 21745 0 0 0 99986 47 0 0 25 0 1 0 896222168 100732928 21665 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24593 21665 1111 63 0 24530 0
vsize: 98372
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 22084 0 0 0 100986 48 0 0 25 0 1 0 896222168 102092800 22004 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24925 22004 1111 63 0 24862 0
vsize: 99700
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 22424 0 0 0 101985 49 0 0 25 0 1 0 896222168 103440384 22344 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25254 22344 1111 63 0 25191 0
vsize: 101016
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 22778 0 0 0 102986 50 0 0 25 0 1 0 896222168 104947712 22698 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25622 22698 1111 63 0 25559 0
vsize: 102488
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 23126 0 0 0 103986 50 0 0 25 0 1 0 896222168 106303488 23046 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25953 23046 1111 63 0 25890 0
vsize: 103812
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 23486 0 0 0 104985 50 0 0 25 0 1 0 896222168 107806720 23406 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26320 23406 1111 63 0 26257 0
vsize: 105280
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 23863 0 0 0 105985 51 0 0 25 0 1 0 896222168 109314048 23783 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26688 23783 1111 63 0 26625 0
vsize: 106752
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 24241 0 0 0 106985 51 0 0 25 0 1 0 896222168 110968832 24161 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27092 24161 1111 63 0 27029 0
vsize: 108368
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 24631 0 0 0 107984 52 0 0 25 0 1 0 896222168 112472064 24551 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27459 24551 1111 63 0 27396 0
vsize: 109836
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 25027 0 0 0 108984 53 0 0 25 0 1 0 896222168 114130944 24947 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27864 24947 1111 63 0 27801 0
vsize: 111456
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 25427 0 0 0 109983 54 0 0 25 0 1 0 896222168 115785728 25347 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28268 25347 1111 63 0 28205 0
vsize: 113072
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 25847 0 0 0 110983 55 0 0 25 0 1 0 896222168 117444608 25767 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28673 25767 1111 63 0 28610 0
vsize: 114692
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 26276 0 0 0 111982 56 0 0 25 0 1 0 896222168 119250944 26196 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29114 26196 1111 63 0 29051 0
vsize: 116456
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 26712 0 0 0 112982 57 0 0 25 0 1 0 896222168 121032704 26632 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29549 26632 1111 63 0 29486 0
vsize: 118196
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 27162 0 0 0 113981 58 0 0 25 0 1 0 896222168 122830848 27082 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29988 27082 1111 63 0 29925 0
vsize: 119952
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 27633 0 0 0 114981 59 0 0 25 0 1 0 896222168 124788736 27553 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30466 27553 1111 63 0 30403 0
vsize: 121864
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 28120 0 0 0 115980 60 0 0 25 0 1 0 896222168 126742528 28040 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30943 28040 1111 63 0 30880 0
vsize: 123772
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 28614 0 0 0 116979 61 0 0 25 0 1 0 896222168 128696320 28534 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31420 28534 1111 63 0 31357 0
vsize: 125680
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 29123 0 0 0 117979 62 0 0 25 0 1 0 896222168 130801664 29043 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29043 1111 63 0 31871 0
vsize: 127736
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 29639 0 0 0 118978 63 0 0 25 0 1 0 896222168 132915200 29559 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32450 29559 1111 63 0 32387 0
vsize: 129800
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) R 19819 25568 25567 0 -1 0 30171 0 0 0 119977 64 0 0 25 0 1 0 896222168 135168000 30091 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33000 30091 1111 63 0 32937 0
vsize: 132000
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19820
Raw data (stat): 19820 (bsolo_lpr-v2) Z 19819 25568 25567 0 -1 1036 30171 0 0 0 119977 70 0 0 25 0 1 0 896222168 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.11
CPU time (s): 1200.48
CPU user time (s): 1199.78
CPU system time (s): 0.700893
CPU usage (%): 100.031
Max. virtual memory (Kb): 132000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####