PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb
MD5SUM	1c2ccb44cf4c8d63886f263017961035
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	190
Optimality of the best value was proved	NO
Number of terms in the objective function	52200
Biggest coefficient in the objective function	26214400
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	24146585100
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	26214400
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	24146585100
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.22
Number of variables	83000
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	200
Maximum length of a constraint	200
Trace number 40125

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 02:49:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28182 boxname=wulflinc3 idbench=1138 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  1c2ccb44cf4c8d63886f263017961035  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-qap10.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-qap10.opb
IDLAUNCH: 28182
/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:        808208 kB
Buffers:         31004 kB
Cached:         172656 kB
SwapCached:        680 kB
Active:          41036 kB
Inactive:       164708 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        807956 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            14984 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:09:54 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 28182 7 1200.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 83000 variables and 3640 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 19726
Raw data (stat): 19726 (runsolver) R 19725 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898154903 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 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 970 0 0 0 994 3 0 0 25 0 1 0 898154903 16084992 890 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 890 1111 63 0 3864 0
vsize: 15708
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 1214 0 0 0 1994 4 0 0 25 0 1 0 898154903 17108992 1134 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4177 1134 1111 63 0 4114 0
vsize: 16708
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 1458 0 0 0 2993 5 0 0 25 0 1 0 898154903 18137088 1378 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4428 1378 1111 63 0 4365 0
vsize: 17712
[startup+40.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 1711 0 0 0 3992 5 0 0 25 0 1 0 898154903 19156992 1631 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4677 1631 1111 63 0 4614 0
vsize: 18708
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 1961 0 0 0 4992 6 0 0 25 0 1 0 898154903 20168704 1881 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4924 1881 1111 63 0 4861 0
vsize: 19696
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 2212 0 0 0 5992 6 0 0 25 0 1 0 898154903 21172224 2132 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 2132 1111 63 0 5106 0
vsize: 20676
[startup+70.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 2476 0 0 0 6992 7 0 0 25 0 1 0 898154903 22327296 2396 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5451 2396 1111 63 0 5388 0
vsize: 21804
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 2736 0 0 0 7991 7 0 0 25 0 1 0 898154903 23326720 2656 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5695 2656 1111 63 0 5632 0
vsize: 22780
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 2993 0 0 0 8991 7 0 0 25 0 1 0 898154903 24342528 2913 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5943 2913 1111 63 0 5880 0
vsize: 23772
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 3255 0 0 0 9991 8 0 0 25 0 1 0 898154903 25493504 3175 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6224 3175 1111 63 0 6161 0
vsize: 24896
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 3519 0 0 0 10991 8 0 0 25 0 1 0 898154903 26517504 3439 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6474 3439 1111 63 0 6411 0
vsize: 25896
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 3790 0 0 0 11990 9 0 0 25 0 1 0 898154903 27672576 3710 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6756 3710 1111 63 0 6693 0
vsize: 27024
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 4068 0 0 0 12990 9 0 0 25 0 1 0 898154903 28880896 3988 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7051 3988 1111 63 0 6988 0
vsize: 28204
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 4341 0 0 0 13990 10 0 0 25 0 1 0 898154903 29880320 4261 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7295 4261 1111 63 0 7232 0
vsize: 29180
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 4617 0 0 0 14989 11 0 0 25 0 1 0 898154903 31055872 4537 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7582 4537 1111 63 0 7519 0
vsize: 30328
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 4892 0 0 0 15989 11 0 0 25 0 1 0 898154903 32210944 4812 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 4812 1111 63 0 7801 0
vsize: 31456
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 5175 0 0 0 16989 12 0 0 25 0 1 0 898154903 33357824 5095 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8144 5095 1111 63 0 8081 0
vsize: 32576
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 5464 0 0 0 17988 12 0 0 25 0 1 0 898154903 34512896 5384 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8426 5384 1111 63 0 8363 0
vsize: 33704
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 5747 0 0 0 18988 13 0 0 25 0 1 0 898154903 35659776 5667 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8706 5667 1111 63 0 8643 0
vsize: 34824
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 6044 0 0 0 19987 13 0 0 25 0 1 0 898154903 36814848 5964 4294967295 134512640 134716908 3221224576 3221222928 134567424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8988 5964 1111 63 0 8925 0
vsize: 35952
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 6334 0 0 0 20987 14 0 0 25 0 1 0 898154903 38117376 6254 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9306 6254 1111 63 0 9243 0
vsize: 37224
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 6632 0 0 0 21987 14 0 0 25 0 1 0 898154903 39301120 6552 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9595 6552 1111 63 0 9532 0
vsize: 38380
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 6937 0 0 0 22986 15 0 0 25 0 1 0 898154903 40456192 6857 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 6857 1111 63 0 9814 0
vsize: 39508
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 7267 0 0 0 23986 16 0 0 25 0 1 0 898154903 42049536 7187 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10266 7187 1111 63 0 10203 0
vsize: 41064
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 7582 0 0 0 24986 16 0 0 25 0 1 0 898154903 43200512 7502 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10547 7502 1111 63 0 10484 0
vsize: 42188
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 7904 0 0 0 25986 16 0 0 25 0 1 0 898154903 44638208 7824 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10898 7824 1111 63 0 10835 0
vsize: 43592
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 8226 0 0 0 26985 17 0 0 25 0 1 0 898154903 45924352 8146 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11212 8146 1111 63 0 11149 0
vsize: 44848
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 8561 0 0 0 27985 18 0 0 25 0 1 0 898154903 47235072 8481 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11532 8481 1111 63 0 11469 0
vsize: 46128
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 8892 0 0 0 28985 18 0 0 25 0 1 0 898154903 48545792 8812 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11852 8812 1111 63 0 11789 0
vsize: 47408
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 9229 0 0 0 29984 19 0 0 25 0 1 0 898154903 50008064 9149 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12209 9149 1111 63 0 12146 0
vsize: 48836
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 9575 0 0 0 30984 19 0 0 25 0 1 0 898154903 51445760 9495 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12560 9495 1111 63 0 12497 0
vsize: 50240
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 9927 0 0 0 31983 20 0 0 25 0 1 0 898154903 52883456 9847 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12911 9847 1111 63 0 12848 0
vsize: 51644
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 10279 0 0 0 32983 20 0 0 25 0 1 0 898154903 54325248 10199 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13263 10199 1111 63 0 13200 0
vsize: 53052
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 10640 0 0 0 33982 22 0 0 25 0 1 0 898154903 55771136 10560 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13616 10560 1111 63 0 13553 0
vsize: 54464
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 11008 0 0 0 34982 22 0 0 25 0 1 0 898154903 57233408 10928 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13973 10928 1111 63 0 13910 0
vsize: 55892
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 11378 0 0 0 35981 23 0 0 25 0 1 0 898154903 58679296 11298 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14326 11298 1111 63 0 14263 0
vsize: 57304
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 11761 0 0 0 36981 24 0 0 25 0 1 0 898154903 60268544 11681 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14714 11681 1111 63 0 14651 0
vsize: 58856
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 12146 0 0 0 37980 24 0 0 25 0 1 0 898154903 61841408 12066 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15098 12066 1111 63 0 15035 0
vsize: 60392
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 12552 0 0 0 38980 25 0 0 25 0 1 0 898154903 63565824 12472 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15519 12472 1111 63 0 15456 0
vsize: 62076
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 12953 0 0 0 39979 26 0 0 25 0 1 0 898154903 65163264 12873 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15909 12873 1111 63 0 15846 0
vsize: 63636
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 13401 0 0 0 40979 26 0 0 25 0 1 0 898154903 67272704 13321 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16424 13321 1111 63 0 16361 0
vsize: 65696
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 13831 0 0 0 41978 27 0 0 25 0 1 0 898154903 69005312 13751 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16847 13751 1111 63 0 16784 0
vsize: 67388
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 14279 0 0 0 42977 28 0 0 25 0 1 0 898154903 70885376 14199 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17306 14199 1111 63 0 17243 0
vsize: 69224
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 14717 0 0 0 43976 29 0 0 25 0 1 0 898154903 72609792 14637 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17727 14637 1111 63 0 17664 0
vsize: 70908
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 15170 0 0 0 44976 30 0 0 25 0 1 0 898154903 74489856 15090 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18186 15090 1111 63 0 18123 0
vsize: 72744
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 15618 0 0 0 45975 31 0 0 25 0 1 0 898154903 76222464 15538 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18609 15538 1111 63 0 18546 0
vsize: 74436
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 16082 0 0 0 46975 32 0 0 25 0 1 0 898154903 78237696 16002 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19101 16002 1111 63 0 19038 0
vsize: 76404
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 16583 0 0 0 47974 33 0 0 25 0 1 0 898154903 80252928 16503 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19593 16503 1111 63 0 19530 0
vsize: 78372
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 17123 0 0 0 48973 34 0 0 25 0 1 0 898154903 82419712 17043 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20122 17043 1111 63 0 20059 0
vsize: 80488
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 17664 0 0 0 49973 35 0 0 25 0 1 0 898154903 84594688 17584 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20653 17584 1111 63 0 20590 0
vsize: 82612
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 18222 0 0 0 50972 36 0 0 25 0 1 0 898154903 86892544 18142 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21214 18142 1111 63 0 21151 0
vsize: 84856
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 18777 0 0 0 51972 36 0 0 25 0 1 0 898154903 89194496 18697 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21776 18697 1111 63 0 21713 0
vsize: 87104
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 19320 0 0 0 52971 37 0 0 25 0 1 0 898154903 91369472 19240 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22307 19240 1111 63 0 22244 0
vsize: 89228
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 19853 0 0 0 53969 39 0 0 25 0 1 0 898154903 93519872 19773 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22832 19773 1111 63 0 22769 0
vsize: 91328
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 20416 0 0 0 54968 40 0 0 25 0 1 0 898154903 95842304 20336 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23399 20336 1111 63 0 23336 0
vsize: 93596
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 20958 0 0 0 55968 41 0 0 25 0 1 0 898154903 97992704 20878 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23924 20878 1111 63 0 23861 0
vsize: 95696
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 24806 0 0 0 56959 50 0 0 25 0 1 0 898154903 112930816 24518 4294967295 134512640 134716908 3221224576 3221221052 1077196550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27571 24518 1111 63 0 27508 0
vsize: 110284
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 30504 0 0 0 57947 62 0 0 25 0 1 0 898154903 136450048 30090 4294967295 134512640 134716908 3221224576 3221222880 134568123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33313 30090 1111 63 0 33250 0
vsize: 133252
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 35240 0 0 0 58937 71 0 0 25 0 1 0 898154903 155648000 34826 4294967295 134512640 134716908 3221224576 3221221196 1077253787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38000 34826 1111 63 0 37937 0
vsize: 152000
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 36587 0 0 0 59934 75 0 0 25 0 1 0 898154903 161189888 36173 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39353 36173 1111 63 0 39290 0
vsize: 157412
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19726
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 40040 0 0 0 60924 85 0 0 25 0 1 0 898154903 175304704 39626 4294967295 134512640 134716908 3221224576 3221221116 1077091057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42799 39626 1111 63 0 42736 0
vsize: 171196
[startup+620.031 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 19779
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 41443 0 0 0 61920 88 0 0 25 0 1 0 898154903 180981760 41029 4294967295 134512640 134716908 3221224576 3221222860 1077399568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44185 41029 1111 63 0 44122 0
vsize: 176740
[startup+630.032 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19779
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 42864 0 0 0 62915 93 0 0 25 0 1 0 898154903 186793984 42450 4294967295 134512640 134716908 3221224576 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45604 42450 1111 63 0 45541 0
vsize: 182416
[startup+640.031 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19779
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 44233 0 0 0 63912 96 0 0 25 0 1 0 898154903 192471040 43819 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46990 43819 1111 63 0 46927 0
vsize: 187960
[startup+650.031 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19779
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 52362 0 0 0 64894 114 0 0 25 0 1 0 898154903 217690112 51683 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53147 51683 1111 63 0 53084 0
vsize: 212588
[startup+660.032 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19779
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 54875 0 0 0 65891 118 0 0 25 0 1 0 898154903 227966976 54196 4294967295 134512640 134716908 3221224576 3221223132 134528392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55656 54196 1111 63 0 55593 0
vsize: 222624
[startup+670.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19779
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 57364 0 0 0 66887 121 0 0 25 0 1 0 898154903 238108672 56685 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58132 56685 1111 63 0 58069 0
vsize: 232528
[startup+680.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19779
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 59746 0 0 0 67883 126 0 0 25 0 1 0 898154903 247980032 59067 4294967295 134512640 134716908 3221224576 3221223008 134523202 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60542 59067 1111 63 0 60479 0
vsize: 242168
[startup+690.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 62104 0 0 0 68878 131 0 0 25 0 1 0 898154903 257581056 61425 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62886 61425 1111 63 0 62823 0
vsize: 251544
[startup+700.033 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 64360 0 0 0 69875 134 0 0 25 0 1 0 898154903 266776576 63681 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65131 63681 1111 63 0 65068 0
vsize: 260524
[startup+710.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 66588 0 0 0 70870 139 0 0 25 0 1 0 898154903 275972096 65909 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67376 65909 1111 63 0 67313 0
vsize: 269504
[startup+720.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 68717 0 0 0 71867 143 0 0 25 0 1 0 898154903 284626944 68038 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69489 68038 1111 63 0 69426 0
vsize: 277956
[startup+730.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 70780 0 0 0 72865 145 0 0 25 0 1 0 898154903 293146624 70101 4294967295 134512640 134716908 3221224576 3221222992 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71569 70101 1111 63 0 71506 0
vsize: 286276
[startup+740.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 72783 0 0 0 73860 148 0 0 25 0 1 0 898154903 301395968 72104 4294967295 134512640 134716908 3221224576 3221223064 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73583 72104 1111 63 0 73520 0
vsize: 294332
[startup+750.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 74722 0 0 0 74858 151 0 0 25 0 1 0 898154903 309239808 74043 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75498 74043 1111 63 0 75435 0
vsize: 301992
[startup+760.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 76835 0 0 0 75855 154 0 0 25 0 1 0 898154903 317890560 76156 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77610 76156 1111 63 0 77547 0
vsize: 310440
[startup+770.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 78970 0 0 0 76851 158 0 0 25 0 1 0 898154903 326680576 78291 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79756 78291 1111 63 0 79693 0
vsize: 319024
[startup+780.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 81044 0 0 0 77847 162 0 0 25 0 1 0 898154903 335200256 80365 4294967295 134512640 134716908 3221224576 3221223136 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81836 80365 1111 63 0 81773 0
vsize: 327344
[startup+790.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 83052 0 0 0 78844 165 0 0 25 0 1 0 898154903 343449600 82373 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83850 82373 1111 63 0 83787 0
vsize: 335400
[startup+800.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 85027 0 0 0 79842 168 0 0 25 0 1 0 898154903 351428608 84348 4294967295 134512640 134716908 3221224576 3221223304 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85798 84348 1111 63 0 85735 0
vsize: 343192
[startup+810.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 86905 0 0 0 80838 172 0 0 25 0 1 0 898154903 359137280 86226 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87680 86226 1111 63 0 87617 0
vsize: 350720
[startup+820.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 88723 0 0 0 81835 175 0 0 25 0 1 0 898154903 366575616 88044 4294967295 134512640 134716908 3221224576 3221222968 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89496 88044 1111 63 0 89433 0
vsize: 357984
[startup+830.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 90510 0 0 0 82832 178 0 0 25 0 1 0 898154903 373874688 89831 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91278 89831 1111 63 0 91215 0
vsize: 365112
[startup+840.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 92205 0 0 0 83830 180 0 0 25 0 1 0 898154903 380907520 91526 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92995 91526 1111 63 0 92932 0
vsize: 371980
[startup+850.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 93993 0 0 0 84827 183 0 0 25 0 1 0 898154903 388210688 93314 4294967295 134512640 134716908 3221224576 3221222984 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94778 93314 1111 63 0 94715 0
vsize: 379112
[startup+860.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 95827 0 0 0 85825 186 0 0 25 0 1 0 898154903 395784192 95148 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96627 95148 1111 63 0 96564 0
vsize: 386508
[startup+870.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 97566 0 0 0 86823 188 0 0 25 0 1 0 898154903 402812928 96887 4294967295 134512640 134716908 3221224576 3221223304 134675309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98343 96887 1111 63 0 98280 0
vsize: 393372
[startup+880.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 99217 0 0 0 87819 191 0 0 25 0 1 0 898154903 409575424 98538 4294967295 134512640 134716908 3221224576 3221223068 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99994 98538 1111 63 0 99931 0
vsize: 399976
[startup+890.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 100861 0 0 0 88816 194 0 0 25 0 1 0 898154903 416337920 100182 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101645 100182 1111 63 0 101582 0
vsize: 406580
[startup+900.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 102658 0 0 0 89814 196 0 0 25 0 1 0 898154903 423641088 101979 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103428 101979 1111 63 0 103365 0
vsize: 413712
[startup+910.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 104386 0 0 0 90812 198 0 0 25 0 1 0 898154903 430804992 103707 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105177 103707 1111 63 0 105114 0
vsize: 420708
[startup+920.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 106075 0 0 0 91809 202 0 0 25 0 1 0 898154903 437702656 105396 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106861 105396 1111 63 0 106798 0
vsize: 427444
[startup+930.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 107682 0 0 0 92807 204 0 0 25 0 1 0 898154903 444329984 107003 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108479 107003 1111 63 0 108416 0
vsize: 433916
[startup+940.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 109218 0 0 0 93805 206 0 0 25 0 1 0 898154903 450551808 108539 4294967295 134512640 134716908 3221224576 3221222984 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109998 108539 1111 63 0 109935 0
vsize: 439992
[startup+950.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19781
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 110734 0 0 0 94803 208 0 0 25 0 1 0 898154903 456769536 110055 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111516 110055 1111 63 0 111453 0
vsize: 446064
[startup+960.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 112219 0 0 0 95800 211 0 0 25 0 1 0 898154903 462856192 111540 4294967295 134512640 134716908 3221224576 3221223068 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113002 111540 1111 63 0 112939 0
vsize: 452008
[startup+970.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 113666 0 0 0 96798 214 0 0 25 0 1 0 898154903 468803584 112987 4294967295 134512640 134716908 3221224576 3221223304 134675301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114454 112987 1111 63 0 114391 0
vsize: 457816
[startup+980.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 115048 0 0 0 97796 216 0 0 25 0 1 0 898154903 474484736 114369 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115841 114369 1111 63 0 115778 0
vsize: 463364
[startup+990.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 116439 0 0 0 98793 219 0 0 25 0 1 0 898154903 480165888 115760 4294967295 134512640 134716908 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117228 115760 1111 63 0 117165 0
vsize: 468912
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 117799 0 0 0 99791 222 0 0 25 0 1 0 898154903 485707776 117120 4294967295 134512640 134716908 3221224576 3221223328 134630805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118581 117120 1111 63 0 118518 0
vsize: 474324
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 119068 0 0 0 100790 223 0 0 25 0 1 0 898154903 490848256 118389 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119836 118389 1111 63 0 119773 0
vsize: 479344
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 120269 0 0 0 101788 225 0 0 25 0 1 0 898154903 495849472 119590 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121057 119590 1111 63 0 120994 0
vsize: 484228
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 121435 0 0 0 102786 227 0 0 25 0 1 0 898154903 500584448 120756 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122213 120756 1111 63 0 122150 0
vsize: 488852
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 122548 0 0 0 103784 229 0 0 25 0 1 0 898154903 505180160 121869 4294967295 134512640 134716908 3221224576 3221222928 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123335 121869 1111 63 0 123272 0
vsize: 493340
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 123745 0 0 0 104783 231 0 0 25 0 1 0 898154903 510050304 123066 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124524 123066 1111 63 0 124461 0
vsize: 498096
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 124858 0 0 0 105781 233 0 0 25 0 1 0 898154903 514646016 124179 4294967295 134512640 134716908 3221224576 3221223192 134536883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125646 124179 1111 63 0 125583 0
vsize: 502584
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 125928 0 0 0 106780 234 0 0 25 0 1 0 898154903 518975488 125249 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126703 125249 1111 63 0 126640 0
vsize: 506812
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 126915 0 0 0 107778 236 0 0 25 0 1 0 898154903 523030528 126236 4294967295 134512640 134716908 3221224576 3221223040 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127693 126236 1111 63 0 127630 0
vsize: 510772
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 127814 0 0 0 108777 237 0 0 25 0 1 0 898154903 526684160 127135 4294967295 134512640 134716908 3221224576 3221222992 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128585 127135 1111 63 0 128522 0
vsize: 514340
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 128527 0 0 0 109776 238 0 0 25 0 1 0 898154903 529657856 127848 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129311 127848 1111 63 0 129248 0
vsize: 517244
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 129223 0 0 0 110775 239 0 0 25 0 1 0 898154903 532496384 128544 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130004 128544 1111 63 0 129941 0
vsize: 520016
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 129917 0 0 0 111774 240 0 0 25 0 1 0 898154903 535339008 129238 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130698 129238 1111 63 0 130635 0
vsize: 522792
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 130693 0 0 0 112773 242 0 0 25 0 1 0 898154903 538583040 130014 4294967295 134512640 134716908 3221224576 3221223308 134675288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131490 130014 1111 63 0 131427 0
vsize: 525960
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 131375 0 0 0 113772 244 0 0 25 0 1 0 898154903 541286400 130696 4294967295 134512640 134716908 3221224576 3221222940 134539265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132150 130696 1111 63 0 132087 0
vsize: 528600
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 132007 0 0 0 114771 245 0 0 25 0 1 0 898154903 543854592 131328 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132777 131328 1111 63 0 132714 0
vsize: 531108
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 132717 0 0 0 115770 246 0 0 25 0 1 0 898154903 546832384 132038 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133504 132038 1111 63 0 133441 0
vsize: 534016
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 133393 0 0 0 116769 247 0 0 25 0 1 0 898154903 549535744 132714 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134164 132714 1111 63 0 134101 0
vsize: 536656
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 134055 0 0 0 117768 248 0 0 25 0 1 0 898154903 552239104 133376 4294967295 134512640 134716908 3221224576 3221223192 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134824 133376 1111 63 0 134761 0
vsize: 539296
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 134518 0 0 0 118766 250 0 0 25 0 1 0 898154903 554131456 133839 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135286 133839 1111 63 0 135223 0
vsize: 541144
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) R 19725 20224 20223 0 -1 0 134922 0 0 0 119766 251 0 0 25 0 1 0 898154903 555892736 134243 4294967295 134512640 134716908 3221224576 3221223056 134536591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135716 134243 1111 63 0 135653 0
vsize: 542864
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 19783
Raw data (stat): 19726 (bsolo_lpr-v2) Z 19725 20224 20223 0 -1 1036 134922 0 0 0 119766 275 0 0 25 0 1 0 898154903 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.3
CPU time (s): 1200.42
CPU user time (s): 1197.66
CPU system time (s): 2.75558
CPU usage (%): 100.01
Max. virtual memory (Kb): 542864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####