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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb
MD5SUM	8504dbc55a414805ff1a65155550ce21
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	184
Optimality of the best value was proved	NO
Number of terms in the objective function	33930
Biggest coefficient in the objective function	204800
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	188622348
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	204800
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	188622348
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.33
Number of variables	53950
Total number of constraints	1820
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1820
Minimum length of a constraint	130
Maximum length of a constraint	130
Trace number 40504

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 12:55:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28567 boxname=wulflinc5 idbench=1523 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8504dbc55a414805ff1a65155550ce21  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-qap10.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-qap10.opb
IDLAUNCH: 28567
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        890476 kB
Buffers:          3788 kB
Cached:         118348 kB
SwapCached:        672 kB
Active:          27064 kB
Inactive:        97144 kB
HighTotal:      131008 kB
HighFree:        11424 kB
LowTotal:       903652 kB
LowFree:        879052 kB
SwapTotal:     2097136 kB
SwapFree:      2095500 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            14232 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:15:38 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 28567 7 1200.4 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 53950 variables and 3640 constraints.
c After prepocess the problem consists of 4150 variables and 3695 constraints.
c preprocess terminated 1149.35 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 19230
Raw data (stat): 19230 (runsolver) R 19229 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901798343 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 1177 0 0 0 993 4 0 0 25 0 1 0 901798343 17416192 1097 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 1097 1111 63 0 4189 0
vsize: 17008
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 1786 0 0 0 1991 6 0 0 25 0 1 0 901798343 19914752 1706 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4862 1706 1111 63 0 4799 0
vsize: 19448
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 2433 0 0 0 2990 7 0 0 25 0 1 0 901798343 22556672 2353 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5507 2353 1111 63 0 5444 0
vsize: 22028
[startup+40.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 3142 0 0 0 3988 9 0 0 25 0 1 0 901798343 25485312 3062 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6222 3062 1111 63 0 6159 0
vsize: 24888
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 3898 0 0 0 4987 10 0 0 25 0 1 0 901798343 28565504 3818 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6974 3818 1111 63 0 6911 0
vsize: 27896
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 4716 0 0 0 5986 12 0 0 25 0 1 0 901798343 31793152 4636 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7762 4636 1111 63 0 7699 0
vsize: 31048
[startup+70.0002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 5589 0 0 0 6984 14 0 0 25 0 1 0 901798343 35504128 5509 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8668 5509 1111 63 0 8605 0
vsize: 34672
[startup+80.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 6473 0 0 0 7982 16 0 0 25 0 1 0 901798343 39022592 6393 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9527 6393 1111 63 0 9464 0
vsize: 38108
[startup+90.0007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 7402 0 0 0 8981 17 0 0 25 0 1 0 901798343 42840064 7322 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10459 7322 1111 63 0 10396 0
vsize: 41836
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 8350 0 0 0 9979 19 0 0 25 0 1 0 901798343 46804992 8270 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11427 8270 1111 63 0 11364 0
vsize: 45708
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 9319 0 0 0 10978 20 0 0 25 0 1 0 901798343 50765824 9239 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12394 9239 1111 63 0 12331 0
vsize: 49576
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 10328 0 0 0 11976 23 0 0 25 0 1 0 901798343 54980608 10248 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13423 10248 1111 63 0 13360 0
vsize: 53692
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 11343 0 0 0 12974 25 0 0 25 0 1 0 901798343 59088896 11263 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14426 11263 1111 63 0 14363 0
vsize: 57704
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 12395 0 0 0 13971 27 0 0 25 0 1 0 901798343 63344640 12315 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15465 12315 1111 63 0 15402 0
vsize: 61860
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 13480 0 0 0 14970 29 0 0 25 0 1 0 901798343 67751936 13400 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13400 1111 63 0 16478 0
vsize: 66164
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 14523 0 0 0 15969 30 0 0 25 0 1 0 901798343 72007680 14443 4294967295 134512640 134716908 3221224576 3221221292 1077191361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17580 14443 1111 63 0 17517 0
vsize: 70320
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 15703 0 0 0 16967 33 0 0 25 0 1 0 901798343 76853248 15623 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18763 15623 1111 63 0 18700 0
vsize: 75052
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 16996 0 0 0 17964 35 0 0 25 0 1 0 901798343 82132992 16916 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20052 16916 1111 63 0 19989 0
vsize: 80208
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 18203 0 0 0 18962 38 0 0 25 0 1 0 901798343 87126016 18123 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21271 18123 1111 63 0 21208 0
vsize: 85084
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 19865 0 0 0 19958 41 0 0 25 0 1 0 901798343 93573120 19649 4294967295 134512640 134716908 3221224576 3221223120 134553593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22845 19649 1111 63 0 22782 0
vsize: 91380
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 27605 0 0 0 20942 58 0 0 25 0 1 0 901798343 125177856 27389 4294967295 134512640 134716908 3221224576 3221221196 1077253384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30561 27389 1111 63 0 30498 0
vsize: 122244
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 32436 0 0 0 21931 67 0 0 25 0 1 0 901798343 144977920 32220 4294967295 134512640 134716908 3221224576 3221221032 1077298518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35395 32220 1111 63 0 35332 0
vsize: 141580
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 36147 0 0 0 22924 75 0 0 25 0 1 0 901798343 160043008 35931 4294967295 134512640 134716908 3221224576 3221221140 1077358272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39073 35931 1111 63 0 39010 0
vsize: 156292
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 37972 0 0 0 23920 79 0 0 25 0 1 0 901798343 167612416 37756 4294967295 134512640 134716908 3221224576 3221221340 1077199691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40921 37756 1111 63 0 40858 0
vsize: 163684
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 39758 0 0 0 24915 83 0 0 25 0 1 0 901798343 174911488 39542 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42703 39542 1111 63 0 42640 0
vsize: 170812
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19230
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 46730 0 0 0 25901 97 0 0 25 0 1 0 901798343 194719744 46352 4294967295 134512640 134716908 3221224576 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47539 46353 1111 63 0 47476 0
vsize: 190156
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 19268
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 49652 0 0 0 26894 102 0 0 25 0 1 0 901798343 206618624 49274 4294967295 134512640 134716908 3221224576 3221222908 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50444 49274 1111 63 0 50381 0
vsize: 201776
[startup+280.007 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 19283
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 52507 0 0 0 27888 108 0 0 25 0 1 0 901798343 218382336 52129 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53316 52129 1111 63 0 53253 0
vsize: 213264
[startup+290.008 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19283
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 55270 0 0 0 28882 115 0 0 25 0 1 0 901798343 229744640 54892 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56090 54892 1111 63 0 56027 0
vsize: 224360
[startup+300.008 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19283
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 57941 0 0 0 29876 121 0 0 25 0 1 0 901798343 240562176 57563 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58731 57563 1111 63 0 58668 0
vsize: 234924
[startup+310.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19283
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 60523 0 0 0 30871 126 0 0 25 0 1 0 901798343 251244544 60145 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61339 60145 1111 63 0 61276 0
vsize: 245356
[startup+320.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19283
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 62981 0 0 0 31867 130 0 0 25 0 1 0 901798343 261251072 62603 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63782 62603 1111 63 0 63719 0
vsize: 255128
[startup+330.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19283
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 65385 0 0 0 32864 134 0 0 25 0 1 0 901798343 271122432 65007 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66192 65007 1111 63 0 66129 0
vsize: 264768
[startup+340.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 67697 0 0 0 33859 139 0 0 25 0 1 0 901798343 280588288 67319 4294967295 134512640 134716908 3221224576 3221223068 134542372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68503 67319 1111 63 0 68440 0
vsize: 274012
[startup+350.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 70274 0 0 0 34853 145 0 0 25 0 1 0 901798343 291135488 69896 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71078 69896 1111 63 0 71015 0
vsize: 284312
[startup+360.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 72761 0 0 0 35848 150 0 0 25 0 1 0 901798343 301277184 72383 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73554 72383 1111 63 0 73491 0
vsize: 294216
[startup+370.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 75192 0 0 0 36844 154 0 0 25 0 1 0 901798343 311283712 74814 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75997 74814 1111 63 0 75934 0
vsize: 303988
[startup+380.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 77491 0 0 0 37840 158 0 0 25 0 1 0 901798343 320749568 77113 4294967295 134512640 134716908 3221224576 3221222940 134539251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78308 77113 1111 63 0 78245 0
vsize: 313232
[startup+390.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 79739 0 0 0 38836 162 0 0 25 0 1 0 901798343 329945088 79361 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80553 79361 1111 63 0 80490 0
vsize: 322212
[startup+400.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 81899 0 0 0 39833 166 0 0 25 0 1 0 901798343 338735104 81521 4294967295 134512640 134716908 3221224576 3221223312 134630829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82699 81521 1111 63 0 82636 0
vsize: 330796
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 83930 0 0 0 40828 170 0 0 25 0 1 0 901798343 347119616 83552 4294967295 134512640 134716908 3221224576 3221222984 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84746 83552 1111 63 0 84683 0
vsize: 338984
[startup+420.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 86023 0 0 0 41825 175 0 0 25 0 1 0 901798343 355639296 85645 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86826 85645 1111 63 0 86763 0
vsize: 347304
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 88167 0 0 0 42821 178 0 0 25 0 1 0 901798343 364429312 87789 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88972 87789 1111 63 0 88909 0
vsize: 355888
[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 90251 0 0 0 43817 182 0 0 25 0 1 0 901798343 372948992 89873 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91052 89873 1111 63 0 90989 0
vsize: 364208
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 92212 0 0 0 44813 186 0 0 25 0 1 0 901798343 381063168 91834 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93033 91834 1111 63 0 92970 0
vsize: 372132
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 94284 0 0 0 45809 191 0 0 25 0 1 0 901798343 389443584 93906 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95079 93906 1111 63 0 95016 0
vsize: 380316
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 96383 0 0 0 46806 194 0 0 25 0 1 0 901798343 398098432 96005 4294967295 134512640 134716908 3221224576 3221223312 134630826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97192 96005 1111 63 0 97129 0
vsize: 388768
[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 98364 0 0 0 47803 198 0 0 25 0 1 0 901798343 406212608 97986 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99173 97986 1111 63 0 99110 0
vsize: 396692
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 100281 0 0 0 48800 201 0 0 25 0 1 0 901798343 414056448 99903 4294967295 134512640 134716908 3221224576 3221223044 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101088 99903 1111 63 0 101025 0
vsize: 404352
[startup+500.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 102108 0 0 0 49796 204 0 0 25 0 1 0 901798343 421494784 101730 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102904 101730 1111 63 0 102841 0
vsize: 411616
[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 103879 0 0 0 50793 208 0 0 25 0 1 0 901798343 428797952 103501 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104687 103501 1111 63 0 104624 0
vsize: 418748
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 105616 0 0 0 51790 211 0 0 25 0 1 0 901798343 435961856 105238 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106436 105238 1111 63 0 106373 0
vsize: 425744
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 107273 0 0 0 52787 214 0 0 25 0 1 0 901798343 442724352 106895 4294967295 134512640 134716908 3221224576 3221223312 134630829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108087 106895 1111 63 0 108024 0
vsize: 432348
[startup+540.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 108925 0 0 0 53784 218 0 0 25 0 1 0 901798343 449486848 108547 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109738 108547 1111 63 0 109675 0
vsize: 438952
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 110512 0 0 0 54781 220 0 0 25 0 1 0 901798343 455979008 110134 4294967295 134512640 134716908 3221224576 3221223020 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111323 110134 1111 63 0 111260 0
vsize: 445292
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 112007 0 0 0 55779 223 0 0 25 0 1 0 901798343 462061568 111629 4294967295 134512640 134716908 3221224576 3221223304 134675304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112808 111629 1111 63 0 112745 0
vsize: 451232
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 113390 0 0 0 56777 225 0 0 25 0 1 0 901798343 467742720 113012 4294967295 134512640 134716908 3221224576 3221222984 134543638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114195 113012 1111 63 0 114132 0
vsize: 456780
[startup+580.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 114713 0 0 0 57775 227 0 0 25 0 1 0 901798343 473149440 114335 4294967295 134512640 134716908 3221224576 3221223040 134542312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115515 114335 1111 63 0 115452 0
vsize: 462060
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 116135 0 0 0 58773 230 0 0 25 0 1 0 901798343 478965760 115757 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116935 115757 1111 63 0 116872 0
vsize: 467740
[startup+600.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 117446 0 0 0 59770 232 0 0 25 0 1 0 901798343 484376576 117068 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118256 117068 1111 63 0 118193 0
vsize: 473024
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 118684 0 0 0 60768 235 0 0 25 0 1 0 901798343 489377792 118306 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119477 118306 1111 63 0 119414 0
vsize: 477908
[startup+620.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19285
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 119816 0 0 0 61766 237 0 0 25 0 1 0 901798343 494112768 119438 4294967295 134512640 134716908 3221224576 3221222908 134535981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120633 119438 1111 63 0 120570 0
vsize: 482532
[startup+630.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 120728 0 0 0 62764 239 0 0 25 0 1 0 901798343 497762304 120350 4294967295 134512640 134716908 3221224576 3221222956 134539232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121524 120350 1111 63 0 121461 0
vsize: 486096
[startup+640.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 121560 0 0 0 63764 240 0 0 25 0 1 0 901798343 501141504 121182 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122349 121182 1111 63 0 122286 0
vsize: 489396
[startup+650.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 122412 0 0 0 64762 242 0 0 25 0 1 0 901798343 504659968 122034 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123208 122034 1111 63 0 123145 0
vsize: 492832
[startup+660.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 123285 0 0 0 65760 244 0 0 25 0 1 0 901798343 508309504 122907 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124099 122907 1111 63 0 124036 0
vsize: 496396
[startup+670.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 124074 0 0 0 66758 246 0 0 25 0 1 0 901798343 511553536 123696 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124891 123696 1111 63 0 124828 0
vsize: 499564
[startup+680.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 124866 0 0 0 67757 248 0 0 25 0 1 0 901798343 514801664 124488 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125684 124488 1111 63 0 125621 0
vsize: 502736
[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 125684 0 0 0 68755 249 0 0 25 0 1 0 901798343 518045696 125306 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126476 125306 1111 63 0 126413 0
vsize: 505904
[startup+700.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 126465 0 0 0 69753 251 0 0 25 0 1 0 901798343 521289728 126087 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127268 126087 1111 63 0 127205 0
vsize: 509072
[startup+710.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 126990 0 0 0 70753 252 0 0 25 0 1 0 901798343 523456512 126612 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127797 126612 1111 63 0 127734 0
vsize: 511188
[startup+720.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 127468 0 0 0 71751 254 0 0 25 0 1 0 901798343 525348864 127090 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128259 127090 1111 63 0 128196 0
vsize: 513036
[startup+730.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 127995 0 0 0 72750 255 0 0 25 0 1 0 901798343 527511552 127617 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128787 127617 1111 63 0 128724 0
vsize: 515148
[startup+740.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 128553 0 0 0 73749 256 0 0 25 0 1 0 901798343 529809408 128175 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129348 128175 1111 63 0 129285 0
vsize: 517392
[startup+750.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 128980 0 0 0 74749 257 0 0 25 0 1 0 901798343 531570688 128602 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129778 128602 1111 63 0 129715 0
vsize: 519112
[startup+760.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 129385 0 0 0 75748 258 0 0 25 0 1 0 901798343 533192704 129007 4294967295 134512640 134716908 3221224576 3221223080 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130174 129007 1111 63 0 130111 0
vsize: 520696
[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 129796 0 0 0 76748 258 0 0 25 0 1 0 901798343 534949888 129418 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130603 129418 1111 63 0 130540 0
vsize: 522412
[startup+780.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 130157 0 0 0 77747 260 0 0 25 0 1 0 901798343 536436736 129779 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130966 129779 1111 63 0 130903 0
vsize: 523864
[startup+790.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 130444 0 0 0 78747 260 0 0 25 0 1 0 901798343 537653248 130066 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131263 130066 1111 63 0 131200 0
vsize: 525052
[startup+800.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 130697 0 0 0 79747 260 0 0 25 0 1 0 901798343 538599424 130319 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131494 130319 1111 63 0 131431 0
vsize: 525976
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 130872 0 0 0 80747 260 0 0 25 0 1 0 901798343 539410432 130494 4294967295 134512640 134716908 3221224576 3221223040 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131692 130494 1111 63 0 131629 0
vsize: 526768
[startup+820.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 130965 0 0 0 81747 260 0 0 25 0 1 0 901798343 539680768 130587 4294967295 134512640 134716908 3221224576 3221223448 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131758 130587 1111 63 0 131695 0
vsize: 527032
[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131045 0 0 0 82747 260 0 0 25 0 1 0 901798343 540033024 130667 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131844 130667 1111 63 0 131781 0
vsize: 527376
[startup+840.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131048 0 0 0 83747 261 0 0 25 0 1 0 901798343 540033024 130670 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131844 130670 1111 63 0 131781 0
vsize: 527376
[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131049 0 0 0 84747 261 0 0 25 0 1 0 901798343 540033024 130671 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131844 130671 1111 63 0 131781 0
vsize: 527376
[startup+860.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131051 0 0 0 85747 261 0 0 25 0 1 0 901798343 540033024 130673 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131844 130673 1111 63 0 131781 0
vsize: 527376
[startup+870.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131055 0 0 0 86747 261 0 0 25 0 1 0 901798343 540033024 130677 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131844 130677 1111 63 0 131781 0
vsize: 527376
[startup+880.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131056 0 0 0 87748 261 0 0 25 0 1 0 901798343 540168192 130678 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130678 1111 63 0 131814 0
vsize: 527508
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131059 0 0 0 88748 261 0 0 25 0 1 0 901798343 540168192 130681 4294967295 134512640 134716908 3221224576 3221223228 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130681 1111 63 0 131814 0
vsize: 527508
[startup+900.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131061 0 0 0 89748 261 0 0 25 0 1 0 901798343 540168192 130683 4294967295 134512640 134716908 3221224576 3221223248 134627247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130683 1111 63 0 131814 0
vsize: 527508
[startup+910.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131065 0 0 0 90748 261 0 0 25 0 1 0 901798343 540168192 130687 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130687 1111 63 0 131814 0
vsize: 527508
[startup+920.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131067 0 0 0 91748 261 0 0 25 0 1 0 901798343 540168192 130689 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130689 1111 63 0 131814 0
vsize: 527508
[startup+930.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131071 0 0 0 92749 261 0 0 25 0 1 0 901798343 540168192 130693 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130693 1111 63 0 131814 0
vsize: 527508
[startup+940.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131072 0 0 0 93749 261 0 0 25 0 1 0 901798343 540168192 130694 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130694 1111 63 0 131814 0
vsize: 527508
[startup+950.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131074 0 0 0 94749 261 0 0 25 0 1 0 901798343 540168192 130696 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130696 1111 63 0 131814 0
vsize: 527508
[startup+960.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131074 0 0 0 95749 261 0 0 25 0 1 0 901798343 540168192 130696 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130696 1111 63 0 131814 0
vsize: 527508
[startup+970.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131077 0 0 0 96749 261 0 0 25 0 1 0 901798343 540168192 130699 4294967295 134512640 134716908 3221224576 3221223220 134630899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130699 1111 63 0 131814 0
vsize: 527508
[startup+980.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131078 0 0 0 97749 261 0 0 25 0 1 0 901798343 540168192 130700 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130700 1111 63 0 131814 0
vsize: 527508
[startup+990.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131079 0 0 0 98749 261 0 0 25 0 1 0 901798343 540168192 130701 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130701 1111 63 0 131814 0
vsize: 527508
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131080 0 0 0 99750 261 0 0 25 0 1 0 901798343 540168192 130702 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130702 1111 63 0 131814 0
vsize: 527508
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131083 0 0 0 100750 261 0 0 25 0 1 0 901798343 540168192 130705 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130705 1111 63 0 131814 0
vsize: 527508
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131084 0 0 0 101750 261 0 0 25 0 1 0 901798343 540168192 130706 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130706 1111 63 0 131814 0
vsize: 527508
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131086 0 0 0 102750 261 0 0 25 0 1 0 901798343 540168192 130708 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130708 1111 63 0 131814 0
vsize: 527508
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131087 0 0 0 103750 261 0 0 25 0 1 0 901798343 540168192 130709 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131877 130709 1111 63 0 131814 0
vsize: 527508
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131091 0 0 0 104750 261 0 0 25 0 1 0 901798343 540303360 130713 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130713 1111 63 0 131847 0
vsize: 527640
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131094 0 0 0 105751 261 0 0 25 0 1 0 901798343 540303360 130716 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130716 1111 63 0 131847 0
vsize: 527640
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131096 0 0 0 106751 261 0 0 25 0 1 0 901798343 540303360 130718 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130718 1111 63 0 131847 0
vsize: 527640
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131098 0 0 0 107751 261 0 0 25 0 1 0 901798343 540303360 130720 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130720 1111 63 0 131847 0
vsize: 527640
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131100 0 0 0 108751 261 0 0 25 0 1 0 901798343 540303360 130722 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130722 1111 63 0 131847 0
vsize: 527640
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131103 0 0 0 109751 261 0 0 25 0 1 0 901798343 540303360 130725 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130725 1111 63 0 131847 0
vsize: 527640
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131106 0 0 0 110751 261 0 0 25 0 1 0 901798343 540303360 130728 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130728 1111 63 0 131847 0
vsize: 527640
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131107 0 0 0 111752 261 0 0 25 0 1 0 901798343 540303360 130729 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130729 1111 63 0 131847 0
vsize: 527640
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131109 0 0 0 112752 261 0 0 25 0 1 0 901798343 540303360 130731 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130731 1111 63 0 131847 0
vsize: 527640
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 131109 0 0 0 113752 261 0 0 25 0 1 0 901798343 540303360 130731 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131910 130731 1111 63 0 131847 0
vsize: 527640
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 143967 0 0 0 114723 290 0 0 25 0 1 0 901798343 550547456 133042 4294967295 134512640 134716908 3221224576 3221222664 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134411 133042 1111 63 0 134348 0
vsize: 537644
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 274161 0 0 0 115438 575 0 0 25 0 1 0 901798343 550977536 133121 4294967295 134512640 134716908 3221224576 3221222696 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134516 133126 1111 63 0 134453 0
vsize: 538064
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 390168 0 0 0 116179 835 0 0 25 0 1 0 901798343 551337984 133150 4294967295 134512640 134716908 3221224576 3221222760 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134604 133160 1111 63 0 134541 0
vsize: 538416
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 495770 0 0 0 116940 1073 0 0 25 0 1 0 901798343 551206912 133213 4294967295 134512640 134716908 3221224576 3221222784 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134572 133213 1111 63 0 134509 0
vsize: 538288
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 529660 0 0 0 117863 1151 0 0 25 0 1 0 901798343 561258496 135218 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137026 135218 1111 63 0 136963 0
vsize: 548104
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) R 19229 7266 7265 0 -1 0 529829 0 0 0 118863 1151 0 0 25 0 1 0 901798343 561651712 135387 4294967295 134512640 134716908 3221224576 3221220752 1074961316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137122 135387 1111 63 0 137059 0
vsize: 548488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 19287
Raw data (stat): 19230 (bsolo_lpr-v2) Z 19229 7266 7265 0 -1 1036 529829 0 0 0 118863 1176 0 0 25 0 1 0 901798343 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.28
CPU time (s): 1200.4
CPU user time (s): 1188.63
CPU system time (s): 11.7672
CPU usage (%): 100.01
Max. virtual memory (Kb): 548488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####