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-d6cube.opb
MD5SUM	889599bea53ff906bd4dd516c552c027
Bench Category	optimization, medium integers (OPTMEDINT)
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	123680
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6484387800
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	188743680
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	10767194085
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.12283
Number of variables	123680
Total number of constraints	404
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	404
Minimum length of a constraint	20
Maximum length of a constraint	123680
Trace number 40189

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 03:56:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28250 boxname=wulflinc3 idbench=1206 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  889599bea53ff906bd4dd516c552c027  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-d6cube.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-d6cube.opb
IDLAUNCH: 28250
/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:        751736 kB
Buffers:         31720 kB
Cached:         228380 kB
SwapCached:        680 kB
Active:          48968 kB
Inactive:       213200 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        751428 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            15144 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 04:16:35 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 28250 7 1200.28 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): 1.00 0.97 0.91 1/54 20248
Raw data (stat): 20248 (runsolver) R 20247 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898555109 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 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 1189 0 0 0 994 4 0 0 25 0 1 0 898555109 16052224 1109 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1109 1111 63 0 3856 0
vsize: 15676
[startup+19.9998 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 1409 0 0 0 1993 4 0 0 25 0 1 0 898555109 16900096 1329 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4126 1329 1111 63 0 4063 0
vsize: 16504
[startup+29.9999 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 1629 0 0 0 2993 5 0 0 25 0 1 0 898555109 17743872 1549 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4332 1549 1111 63 0 4269 0
vsize: 17328
[startup+40.0004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 1853 0 0 0 3993 5 0 0 25 0 1 0 898555109 18743296 1773 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 1773 1111 63 0 4513 0
vsize: 18304
[startup+50.0013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 2072 0 0 0 4993 6 0 0 25 0 1 0 898555109 19587072 1992 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4782 1992 1111 63 0 4719 0
vsize: 19128
[startup+60.0014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 2292 0 0 0 5992 6 0 0 25 0 1 0 898555109 20570112 2212 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5022 2212 1111 63 0 4959 0
vsize: 20088
[startup+70.0009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 2517 0 0 0 6992 7 0 0 25 0 1 0 898555109 21413888 2437 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5228 2437 1111 63 0 5165 0
vsize: 20912
[startup+80.0018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 2739 0 0 0 7991 8 0 0 25 0 1 0 898555109 22401024 2659 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5469 2659 1111 63 0 5406 0
vsize: 21876
[startup+90.0016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 2964 0 0 0 8991 8 0 0 25 0 1 0 898555109 23240704 2884 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2884 1111 63 0 5611 0
vsize: 22696
[startup+100.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 3185 0 0 0 9991 8 0 0 25 0 1 0 898555109 24227840 3105 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5915 3105 1111 63 0 5852 0
vsize: 23660
[startup+110.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 3411 0 0 0 10991 8 0 0 25 0 1 0 898555109 25075712 3331 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6122 3331 1111 63 0 6059 0
vsize: 24488
[startup+120.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 3632 0 0 0 11990 9 0 0 25 0 1 0 898555109 26062848 3552 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6363 3552 1111 63 0 6300 0
vsize: 25452
[startup+130.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 3859 0 0 0 12991 9 0 0 25 0 1 0 898555109 26923008 3779 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6573 3779 1111 63 0 6510 0
vsize: 26292
[startup+140.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 4080 0 0 0 13990 9 0 0 25 0 1 0 898555109 27910144 4000 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6814 4000 1111 63 0 6751 0
vsize: 27256
[startup+150.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 4306 0 0 0 14990 10 0 0 25 0 1 0 898555109 28753920 4226 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7020 4226 1111 63 0 6957 0
vsize: 28080
[startup+160.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 4534 0 0 0 15990 10 0 0 25 0 1 0 898555109 29741056 4454 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7261 4454 1111 63 0 7198 0
vsize: 29044
[startup+170.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 4756 0 0 0 16990 11 0 0 25 0 1 0 898555109 30584832 4676 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4676 1111 63 0 7404 0
vsize: 29868
[startup+180.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 4982 0 0 0 17989 11 0 0 25 0 1 0 898555109 31567872 4902 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4902 1111 63 0 7644 0
vsize: 30828
[startup+190.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 5210 0 0 0 18989 12 0 0 25 0 1 0 898555109 32415744 5130 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7914 5130 1111 63 0 7851 0
vsize: 31656
[startup+200.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20248
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 5431 0 0 0 19989 12 0 0 25 0 1 0 898555109 33402880 5351 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8155 5351 1111 63 0 8092 0
vsize: 32620
[startup+210.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 20249
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 5659 0 0 0 20989 13 0 0 25 0 1 0 898555109 34250752 5579 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8362 5579 1111 63 0 8299 0
vsize: 33448
[startup+220.005 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 20301
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 5884 0 0 0 21986 14 0 0 25 0 1 0 898555109 35229696 5804 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8601 5804 1111 63 0 8538 0
vsize: 34404
[startup+230.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 20301
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 6111 0 0 0 22986 15 0 0 25 0 1 0 898555109 36216832 6031 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8842 6031 1111 63 0 8779 0
vsize: 35368
[startup+240.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 20301
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 6339 0 0 0 23985 15 0 0 25 0 1 0 898555109 37064704 6259 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9049 6259 1111 63 0 8986 0
vsize: 36196
[startup+250.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20301
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 6570 0 0 0 24985 16 0 0 25 0 1 0 898555109 38064128 6490 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9293 6490 1111 63 0 9230 0
vsize: 37172
[startup+260.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20301
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 6796 0 0 0 25985 16 0 0 25 0 1 0 898555109 39043072 6716 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 6716 1111 63 0 9469 0
vsize: 38128
[startup+270.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20301
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 7023 0 0 0 26984 17 0 0 25 0 1 0 898555109 39886848 6943 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9738 6943 1111 63 0 9675 0
vsize: 38952
[startup+280.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 7245 0 0 0 27984 17 0 0 25 0 1 0 898555109 40878080 7165 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9980 7165 1111 63 0 9917 0
vsize: 39920
[startup+290.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 7479 0 0 0 28984 18 0 0 25 0 1 0 898555109 41861120 7399 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10220 7399 1111 63 0 10157 0
vsize: 40880
[startup+300.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 7700 0 0 0 29983 18 0 0 25 0 1 0 898555109 42700800 7620 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7620 1111 63 0 10362 0
vsize: 41700
[startup+310.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 7927 0 0 0 30983 19 0 0 25 0 1 0 898555109 43692032 7847 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10667 7847 1111 63 0 10604 0
vsize: 42668
[startup+320.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 8155 0 0 0 31983 19 0 0 25 0 1 0 898555109 44535808 8075 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10873 8075 1111 63 0 10810 0
vsize: 43492
[startup+330.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 8382 0 0 0 32982 20 0 0 25 0 1 0 898555109 45522944 8302 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8302 1111 63 0 11051 0
vsize: 44456
[startup+340.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 8611 0 0 0 33982 20 0 0 25 0 1 0 898555109 46370816 8531 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11321 8531 1111 63 0 11258 0
vsize: 45284
[startup+350.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 8837 0 0 0 34982 21 0 0 25 0 1 0 898555109 47349760 8757 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11560 8757 1111 63 0 11497 0
vsize: 46240
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 9065 0 0 0 35982 21 0 0 25 0 1 0 898555109 48336896 8985 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11801 8985 1111 63 0 11738 0
vsize: 47204
[startup+370.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 9299 0 0 0 36981 22 0 0 25 0 1 0 898555109 49184768 9219 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12008 9219 1111 63 0 11945 0
vsize: 48032
[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 9528 0 0 0 37981 22 0 0 25 0 1 0 898555109 50171904 9448 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12249 9448 1111 63 0 12186 0
vsize: 48996
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 9755 0 0 0 38981 22 0 0 25 0 1 0 898555109 51154944 9675 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12489 9675 1111 63 0 12426 0
vsize: 49956
[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 9988 0 0 0 39981 23 0 0 25 0 1 0 898555109 51998720 9908 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12695 9908 1111 63 0 12632 0
vsize: 50780
[startup+410.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 10217 0 0 0 40980 23 0 0 25 0 1 0 898555109 52985856 10137 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12936 10137 1111 63 0 12873 0
vsize: 51744
[startup+420.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 10444 0 0 0 41980 24 0 0 25 0 1 0 898555109 53968896 10364 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13176 10364 1111 63 0 13113 0
vsize: 52704
[startup+430.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 10679 0 0 0 42980 24 0 0 25 0 1 0 898555109 54816768 10599 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13383 10599 1111 63 0 13320 0
vsize: 53532
[startup+440.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 10912 0 0 0 43980 25 0 0 25 0 1 0 898555109 55799808 10832 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13623 10832 1111 63 0 13560 0
vsize: 54492
[startup+450.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 11140 0 0 0 44980 25 0 0 25 0 1 0 898555109 56782848 11060 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13863 11060 1111 63 0 13800 0
vsize: 55452
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 11374 0 0 0 45979 25 0 0 25 0 1 0 898555109 57774080 11294 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 11294 1111 63 0 14042 0
vsize: 56420
[startup+470.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 11601 0 0 0 46979 26 0 0 25 0 1 0 898555109 58617856 11521 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14311 11521 1111 63 0 14248 0
vsize: 57244
[startup+480.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 11835 0 0 0 47979 26 0 0 25 0 1 0 898555109 59604992 11755 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14552 11755 1111 63 0 14489 0
vsize: 58208
[startup+490.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 12086 0 0 0 48979 27 0 0 25 0 1 0 898555109 60809216 12006 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14846 12006 1111 63 0 14783 0
vsize: 59384
[startup+500.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 12320 0 0 0 49978 27 0 0 25 0 1 0 898555109 61652992 12240 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15052 12240 1111 63 0 14989 0
vsize: 60208
[startup+510.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 12555 0 0 0 50978 28 0 0 25 0 1 0 898555109 62640128 12475 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15293 12475 1111 63 0 15230 0
vsize: 61172
[startup+520.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 12790 0 0 0 51978 28 0 0 25 0 1 0 898555109 63623168 12710 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15533 12710 1111 63 0 15470 0
vsize: 62132
[startup+530.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 13024 0 0 0 52978 28 0 0 25 0 1 0 898555109 64614400 12944 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15775 12944 1111 63 0 15712 0
vsize: 63100
[startup+540.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20303
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 13257 0 0 0 53978 29 0 0 25 0 1 0 898555109 65593344 13177 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13177 1111 63 0 15951 0
vsize: 64056
[startup+550.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 13493 0 0 0 54977 29 0 0 25 0 1 0 898555109 66437120 13413 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16220 13413 1111 63 0 16157 0
vsize: 64880
[startup+560.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 13727 0 0 0 55977 30 0 0 25 0 1 0 898555109 67428352 13647 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16462 13647 1111 63 0 16399 0
vsize: 65848
[startup+570.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 13968 0 0 0 56977 30 0 0 25 0 1 0 898555109 68411392 13888 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 13888 1111 63 0 16639 0
vsize: 66808
[startup+580.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 14204 0 0 0 57976 31 0 0 25 0 1 0 898555109 69398528 14124 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16943 14124 1111 63 0 16880 0
vsize: 67772
[startup+590.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 14442 0 0 0 58976 31 0 0 25 0 1 0 898555109 70381568 14362 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17183 14362 1111 63 0 17120 0
vsize: 68732
[startup+600.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 14678 0 0 0 59976 32 0 0 25 0 1 0 898555109 71368704 14598 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17424 14598 1111 63 0 17361 0
vsize: 69696
[startup+610.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 14913 0 0 0 60975 32 0 0 25 0 1 0 898555109 72351744 14833 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17664 14833 1111 63 0 17601 0
vsize: 70656
[startup+620.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 15154 0 0 0 61975 33 0 0 25 0 1 0 898555109 73338880 15074 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17905 15074 1111 63 0 17842 0
vsize: 71620
[startup+630.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 15395 0 0 0 62975 33 0 0 25 0 1 0 898555109 74326016 15315 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18146 15315 1111 63 0 18083 0
vsize: 72584
[startup+640.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 15630 0 0 0 63974 34 0 0 25 0 1 0 898555109 75165696 15550 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18351 15550 1111 63 0 18288 0
vsize: 73404
[startup+650.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 15870 0 0 0 64974 34 0 0 25 0 1 0 898555109 76152832 15790 4294967295 134512640 134716908 3221224576 3221222804 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18592 15790 1111 63 0 18529 0
vsize: 74368
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 16112 0 0 0 65974 35 0 0 25 0 1 0 898555109 77139968 16032 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18833 16032 1111 63 0 18770 0
vsize: 75332
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 16354 0 0 0 66974 35 0 0 25 0 1 0 898555109 78127104 16274 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19074 16274 1111 63 0 19011 0
vsize: 76296
[startup+680.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 16595 0 0 0 67973 36 0 0 25 0 1 0 898555109 79114240 16515 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19315 16515 1111 63 0 19252 0
vsize: 77260
[startup+690.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 16837 0 0 0 68973 36 0 0 25 0 1 0 898555109 80097280 16757 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19555 16757 1111 63 0 19492 0
vsize: 78220
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 17077 0 0 0 69973 37 0 0 25 0 1 0 898555109 81080320 16997 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19795 16997 1111 63 0 19732 0
vsize: 79180
[startup+710.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 17319 0 0 0 70973 37 0 0 25 0 1 0 898555109 82067456 17239 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20036 17239 1111 63 0 19973 0
vsize: 80144
[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 17561 0 0 0 71973 37 0 0 25 0 1 0 898555109 83054592 17481 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17481 1111 63 0 20214 0
vsize: 81108
[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 17808 0 0 0 72973 38 0 0 25 0 1 0 898555109 84180992 17728 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20552 17728 1111 63 0 20489 0
vsize: 82208
[startup+740.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 18051 0 0 0 73972 38 0 0 25 0 1 0 898555109 85168128 17971 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20793 17971 1111 63 0 20730 0
vsize: 83172
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 18293 0 0 0 74972 39 0 0 25 0 1 0 898555109 86147072 18213 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21032 18213 1111 63 0 20969 0
vsize: 84128
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 18539 0 0 0 75971 40 0 0 25 0 1 0 898555109 87138304 18459 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21274 18459 1111 63 0 21211 0
vsize: 85096
[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 18787 0 0 0 76971 40 0 0 25 0 1 0 898555109 88121344 18707 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21514 18707 1111 63 0 21451 0
vsize: 86056
[startup+780.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 19029 0 0 0 77971 41 0 0 25 0 1 0 898555109 89108480 18949 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21755 18949 1111 63 0 21692 0
vsize: 87020
[startup+790.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 19277 0 0 0 78970 41 0 0 25 0 1 0 898555109 90095616 19197 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21996 19197 1111 63 0 21933 0
vsize: 87984
[startup+800.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 19519 0 0 0 79970 42 0 0 25 0 1 0 898555109 91082752 19439 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22237 19439 1111 63 0 22174 0
vsize: 88948
[startup+810.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 19768 0 0 0 80970 43 0 0 25 0 1 0 898555109 92061696 19688 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22476 19688 1111 63 0 22413 0
vsize: 89904
[startup+820.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 20014 0 0 0 81969 43 0 0 25 0 1 0 898555109 93188096 19934 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22751 19934 1111 63 0 22688 0
vsize: 91004
[startup+830.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 20263 0 0 0 82969 44 0 0 25 0 1 0 898555109 94175232 20183 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22992 20183 1111 63 0 22929 0
vsize: 91968
[startup+840.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 20511 0 0 0 83968 45 0 0 25 0 1 0 898555109 95162368 20431 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23233 20431 1111 63 0 23170 0
vsize: 92932
[startup+850.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 20759 0 0 0 84968 45 0 0 25 0 1 0 898555109 96149504 20679 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 20679 1111 63 0 23411 0
vsize: 93896
[startup+860.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 21009 0 0 0 85967 46 0 0 25 0 1 0 898555109 97136640 20929 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23715 20929 1111 63 0 23652 0
vsize: 94860
[startup+870.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 21257 0 0 0 86967 47 0 0 25 0 1 0 898555109 98263040 21177 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23990 21177 1111 63 0 23927 0
vsize: 95960
[startup+880.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 21509 0 0 0 87967 47 0 0 25 0 1 0 898555109 99246080 21429 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24230 21429 1111 63 0 24167 0
vsize: 96920
[startup+890.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 21759 0 0 0 88966 47 0 0 25 0 1 0 898555109 100229120 21679 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24470 21679 1111 63 0 24407 0
vsize: 97880
[startup+900.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 22013 0 0 0 89966 48 0 0 25 0 1 0 898555109 101355520 21933 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24745 21933 1111 63 0 24682 0
vsize: 98980
[startup+910.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 22263 0 0 0 90966 48 0 0 25 0 1 0 898555109 102346752 22183 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24987 22183 1111 63 0 24924 0
vsize: 99948
[startup+920.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 22511 0 0 0 91966 49 0 0 25 0 1 0 898555109 103329792 22431 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25227 22431 1111 63 0 25164 0
vsize: 100908
[startup+930.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 22765 0 0 0 92965 49 0 0 25 0 1 0 898555109 104316928 22685 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25468 22685 1111 63 0 25405 0
vsize: 101872
[startup+940.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 23019 0 0 0 93965 50 0 0 25 0 1 0 898555109 105443328 22939 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25743 22939 1111 63 0 25680 0
vsize: 102972
[startup+950.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 23300 0 0 0 94965 50 0 0 25 0 1 0 898555109 106786816 23220 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26071 23220 1111 63 0 26008 0
vsize: 104284
[startup+960.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 23554 0 0 0 95965 50 0 0 25 0 1 0 898555109 107913216 23474 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26346 23474 1111 63 0 26283 0
vsize: 105384
[startup+970.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 23810 0 0 0 96964 51 0 0 25 0 1 0 898555109 108896256 23730 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26586 23730 1111 63 0 26523 0
vsize: 106344
[startup+980.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 24059 0 0 0 97964 51 0 0 25 0 1 0 898555109 109887488 23979 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26828 23979 1111 63 0 26765 0
vsize: 107312
[startup+990.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 24313 0 0 0 98964 52 0 0 25 0 1 0 898555109 111013888 24233 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27103 24233 1111 63 0 27040 0
vsize: 108412
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 24570 0 0 0 99964 52 0 0 25 0 1 0 898555109 111996928 24490 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27343 24490 1111 63 0 27280 0
vsize: 109372
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 24824 0 0 0 100963 53 0 0 25 0 1 0 898555109 112979968 24744 4294967295 134512640 134716908 3221224576 3221222804 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27583 24744 1111 63 0 27520 0
vsize: 110332
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 25079 0 0 0 101963 53 0 0 25 0 1 0 898555109 114106368 24999 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27858 24999 1111 63 0 27795 0
vsize: 111432
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 25340 0 0 0 102963 54 0 0 25 0 1 0 898555109 115093504 25260 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28099 25260 1111 63 0 28036 0
vsize: 112396
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 25589 0 0 0 103963 54 0 0 25 0 1 0 898555109 116219904 25509 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28374 25509 1111 63 0 28311 0
vsize: 113496
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 25851 0 0 0 104962 55 0 0 25 0 1 0 898555109 117207040 25771 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28615 25771 1111 63 0 28552 0
vsize: 114460
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 26107 0 0 0 105962 56 0 0 25 0 1 0 898555109 118333440 26027 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28890 26027 1111 63 0 28827 0
vsize: 115560
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 26361 0 0 0 106961 57 0 0 25 0 1 0 898555109 119320576 26281 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29131 26281 1111 63 0 29068 0
vsize: 116524
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 26624 0 0 0 107961 57 0 0 25 0 1 0 898555109 120446976 26544 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29406 26544 1111 63 0 29343 0
vsize: 117624
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 26885 0 0 0 108961 57 0 0 25 0 1 0 898555109 121434112 26805 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29647 26805 1111 63 0 29584 0
vsize: 118588
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 27139 0 0 0 109960 58 0 0 25 0 1 0 898555109 122556416 27059 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29921 27059 1111 63 0 29858 0
vsize: 119684
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 27402 0 0 0 110960 58 0 0 25 0 1 0 898555109 123539456 27322 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30161 27322 1111 63 0 30098 0
vsize: 120644
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 27657 0 0 0 111960 58 0 0 25 0 1 0 898555109 124665856 27577 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30436 27577 1111 63 0 30373 0
vsize: 121744
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 27920 0 0 0 112960 59 0 0 25 0 1 0 898555109 125652992 27840 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30677 27840 1111 63 0 30614 0
vsize: 122708
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 28182 0 0 0 113960 59 0 0 25 0 1 0 898555109 126783488 28102 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30953 28102 1111 63 0 30890 0
vsize: 123812
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 28443 0 0 0 114960 60 0 0 25 0 1 0 898555109 127766528 28363 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31193 28363 1111 63 0 31130 0
vsize: 124772
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 28707 0 0 0 115959 60 0 0 25 0 1 0 898555109 128892928 28627 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31468 28627 1111 63 0 31405 0
vsize: 125872
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 28968 0 0 0 116959 61 0 0 25 0 1 0 898555109 130019328 28888 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31743 28888 1111 63 0 31680 0
vsize: 126972
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 29230 0 0 0 117959 61 0 0 25 0 1 0 898555109 131002368 29150 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31983 29150 1111 63 0 31920 0
vsize: 127932
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 29492 0 0 0 118959 62 0 0 25 0 1 0 898555109 132128768 29412 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32258 29412 1111 63 0 32195 0
vsize: 129032
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) R 20247 20224 20223 0 -1 0 29759 0 0 0 119959 62 0 0 25 0 1 0 898555109 133255168 29679 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32533 29679 1111 63 0 32470 0
vsize: 130132
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 20305
Raw data (stat): 20248 (bsolo_lpr-v2) Z 20247 20224 20223 0 -1 1036 29759 0 0 0 119959 68 0 0 25 0 1 0 898555109 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.28
CPU user time (s): 1199.6
CPU system time (s): 0.682896
CPU usage (%): 100.013
Max. virtual memory (Kb): 130132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####