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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	ec9e3281577e2d3f7b25c1cc88cac9ea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06884
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 40436

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 10:08:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28501 boxname=wulflinc1 idbench=1457 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ec9e3281577e2d3f7b25c1cc88cac9ea  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 28501
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        893712 kB
Buffers:         20488 kB
Cached:          95308 kB
SwapCached:       1164 kB
Active:          25536 kB
Inactive:        92516 kB
HighTotal:      131008 kB
HighFree:        59164 kB
LowTotal:       903652 kB
LowFree:        834548 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            17124 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:27:45 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 28501 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1459 variables and 357 constraints.
c preprocess terminated 50.134 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.09
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 s
#### 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.75 0.94 0.90 2/55 21980
Raw data (stat): 21980 (runsolver) R 21979 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 843936713 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.0012 s]
Raw data (loadavg): 0.79 0.94 0.90 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 5920 0 0 0 982 16 0 0 25 0 1 0 843936713 27402240 5838 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6690 5838 1111 63 0 6627 0
vsize: 26760
[startup+20.002 s]
Raw data (loadavg): 0.82 0.94 0.90 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 5960 0 0 0 1982 16 0 0 25 0 1 0 843936713 27529216 5878 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6721 5878 1111 63 0 6658 0
vsize: 26884
[startup+30.0027 s]
Raw data (loadavg): 0.85 0.94 0.90 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6060 0 0 0 2982 16 0 0 25 0 1 0 843936713 27779072 5922 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5922 1111 63 0 6719 0
vsize: 27128
[startup+40.0026 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6073 0 0 0 3981 16 0 0 25 0 1 0 843936713 27779072 5935 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5935 1111 63 0 6719 0
vsize: 27128
[startup+50.0032 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6090 0 0 0 4982 17 0 0 25 0 1 0 843936713 27918336 5952 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 5952 1111 63 0 6753 0
vsize: 27264
[startup+60.004 s]
Raw data (loadavg): 0.91 0.94 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6284 0 0 0 5981 18 0 0 25 0 1 0 843936713 27926528 6093 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6093 1111 63 0 6755 0
vsize: 27272
[startup+70.0049 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6402 0 0 0 6980 18 0 0 25 0 1 0 843936713 27926528 6101 4294967295 134512640 134716908 3221224576 3221220608 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6101 1111 63 0 6755 0
vsize: 27272
[startup+80.0046 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6402 0 0 0 7979 20 0 0 25 0 1 0 843936713 27926528 6101 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6101 1111 63 0 6755 0
vsize: 27272
[startup+90.0043 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6402 0 0 0 8979 20 0 0 25 0 1 0 843936713 27926528 6101 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6101 1111 63 0 6755 0
vsize: 27272
[startup+100.004 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6405 0 0 0 9978 21 0 0 25 0 1 0 843936713 27926528 6101 4294967295 134512640 134716908 3221224576 3221222320 1075636592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6101 1111 63 0 6755 0
vsize: 27272
[startup+110.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6406 0 0 0 10978 21 0 0 25 0 1 0 843936713 27926528 6102 4294967295 134512640 134716908 3221224576 3221222956 1074208604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6102 1111 63 0 6755 0
vsize: 27272
[startup+120.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6406 0 0 0 11978 22 0 0 25 0 1 0 843936713 27926528 6102 4294967295 134512640 134716908 3221224576 3221222400 1075823521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6102 1111 63 0 6755 0
vsize: 27272
[startup+130.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6407 0 0 0 12977 22 0 0 25 0 1 0 843936713 27926528 6103 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+140.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6407 0 0 0 13977 22 0 0 25 0 1 0 843936713 27926528 6103 4294967295 134512640 134716908 3221224576 3221222700 1077404770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6407 0 0 0 14976 24 0 0 25 0 1 0 843936713 27926528 6103 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+160.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6407 0 0 0 15976 24 0 0 25 0 1 0 843936713 27926528 6103 4294967295 134512640 134716908 3221224576 3221222760 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+170.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6407 0 0 0 16975 25 0 0 25 0 1 0 843936713 27926528 6103 4294967295 134512640 134716908 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+180.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6407 0 0 0 17974 26 0 0 25 0 1 0 843936713 27926528 6103 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6407 0 0 0 18974 26 0 0 25 0 1 0 843936713 27926528 6103 4294967295 134512640 134716908 3221224576 3221222696 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6407 0 0 0 19974 27 0 0 25 0 1 0 843936713 27926528 6103 4294967295 134512640 134716908 3221224576 3221222912 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6421 0 0 0 20973 28 0 0 25 0 1 0 843936713 27926528 6103 4294967295 134512640 134716908 3221224576 3221222688 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 6611 0 0 0 21971 30 0 0 25 0 1 0 843936713 27926528 6114 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6114 1111 63 0 6755 0
vsize: 27272
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 9650 0 0 0 22961 41 0 0 25 0 1 0 843936713 27926528 6115 4294967295 134512640 134716908 3221224576 3221222560 1074138460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6115 1111 63 0 6755 0
vsize: 27272
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 15809 0 0 0 23940 61 0 0 25 0 1 0 843936713 27926528 6115 4294967295 134512640 134716908 3221224576 3221222460 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6115 1111 63 0 6755 0
vsize: 27272
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 25789 0 0 0 24914 88 0 0 25 0 1 0 843936713 28004352 6134 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6837 6134 1111 63 0 6774 0
vsize: 27348
[startup+260.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 35840 0 0 0 25890 112 0 0 25 0 1 0 843936713 28160000 6172 4294967295 134512640 134716908 3221224576 3221222784 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 6172 1111 63 0 6812 0
vsize: 27500
[startup+270.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 45983 0 0 0 26863 139 0 0 25 0 1 0 843936713 28319744 6211 4294967295 134512640 134716908 3221224576 3221222592 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6914 6211 1111 63 0 6851 0
vsize: 27656
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 56577 0 0 0 27836 166 0 0 25 0 1 0 843936713 28606464 6278 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6984 6278 1111 63 0 6921 0
vsize: 27936
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 66710 0 0 0 28810 192 0 0 25 0 1 0 843936713 29163520 6354 4294967295 134512640 134716908 3221224576 3221222304 1075828232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7120 6358 1111 63 0 7057 0
vsize: 28480
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 72207 0 0 0 29794 208 0 0 25 0 1 0 843936713 29069312 6364 4294967295 134512640 134716908 3221224576 3221222224 1075818331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7097 6364 1111 63 0 7034 0
vsize: 28388
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 81389 0 0 0 30770 233 0 0 25 0 1 0 843936713 29323264 6401 4294967295 134512640 134716908 3221224576 3221221560 1074831423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7159 6401 1111 63 0 7096 0
vsize: 28636
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 89484 0 0 0 31745 257 0 0 25 0 1 0 843936713 29208576 6431 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7131 6431 1111 63 0 7068 0
vsize: 28524
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 98333 0 0 0 32723 280 0 0 25 0 1 0 843936713 29630464 6504 4294967295 134512640 134716908 3221224576 3221222400 1075823331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7234 6504 1111 63 0 7171 0
vsize: 28936
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 108253 0 0 0 33698 306 0 0 25 0 1 0 843936713 29798400 6564 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7275 6564 1111 63 0 7212 0
vsize: 29100
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 118098 0 0 0 34672 331 0 0 25 0 1 0 843936713 29974528 6578 4294967295 134512640 134716908 3221224576 3221221696 1074865100 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7318 6585 1111 63 0 7255 0
vsize: 29272
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 128659 0 0 0 35644 359 0 0 25 0 1 0 843936713 30105600 6593 4294967295 134512640 134716908 3221224576 3221222304 1075828621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7350 6593 1111 63 0 7287 0
vsize: 29400
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 138762 0 0 0 36616 387 0 0 25 0 1 0 843936713 30515200 6658 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7450 6661 1111 63 0 7387 0
vsize: 29800
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 148664 0 0 0 37590 414 0 0 25 0 1 0 843936713 30613504 6683 4294967295 134512640 134716908 3221224576 3221221616 1075971395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7474 6683 1111 63 0 7411 0
vsize: 29896
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 159172 0 0 0 38564 440 0 0 25 0 1 0 843936713 30236672 6682 4294967295 134512640 134716908 3221224576 3221222528 1074056195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7382 6682 1111 63 0 7319 0
vsize: 29528
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 169266 0 0 0 39539 465 0 0 25 0 1 0 843936713 30359552 6712 4294967295 134512640 134716908 3221224576 3221222696 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7412 6712 1111 63 0 7349 0
vsize: 29648
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 177324 0 0 0 40518 486 0 0 25 0 1 0 843936713 30527488 6753 4294967295 134512640 134716908 3221224576 3221222936 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 6753 1111 63 0 7390 0
vsize: 29812
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 186271 0 0 0 41494 510 0 0 25 0 1 0 843936713 30642176 6781 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7481 6781 1111 63 0 7418 0
vsize: 29924
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 196028 0 0 0 42468 537 0 0 25 0 1 0 843936713 30879744 6821 4294967295 134512640 134716908 3221224576 3221222576 1074919475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7539 6821 1111 63 0 7476 0
vsize: 30156
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 203502 0 0 0 43447 557 0 0 25 0 1 0 843936713 31387648 6909 4294967295 134512640 134716908 3221224576 3221220740 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6909 1111 63 0 7600 0
vsize: 30652
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 212971 0 0 0 44425 580 0 0 25 0 1 0 843936713 30982144 6864 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6864 1111 63 0 7501 0
vsize: 30256
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 222747 0 0 0 45400 605 0 0 25 0 1 0 843936713 31145984 6904 4294967295 134512640 134716908 3221224576 3221222640 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7604 6904 1111 63 0 7541 0
vsize: 30416
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 233069 0 0 0 46372 633 0 0 25 0 1 0 843936713 31223808 6923 4294967295 134512640 134716908 3221224576 3221222392 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7623 6923 1111 63 0 7560 0
vsize: 30492
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 242865 0 0 0 47345 661 0 0 25 0 1 0 843936713 31342592 6952 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7652 6952 1111 63 0 7589 0
vsize: 30608
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 252125 0 0 0 48319 687 0 0 25 0 1 0 843936713 31518720 6995 4294967295 134512640 134716908 3221224576 3221222576 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7695 6995 1111 63 0 7632 0
vsize: 30780
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 261575 0 0 0 49293 713 0 0 25 0 1 0 843936713 31731712 7009 4294967295 134512640 134716908 3221224576 3221222536 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7747 7016 1111 63 0 7684 0
vsize: 30988
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 271013 0 0 0 50272 734 0 0 25 0 1 0 843936713 31735808 7048 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7748 7048 1111 63 0 7685 0
vsize: 30992
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 280813 0 0 0 51244 762 0 0 25 0 1 0 843936713 31973376 7106 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7780 7080 1111 63 0 7717 0
vsize: 31224
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 290924 0 0 0 52221 785 0 0 25 0 1 0 843936713 32030720 7120 4294967295 134512640 134716908 3221224576 3221222752 1074146296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7820 7120 1111 63 0 7757 0
vsize: 31280
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 301369 0 0 0 53195 812 0 0 25 0 1 0 843936713 32309248 7188 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7935 7188 1111 63 0 7872 0
vsize: 31552
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 312159 0 0 0 54167 840 0 0 25 0 1 0 843936713 32448512 7222 4294967295 134512640 134716908 3221224576 3221223280 134654880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7922 7222 1111 63 0 7859 0
vsize: 31688
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 322276 0 0 0 55141 866 0 0 25 0 1 0 843936713 33193984 7346 4294967295 134512640 134716908 3221224576 3221222224 1075817957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8104 7346 1111 63 0 8041 0
vsize: 32416
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 331904 0 0 0 56115 892 0 0 25 0 1 0 843936713 32911360 7333 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8035 7333 1111 63 0 7972 0
vsize: 32140
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 342683 0 0 0 57088 919 0 0 25 0 1 0 843936713 33013760 7358 4294967295 134512640 134716908 3221224576 3221222924 1074138112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8060 7358 1111 63 0 7997 0
vsize: 32240
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 353646 0 0 0 58062 945 0 0 25 0 1 0 843936713 33148928 7391 4294967295 134512640 134716908 3221224576 3221222432 1074052264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8093 7391 1111 63 0 8030 0
vsize: 32372
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 363094 0 0 0 59037 970 0 0 25 0 1 0 843936713 33431552 7460 4294967295 134512640 134716908 3221224576 3221222864 1074057902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8162 7460 1111 63 0 8099 0
vsize: 32648
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 372826 0 0 0 60008 999 0 0 25 0 1 0 843936713 33722368 7511 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8233 7511 1111 63 0 8170 0
vsize: 32932
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 382559 0 0 0 60981 1027 0 0 25 0 1 0 843936713 33673216 7519 4294967295 134512640 134716908 3221224576 3221222720 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8221 7519 1111 63 0 8158 0
vsize: 32884
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 392724 0 0 0 61954 1054 0 0 25 0 1 0 843936713 33828864 7557 4294967295 134512640 134716908 3221224576 3221222524 1074206265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8259 7557 1111 63 0 8196 0
vsize: 33036
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 401934 0 0 0 62931 1077 0 0 25 0 1 0 843936713 34058240 7613 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8315 7613 1111 63 0 8252 0
vsize: 33260
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 412002 0 0 0 63900 1108 0 0 25 0 1 0 843936713 34566144 7680 4294967295 134512640 134716908 3221224576 3221222224 1075818352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8439 7680 1111 63 0 8376 0
vsize: 33756
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 421545 0 0 0 64875 1134 0 0 25 0 1 0 843936713 34582528 7720 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8443 7720 1111 63 0 8380 0
vsize: 33772
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 430929 0 0 0 65849 1160 0 0 25 0 1 0 843936713 34717696 7752 4294967295 134512640 134716908 3221224576 3221222576 1074918566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8476 7752 1111 63 0 8413 0
vsize: 33904
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 440532 0 0 0 66826 1183 0 0 25 0 1 0 843936713 35340288 7844 4294967295 134512640 134716908 3221224576 3221220540 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8628 7844 1111 63 0 8565 0
vsize: 34512
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 450034 0 0 0 67803 1207 0 0 25 0 1 0 843936713 35479552 7877 4294967295 134512640 134716908 3221224576 3221220848 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8662 7877 1111 63 0 8599 0
vsize: 34648
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 459316 0 0 0 68776 1234 0 0 25 0 1 0 843936713 35004416 7844 4294967295 134512640 134716908 3221224576 3221222928 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8546 7844 1111 63 0 8483 0
vsize: 34184
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 466790 0 0 0 69753 1256 0 0 25 0 1 0 843936713 35205120 7893 4294967295 134512640 134716908 3221224576 3221222720 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8595 7893 1111 63 0 8532 0
vsize: 34380
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 476135 0 0 0 70728 1282 0 0 25 0 1 0 843936713 35205120 7893 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8595 7893 1111 63 0 8532 0
vsize: 34380
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 486990 0 0 0 71698 1312 0 0 25 0 1 0 843936713 35422208 7946 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8648 7946 1111 63 0 8585 0
vsize: 34592
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 497502 0 0 0 72668 1342 0 0 25 0 1 0 843936713 35504128 7966 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8668 7966 1111 63 0 8605 0
vsize: 34672
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 507167 0 0 0 73644 1366 0 0 25 0 1 0 843936713 35819520 8043 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8745 8043 1111 63 0 8682 0
vsize: 34980
[startup+760.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 512928 0 0 0 74626 1384 0 0 25 0 1 0 843936713 35946496 8070 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8776 8070 1111 63 0 8713 0
vsize: 35104
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 520933 0 0 0 75605 1405 0 0 25 0 1 0 843936713 36364288 8131 4294967295 134512640 134716908 3221224576 3221221232 1075966259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8878 8131 1111 63 0 8815 0
vsize: 35512
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 525057 0 0 0 76592 1418 0 0 25 0 1 0 843936713 36364288 8173 4294967295 134512640 134716908 3221224576 3221223340 134556376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8878 8173 1111 63 0 8815 0
vsize: 35512
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 528534 0 0 0 77581 1430 0 0 25 0 1 0 843936713 36409344 8187 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 8187 1111 63 0 8826 0
vsize: 35556
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 533049 0 0 0 78568 1443 0 0 25 0 1 0 843936713 36823040 8244 4294967295 134512640 134716908 3221224576 3221220804 1075114946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8990 8244 1111 63 0 8927 0
vsize: 35960
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 537196 0 0 0 79555 1456 0 0 25 0 1 0 843936713 36601856 8235 4294967295 134512640 134716908 3221224576 3221222928 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8936 8235 1111 63 0 8873 0
vsize: 35744
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 541227 0 0 0 80541 1470 0 0 25 0 1 0 843936713 37220352 8301 4294967295 134512640 134716908 3221224576 3221221600 1074810496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9087 8301 1111 63 0 9024 0
vsize: 36348
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 545024 0 0 0 81529 1483 0 0 25 0 1 0 843936713 37330944 8340 4294967295 134512640 134716908 3221224576 3221220736 1074794578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9114 8340 1111 63 0 9051 0
vsize: 36456
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 548389 0 0 0 82519 1493 0 0 25 0 1 0 843936713 36884480 8304 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9005 8304 1111 63 0 8942 0
vsize: 36020
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 551344 0 0 0 83508 1503 0 0 25 0 1 0 843936713 36929536 8315 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9016 8315 1111 63 0 8953 0
vsize: 36064
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 555086 0 0 0 84498 1514 0 0 25 0 1 0 843936713 37285888 8357 4294967295 134512640 134716908 3221224576 3221221616 1075859853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9103 8357 1111 63 0 9040 0
vsize: 36412
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 560134 0 0 0 85484 1528 0 0 25 0 1 0 843936713 37076992 8351 4294967295 134512640 134716908 3221224576 3221222616 1077378451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9052 8351 1111 63 0 8989 0
vsize: 36208
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 564639 0 0 0 86470 1542 0 0 25 0 1 0 843936713 37703680 8434 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9205 8434 1111 63 0 9142 0
vsize: 36820
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 567501 0 0 0 87460 1553 0 0 25 0 1 0 843936713 37502976 8455 4294967295 134512640 134716908 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9156 8455 1111 63 0 9093 0
vsize: 36624
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 569726 0 0 0 88451 1561 0 0 25 0 1 0 843936713 37871616 8486 4294967295 134512640 134716908 3221224576 3221222400 1075823441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9246 8486 1111 63 0 9183 0
vsize: 36984
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 573087 0 0 0 89441 1572 0 0 25 0 1 0 843936713 37703680 8470 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9205 8470 1111 63 0 9142 0
vsize: 36820
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 576508 0 0 0 90430 1583 0 0 25 0 1 0 843936713 37646336 8491 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9191 8491 1111 63 0 9128 0
vsize: 36764
[startup+930.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 580369 0 0 0 91419 1594 0 0 25 0 1 0 843936713 38035456 8539 4294967295 134512640 134716908 3221224576 3221221232 1075966572 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9286 8539 1111 63 0 9223 0
vsize: 37144
[startup+940.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 583736 0 0 0 92409 1604 0 0 25 0 1 0 843936713 37785600 8525 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9225 8525 1111 63 0 9162 0
vsize: 36900
[startup+950.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 586958 0 0 0 93397 1616 0 0 25 0 1 0 843936713 38236160 8562 4294967295 134512640 134716908 3221224576 3221220896 1075169442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9335 8562 1111 63 0 9272 0
vsize: 37340
[startup+960.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 591884 0 0 0 94384 1630 0 0 25 0 1 0 843936713 37834752 8537 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9237 8537 1111 63 0 9174 0
vsize: 36948
[startup+970.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 597137 0 0 0 95367 1647 0 0 25 0 1 0 843936713 37978112 8572 4294967295 134512640 134716908 3221224576 3221222344 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9272 8572 1111 63 0 9209 0
vsize: 37088
[startup+980.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 601079 0 0 0 96354 1660 0 0 25 0 1 0 843936713 38146048 8613 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9313 8613 1111 63 0 9250 0
vsize: 37252
[startup+990.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 604285 0 0 0 97345 1669 0 0 25 0 1 0 843936713 38322176 8654 4294967295 134512640 134716908 3221224576 3221222320 1075640249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9356 8654 1111 63 0 9293 0
vsize: 37424
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 608052 0 0 0 98332 1682 0 0 25 0 1 0 843936713 38391808 8669 4294967295 134512640 134716908 3221224576 3221222576 1074140688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9373 8669 1111 63 0 9310 0
vsize: 37492
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 611214 0 0 0 99322 1692 0 0 25 0 1 0 843936713 38866944 8728 4294967295 134512640 134716908 3221224576 3221220752 1074882614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9489 8728 1111 63 0 9426 0
vsize: 37956
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 614646 0 0 0 100312 1703 0 0 25 0 1 0 843936713 38486016 8693 4294967295 134512640 134716908 3221224576 3221221696 1074865619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9396 8693 1111 63 0 9333 0
vsize: 37584
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 619001 0 0 0 101299 1716 0 0 25 0 1 0 843936713 38707200 8717 4294967295 134512640 134716908 3221224576 3221222496 1075799822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9450 8717 1111 63 0 9387 0
vsize: 37800
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 621887 0 0 0 102289 1727 0 0 25 0 1 0 843936713 38813696 8777 4294967295 134512640 134716908 3221224576 3221221696 1074865092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9476 8777 1111 63 0 9413 0
vsize: 37904
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 624781 0 0 0 103279 1736 0 0 25 0 1 0 843936713 38813696 8777 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9476 8777 1111 63 0 9413 0
vsize: 37904
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 627989 0 0 0 104268 1747 0 0 25 0 1 0 843936713 39399424 8861 4294967295 134512640 134716908 3221224576 3221220728 1074883113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9619 8861 1111 63 0 9556 0
vsize: 38476
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 630704 0 0 0 105260 1755 0 0 25 0 1 0 843936713 39600128 8913 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9668 8913 1111 63 0 9605 0
vsize: 38672
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 633106 0 0 0 106253 1762 0 0 25 0 1 0 843936713 39211008 8874 4294967295 134512640 134716908 3221224576 3221222960 1074153337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9573 8874 1111 63 0 9510 0
vsize: 38292
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 635512 0 0 0 107246 1770 0 0 25 0 1 0 843936713 39505920 8936 4294967295 134512640 134716908 3221224576 3221222576 1074918585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9645 8936 1111 63 0 9582 0
vsize: 38580
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 638375 0 0 0 108237 1779 0 0 25 0 1 0 843936713 39833600 8961 4294967295 134512640 134716908 3221224576 3221220540 1074788220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9725 8961 1111 63 0 9662 0
vsize: 38900
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 640999 0 0 0 109228 1788 0 0 25 0 1 0 843936713 39661568 8983 4294967295 134512640 134716908 3221224576 3221222584 1077380177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 8983 1111 63 0 9620 0
vsize: 38732
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 643294 0 0 0 110222 1794 0 0 25 0 1 0 843936713 39833600 9026 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9725 9026 1111 63 0 9662 0
vsize: 38900
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 645865 0 0 0 111213 1804 0 0 25 0 1 0 843936713 39833600 9026 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9725 9026 1111 63 0 9662 0
vsize: 38900
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 648798 0 0 0 112202 1814 0 0 25 0 1 0 843936713 40284160 9069 4294967295 134512640 134716908 3221224576 3221220484 1074786501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9835 9069 1111 63 0 9772 0
vsize: 39340
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 651332 0 0 0 113195 1822 0 0 25 0 1 0 843936713 39931904 9050 4294967295 134512640 134716908 3221224576 3221221680 1074138636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9749 9050 1111 63 0 9686 0
vsize: 38996
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 654200 0 0 0 114187 1830 0 0 25 0 1 0 843936713 40005632 9068 4294967295 134512640 134716908 3221224576 3221222552 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 9068 1111 63 0 9704 0
vsize: 39068
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 657055 0 0 0 115178 1840 0 0 25 0 1 0 843936713 40501248 9130 4294967295 134512640 134716908 3221224576 3221220508 1074788195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9888 9130 1111 63 0 9825 0
vsize: 39552
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21980
Raw data (stat): 21980 (bsolo_lpr-v2) R 21979 8378 8377 0 -1 0 657055 0 0 0 115178 1840 0 0 25 0 1 0 843936713 40501248 9130 4294967295 134512640 134716908 3221224576 3221220508 1074788195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9888 9130 1111 63 0 9825 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.07
CPU user time (s): 1156.62
CPU system time (s): 18.4582
CPU usage (%): 100.015
Max. virtual memory (Kb): 39552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####