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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08l.opb
MD5SUM	0a05016ca1456223450d9ec498a510c4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	85660
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	200022778005600
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	200022778005600
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	85660
Total number of constraints	712
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	712
Minimum length of a constraint	20
Maximum length of a constraint	1700
Trace number 40254

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 05:02:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28308 boxname=wulflinc5 idbench=1264 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  0a05016ca1456223450d9ec498a510c4  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ship08l.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ship08l.opb
IDLAUNCH: 28308
/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:        665616 kB
Buffers:         22928 kB
Cached:         323244 kB
SwapCached:        696 kB
Active:          31808 kB
Inactive:       316484 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        665364 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5152 kB
Slab:            15116 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 05:22:36 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 28308 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.94 0.99 0.92 2/54 15391
Raw data (stat): 15391 (runsolver) R 15390 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898959776 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0014 s]
Raw data (loadavg): 0.95 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 1161 0 0 0 993 4 0 0 25 0 1 0 898959776 15917056 1081 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3886 1081 1111 63 0 3823 0
vsize: 15544
[startup+20.0019 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 1347 0 0 0 1993 5 0 0 25 0 1 0 898959776 16621568 1267 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4058 1267 1111 63 0 3995 0
vsize: 16232
[startup+30.0017 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 1555 0 0 0 2992 5 0 0 25 0 1 0 898959776 17473536 1475 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 1475 1111 63 0 4203 0
vsize: 17064
[startup+40.0024 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 1771 0 0 0 3992 6 0 0 25 0 1 0 898959776 18325504 1691 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4474 1691 1111 63 0 4411 0
vsize: 17896
[startup+50.0031 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 1985 0 0 0 4992 6 0 0 25 0 1 0 898959776 19177472 1905 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 1905 1111 63 0 4619 0
vsize: 18728
[startup+60.0041 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 2206 0 0 0 5992 6 0 0 25 0 1 0 898959776 20164608 2126 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 2126 1111 63 0 4860 0
vsize: 19692
[startup+70.0046 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 2425 0 0 0 6992 7 0 0 25 0 1 0 898959776 21008384 2345 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5129 2345 1111 63 0 5066 0
vsize: 20516
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 2644 0 0 0 7991 8 0 0 25 0 1 0 898959776 21995520 2564 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5370 2564 1111 63 0 5307 0
vsize: 21480
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 2859 0 0 0 8991 8 0 0 25 0 1 0 898959776 22843392 2779 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5577 2779 1111 63 0 5514 0
vsize: 22308
[startup+100.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 3080 0 0 0 9991 9 0 0 25 0 1 0 898959776 23691264 3000 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5784 3000 1111 63 0 5721 0
vsize: 23136
[startup+110.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 3295 0 0 0 10991 9 0 0 25 0 1 0 898959776 24535040 3215 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 3215 1111 63 0 5927 0
vsize: 23960
[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 3514 0 0 0 11990 9 0 0 25 0 1 0 898959776 25522176 3434 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 3434 1111 63 0 6168 0
vsize: 24924
[startup+130.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 3728 0 0 0 12990 10 0 0 25 0 1 0 898959776 26374144 3648 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6439 3648 1111 63 0 6376 0
vsize: 25756
[startup+140.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 3956 0 0 0 13990 10 0 0 25 0 1 0 898959776 27381760 3876 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6685 3876 1111 63 0 6622 0
vsize: 26740
[startup+150.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 4177 0 0 0 14990 11 0 0 25 0 1 0 898959776 28225536 4097 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6891 4097 1111 63 0 6828 0
vsize: 27564
[startup+160.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 4391 0 0 0 15990 11 0 0 25 0 1 0 898959776 29073408 4311 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7098 4311 1111 63 0 7035 0
vsize: 28392
[startup+170.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 4619 0 0 0 16990 11 0 0 25 0 1 0 898959776 30064640 4539 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7340 4539 1111 63 0 7277 0
vsize: 29360
[startup+180.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 4841 0 0 0 17989 12 0 0 25 0 1 0 898959776 30912512 4761 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7547 4761 1111 63 0 7484 0
vsize: 30188
[startup+190.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 5062 0 0 0 18989 12 0 0 25 0 1 0 898959776 31903744 4982 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7789 4982 1111 63 0 7726 0
vsize: 31156
[startup+200.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15391
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 5289 0 0 0 19989 12 0 0 25 0 1 0 898959776 32743424 5209 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7994 5209 1111 63 0 7931 0
vsize: 31976
[startup+210.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 5512 0 0 0 20989 13 0 0 25 0 1 0 898959776 33734656 5432 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8236 5432 1111 63 0 8173 0
vsize: 32944
[startup+220.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 5739 0 0 0 21989 13 0 0 25 0 1 0 898959776 34586624 5659 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8444 5659 1111 63 0 8381 0
vsize: 33776
[startup+230.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 5961 0 0 0 22989 13 0 0 25 0 1 0 898959776 35573760 5881 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8685 5881 1111 63 0 8622 0
vsize: 34740
[startup+240.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 6187 0 0 0 23989 14 0 0 25 0 1 0 898959776 36417536 6107 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8891 6107 1111 63 0 8828 0
vsize: 35564
[startup+250.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 6414 0 0 0 24989 14 0 0 25 0 1 0 898959776 37408768 6334 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9133 6334 1111 63 0 9070 0
vsize: 36532
[startup+260.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 6647 0 0 0 25988 14 0 0 25 0 1 0 898959776 38408192 6567 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9377 6567 1111 63 0 9314 0
vsize: 37508
[startup+270.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 6876 0 0 0 26988 15 0 0 25 0 1 0 898959776 39256064 6796 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 6796 1111 63 0 9521 0
vsize: 38336
[startup+280.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 7103 0 0 0 27988 15 0 0 25 0 1 0 898959776 40239104 7023 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9824 7023 1111 63 0 9761 0
vsize: 39296
[startup+290.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 7331 0 0 0 28988 16 0 0 25 0 1 0 898959776 41230336 7251 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10066 7251 1111 63 0 10003 0
vsize: 40264
[startup+300.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 7552 0 0 0 29987 16 0 0 25 0 1 0 898959776 42078208 7472 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10273 7472 1111 63 0 10210 0
vsize: 41092
[startup+310.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 7781 0 0 0 30987 17 0 0 25 0 1 0 898959776 43069440 7701 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10515 7701 1111 63 0 10452 0
vsize: 42060
[startup+320.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 8002 0 0 0 31987 17 0 0 25 0 1 0 898959776 43909120 7922 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10720 7922 1111 63 0 10657 0
vsize: 42880
[startup+330.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 8230 0 0 0 32987 17 0 0 25 0 1 0 898959776 44900352 8150 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10962 8150 1111 63 0 10899 0
vsize: 43848
[startup+340.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 8458 0 0 0 33986 18 0 0 25 0 1 0 898959776 45748224 8378 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11169 8378 1111 63 0 11106 0
vsize: 44676
[startup+350.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 8694 0 0 0 34986 18 0 0 25 0 1 0 898959776 46739456 8614 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11411 8614 1111 63 0 11348 0
vsize: 45644
[startup+360.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 8922 0 0 0 35986 19 0 0 25 0 1 0 898959776 47730688 8842 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11653 8842 1111 63 0 11590 0
vsize: 46612
[startup+370.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 9150 0 0 0 36986 19 0 0 25 0 1 0 898959776 48570368 9070 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11858 9070 1111 63 0 11795 0
vsize: 47432
[startup+380.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 9392 0 0 0 37986 19 0 0 25 0 1 0 898959776 49561600 9312 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12100 9312 1111 63 0 12037 0
vsize: 48400
[startup+390.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 9626 0 0 0 38985 20 0 0 25 0 1 0 898959776 50552832 9546 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12342 9546 1111 63 0 12279 0
vsize: 49368
[startup+400.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 9862 0 0 0 39985 21 0 0 25 0 1 0 898959776 51539968 9782 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12583 9782 1111 63 0 12520 0
vsize: 50332
[startup+410.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 10097 0 0 0 40985 21 0 0 25 0 1 0 898959776 52531200 10017 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12825 10017 1111 63 0 12762 0
vsize: 51300
[startup+420.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 10337 0 0 0 41984 22 0 0 25 0 1 0 898959776 53510144 10257 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13064 10257 1111 63 0 13001 0
vsize: 52256
[startup+430.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 10572 0 0 0 42984 22 0 0 25 0 1 0 898959776 54362112 10492 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13272 10492 1111 63 0 13209 0
vsize: 53088
[startup+440.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 10808 0 0 0 43984 23 0 0 25 0 1 0 898959776 55353344 10728 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13514 10728 1111 63 0 13451 0
vsize: 54056
[startup+450.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 11043 0 0 0 44984 23 0 0 25 0 1 0 898959776 56340480 10963 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13755 10963 1111 63 0 13692 0
vsize: 55020
[startup+460.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 11286 0 0 0 45984 23 0 0 25 0 1 0 898959776 57331712 11206 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13997 11206 1111 63 0 13934 0
vsize: 55988
[startup+470.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 11519 0 0 0 46983 24 0 0 25 0 1 0 898959776 58314752 11439 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14237 11439 1111 63 0 14174 0
vsize: 56948
[startup+480.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 11760 0 0 0 47983 24 0 0 25 0 1 0 898959776 59301888 11680 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14478 11680 1111 63 0 14415 0
vsize: 57912
[startup+490.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 12002 0 0 0 48983 25 0 0 25 0 1 0 898959776 60293120 11922 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14720 11922 1111 63 0 14657 0
vsize: 58880
[startup+500.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 12264 0 0 0 49983 25 0 0 25 0 1 0 898959776 61501440 12184 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15015 12184 1111 63 0 14952 0
vsize: 60060
[startup+510.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 12512 0 0 0 50983 26 0 0 25 0 1 0 898959776 62492672 12432 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15257 12432 1111 63 0 15194 0
vsize: 61028
[startup+520.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 12747 0 0 0 51982 26 0 0 25 0 1 0 898959776 63475712 12667 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15497 12667 1111 63 0 15434 0
vsize: 61988
[startup+530.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 12996 0 0 0 52982 26 0 0 25 0 1 0 898959776 64466944 12916 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15739 12916 1111 63 0 15676 0
vsize: 62956
[startup+540.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 13244 0 0 0 53982 27 0 0 25 0 1 0 898959776 65454080 13164 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15980 13164 1111 63 0 15917 0
vsize: 63920
[startup+550.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 13486 0 0 0 54982 27 0 0 25 0 1 0 898959776 66445312 13406 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16222 13406 1111 63 0 16159 0
vsize: 64888
[startup+560.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 13729 0 0 0 55981 28 0 0 25 0 1 0 898959776 67432448 13649 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16463 13649 1111 63 0 16400 0
vsize: 65852
[startup+570.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 13977 0 0 0 56981 29 0 0 25 0 1 0 898959776 68423680 13897 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16705 13897 1111 63 0 16642 0
vsize: 66820
[startup+580.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 14226 0 0 0 57981 29 0 0 25 0 1 0 898959776 69406720 14146 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16945 14146 1111 63 0 16882 0
vsize: 67780
[startup+590.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 14474 0 0 0 58981 29 0 0 25 0 1 0 898959776 70537216 14394 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17221 14394 1111 63 0 17158 0
vsize: 68884
[startup+600.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 14722 0 0 0 59981 29 0 0 25 0 1 0 898959776 71524352 14642 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17462 14642 1111 63 0 17399 0
vsize: 69848
[startup+610.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 14965 0 0 0 60980 30 0 0 25 0 1 0 898959776 72515584 14885 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17704 14885 1111 63 0 17641 0
vsize: 70816
[startup+620.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 15208 0 0 0 61980 30 0 0 25 0 1 0 898959776 73506816 15128 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17946 15128 1111 63 0 17883 0
vsize: 71784
[startup+630.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 15456 0 0 0 62980 30 0 0 25 0 1 0 898959776 74493952 15376 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18187 15376 1111 63 0 18124 0
vsize: 72748
[startup+640.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 15705 0 0 0 63980 30 0 0 25 0 1 0 898959776 75476992 15625 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18427 15625 1111 63 0 18364 0
vsize: 73708
[startup+650.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 15954 0 0 0 64980 31 0 0 25 0 1 0 898959776 76468224 15874 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18669 15874 1111 63 0 18606 0
vsize: 74676
[startup+660.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 16209 0 0 0 65980 31 0 0 25 0 1 0 898959776 77594624 16129 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18944 16129 1111 63 0 18881 0
vsize: 75776
[startup+670.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 16466 0 0 0 66980 32 0 0 25 0 1 0 898959776 78585856 16386 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19186 16386 1111 63 0 19123 0
vsize: 76744
[startup+680.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 16722 0 0 0 67980 32 0 0 25 0 1 0 898959776 79716352 16642 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19462 16642 1111 63 0 19399 0
vsize: 77848
[startup+690.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 16978 0 0 0 68979 33 0 0 25 0 1 0 898959776 80703488 16898 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19703 16898 1111 63 0 19640 0
vsize: 78812
[startup+700.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 17241 0 0 0 69979 33 0 0 25 0 1 0 898959776 81833984 17161 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19979 17161 1111 63 0 19916 0
vsize: 79916
[startup+710.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 17503 0 0 0 70979 33 0 0 25 0 1 0 898959776 82825216 17423 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20221 17423 1111 63 0 20158 0
vsize: 80884
[startup+720.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 17758 0 0 0 71979 34 0 0 25 0 1 0 898959776 83951616 17678 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20496 17678 1111 63 0 20433 0
vsize: 81984
[startup+730.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 18014 0 0 0 72979 34 0 0 25 0 1 0 898959776 84938752 17934 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20737 17934 1111 63 0 20674 0
vsize: 82948
[startup+740.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 18276 0 0 0 73978 34 0 0 25 0 1 0 898959776 86069248 18196 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21013 18196 1111 63 0 20950 0
vsize: 84052
[startup+750.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 18539 0 0 0 74978 35 0 0 25 0 1 0 898959776 87060480 18459 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21255 18459 1111 63 0 21192 0
vsize: 85020
[startup+760.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 18796 0 0 0 75978 35 0 0 25 0 1 0 898959776 88186880 18716 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21530 18716 1111 63 0 21467 0
vsize: 86120
[startup+770.033 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 19059 0 0 0 76978 36 0 0 25 0 1 0 898959776 89178112 18979 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21772 18979 1111 63 0 21709 0
vsize: 87088
[startup+780.033 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 19329 0 0 0 77978 36 0 0 25 0 1 0 898959776 90308608 19249 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22048 19249 1111 63 0 21985 0
vsize: 88192
[startup+790.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 19591 0 0 0 78978 36 0 0 25 0 1 0 898959776 91439104 19511 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22324 19511 1111 63 0 22261 0
vsize: 89296
[startup+800.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 19861 0 0 0 79977 37 0 0 25 0 1 0 898959776 92426240 19781 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22565 19781 1111 63 0 22502 0
vsize: 90260
[startup+810.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 20131 0 0 0 80977 37 0 0 25 0 1 0 898959776 93552640 20051 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22840 20051 1111 63 0 22777 0
vsize: 91360
[startup+820.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 20393 0 0 0 81977 38 0 0 25 0 1 0 898959776 94683136 20313 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23116 20313 1111 63 0 23053 0
vsize: 92464
[startup+830.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 20662 0 0 0 82977 38 0 0 25 0 1 0 898959776 95813632 20582 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23392 20582 1111 63 0 23329 0
vsize: 93568
[startup+840.036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 20932 0 0 0 83977 38 0 0 25 0 1 0 898959776 96800768 20852 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23633 20852 1111 63 0 23570 0
vsize: 94532
[startup+850.036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 21202 0 0 0 84977 39 0 0 25 0 1 0 898959776 97931264 21122 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23909 21122 1111 63 0 23846 0
vsize: 95636
[startup+860.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 21472 0 0 0 85977 39 0 0 25 0 1 0 898959776 99061760 21392 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24185 21392 1111 63 0 24122 0
vsize: 96740
[startup+870.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 21748 0 0 0 86976 39 0 0 25 0 1 0 898959776 100188160 21668 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24460 21668 1111 63 0 24397 0
vsize: 97840
[startup+880.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 22011 0 0 0 87976 40 0 0 25 0 1 0 898959776 101318656 21931 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24736 21931 1111 63 0 24673 0
vsize: 98944
[startup+890.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 22287 0 0 0 88976 41 0 0 25 0 1 0 898959776 102449152 22207 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25012 22207 1111 63 0 24949 0
vsize: 100048
[startup+900.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 22557 0 0 0 89976 41 0 0 25 0 1 0 898959776 103440384 22477 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25254 22477 1111 63 0 25191 0
vsize: 101016
[startup+910.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 22826 0 0 0 90975 41 0 0 25 0 1 0 898959776 104570880 22746 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25530 22746 1111 63 0 25467 0
vsize: 102120
[startup+920.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 23101 0 0 0 91975 42 0 0 25 0 1 0 898959776 105701376 23021 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25806 23021 1111 63 0 25743 0
vsize: 103224
[startup+930.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 23411 0 0 0 92975 42 0 0 25 0 1 0 898959776 107212800 23331 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26175 23331 1111 63 0 26112 0
vsize: 104700
[startup+940.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 23688 0 0 0 93975 43 0 0 25 0 1 0 898959776 108343296 23608 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26451 23608 1111 63 0 26388 0
vsize: 105804
[startup+950.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 23977 0 0 0 94974 43 0 0 25 0 1 0 898959776 109613056 23897 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26761 23897 1111 63 0 26698 0
vsize: 107044
[startup+960.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 24260 0 0 0 95974 44 0 0 25 0 1 0 898959776 110743552 24180 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27037 24180 1111 63 0 26974 0
vsize: 108148
[startup+970.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 24544 0 0 0 96974 44 0 0 25 0 1 0 898959776 111869952 24464 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27312 24464 1111 63 0 27249 0
vsize: 109248
[startup+980.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 24834 0 0 0 97974 44 0 0 25 0 1 0 898959776 113000448 24754 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27588 24754 1111 63 0 27525 0
vsize: 110352
[startup+990.042 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 25118 0 0 0 98973 45 0 0 25 0 1 0 898959776 114274304 25038 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27899 25038 1111 63 0 27836 0
vsize: 111596
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 25402 0 0 0 99973 46 0 0 25 0 1 0 898959776 115404800 25322 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28175 25322 1111 63 0 28112 0
vsize: 112700
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 25691 0 0 0 100973 46 0 0 25 0 1 0 898959776 116535296 25611 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28451 25611 1111 63 0 28388 0
vsize: 113804
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 25976 0 0 0 101972 47 0 0 25 0 1 0 898959776 117661696 25896 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28726 25896 1111 63 0 28663 0
vsize: 114904
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 26266 0 0 0 102972 47 0 0 25 0 1 0 898959776 118931456 26186 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29036 26186 1111 63 0 28973 0
vsize: 116144
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 26563 0 0 0 103972 47 0 0 25 0 1 0 898959776 120061952 26483 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29312 26483 1111 63 0 29249 0
vsize: 117248
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 26854 0 0 0 104972 48 0 0 25 0 1 0 898959776 121335808 26774 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29623 26774 1111 63 0 29560 0
vsize: 118492
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 27144 0 0 0 105972 48 0 0 25 0 1 0 898959776 122466304 27064 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29899 27064 1111 63 0 29836 0
vsize: 119596
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 27442 0 0 0 106971 49 0 0 25 0 1 0 898959776 123731968 27362 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30208 27362 1111 63 0 30145 0
vsize: 120832
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 27738 0 0 0 107971 49 0 0 25 0 1 0 898959776 124862464 27658 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30484 27658 1111 63 0 30421 0
vsize: 121936
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 28030 0 0 0 108971 50 0 0 25 0 1 0 898959776 126136320 27950 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30795 27950 1111 63 0 30732 0
vsize: 123180
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 28333 0 0 0 109971 50 0 0 25 0 1 0 898959776 127406080 28253 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31105 28253 1111 63 0 31042 0
vsize: 124420
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 28630 0 0 0 110970 51 0 0 25 0 1 0 898959776 128536576 28550 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31381 28550 1111 63 0 31318 0
vsize: 125524
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 28928 0 0 0 111970 52 0 0 25 0 1 0 898959776 129806336 28848 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31691 28848 1111 63 0 31628 0
vsize: 126764
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 29231 0 0 0 112970 52 0 0 25 0 1 0 898959776 131076096 29151 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32001 29151 1111 63 0 31938 0
vsize: 128004
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 29523 0 0 0 113969 53 0 0 25 0 1 0 898959776 132206592 29443 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32277 29443 1111 63 0 32214 0
vsize: 129108
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 29826 0 0 0 114969 53 0 0 25 0 1 0 898959776 133476352 29746 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32587 29746 1111 63 0 32524 0
vsize: 130348
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 30124 0 0 0 115969 54 0 0 25 0 1 0 898959776 134606848 30044 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32863 30044 1111 63 0 32800 0
vsize: 131452
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 30421 0 0 0 116969 54 0 0 25 0 1 0 898959776 135876608 30341 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33173 30341 1111 63 0 33110 0
vsize: 132692
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 30724 0 0 0 117968 55 0 0 25 0 1 0 898959776 137146368 30644 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33483 30644 1111 63 0 33420 0
vsize: 133932
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 31029 0 0 0 118968 55 0 0 25 0 1 0 898959776 138416128 30949 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33793 30949 1111 63 0 33730 0
vsize: 135172
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) R 15390 7266 7265 0 -1 0 31339 0 0 0 119968 55 0 0 25 0 1 0 898959776 139689984 31259 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34104 31259 1111 63 0 34041 0
vsize: 136416
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.99 0.92 1/54 15393
Raw data (stat): 15391 (bsolo_lpr-v2) Z 15390 7266 7265 0 -1 1036 31339 0 0 0 119968 61 0 0 25 0 1 0 898959776 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.11
CPU time (s): 1200.3
CPU user time (s): 1199.69
CPU system time (s): 0.613906
CPU usage (%): 100.016
Max. virtual memory (Kb): 136416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####