PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02884
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 40406

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 09:19:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28467 boxname=wulflinc6 idbench=1423 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 28467
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        914776 kB
Buffers:         17688 kB
Cached:          81032 kB
SwapCached:        968 kB
Active:          25228 kB
Inactive:        75544 kB
HighTotal:      131008 kB
HighFree:        49812 kB
LowTotal:       903652 kB
LowFree:        864964 kB
SwapTotal:     2097136 kB
SwapFree:      2095184 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13280 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:39:47 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 28467 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.077 s
c Initial Lower Bound: 774
c Lower Bound Elapsed time: 0.005
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2874 @ 0.436
c NEW SOLUTION FOUND: 2826 @ 0.753
c NEW SOLUTION FOUND: 2823 @ 0.753
c NEW SOLUTION FOUND: 2727 @ 1.031
c NEW SOLUTION FOUND: 2711 @ 4.756
c NEW SOLUTION FOUND: 2668 @ 4.824
c NEW SOLUTION FOUND: 2665 @ 5.961
c NEW SOLUTION FOUND: 2603 @ 9.397
c NEW SOLUTION FOUND: 2573 @ 20.206
c NEW SOLUTION FOUND: 2563 @ 22.253
c NEW SOLUTION FOUND: 2546 @ 22.288
c NEW SOLUTION FOUND: 2490 @ 47.357
c NEW SOLUTION FOUND: 2471 @ 65.986
c NEW SOLUTION FOUND: 2405 @ 67.342
c NEW SOLUTION FOUND: 2403 @ 194.219
c NEW SOLUTION FOUND: 2366 @ 348.547
c NEW SOLUTION FOUND: 2325 @ 352.833
c NEW SOLUTION FOUND: 2322 @ 353.05
c NEW SOLUTION FOUND: 2209 @ 353.349
c NEW SOLUTION FOUND: 2134 @ 357.463
c NEW SOLUTION FOUND: 2102 @ 506.128
c NEW SOLUTION FOUND: 2062 @ 513.797
c NEW SOLUTION FOUND: 1976 @ 517.393
c NEW SOLUTION FOUND: 1959 @ 595.263
c NEW SOLUTION FOUND: 1949 @ 614.752
#### 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.84 0.94 0.90 1/54 28403
Raw data (stat): 28403 (runsolver) R 28402 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900502172 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 7969 0 0 0 960 37 0 0 25 0 1 0 900502172 14553088 2862 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2862 1111 63 0 3490 0
vsize: 14212
[startup+20.0018 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 12315 0 0 0 1944 53 0 0 25 0 1 0 900502172 16515072 3348 4294967295 134512640 134716908 3221224576 3221222576 1074918290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 3348 1111 63 0 3969 0
vsize: 16128
[startup+30.0021 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 28677 0 0 0 2907 91 0 0 25 0 1 0 900502172 18681856 3836 4294967295 134512640 134716908 3221224576 3221222304 1075828584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3836 1111 63 0 4498 0
vsize: 18244
[startup+40.0025 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 39776 0 0 0 3882 115 0 0 25 0 1 0 900502172 19804160 4130 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4835 4130 1111 63 0 4772 0
vsize: 19340
[startup+50.0033 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 61280 0 0 0 4830 168 0 0 25 0 1 0 900502172 23097344 4901 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5639 4901 1111 63 0 5576 0
vsize: 22556
[startup+60.0035 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 77066 0 0 0 5791 207 0 0 25 0 1 0 900502172 24788992 5317 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6052 5317 1111 63 0 5989 0
vsize: 24208
[startup+70.0039 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 106203 0 0 0 6726 272 0 0 25 0 1 0 900502172 29073408 6365 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7098 6365 1111 63 0 7035 0
vsize: 28392
[startup+80.0038 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 106383 0 0 0 7725 273 0 0 25 0 1 0 900502172 29810688 6545 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7278 6545 1111 63 0 7215 0
vsize: 29112
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 106447 0 0 0 8725 274 0 0 25 0 1 0 900502172 30203904 6609 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7374 6609 1111 63 0 7311 0
vsize: 29496
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 107565 0 0 0 9722 277 0 0 25 0 1 0 900502172 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8116 7374 1111 63 0 8053 0
vsize: 32464
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 107565 0 0 0 10723 277 0 0 25 0 1 0 900502172 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8116 7374 1111 63 0 8053 0
vsize: 32464
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 107565 0 0 0 11723 277 0 0 25 0 1 0 900502172 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8116 7374 1111 63 0 8053 0
vsize: 32464
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 110956 0 0 0 12715 285 0 0 25 0 1 0 900502172 30429184 6696 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7429 6696 1111 63 0 7366 0
vsize: 29716
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 110956 0 0 0 13715 285 0 0 25 0 1 0 900502172 30429184 6696 4294967295 134512640 134716908 3221224576 3221223292 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7429 6696 1111 63 0 7366 0
vsize: 29716
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 111064 0 0 0 14715 286 0 0 25 0 1 0 900502172 29528064 6460 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7209 6460 1111 63 0 7146 0
vsize: 28836
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 111229 0 0 0 15714 288 0 0 25 0 1 0 900502172 30011392 6594 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7327 6594 1111 63 0 7264 0
vsize: 29308
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 111962 0 0 0 16712 289 0 0 25 0 1 0 900502172 32010240 7082 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7815 7082 1111 63 0 7752 0
vsize: 31260
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 114668 0 0 0 17706 296 0 0 25 0 1 0 900502172 30027776 6598 4294967295 134512640 134716908 3221224576 3221223304 134622870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7331 6598 1111 63 0 7268 0
vsize: 29324
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 114864 0 0 0 18706 297 0 0 25 0 1 0 900502172 29659136 6498 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7241 6498 1111 63 0 7178 0
vsize: 28964
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 122062 0 0 0 19688 314 0 0 25 0 1 0 900502172 31215616 6861 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7621 6861 1111 63 0 7558 0
vsize: 30484
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 124341 0 0 0 20683 320 0 0 25 0 1 0 900502172 30892032 6811 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7542 6811 1111 63 0 7479 0
vsize: 30168
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 128634 0 0 0 21672 332 0 0 25 0 1 0 900502172 29949952 6563 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7312 6563 1111 63 0 7249 0
vsize: 29248
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 134130 0 0 0 22657 346 0 0 25 0 1 0 900502172 29790208 6510 4294967295 134512640 134716908 3221224576 3221222576 1074918929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7273 6510 1111 63 0 7210 0
vsize: 29092
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 138898 0 0 0 23645 359 0 0 25 0 1 0 900502172 30404608 6692 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7423 6692 1111 63 0 7360 0
vsize: 29692
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 138982 0 0 0 24644 360 0 0 25 0 1 0 900502172 30879744 6776 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7539 6776 1111 63 0 7476 0
vsize: 30156
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 139918 0 0 0 25643 362 0 0 25 0 1 0 900502172 33386496 7407 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8151 7407 1111 63 0 8088 0
vsize: 32604
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 143049 0 0 0 26636 369 0 0 25 0 1 0 900502172 30887936 6810 4294967295 134512640 134716908 3221224576 3221223288 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7541 6810 1111 63 0 7478 0
vsize: 30164
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 143049 0 0 0 27637 369 0 0 25 0 1 0 900502172 30887936 6810 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7541 6810 1111 63 0 7478 0
vsize: 30164
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 146367 0 0 0 28629 377 0 0 25 0 1 0 900502172 32276480 6536 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 6549 1111 63 0 7817 0
vsize: 31520
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 151701 0 0 0 29616 390 0 0 25 0 1 0 900502172 32153600 7107 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7850 7107 1111 63 0 7787 0
vsize: 31400
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 153873 0 0 0 30612 395 0 0 25 0 1 0 900502172 30588928 6737 4294967295 134512640 134716908 3221224576 3221223296 134622777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7468 6737 1111 63 0 7405 0
vsize: 29872
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 157335 0 0 0 31605 402 0 0 25 0 1 0 900502172 30797824 6788 4294967295 134512640 134716908 3221224576 3221222320 1075640266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7519 6788 1111 63 0 7456 0
vsize: 30076
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 162972 0 0 0 32592 416 0 0 25 0 1 0 900502172 30380032 6686 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6686 1111 63 0 7354 0
vsize: 29668
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 169984 0 0 0 33576 432 0 0 25 0 1 0 900502172 30650368 6739 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7483 6739 1111 63 0 7420 0
vsize: 29932
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 194952 0 0 0 34516 492 0 0 25 0 1 0 900502172 35831808 7408 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8748 7408 1111 63 0 8685 0
vsize: 34992
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 227570 0 0 0 35437 571 0 0 25 0 1 0 900502172 38879232 8606 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9492 8606 1111 63 0 9429 0
vsize: 37968
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 241584 0 0 0 36403 605 0 0 25 0 1 0 900502172 41664512 9258 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10172 9258 1111 63 0 10109 0
vsize: 40688
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 244050 0 0 0 37399 610 0 0 25 0 1 0 900502172 40280064 8946 4294967295 134512640 134716908 3221224576 3221223360 134622517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9834 8946 1111 63 0 9771 0
vsize: 39336
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 270052 0 0 0 38335 674 0 0 25 0 1 0 900502172 42553344 9464 4294967295 134512640 134716908 3221224576 3221222800 1074153543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10389 9464 1111 63 0 10326 0
vsize: 41556
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 284833 0 0 0 39299 711 0 0 25 0 1 0 900502172 43364352 9657 4294967295 134512640 134716908 3221224576 3221222408 1077380786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10587 9657 1111 63 0 10524 0
vsize: 42348
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 304507 0 0 0 40248 761 0 0 25 0 1 0 900502172 47087616 9963 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11496 9963 1111 63 0 11433 0
vsize: 45984
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 315380 0 0 0 41221 789 0 0 25 0 1 0 900502172 46358528 10406 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11318 10406 1111 63 0 11255 0
vsize: 45272
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 317384 0 0 0 42217 794 0 0 25 0 1 0 900502172 52813824 11715 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12894 11715 1111 63 0 12831 0
vsize: 51576
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 318575 0 0 0 43213 798 0 0 25 0 1 0 900502172 45756416 10234 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11171 10234 1111 63 0 11108 0
vsize: 44684
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 321233 0 0 0 44207 804 0 0 25 0 1 0 900502172 46301184 10392 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11304 10392 1111 63 0 11241 0
vsize: 45216
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 327734 0 0 0 45191 821 0 0 25 0 1 0 900502172 45527040 10204 4294967295 134512640 134716908 3221224576 3221222688 1074867358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11115 10204 1111 63 0 11052 0
vsize: 44460
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 333412 0 0 0 46177 835 0 0 25 0 1 0 900502172 46579712 10453 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11372 10453 1111 63 0 11309 0
vsize: 45488
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 348446 0 0 0 47143 869 0 0 25 0 1 0 900502172 46559232 10456 4294967295 134512640 134716908 3221224576 3221223288 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11367 10456 1111 63 0 11304 0
vsize: 45468
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 389514 0 0 0 48040 973 0 0 25 0 1 0 900502172 52797440 11889 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12890 11889 1111 63 0 12827 0
vsize: 51560
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 400208 0 0 0 49016 997 0 0 25 0 1 0 900502172 53227520 12028 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12995 12028 1111 63 0 12932 0
vsize: 51980
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 437700 0 0 0 49923 1090 0 0 25 0 1 0 900502172 60379136 13627 4294967295 134512640 134716908 3221224576 3221222560 1074052068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14741 13627 1111 63 0 14678 0
vsize: 58964
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 471826 0 0 0 50843 1170 0 0 25 0 1 0 900502172 67739648 14918 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16538 14918 1111 63 0 16475 0
vsize: 66152
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 476298 0 0 0 51833 1181 0 0 25 0 1 0 900502172 66023424 14996 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16119 14996 1111 63 0 16056 0
vsize: 64476
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 477804 0 0 0 52829 1185 0 0 25 0 1 0 900502172 65519616 14857 4294967295 134512640 134716908 3221224576 3221222672 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15996 14857 1111 63 0 15933 0
vsize: 63984
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 482963 0 0 0 53817 1197 0 0 25 0 1 0 900502172 65404928 14846 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15968 14846 1111 63 0 15905 0
vsize: 63872
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 485806 0 0 0 54811 1204 0 0 25 0 1 0 900502172 65765376 14934 4294967295 134512640 134716908 3221224576 3221223368 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16056 14934 1111 63 0 15993 0
vsize: 64224
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 492598 0 0 0 55795 1220 0 0 25 0 1 0 900502172 66400256 15081 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16211 15081 1111 63 0 16148 0
vsize: 64844
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 493239 0 0 0 56793 1222 0 0 25 0 1 0 900502172 68296704 15532 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16674 15532 1111 63 0 16611 0
vsize: 66696
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 494965 0 0 0 57789 1227 0 0 25 0 1 0 900502172 66772992 15170 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16302 15170 1111 63 0 16239 0
vsize: 65208
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 511639 0 0 0 58752 1265 0 0 25 0 1 0 900502172 71135232 16089 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17367 16089 1111 63 0 17304 0
vsize: 69468
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 512942 0 0 0 59750 1267 0 0 25 0 1 0 900502172 69795840 15761 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17040 15761 1111 63 0 16977 0
vsize: 68160
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 522460 0 0 0 60728 1290 0 0 25 0 1 0 900502172 71122944 16070 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17364 16070 1111 63 0 17301 0
vsize: 69456
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 528274 0 0 0 61714 1304 0 0 25 0 1 0 900502172 70680576 15962 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 15962 1111 63 0 17193 0
vsize: 69024
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 541614 0 0 0 62682 1336 0 0 25 0 1 0 900502172 72019968 16299 4294967295 134512640 134716908 3221224576 3221222880 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17583 16299 1111 63 0 17520 0
vsize: 70332
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 543468 0 0 0 63678 1340 0 0 25 0 1 0 900502172 72544256 16427 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17711 16427 1111 63 0 17648 0
vsize: 70844
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 546833 0 0 0 64671 1347 0 0 25 0 1 0 900502172 74358784 16422 4294967295 134512640 134716908 3221224576 3221221176 1075850702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18154 16422 1111 63 0 18091 0
vsize: 72616
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 553712 0 0 0 65656 1363 0 0 25 0 1 0 900502172 71856128 16263 4294967295 134512640 134716908 3221224576 3221223036 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17543 16263 1111 63 0 17480 0
vsize: 70172
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554076 0 0 0 66653 1366 0 0 25 0 1 0 900502172 73019392 16548 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17827 16548 1111 63 0 17764 0
vsize: 71308
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554179 0 0 0 67653 1367 0 0 25 0 1 0 900502172 73572352 16651 4294967295 134512640 134716908 3221224576 3221222576 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17962 16651 1111 63 0 17899 0
vsize: 71848
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554284 0 0 0 68652 1369 0 0 25 0 1 0 900502172 73904128 16756 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18043 16756 1111 63 0 17980 0
vsize: 72172
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554382 0 0 0 69651 1370 0 0 25 0 1 0 900502172 74342400 16854 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18150 16854 1111 63 0 18087 0
vsize: 72600
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554442 0 0 0 70650 1370 0 0 25 0 1 0 900502172 74588160 16914 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18210 16914 1111 63 0 18147 0
vsize: 72840
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554491 0 0 0 71650 1371 0 0 25 0 1 0 900502172 74776576 16963 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18256 16963 1111 63 0 18193 0
vsize: 73024
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554533 0 0 0 72650 1371 0 0 25 0 1 0 900502172 74948608 17005 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18298 17005 1111 63 0 18235 0
vsize: 73192
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554571 0 0 0 73650 1372 0 0 25 0 1 0 900502172 75104256 17043 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18336 17043 1111 63 0 18273 0
vsize: 73344
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554647 0 0 0 74650 1373 0 0 25 0 1 0 900502172 75403264 17119 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18409 17119 1111 63 0 18346 0
vsize: 73636
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 554682 0 0 0 75650 1373 0 0 25 0 1 0 900502172 75546624 17154 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18444 17154 1111 63 0 18381 0
vsize: 73776
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 76645 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 77645 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 78646 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 79646 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 80646 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 81647 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 82647 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 83648 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 84648 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 85648 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 86649 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 87649 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 88649 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 89650 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 90650 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 91651 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 92651 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 93651 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 94652 1378 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 557130 0 0 0 95652 1379 0 0 25 0 1 0 900502172 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 564344 0 0 0 96636 1395 0 0 25 0 1 0 900502172 75644928 17189 4294967295 134512640 134716908 3221224576 3221223296 134622751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17189 1111 63 0 18405 0
vsize: 73872
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 564344 0 0 0 97636 1395 0 0 25 0 1 0 900502172 75644928 17189 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17189 1111 63 0 18405 0
vsize: 73872
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 564344 0 0 0 98637 1395 0 0 25 0 1 0 900502172 75644928 17189 4294967295 134512640 134716908 3221224576 3221223304 134622774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17189 1111 63 0 18405 0
vsize: 73872
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 564616 0 0 0 99636 1396 0 0 25 0 1 0 900502172 73302016 16617 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17896 16617 1111 63 0 17833 0
vsize: 71584
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 567310 0 0 0 100629 1403 0 0 25 0 1 0 900502172 72982528 16539 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17818 16539 1111 63 0 17755 0
vsize: 71272
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 567490 0 0 0 101628 1405 0 0 25 0 1 0 900502172 73719808 16719 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17998 16719 1111 63 0 17935 0
vsize: 71992
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 567568 0 0 0 102627 1406 0 0 25 0 1 0 900502172 74039296 16797 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18076 16797 1111 63 0 18013 0
vsize: 72304
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 567630 0 0 0 103627 1407 0 0 25 0 1 0 900502172 74293248 16859 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18138 16859 1111 63 0 18075 0
vsize: 72552
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 567681 0 0 0 104626 1408 0 0 25 0 1 0 900502172 74502144 16910 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18189 16910 1111 63 0 18126 0
vsize: 72756
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 567727 0 0 0 105626 1409 0 0 25 0 1 0 900502172 74690560 16956 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18235 16956 1111 63 0 18172 0
vsize: 72940
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 567771 0 0 0 106626 1409 0 0 25 0 1 0 900502172 74870784 17000 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18279 17000 1111 63 0 18216 0
vsize: 73116
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 107621 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 108621 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 109622 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 110622 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 111623 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 112623 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 113623 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 114624 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 115624 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 116625 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 117625 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) R 28402 25568 25567 0 -1 0 569776 0 0 0 118625 1414 0 0 25 0 1 0 900502172 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28403
Raw data (stat): 28403 (bsolo_lpr-v2) Z 28402 25568 25567 0 -1 1036 569776 0 0 0 118625 1418 0 0 25 0 1 0 900502172 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.09
CPU time (s): 1200.44
CPU user time (s): 1186.26
CPU system time (s): 14.1848
CPU usage (%): 100.029
Max. virtual memory (Kb): 80084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####