PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.02984
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 40028

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 00:45:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28083 boxname=wulflinc3 idbench=1039 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 28083
/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:        906832 kB
Buffers:         28824 kB
Cached:          77052 kB
SwapCached:        680 kB
Active:          26992 kB
Inactive:        80872 kB
HighTotal:      131008 kB
HighFree:        55636 kB
LowTotal:       903652 kB
LowFree:        851196 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            14216 kB
Committed_AS:    71776 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:05:48 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 28083 7 1200.22 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.079 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.443
c NEW SOLUTION FOUND: 2826 @ 0.768
c NEW SOLUTION FOUND: 2823 @ 0.768
c NEW SOLUTION FOUND: 2727 @ 1.046
c NEW SOLUTION FOUND: 2711 @ 4.837
c NEW SOLUTION FOUND: 2668 @ 4.906
c NEW SOLUTION FOUND: 2665 @ 6.068
c NEW SOLUTION FOUND: 2603 @ 9.556
c NEW SOLUTION FOUND: 2573 @ 20.629
c NEW SOLUTION FOUND: 2563 @ 22.698
c NEW SOLUTION FOUND: 2546 @ 22.734
c NEW SOLUTION FOUND: 2490 @ 48.242
c NEW SOLUTION FOUND: 2471 @ 66.968
c NEW SOLUTION FOUND: 2405 @ 68.327
c NEW SOLUTION FOUND: 2403 @ 197.053
c NEW SOLUTION FOUND: 2366 @ 352.315
c NEW SOLUTION FOUND: 2325 @ 356.628
c NEW SOLUTION FOUND: 2322 @ 356.85
c NEW SOLUTION FOUND: 2209 @ 357.157
c NEW SOLUTION FOUND: 2134 @ 361.319
c NEW SOLUTION FOUND: 2102 @ 510.829
c NEW SOLUTION FOUND: 2062 @ 518.629
c NEW SOLUTION FOUND: 1976 @ 522.264
c NEW SOLUTION FOUND: 1959 @ 600.617
c NEW SOLUTION FOUND: 1949 @ 620.181
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 18685
Raw data (stat): 18685 (runsolver) R 18684 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897410291 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.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 7878 0 0 0 959 39 0 0 25 0 1 0 897410291 14532608 2854 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3595 2855 1111 63 0 3532 0
vsize: 14192
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 12155 0 0 0 1943 54 0 0 25 0 1 0 897410291 16785408 3414 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4098 3414 1111 63 0 4035 0
vsize: 16392
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 28664 0 0 0 2905 93 0 0 25 0 1 0 897410291 18886656 3917 4294967295 134512640 134716908 3221224576 3221223288 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3917 1111 63 0 4548 0
vsize: 18444
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 39563 0 0 0 3877 120 0 0 25 0 1 0 897410291 20254720 4219 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4945 4219 1111 63 0 4882 0
vsize: 19780
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 57697 0 0 0 4835 162 0 0 25 0 1 0 897410291 23080960 4655 4294967295 134512640 134716908 3221224576 3221221668 1075522706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5635 4655 1111 63 0 5572 0
vsize: 22540
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 75638 0 0 0 5789 208 0 0 25 0 1 0 897410291 24866816 5336 4294967295 134512640 134716908 3221224576 3221223296 134622905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6071 5336 1111 63 0 6008 0
vsize: 24284
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 105612 0 0 0 6715 282 0 0 25 0 1 0 897410291 28389376 6197 4294967295 134512640 134716908 3221224576 3221223448 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6931 6197 1111 63 0 6868 0
vsize: 27724
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 106379 0 0 0 7712 285 0 0 25 0 1 0 897410291 29794304 6541 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7274 6541 1111 63 0 7211 0
vsize: 29096
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 106446 0 0 0 8712 286 0 0 25 0 1 0 897410291 30199808 6608 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6608 1111 63 0 7310 0
vsize: 29492
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 107565 0 0 0 9709 289 0 0 25 0 1 0 897410291 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8116 7374 1111 63 0 8053 0
vsize: 32464
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 107565 0 0 0 10709 289 0 0 25 0 1 0 897410291 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8116 7374 1111 63 0 8053 0
vsize: 32464
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 107565 0 0 0 11709 289 0 0 25 0 1 0 897410291 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8116 7374 1111 63 0 8053 0
vsize: 32464
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 110956 0 0 0 12700 298 0 0 25 0 1 0 897410291 30429184 6696 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7429 6696 1111 63 0 7366 0
vsize: 29716
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 110956 0 0 0 13700 298 0 0 25 0 1 0 897410291 30429184 6696 4294967295 134512640 134716908 3221224576 3221223288 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7429 6696 1111 63 0 7366 0
vsize: 29716
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 111009 0 0 0 14700 299 0 0 25 0 1 0 897410291 29237248 6405 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7138 6405 1111 63 0 7075 0
vsize: 28552
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 111216 0 0 0 15698 301 0 0 25 0 1 0 897410291 29958144 6581 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7314 6581 1111 63 0 7251 0
vsize: 29256
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 111962 0 0 0 16696 303 0 0 25 0 1 0 897410291 32010240 7082 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7815 7082 1111 63 0 7752 0
vsize: 31260
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 113303 0 0 0 17694 306 0 0 25 0 1 0 897410291 36491264 7851 4294967295 134512640 134716908 3221224576 3221220544 1074872805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8909 7851 1111 63 0 8846 0
vsize: 35636
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 114668 0 0 0 18690 310 0 0 25 0 1 0 897410291 30027776 6598 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7331 6598 1111 63 0 7268 0
vsize: 29324
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 121578 0 0 0 19673 327 0 0 25 0 1 0 897410291 29691904 6518 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7249 6518 1111 63 0 7186 0
vsize: 28996
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 123850 0 0 0 20667 332 0 0 25 0 1 0 897410291 29593600 6467 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7225 6467 1111 63 0 7162 0
vsize: 28900
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 127143 0 0 0 21658 341 0 0 25 0 1 0 897410291 29450240 6459 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7190 6459 1111 63 0 7127 0
vsize: 28760
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 132414 0 0 0 22646 354 0 0 25 0 1 0 897410291 29372416 6409 4294967295 134512640 134716908 3221224576 3221222608 1074206500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7171 6409 1111 63 0 7108 0
vsize: 28684
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 138803 0 0 0 23629 371 0 0 25 0 1 0 897410291 30138368 6625 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6625 1111 63 0 7295 0
vsize: 29432
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 138964 0 0 0 24627 373 0 0 25 0 1 0 897410291 30806016 6758 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7521 6758 1111 63 0 7458 0
vsize: 30084
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 139918 0 0 0 25625 375 0 0 25 0 1 0 897410291 33386496 7407 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8151 7407 1111 63 0 8088 0
vsize: 32604
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 141023 0 0 0 26623 378 0 0 25 0 1 0 897410291 38105088 7835 4294967295 134512640 134716908 3221224576 3221220736 1075092807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9303 7835 1111 63 0 9240 0
vsize: 37212
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 143049 0 0 0 27619 382 0 0 25 0 1 0 897410291 30887936 6810 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7541 6810 1111 63 0 7478 0
vsize: 30164
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 143083 0 0 0 28619 382 0 0 25 0 1 0 897410291 29818880 6544 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 6544 1111 63 0 7217 0
vsize: 29120
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 151130 0 0 0 29599 402 0 0 25 0 1 0 897410291 30527488 6722 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 6722 1111 63 0 7390 0
vsize: 29812
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 153447 0 0 0 30594 407 0 0 25 0 1 0 897410291 31875072 6961 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7782 6965 1111 63 0 7719 0
vsize: 31128
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 156308 0 0 0 31587 414 0 0 25 0 1 0 897410291 30412800 6668 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7425 6668 1111 63 0 7362 0
vsize: 29700
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 161029 0 0 0 32576 425 0 0 25 0 1 0 897410291 29929472 6576 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7307 6576 1111 63 0 7244 0
vsize: 29228
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 165734 0 0 0 33563 438 0 0 25 0 1 0 897410291 30085120 6614 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7345 6614 1111 63 0 7282 0
vsize: 29380
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 177336 0 0 0 34533 469 0 0 25 0 1 0 897410291 32034816 6769 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8136 6772 1111 63 0 8073 0
vsize: 31284
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 219024 0 0 0 35431 570 0 0 25 0 1 0 897410291 39976960 8270 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9760 8276 1111 63 0 9697 0
vsize: 39040
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 241029 0 0 0 36373 629 0 0 25 0 1 0 897410291 40108032 8878 4294967295 134512640 134716908 3221224576 3221222504 1077377218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9792 8878 1111 63 0 9729 0
vsize: 39168
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 243205 0 0 0 37367 635 0 0 25 0 1 0 897410291 40583168 9016 4294967295 134512640 134716908 3221224576 3221223356 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9908 9016 1111 63 0 9845 0
vsize: 39632
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 264689 0 0 0 38311 691 0 0 25 0 1 0 897410291 42246144 9377 4294967295 134512640 134716908 3221224576 3221223168 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10314 9377 1111 63 0 10251 0
vsize: 41256
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 277908 0 0 0 39277 726 0 0 25 0 1 0 897410291 43085824 9601 4294967295 134512640 134716908 3221224576 3221223356 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10519 9601 1111 63 0 10456 0
vsize: 42076
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 292523 0 0 0 40240 763 0 0 25 0 1 0 897410291 43970560 9821 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10735 9821 1111 63 0 10672 0
vsize: 42940
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 315317 0 0 0 41181 822 0 0 25 0 1 0 897410291 46100480 10343 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11255 10343 1111 63 0 11192 0
vsize: 45020
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 316050 0 0 0 42179 824 0 0 25 0 1 0 897410291 48263168 10863 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11783 10863 1111 63 0 11720 0
vsize: 47132
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 318567 0 0 0 43173 830 0 0 25 0 1 0 897410291 46489600 10438 4294967295 134512640 134716908 3221224576 3221223368 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11350 10438 1111 63 0 11287 0
vsize: 45400
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 319236 0 0 0 44171 832 0 0 25 0 1 0 897410291 47820800 10733 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11675 10733 1111 63 0 11612 0
vsize: 46700
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 322064 0 0 0 45164 839 0 0 25 0 1 0 897410291 45862912 10285 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11197 10285 1111 63 0 11134 0
vsize: 44788
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 331113 0 0 0 46140 864 0 0 25 0 1 0 897410291 46096384 10343 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11254 10343 1111 63 0 11191 0
vsize: 45016
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 337361 0 0 0 47124 880 0 0 25 0 1 0 897410291 45895680 10294 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11205 10294 1111 63 0 11142 0
vsize: 44820
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 371065 0 0 0 48037 967 0 0 25 0 1 0 897410291 49987584 11245 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12204 11245 1111 63 0 12141 0
vsize: 48816
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 394514 0 0 0 48979 1025 0 0 25 0 1 0 897410291 53104640 11996 4294967295 134512640 134716908 3221224576 3221223392 134622493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12965 11996 1111 63 0 12902 0
vsize: 51860
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 415950 0 0 0 49928 1076 0 0 25 0 1 0 897410291 55091200 12473 4294967295 134512640 134716908 3221224576 3221222304 1075828550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13450 12473 1111 63 0 13387 0
vsize: 53800
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 455618 0 0 0 50824 1180 0 0 25 0 1 0 897410291 63479808 14364 4294967295 134512640 134716908 3221224576 3221222808 1074138113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15498 14364 1111 63 0 15435 0
vsize: 61992
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 474520 0 0 0 51776 1229 0 0 25 0 1 0 897410291 67297280 15292 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16430 15292 1111 63 0 16367 0
vsize: 65720
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 476298 0 0 0 52772 1233 0 0 25 0 1 0 897410291 66023424 14996 4294967295 134512640 134716908 3221224576 3221223368 134536889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16119 14996 1111 63 0 16056 0
vsize: 64476
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 479524 0 0 0 53764 1241 0 0 25 0 1 0 897410291 65486848 14866 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15988 14866 1111 63 0 15925 0
vsize: 63952
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 484328 0 0 0 54752 1253 0 0 25 0 1 0 897410291 65925120 14973 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16095 14973 1111 63 0 16032 0
vsize: 64380
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 489880 0 0 0 55740 1266 0 0 25 0 1 0 897410291 66166784 14988 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16154 14988 1111 63 0 16091 0
vsize: 64616
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 493239 0 0 0 56730 1275 0 0 25 0 1 0 897410291 68296704 15532 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16674 15532 1111 63 0 16611 0
vsize: 66696
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 494965 0 0 0 57727 1279 0 0 25 0 1 0 897410291 66772992 15170 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16302 15170 1111 63 0 16239 0
vsize: 65208
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 499360 0 0 0 58715 1290 0 0 25 0 1 0 897410291 66363392 15038 4294967295 134512640 134716908 3221224576 3221223152 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15038 1111 63 0 16139 0
vsize: 64808
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 512846 0 0 0 59681 1326 0 0 25 0 1 0 897410291 69877760 15813 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17060 15813 1111 63 0 16997 0
vsize: 68240
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 518473 0 0 0 60668 1338 0 0 25 0 1 0 897410291 69767168 15748 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17033 15748 1111 63 0 16970 0
vsize: 68132
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 522728 0 0 0 61656 1350 0 0 25 0 1 0 897410291 71593984 16179 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17479 16179 1111 63 0 17416 0
vsize: 69916
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 535067 0 0 0 62625 1382 0 0 25 0 1 0 897410291 71630848 16202 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17488 16202 1111 63 0 17425 0
vsize: 69952
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 542784 0 0 0 63608 1399 0 0 25 0 1 0 897410291 72208384 16345 4294967295 134512640 134716908 3221224576 3221223372 134536888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17629 16345 1111 63 0 17566 0
vsize: 70516
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 544155 0 0 0 64605 1402 0 0 25 0 1 0 897410291 71950336 16282 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17566 16282 1111 63 0 17503 0
vsize: 70264
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 548173 0 0 0 65596 1412 0 0 25 0 1 0 897410291 71983104 16290 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17574 16290 1111 63 0 17511 0
vsize: 70296
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 553939 0 0 0 66582 1425 0 0 25 0 1 0 897410291 72785920 16490 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17770 16490 1111 63 0 17707 0
vsize: 71080
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 554117 0 0 0 67581 1426 0 0 25 0 1 0 897410291 73187328 16589 4294967295 134512640 134716908 3221224576 3221222592 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17868 16589 1111 63 0 17805 0
vsize: 71472
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 554238 0 0 0 68581 1427 0 0 25 0 1 0 897410291 73715712 16710 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17997 16710 1111 63 0 17934 0
vsize: 71988
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 554311 0 0 0 69580 1428 0 0 25 0 1 0 897410291 74014720 16783 4294967295 134512640 134716908 3221224576 3221222544 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18070 16783 1111 63 0 18007 0
vsize: 72280
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 554407 0 0 0 70580 1429 0 0 25 0 1 0 897410291 74444800 16879 4294967295 134512640 134716908 3221224576 3221222544 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18175 16879 1111 63 0 18112 0
vsize: 72700
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 554463 0 0 0 71579 1429 0 0 25 0 1 0 897410291 74661888 16935 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18228 16935 1111 63 0 18165 0
vsize: 72912
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 554506 0 0 0 72578 1430 0 0 25 0 1 0 897410291 74838016 16978 4294967295 134512640 134716908 3221224576 3221222592 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18271 16978 1111 63 0 18208 0
vsize: 73084
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 554550 0 0 0 73578 1431 0 0 25 0 1 0 897410291 75018240 17022 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18315 17022 1111 63 0 18252 0
vsize: 73260
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 554628 0 0 0 74577 1432 0 0 25 0 1 0 897410291 75325440 17100 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18390 17100 1111 63 0 18327 0
vsize: 73560
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 554661 0 0 0 75577 1432 0 0 25 0 1 0 897410291 75460608 17133 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18423 17133 1111 63 0 18360 0
vsize: 73692
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 76572 1438 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 77572 1438 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 78572 1438 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 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 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 79572 1438 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 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 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 80572 1438 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 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 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 81572 1438 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 82572 1438 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18685
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 83572 1438 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 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 3/57 18723
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 84572 1439 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18738
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 85572 1439 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18738
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 86572 1440 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 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 18738
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 87572 1440 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 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 18738
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 88571 1440 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18738
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 89571 1441 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18738
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 90571 1441 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 91570 1442 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 92571 1442 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 93571 1442 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 94571 1442 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 557130 0 0 0 95571 1442 0 0 25 0 1 0 897410291 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20021 18730 1111 63 0 19958 0
vsize: 80084
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 564344 0 0 0 96554 1459 0 0 25 0 1 0 897410291 75644928 17189 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18468 17189 1111 63 0 18405 0
vsize: 73872
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 564344 0 0 0 97554 1459 0 0 25 0 1 0 897410291 75644928 17189 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 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 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 564344 0 0 0 98554 1460 0 0 25 0 1 0 897410291 75644928 17189 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 1 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 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 564344 0 0 0 99554 1460 0 0 25 0 1 0 897410291 75644928 17189 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18468 17189 1111 63 0 18405 0
vsize: 73872
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 567184 0 0 0 100545 1469 0 0 25 0 1 0 897410291 72466432 16413 4294967295 134512640 134716908 3221224576 3221223116 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17692 16413 1111 63 0 17629 0
vsize: 70768
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 567450 0 0 0 101543 1471 0 0 25 0 1 0 897410291 73555968 16679 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17958 16679 1111 63 0 17895 0
vsize: 71832
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 567538 0 0 0 102542 1473 0 0 25 0 1 0 897410291 73916416 16767 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18046 16767 1111 63 0 17983 0
vsize: 72184
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 567606 0 0 0 103541 1474 0 0 25 0 1 0 897410291 74194944 16835 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18114 16835 1111 63 0 18051 0
vsize: 72456
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 567663 0 0 0 104539 1475 0 0 25 0 1 0 897410291 74428416 16892 4294967295 134512640 134716908 3221224576 3221222816 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18171 16892 1111 63 0 18108 0
vsize: 72684
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 567709 0 0 0 105539 1476 0 0 25 0 1 0 897410291 74616832 16938 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18217 16938 1111 63 0 18154 0
vsize: 72868
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 567753 0 0 0 106538 1477 0 0 25 0 1 0 897410291 74797056 16982 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18261 16982 1111 63 0 18198 0
vsize: 73044
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 567796 0 0 0 107537 1478 0 0 25 0 1 0 897410291 74973184 17025 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18304 17025 1111 63 0 18241 0
vsize: 73216
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 108533 1482 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 109533 1483 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 110533 1483 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 111533 1483 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 112533 1484 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 113533 1484 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 114532 1484 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 115532 1484 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 116532 1485 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18740
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 117532 1485 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18742
Raw data (stat): 18685 (bsolo_lpr-v2) R 18684 20224 20223 0 -1 0 569776 0 0 0 118532 1485 0 0 25 0 1 0 897410291 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18293 1111 63 0 19524 0
vsize: 78348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18742
Raw data (stat): 18685 (bsolo_lpr-v2) Z 18684 20224 20223 0 -1 1036 569776 0 0 0 118532 1489 0 0 25 0 1 0 897410291 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.08
CPU time (s): 1200.22
CPU user time (s): 1185.32
CPU system time (s): 14.8927
CPU usage (%): 100.012
Max. virtual memory (Kb): 80084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####