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/miplib/normalized-mps-v2-13-7-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15249
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.38
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 40301

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        904440 kB
Buffers:         12152 kB
Cached:          96176 kB
SwapCached:        676 kB
Active:          30148 kB
Inactive:        80204 kB
HighTotal:      131008 kB
HighFree:        53284 kB
LowTotal:       903652 kB
LowFree:        851156 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            14104 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:36:55 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 28364 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.733 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.01925
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.92 0.96 0.91 1/54 22556
Raw data (stat): 22556 (runsolver) R 22555 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899399916 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 6534 0 0 0 977 20 0 0 25 0 1 0 899399916 19820544 4097 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4097 1111 63 0 4776 0
vsize: 19356
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 12524 0 0 0 1954 43 0 0 25 0 1 0 899399916 23101440 4932 4294967295 134512640 134716908 3221224576 3221221696 1074866134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5640 4932 1111 63 0 5577 0
vsize: 22560
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 18979 0 0 0 2925 73 0 0 25 0 1 0 899399916 26157056 5689 4294967295 134512640 134716908 3221224576 3221223336 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6386 5689 1111 63 0 6323 0
vsize: 25544
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 25750 0 0 0 3898 100 0 0 25 0 1 0 899399916 30035968 6597 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7333 6597 1111 63 0 7270 0
vsize: 29332
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 31986 0 0 0 4874 124 0 0 25 0 1 0 899399916 32833536 7314 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8016 7314 1111 63 0 7953 0
vsize: 32064
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 37692 0 0 0 5847 151 0 0 25 0 1 0 899399916 35852288 8050 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8753 8050 1111 63 0 8690 0
vsize: 35012
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 43141 0 0 0 6826 172 0 0 25 0 1 0 899399916 39968768 8993 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9758 8993 1111 63 0 9695 0
vsize: 39032
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 48554 0 0 0 7804 194 0 0 25 0 1 0 899399916 42790912 9710 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10447 9710 1111 63 0 10384 0
vsize: 41788
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 54073 0 0 0 8783 216 0 0 25 0 1 0 899399916 45744128 10434 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11208 10436 1111 63 0 11145 0
vsize: 44672
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 59562 0 0 0 9759 240 0 0 25 0 1 0 899399916 48951296 11224 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11951 11224 1111 63 0 11888 0
vsize: 47804
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 64977 0 0 0 10738 261 0 0 25 0 1 0 899399916 51998720 11962 4294967295 134512640 134716908 3221224576 3221223008 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12695 11962 1111 63 0 12632 0
vsize: 50780
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 71153 0 0 0 11714 285 0 0 25 0 1 0 899399916 57757696 13151 4294967295 134512640 134716908 3221224576 3221223216 134535138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14101 13151 1111 63 0 14038 0
vsize: 56404
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 76473 0 0 0 12692 308 0 0 25 0 1 0 899399916 60653568 13857 4294967295 134512640 134716908 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14808 13857 1111 63 0 14745 0
vsize: 59232
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 81899 0 0 0 13668 332 0 0 25 0 1 0 899399916 63107072 14482 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15407 14482 1111 63 0 15344 0
vsize: 61628
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 86939 0 0 0 14646 355 0 0 25 0 1 0 899399916 65830912 15157 4294967295 134512640 134716908 3221224576 3221222224 1075817673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16072 15157 1111 63 0 16009 0
vsize: 64288
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 92258 0 0 0 15623 377 0 0 25 0 1 0 899399916 68792320 15882 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16795 15882 1111 63 0 16732 0
vsize: 67180
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 97034 0 0 0 16603 398 0 0 25 0 1 0 899399916 72175616 16737 4294967295 134512640 134716908 3221224576 3221222576 1074916715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17621 16737 1111 63 0 17558 0
vsize: 70484
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 97735 0 0 0 17602 399 0 0 25 0 1 0 899399916 71622656 16610 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17486 16610 1111 63 0 17423 0
vsize: 69944
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 105453 0 0 0 18584 417 0 0 25 0 1 0 899399916 72118272 16716 4294967295 134512640 134716908 3221224576 3221222812 1073986656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17607 16716 1111 63 0 17544 0
vsize: 70428
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 123912 0 0 0 19538 463 0 0 25 0 1 0 899399916 74764288 17348 4294967295 134512640 134716908 3221224576 3221223236 1073987108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18253 17348 1111 63 0 18190 0
vsize: 73012
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 140689 0 0 0 20499 503 0 0 25 0 1 0 899399916 77766656 18134 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18986 18134 1111 63 0 18923 0
vsize: 75944
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 159255 0 0 0 21450 552 0 0 25 0 1 0 899399916 81317888 18898 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19947 18900 1111 63 0 19884 0
vsize: 79412
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 177691 0 0 0 22405 597 0 0 25 0 1 0 899399916 83718144 19580 4294967295 134512640 134716908 3221224576 3221222224 1074247381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20439 19580 1111 63 0 20376 0
vsize: 81756
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 196375 0 0 0 23359 643 0 0 25 0 1 0 899399916 86097920 20156 4294967295 134512640 134716908 3221224576 3221223320 134536877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21020 20156 1111 63 0 20957 0
vsize: 84080
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 214227 0 0 0 24316 686 0 0 25 0 1 0 899399916 94330880 21574 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23030 21574 1111 63 0 22967 0
vsize: 92120
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 232937 0 0 0 25268 734 0 0 25 0 1 0 899399916 98115584 22331 4294967295 134512640 134716908 3221224576 3221221544 1075112472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22325 1111 63 0 23703 0
vsize: 95816
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 251389 0 0 0 26222 780 0 0 25 0 1 0 899399916 99819520 22941 4294967295 134512640 134716908 3221224576 3221222696 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24370 22941 1111 63 0 24307 0
vsize: 97480
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 269295 0 0 0 27176 827 0 0 25 0 1 0 899399916 102662144 23664 4294967295 134512640 134716908 3221224576 3221222880 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25064 23664 1111 63 0 25001 0
vsize: 100256
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 287669 0 0 0 28130 873 0 0 25 0 1 0 899399916 104980480 24221 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25630 24221 1111 63 0 25567 0
vsize: 102520
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 303403 0 0 0 29094 910 0 0 25 0 1 0 899399916 107483136 24856 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26241 24856 1111 63 0 26178 0
vsize: 104964
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 321909 0 0 0 30046 958 0 0 25 0 1 0 899399916 109805568 25406 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26808 25406 1111 63 0 26745 0
vsize: 107232
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 340656 0 0 0 30998 1006 0 0 25 0 1 0 899399916 112828416 26147 4294967295 134512640 134716908 3221224576 3221222992 1074116245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27546 26147 1111 63 0 27483 0
vsize: 110184
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 359188 0 0 0 31953 1051 0 0 25 0 1 0 899399916 115240960 26753 4294967295 134512640 134716908 3221224576 3221222184 1077380446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28135 26753 1111 63 0 28072 0
vsize: 112540
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 361762 0 0 0 32947 1057 0 0 25 0 1 0 899399916 116043776 26967 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28331 26967 1111 63 0 28268 0
vsize: 113324
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 361762 0 0 0 33948 1057 0 0 25 0 1 0 899399916 116043776 26967 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28331 26967 1111 63 0 28268 0
vsize: 113324
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 370092 0 0 0 34926 1079 0 0 25 0 1 0 899399916 117104640 27226 4294967295 134512640 134716908 3221224576 3221223184 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28590 27226 1111 63 0 28527 0
vsize: 114360
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 388669 0 0 0 35878 1126 0 0 25 0 1 0 899399916 119898112 27888 4294967295 134512640 134716908 3221224576 3221222496 1075799500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29272 27888 1111 63 0 29209 0
vsize: 117088
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 404121 0 0 0 36840 1164 0 0 25 0 1 0 899399916 122810368 28572 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29983 28572 1111 63 0 29920 0
vsize: 119932
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 422767 0 0 0 37793 1212 0 0 25 0 1 0 899399916 125157376 29128 4294967295 134512640 134716908 3221224576 3221222664 1075635093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30556 29128 1111 63 0 30493 0
vsize: 122224
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 441401 0 0 0 38749 1257 0 0 25 0 1 0 899399916 128598016 29958 4294967295 134512640 134716908 3221224576 3221222496 1075799512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31396 29958 1111 63 0 31333 0
vsize: 125584
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 459920 0 0 0 39700 1306 0 0 25 0 1 0 899399916 130781184 30510 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31929 30510 1111 63 0 31866 0
vsize: 127716
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 478253 0 0 0 40652 1353 0 0 25 0 1 0 899399916 133746688 31270 4294967295 134512640 134716908 3221224576 3221222880 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32653 31270 1111 63 0 32590 0
vsize: 130612
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 496430 0 0 0 41612 1393 0 0 25 0 1 0 899399916 136929280 32051 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33430 32051 1111 63 0 33367 0
vsize: 133720
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 512499 0 0 0 42578 1428 0 0 25 0 1 0 899399916 139177984 32632 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33979 32632 1111 63 0 33916 0
vsize: 135916
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 531016 0 0 0 43532 1474 0 0 25 0 1 0 899399916 141254656 33152 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34486 33152 1111 63 0 34423 0
vsize: 137944
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 549709 0 0 0 44489 1517 0 0 25 0 1 0 899399916 144281600 33920 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35225 33920 1111 63 0 35162 0
vsize: 140900
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 568066 0 0 0 45446 1560 0 0 25 0 1 0 899399916 146628608 34509 4294967295 134512640 134716908 3221224576 3221222640 1075961826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35798 34509 1111 63 0 35735 0
vsize: 143192
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 585421 0 0 0 46405 1602 0 0 25 0 1 0 899399916 148905984 35071 4294967295 134512640 134716908 3221224576 3221222320 1075635203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36354 35071 1111 63 0 36291 0
vsize: 145416
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 603333 0 0 0 47359 1648 0 0 25 0 1 0 899399916 151142400 35620 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36900 35620 1111 63 0 36837 0
vsize: 147600
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 619501 0 0 0 48319 1688 0 0 25 0 1 0 899399916 153190400 36124 4294967295 134512640 134716908 3221224576 3221222688 1074207332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37400 36124 1111 63 0 37337 0
vsize: 149600
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 630992 0 0 0 49294 1713 0 0 25 0 1 0 899399916 165748736 37951 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40466 37951 1111 63 0 40403 0
vsize: 161864
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 648616 0 0 0 50252 1755 0 0 25 0 1 0 899399916 167776256 38409 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40961 38409 1111 63 0 40898 0
vsize: 163844
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 666444 0 0 0 51208 1799 0 0 25 0 1 0 899399916 170049536 38976 4294967295 134512640 134716908 3221224576 3221222304 1075828841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41516 38976 1111 63 0 41453 0
vsize: 166064
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 685045 0 0 0 52164 1843 0 0 25 0 1 0 899399916 172728320 39615 4294967295 134512640 134716908 3221224576 3221222792 1074208241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42170 39615 1111 63 0 42107 0
vsize: 168680
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 703464 0 0 0 53117 1890 0 0 25 0 1 0 899399916 175198208 40187 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42773 40187 1111 63 0 42710 0
vsize: 171092
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 721539 0 0 0 54073 1935 0 0 25 0 1 0 899399916 177541120 40796 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43345 40796 1111 63 0 43282 0
vsize: 173380
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 740083 0 0 0 55029 1979 0 0 25 0 1 0 899399916 180551680 41354 4294967295 134512640 134716908 3221224576 3221221616 1075860325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44080 41359 1111 63 0 44017 0
vsize: 176320
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 757001 0 0 0 55989 2019 0 0 25 0 1 0 899399916 182013952 41877 4294967295 134512640 134716908 3221224576 3221223136 1073989433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44437 41877 1111 63 0 44374 0
vsize: 177748
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 775549 0 0 0 56944 2064 0 0 25 0 1 0 899399916 184496128 42505 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45043 42505 1111 63 0 44980 0
vsize: 180172
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 792709 0 0 0 57902 2106 0 0 25 0 1 0 899399916 186609664 43056 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45559 43056 1111 63 0 45496 0
vsize: 182236
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 811773 0 0 0 58855 2154 0 0 25 0 1 0 899399916 189321216 43716 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46268 43716 1111 63 0 46205 0
vsize: 184884
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 830716 0 0 0 59809 2200 0 0 25 0 1 0 899399916 191545344 44260 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46764 44260 1111 63 0 46701 0
vsize: 187056
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 840097 0 0 0 60787 2221 0 0 25 0 1 0 899399916 193134592 44658 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47152 44658 1111 63 0 47089 0
vsize: 188608
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 844088 0 0 0 61778 2231 0 0 25 0 1 0 899399916 193724416 44613 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47296 44613 1111 63 0 47233 0
vsize: 189184
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 862749 0 0 0 62733 2276 0 0 25 0 1 0 899399916 195203072 45202 4294967295 134512640 134716908 3221224576 3221222992 1074116233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47657 45203 1111 63 0 47594 0
vsize: 190628
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 879766 0 0 0 63692 2318 0 0 25 0 1 0 899399916 197033984 45655 4294967295 134512640 134716908 3221224576 3221222320 1075640405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48104 45655 1111 63 0 48041 0
vsize: 192416
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 898876 0 0 0 64646 2363 0 0 25 0 1 0 899399916 199245824 46203 4294967295 134512640 134716908 3221224576 3221222912 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48644 46203 1111 63 0 48581 0
vsize: 194576
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 920344 0 0 0 65596 2414 0 0 25 0 1 0 899399916 201224192 46727 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49127 46727 1111 63 0 49064 0
vsize: 196508
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 939961 0 0 0 66550 2460 0 0 25 0 1 0 899399916 204128256 47267 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49836 47267 1111 63 0 49773 0
vsize: 199344
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 959714 0 0 0 67505 2505 0 0 25 0 1 0 899399916 205340672 47741 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50132 47741 1111 63 0 50069 0
vsize: 200528
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 976676 0 0 0 68463 2547 0 0 25 0 1 0 899399916 207249408 48245 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50598 48245 1111 63 0 50535 0
vsize: 202392
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 995246 0 0 0 69418 2592 0 0 25 0 1 0 899399916 209612800 48826 4294967295 134512640 134716908 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51175 48826 1111 63 0 51112 0
vsize: 204700
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1013626 0 0 0 70377 2633 0 0 25 0 1 0 899399916 211832832 49372 4294967295 134512640 134716908 3221224576 3221223024 1073990032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51717 49372 1111 63 0 51654 0
vsize: 206868
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1031510 0 0 0 71335 2675 0 0 25 0 1 0 899399916 213819392 49899 4294967295 134512640 134716908 3221224576 3221222492 1077377636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52202 49899 1111 63 0 52139 0
vsize: 208808
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1049247 0 0 0 72295 2716 0 0 25 0 1 0 899399916 215797760 50392 4294967295 134512640 134716908 3221224576 3221222928 1074142742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52685 50392 1111 63 0 52622 0
vsize: 210740
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1067023 0 0 0 73254 2757 0 0 25 0 1 0 899399916 218238976 50986 4294967295 134512640 134716908 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53281 50986 1111 63 0 53218 0
vsize: 213124
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1082229 0 0 0 74216 2795 0 0 25 0 1 0 899399916 220508160 51582 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53835 51582 1111 63 0 53772 0
vsize: 215340
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1098790 0 0 0 75175 2836 0 0 25 0 1 0 899399916 222490624 52008 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54319 52008 1111 63 0 54256 0
vsize: 217276
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1117230 0 0 0 76132 2880 0 0 25 0 1 0 899399916 225198080 52573 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54980 52573 1111 63 0 54917 0
vsize: 219920
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1135535 0 0 0 77084 2927 0 0 25 0 1 0 899399916 227717120 53166 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55595 53166 1111 63 0 55532 0
vsize: 222380
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1153352 0 0 0 78043 2969 0 0 25 0 1 0 899399916 230658048 53802 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56313 53802 1111 63 0 56250 0
vsize: 225252
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1171547 0 0 0 79000 3011 0 0 25 0 1 0 899399916 233185280 54380 4294967295 134512640 134716908 3221224576 3221222488 1074138247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56930 54380 1111 63 0 56867 0
vsize: 227720
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1173904 0 0 0 79995 3017 0 0 25 0 1 0 899399916 234029056 54600 4294967295 134512640 134716908 3221224576 3221223312 134622860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57136 54600 1111 63 0 57073 0
vsize: 228544
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1173904 0 0 0 80995 3017 0 0 25 0 1 0 899399916 234029056 54600 4294967295 134512640 134716908 3221224576 3221223288 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57136 54600 1111 63 0 57073 0
vsize: 228544
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1173904 0 0 0 81995 3017 0 0 25 0 1 0 899399916 234029056 54600 4294967295 134512640 134716908 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57136 54600 1111 63 0 57073 0
vsize: 228544
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1175810 0 0 0 82990 3022 0 0 25 0 1 0 899399916 233779200 54535 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57075 54535 1111 63 0 57012 0
vsize: 228300
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1178059 0 0 0 83985 3028 0 0 25 0 1 0 899399916 235270144 54878 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57439 54878 1111 63 0 57376 0
vsize: 229756
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1193900 0 0 0 84944 3069 0 0 25 0 1 0 899399916 235245568 54901 4294967295 134512640 134716908 3221224576 3221222688 1074867209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57433 54901 1111 63 0 57370 0
vsize: 229732
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1212372 0 0 0 85900 3113 0 0 25 0 1 0 899399916 237621248 55489 4294967295 134512640 134716908 3221224576 3221222564 1074138453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58013 55489 1111 63 0 57950 0
vsize: 232052
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1226312 0 0 0 86867 3146 0 0 25 0 1 0 899399916 239382528 55941 4294967295 134512640 134716908 3221224576 3221222400 1075824351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58443 55941 1111 63 0 58380 0
vsize: 233772
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1244585 0 0 0 87822 3191 0 0 25 0 1 0 899399916 241549312 56494 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58972 56494 1111 63 0 58909 0
vsize: 235888
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1263470 0 0 0 88779 3234 0 0 25 0 1 0 899399916 243757056 57042 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59511 57042 1111 63 0 59448 0
vsize: 238044
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1282039 0 0 0 89734 3280 0 0 25 0 1 0 899399916 246009856 57620 4294967295 134512640 134716908 3221224576 3221222892 1074138448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60061 57620 1111 63 0 59998 0
vsize: 240244
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1300248 0 0 0 90690 3324 0 0 25 0 1 0 899399916 248340480 58207 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60630 58207 1111 63 0 60567 0
vsize: 242520
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1318464 0 0 0 91643 3371 0 0 25 0 1 0 899399916 250523648 58745 4294967295 134512640 134716908 3221224576 3221222880 1073986849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61163 58745 1111 63 0 61100 0
vsize: 244652
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1337150 0 0 0 92599 3415 0 0 25 0 1 0 899399916 254541824 59548 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62144 59548 1111 63 0 62081 0
vsize: 248576
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1355732 0 0 0 93553 3462 0 0 25 0 1 0 899399916 255868928 60091 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62468 60091 1111 63 0 62405 0
vsize: 249872
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1369332 0 0 0 94521 3494 0 0 25 0 1 0 899399916 257220608 60440 4294967295 134512640 134716908 3221224576 3221223320 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62798 60440 1111 63 0 62735 0
vsize: 251192
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1387743 0 0 0 95479 3535 0 0 25 0 1 0 899399916 259629056 60989 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63386 60989 1111 63 0 63323 0
vsize: 253544
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1406761 0 0 0 96431 3584 0 0 25 0 1 0 899399916 262115328 61558 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63993 61558 1111 63 0 63930 0
vsize: 255972
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1425547 0 0 0 97386 3629 0 0 25 0 1 0 899399916 264224768 62115 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64508 62115 1111 63 0 64445 0
vsize: 258032
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1447671 0 0 0 98335 3680 0 0 25 0 1 0 899399916 267149312 62560 4294967295 134512640 134716908 3221224576 3221221716 1077374543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65222 62562 1111 63 0 65159 0
vsize: 260888
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1469441 0 0 0 99281 3734 0 0 25 0 1 0 899399916 267886592 62937 4294967295 134512640 134716908 3221224576 3221222760 1073987051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65402 62937 1111 63 0 65339 0
vsize: 261608
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1484948 0 0 0 100247 3769 0 0 25 0 1 0 899399916 269946880 63478 4294967295 134512640 134716908 3221224576 3221222400 1075823494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65905 63478 1111 63 0 65842 0
vsize: 263620
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1502967 0 0 0 101202 3814 0 0 25 0 1 0 899399916 272334848 64103 4294967295 134512640 134716908 3221224576 3221222504 1077380277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66488 64103 1111 63 0 66425 0
vsize: 265952
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1516651 0 0 0 102170 3846 0 0 25 0 1 0 899399916 273952768 64500 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66883 64500 1111 63 0 66820 0
vsize: 267532
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1534570 0 0 0 103126 3890 0 0 25 0 1 0 899399916 276160512 65054 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67422 65054 1111 63 0 67359 0
vsize: 269688
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1552746 0 0 0 104086 3931 0 0 25 0 1 0 899399916 279146496 65606 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68151 65606 1111 63 0 68088 0
vsize: 272604
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1570877 0 0 0 105045 3972 0 0 25 0 1 0 899399916 280313856 66111 4294967295 134512640 134716908 3221224576 3221222496 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68436 66111 1111 63 0 68373 0
vsize: 273744
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1588870 0 0 0 106003 4014 0 0 25 0 1 0 899399916 282537984 66722 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68979 66722 1111 63 0 68916 0
vsize: 275916
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1606631 0 0 0 106961 4056 0 0 25 0 1 0 899399916 284962816 67309 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69571 67309 1111 63 0 69508 0
vsize: 278284
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1608579 0 0 0 107956 4061 0 0 25 0 1 0 899399916 285511680 67457 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69705 67457 1111 63 0 69642 0
vsize: 278820
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1608579 0 0 0 108956 4061 0 0 25 0 1 0 899399916 285511680 67457 4294967295 134512640 134716908 3221224576 3221223288 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69705 67457 1111 63 0 69642 0
vsize: 278820
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1608579 0 0 0 109956 4061 0 0 25 0 1 0 899399916 285511680 67457 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69705 67457 1111 63 0 69642 0
vsize: 278820
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1620478 0 0 0 110928 4090 0 0 25 0 1 0 899399916 286281728 67643 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69893 67643 1111 63 0 69830 0
vsize: 279572
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1642996 0 0 0 111876 4141 0 0 25 0 1 0 899399916 311328768 70253 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76008 70253 1111 63 0 75945 0
vsize: 304032
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1658098 0 0 0 112839 4178 0 0 25 0 1 0 899399916 311128064 70431 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75959 70431 1111 63 0 75896 0
vsize: 303836
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 22556
Raw data (stat): 22556 (bsolo_lpr-v2) R 22555 20224 20223 0 -1 0 1658098 0 0 0 112839 4178 0 0 25 0 1 0 899399916 311128064 70431 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75959 70431 1111 63 0 75896 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.15
CPU user time (s): 1133.07
CPU system time (s): 42.0846
CPU usage (%): 100.014
Max. virtual memory (Kb): 304032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####