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/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM	5fcfa2f72175b9723ffb2781fb76fcdc
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.02184
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 39910

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 22:13:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27962 boxname=wulflinc6 idbench=918 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 27962
/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:        897320 kB
Buffers:         13260 kB
Cached:         102696 kB
SwapCached:       1004 kB
Active:          25988 kB
Inactive:        92028 kB
HighTotal:      131008 kB
HighFree:        35028 kB
LowTotal:       903652 kB
LowFree:        862292 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5004 kB
Slab:            13532 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 22:33:40 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 27962 7 1200.39 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.073 s
c Initial Lower Bound: 774
c Lower Bound Elapsed time: 0.00525
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2874 @ 0.429
c NEW SOLUTION FOUND: 2826 @ 0.749
c NEW SOLUTION FOUND: 2823 @ 0.749
c NEW SOLUTION FOUND: 2727 @ 1.025
c NEW SOLUTION FOUND: 2711 @ 4.765
c NEW SOLUTION FOUND: 2668 @ 4.833
c NEW SOLUTION FOUND: 2665 @ 5.97
c NEW SOLUTION FOUND: 2603 @ 9.4
c NEW SOLUTION FOUND: 2573 @ 20.709
c NEW SOLUTION FOUND: 2563 @ 22.769
c NEW SOLUTION FOUND: 2546 @ 22.805
c NEW SOLUTION FOUND: 2490 @ 48.332
c NEW SOLUTION FOUND: 2471 @ 67.036
c NEW SOLUTION FOUND: 2405 @ 68.398
c NEW SOLUTION FOUND: 2403 @ 197.911
c NEW SOLUTION FOUND: 2366 @ 352.338
c NEW SOLUTION FOUND: 2325 @ 356.596
c NEW SOLUTION FOUND: 2322 @ 356.814
c NEW SOLUTION FOUND: 2209 @ 357.114
c NEW SOLUTION FOUND: 2134 @ 361.229
c NEW SOLUTION FOUND: 2102 @ 509.669
c NEW SOLUTION FOUND: 2062 @ 517.354
c NEW SOLUTION FOUND: 1976 @ 520.988
c NEW SOLUTION FOUND: 1959 @ 598.961
c NEW SOLUTION FOUND: 1949 @ 618.511
#### 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 21085
Raw data (stat): 21085 (runsolver) R 21084 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896504948 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.0012 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 7947 0 0 0 963 34 0 0 25 0 1 0 896504948 14540800 2861 4294967295 134512640 134716908 3221224576 3221222576 1074918283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3550 2861 1111 63 0 3487 0
vsize: 14200
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 12106 0 0 0 1948 50 0 0 25 0 1 0 896504948 16605184 3370 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4054 3370 1111 63 0 3991 0
vsize: 16216
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 28664 0 0 0 2912 85 0 0 25 0 1 0 896504948 18886656 3917 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4611 3917 1111 63 0 4548 0
vsize: 18444
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 39563 0 0 0 3884 114 0 0 25 0 1 0 896504948 20254720 4219 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4945 4219 1111 63 0 4882 0
vsize: 19780
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 57229 0 0 0 4841 157 0 0 25 0 1 0 896504948 21901312 4629 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 4629 1111 63 0 5284 0
vsize: 21388
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 75638 0 0 0 5800 199 0 0 25 0 1 0 896504948 24866816 5336 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6071 5336 1111 63 0 6008 0
vsize: 24284
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 105391 0 0 0 6732 266 0 0 25 0 1 0 896504948 28389376 6181 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6931 6181 1111 63 0 6868 0
vsize: 27724
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 106371 0 0 0 7729 270 0 0 25 0 1 0 896504948 29761536 6533 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6533 1111 63 0 7203 0
vsize: 29064
[startup+90.0067 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 106443 0 0 0 8728 271 0 0 25 0 1 0 896504948 30187520 6605 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7370 6605 1111 63 0 7307 0
vsize: 29480
[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 107565 0 0 0 9726 274 0 0 25 0 1 0 896504948 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918594 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.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 107565 0 0 0 10726 274 0 0 25 0 1 0 896504948 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+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 107565 0 0 0 11727 274 0 0 25 0 1 0 896504948 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 107565 0 0 0 12727 274 0 0 25 0 1 0 896504948 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8116 7374 1111 63 0 8053 0
vsize: 32464
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 110956 0 0 0 13719 283 0 0 25 0 1 0 896504948 30429184 6696 4294967295 134512640 134716908 3221224576 3221223368 134558492 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 110956 0 0 0 14719 283 0 0 25 0 1 0 896504948 30429184 6696 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7429 6696 1111 63 0 7366 0
vsize: 29716
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 111204 0 0 0 15718 285 0 0 25 0 1 0 896504948 29908992 6569 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7302 6569 1111 63 0 7239 0
vsize: 29208
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 111962 0 0 0 16716 287 0 0 25 0 1 0 896504948 32010240 7082 4294967295 134512640 134716908 3221224576 3221222576 1074918594 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 111962 0 0 0 17716 287 0 0 25 0 1 0 896504948 32010240 7082 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7815 7082 1111 63 0 7752 0
vsize: 31260
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 114668 0 0 0 18710 294 0 0 25 0 1 0 896504948 30027776 6598 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7331 6598 1111 63 0 7268 0
vsize: 29324
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 121569 0 0 0 19692 312 0 0 25 0 1 0 896504948 29655040 6509 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7240 6509 1111 63 0 7177 0
vsize: 28960
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 123844 0 0 0 20685 318 0 0 25 0 1 0 896504948 30060544 6607 4294967295 134512640 134716908 3221224576 3221223288 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7339 6607 1111 63 0 7276 0
vsize: 29356
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 126410 0 0 0 21678 326 0 0 25 0 1 0 896504948 29450240 6459 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 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 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 132031 0 0 0 22663 341 0 0 25 0 1 0 896504948 29782016 6508 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7271 6508 1111 63 0 7208 0
vsize: 29084
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 138787 0 0 0 23646 358 0 0 25 0 1 0 896504948 30097408 6609 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7348 6609 1111 63 0 7285 0
vsize: 29392
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 138955 0 0 0 24645 360 0 0 25 0 1 0 896504948 30769152 6749 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7512 6749 1111 63 0 7449 0
vsize: 30048
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 139918 0 0 0 25643 362 0 0 25 0 1 0 896504948 33386496 7407 4294967295 134512640 134716908 3221224576 3221222576 1074918583 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 139918 0 0 0 26643 362 0 0 25 0 1 0 896504948 33386496 7407 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8151 7407 1111 63 0 8088 0
vsize: 32604
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 143049 0 0 0 27636 370 0 0 25 0 1 0 896504948 30887936 6810 4294967295 134512640 134716908 3221224576 3221223312 134622759 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 143067 0 0 0 28636 370 0 0 25 0 1 0 896504948 29818880 6528 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7280 6528 1111 63 0 7217 0
vsize: 29120
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 151071 0 0 0 29617 390 0 0 25 0 1 0 896504948 30396416 6689 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6689 1111 63 0 7358 0
vsize: 29684
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 152845 0 0 0 30613 393 0 0 25 0 1 0 896504948 36483072 7827 4294967295 134512640 134716908 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8907 7827 1111 63 0 8844 0
vsize: 35628
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 156298 0 0 0 31606 401 0 0 25 0 1 0 896504948 30384128 6658 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6658 1111 63 0 7355 0
vsize: 29672
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 160863 0 0 0 32594 413 0 0 25 0 1 0 896504948 29929472 6576 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6576 1111 63 0 7244 0
vsize: 29228
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 165603 0 0 0 33583 424 0 0 25 0 1 0 896504948 30085120 6614 4294967295 134512640 134716908 3221224576 3221222576 1074918512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7345 6614 1111 63 0 7282 0
vsize: 29380
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 177439 0 0 0 34554 455 0 0 25 0 1 0 896504948 30867456 6770 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7536 6770 1111 63 0 7473 0
vsize: 30144
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 219720 0 0 0 35454 554 0 0 25 0 1 0 896504948 37634048 8297 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9188 8297 1111 63 0 9125 0
vsize: 36752
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 241035 0 0 0 36401 607 0 0 25 0 1 0 896504948 40108032 8884 4294967295 134512640 134716908 3221224576 3221222832 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9792 8884 1111 63 0 9729 0
vsize: 39168
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 243205 0 0 0 37396 613 0 0 25 0 1 0 896504948 40022016 8880 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9771 8880 1111 63 0 9708 0
vsize: 39084
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 264773 0 0 0 38342 667 0 0 25 0 1 0 896504948 42598400 9461 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10400 9461 1111 63 0 10337 0
vsize: 41600
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 279279 0 0 0 39308 702 0 0 25 0 1 0 896504948 45486080 9570 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10474 9557 1111 63 0 10411 0
vsize: 44420
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 292523 0 0 0 40276 734 0 0 25 0 1 0 896504948 43970560 9821 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10735 9821 1111 63 0 10672 0
vsize: 42940
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 315325 0 0 0 41224 786 0 0 25 0 1 0 896504948 46133248 10351 4294967295 134512640 134716908 3221224576 3221222736 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11263 10351 1111 63 0 11200 0
vsize: 45052
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 316050 0 0 0 42222 789 0 0 25 0 1 0 896504948 48263168 10863 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11783 10863 1111 63 0 11720 0
vsize: 47132
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 318567 0 0 0 43216 795 0 0 25 0 1 0 896504948 46489600 10438 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11350 10438 1111 63 0 11287 0
vsize: 45400
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 319236 0 0 0 44214 797 0 0 25 0 1 0 896504948 47820800 10733 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11675 10733 1111 63 0 11612 0
vsize: 46700
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 322176 0 0 0 45209 803 0 0 25 0 1 0 896504948 45998080 10318 4294967295 134512640 134716908 3221224576 3221222576 1074916681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11230 10318 1111 63 0 11167 0
vsize: 44920
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 331352 0 0 0 46187 825 0 0 25 0 1 0 896504948 46841856 10522 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11436 10522 1111 63 0 11373 0
vsize: 45744
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 338233 0 0 0 47171 841 0 0 25 0 1 0 896504948 45981696 10315 4294967295 134512640 134716908 3221224576 3221223360 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11226 10315 1111 63 0 11163 0
vsize: 44904
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 376222 0 0 0 48078 935 0 0 25 0 1 0 896504948 51359744 11429 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12381 11427 1111 63 0 12318 0
vsize: 50156
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 394950 0 0 0 49034 979 0 0 25 0 1 0 896504948 52936704 11955 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12924 11955 1111 63 0 12861 0
vsize: 51696
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 422015 0 0 0 49968 1045 0 0 25 0 1 0 896504948 56942592 12860 4294967295 134512640 134716908 3221224576 3221222716 1074207392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13902 12860 1111 63 0 13839 0
vsize: 55608
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 458985 0 0 0 50878 1135 0 0 25 0 1 0 896504948 63721472 14431 4294967295 134512640 134716908 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15557 14431 1111 63 0 15494 0
vsize: 62228
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 474520 0 0 0 51841 1172 0 0 25 0 1 0 896504948 67297280 15292 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16430 15292 1111 63 0 16367 0
vsize: 65720
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 476595 0 0 0 52836 1177 0 0 25 0 1 0 896504948 66732032 15140 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16292 15140 1111 63 0 16229 0
vsize: 65168
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 480465 0 0 0 53829 1185 0 0 25 0 1 0 896504948 65945600 14963 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16100 14963 1111 63 0 16037 0
vsize: 64400
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 484592 0 0 0 54819 1195 0 0 25 0 1 0 896504948 65810432 14945 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16067 14945 1111 63 0 16004 0
vsize: 64268
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 490777 0 0 0 55805 1209 0 0 25 0 1 0 896504948 65753088 14919 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16053 14919 1111 63 0 15990 0
vsize: 64212
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 493239 0 0 0 56800 1215 0 0 25 0 1 0 896504948 68296704 15532 4294967295 134512640 134716908 3221224576 3221222576 1074918599 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 494965 0 0 0 57796 1219 0 0 25 0 1 0 896504948 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 507459 0 0 0 58767 1248 0 0 25 0 1 0 896504948 71639040 15607 4294967295 134512640 134716908 3221224576 3221221660 1075895940 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17490 15607 1111 63 0 17427 0
vsize: 69960
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 512846 0 0 0 59754 1262 0 0 25 0 1 0 896504948 69877760 15813 4294967295 134512640 134716908 3221224576 3221223288 134558609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17060 15813 1111 63 0 16997 0
vsize: 68240
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 521245 0 0 0 60733 1283 0 0 25 0 1 0 896504948 71262208 16076 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17398 16076 1111 63 0 17335 0
vsize: 69592
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 524102 0 0 0 61728 1288 0 0 25 0 1 0 896504948 70688768 15964 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17258 15964 1111 63 0 17195 0
vsize: 69032
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 538002 0 0 0 62696 1321 0 0 25 0 1 0 896504948 71536640 16151 4294967295 134512640 134716908 3221224576 3221222716 1074206848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17465 16151 1111 63 0 17402 0
vsize: 69860
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 542784 0 0 0 63685 1332 0 0 25 0 1 0 896504948 72208384 16345 4294967295 134512640 134716908 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17629 16345 1111 63 0 17566 0
vsize: 70516
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 544364 0 0 0 64681 1336 0 0 25 0 1 0 896504948 72519680 16420 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17705 16420 1111 63 0 17642 0
vsize: 70820
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 548731 0 0 0 65671 1346 0 0 25 0 1 0 896504948 71774208 16239 4294967295 134512640 134716908 3221224576 3221222720 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17523 16239 1111 63 0 17460 0
vsize: 70092
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554030 0 0 0 66658 1359 0 0 25 0 1 0 896504948 72830976 16502 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17781 16502 1111 63 0 17718 0
vsize: 71124
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554146 0 0 0 67657 1361 0 0 25 0 1 0 896504948 73437184 16618 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17929 16618 1111 63 0 17866 0
vsize: 71716
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554257 0 0 0 68656 1362 0 0 25 0 1 0 896504948 73793536 16729 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18016 16729 1111 63 0 17953 0
vsize: 72064
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554358 0 0 0 69656 1363 0 0 25 0 1 0 896504948 74244096 16830 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18126 16830 1111 63 0 18063 0
vsize: 72504
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554422 0 0 0 70655 1364 0 0 25 0 1 0 896504948 74506240 16894 4294967295 134512640 134716908 3221224576 3221222592 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18190 16894 1111 63 0 18127 0
vsize: 72760
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554475 0 0 0 71655 1364 0 0 25 0 1 0 896504948 74711040 16947 4294967295 134512640 134716908 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18240 16947 1111 63 0 18177 0
vsize: 72960
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554518 0 0 0 72654 1365 0 0 25 0 1 0 896504948 74887168 16990 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18283 16990 1111 63 0 18220 0
vsize: 73132
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554560 0 0 0 73654 1366 0 0 25 0 1 0 896504948 75059200 17032 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18325 17032 1111 63 0 18262 0
vsize: 73300
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554637 0 0 0 74654 1366 0 0 25 0 1 0 896504948 75362304 17109 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18399 17109 1111 63 0 18336 0
vsize: 73596
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 554671 0 0 0 75654 1367 0 0 25 0 1 0 896504948 75501568 17143 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18433 17143 1111 63 0 18370 0
vsize: 73732
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 76649 1372 0 0 25 0 1 0 896504948 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918591 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 77649 1372 0 0 25 0 1 0 896504948 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+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 78650 1372 0 0 25 0 1 0 896504948 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 79650 1372 0 0 25 0 1 0 896504948 82006016 18730 4294967295 134512640 134716908 3221224576 3221222576 1074918591 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 80650 1372 0 0 25 0 1 0 896504948 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 81651 1372 0 0 25 0 1 0 896504948 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+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 82651 1372 0 0 25 0 1 0 896504948 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+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 83651 1372 0 0 25 0 1 0 896504948 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+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 84651 1372 0 0 25 0 1 0 896504948 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 85652 1372 0 0 25 0 1 0 896504948 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+880.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 86652 1372 0 0 25 0 1 0 896504948 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+890.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 87652 1372 0 0 25 0 1 0 896504948 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+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 88653 1372 0 0 25 0 1 0 896504948 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 89653 1372 0 0 25 0 1 0 896504948 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 90653 1372 0 0 25 0 1 0 896504948 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+930.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 91653 1372 0 0 25 0 1 0 896504948 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 92654 1372 0 0 25 0 1 0 896504948 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 93654 1372 0 0 25 0 1 0 896504948 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 94654 1372 0 0 25 0 1 0 896504948 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+970.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 557130 0 0 0 95655 1372 0 0 25 0 1 0 896504948 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 564344 0 0 0 96638 1388 0 0 25 0 1 0 896504948 75644928 17189 4294967295 134512640 134716908 3221224576 3221223352 134542401 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 564344 0 0 0 97639 1388 0 0 25 0 1 0 896504948 75644928 17189 4294967295 134512640 134716908 3221224576 3221223312 134622912 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 564344 0 0 0 98639 1388 0 0 25 0 1 0 896504948 75644928 17189 4294967295 134512640 134716908 3221224576 3221223292 134558476 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 564344 0 0 0 99639 1388 0 0 25 0 1 0 896504948 75644928 17189 4294967295 134512640 134716908 3221224576 3221223368 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18468 17189 1111 63 0 18405 0
vsize: 73872
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 566576 0 0 0 100634 1394 0 0 25 0 1 0 896504948 72478720 16416 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17695 16416 1111 63 0 17632 0
vsize: 70780
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 567447 0 0 0 101632 1397 0 0 25 0 1 0 896504948 73543680 16676 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17955 16676 1111 63 0 17892 0
vsize: 71820
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 567537 0 0 0 102631 1397 0 0 25 0 1 0 896504948 73912320 16766 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18045 16766 1111 63 0 17982 0
vsize: 72180
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 567604 0 0 0 103631 1398 0 0 25 0 1 0 896504948 74186752 16833 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18112 16833 1111 63 0 18049 0
vsize: 72448
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 567661 0 0 0 104630 1399 0 0 25 0 1 0 896504948 74420224 16890 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18169 16890 1111 63 0 18106 0
vsize: 72676
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 567709 0 0 0 105630 1400 0 0 25 0 1 0 896504948 74616832 16938 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18217 16938 1111 63 0 18154 0
vsize: 72868
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 567751 0 0 0 106629 1401 0 0 25 0 1 0 896504948 74788864 16980 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18259 16980 1111 63 0 18196 0
vsize: 73036
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 567796 0 0 0 107629 1401 0 0 25 0 1 0 896504948 74973184 17025 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18304 17025 1111 63 0 18241 0
vsize: 73216
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 108625 1405 0 0 25 0 1 0 896504948 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+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 109626 1405 0 0 25 0 1 0 896504948 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918599 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 110626 1405 0 0 25 0 1 0 896504948 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918583 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 111626 1405 0 0 25 0 1 0 896504948 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+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 112627 1405 0 0 25 0 1 0 896504948 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918583 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 113627 1405 0 0 25 0 1 0 896504948 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
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 114627 1405 0 0 25 0 1 0 896504948 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
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 115628 1405 0 0 25 0 1 0 896504948 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 116628 1405 0 0 25 0 1 0 896504948 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+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 117628 1405 0 0 25 0 1 0 896504948 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
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) R 21084 25568 25567 0 -1 0 569776 0 0 0 118629 1406 0 0 25 0 1 0 896504948 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21085
Raw data (stat): 21085 (bsolo_lpr-v2) Z 21084 25568 25567 0 -1 1036 569776 0 0 0 118629 1409 0 0 25 0 1 0 896504948 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.04
CPU time (s): 1200.39
CPU user time (s): 1186.29
CPU system time (s): 14.0939
CPU usage (%): 100.029
Max. virtual memory (Kb): 80084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####