PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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.02584
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 40291

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 05:57:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28346 boxname=wulflinc2 idbench=1302 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 28346
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        776940 kB
Buffers:         13696 kB
Cached:         221876 kB
SwapCached:       1340 kB
Active:          25084 kB
Inactive:       212440 kB
HighTotal:      131008 kB
HighFree:        54096 kB
LowTotal:       903652 kB
LowFree:        722844 kB
SwapTotal:     2097136 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            14552 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:17:06 (client local time) WITH STATUS 0 IN 1200.52 SECONDS
stats: 28346 7 1200.52 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.077 s
c Initial Lower Bound: 774
c Lower Bound Elapsed time: 0.00525
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2874 @ 0.446
c NEW SOLUTION FOUND: 2826 @ 0.775
c NEW SOLUTION FOUND: 2823 @ 0.775
c NEW SOLUTION FOUND: 2727 @ 1.058
c NEW SOLUTION FOUND: 2711 @ 4.9
c NEW SOLUTION FOUND: 2668 @ 4.973
c NEW SOLUTION FOUND: 2665 @ 6.133
c NEW SOLUTION FOUND: 2603 @ 9.6
c NEW SOLUTION FOUND: 2573 @ 20.473
c NEW SOLUTION FOUND: 2563 @ 22.539
c NEW SOLUTION FOUND: 2546 @ 22.575
c NEW SOLUTION FOUND: 2490 @ 47.885
c NEW SOLUTION FOUND: 2471 @ 66.639
c NEW SOLUTION FOUND: 2405 @ 67.997
c NEW SOLUTION FOUND: 2403 @ 195.196
c NEW SOLUTION FOUND: 2366 @ 350.232
c NEW SOLUTION FOUND: 2325 @ 354.538
c NEW SOLUTION FOUND: 2322 @ 354.761
c NEW SOLUTION FOUND: 2209 @ 355.069
c NEW SOLUTION FOUND: 2134 @ 359.241
c NEW SOLUTION FOUND: 2102 @ 509.476
c NEW SOLUTION FOUND: 2062 @ 517.29
c NEW SOLUTION FOUND: 1976 @ 520.902
c NEW SOLUTION FOUND: 1959 @ 599.305
c NEW SOLUTION FOUND: 1949 @ 618.737
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.91 1/54 5917
Raw data (stat): 5917 (runsolver) R 5916 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899290404 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.0006 s]
Raw data (loadavg): 0.87 0.94 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 7849 0 0 0 962 35 0 0 25 0 1 0 899290404 14495744 2848 4294967295 134512640 134716908 3221224576 3221223368 134542421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2848 1111 63 0 3476 0
vsize: 14156
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 12155 0 0 0 1946 51 0 0 25 0 1 0 899290404 16785408 3414 4294967295 134512640 134716908 3221224576 3221222576 1074918594 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.90 0.94 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 28664 0 0 0 2908 89 0 0 25 0 1 0 899290404 18886656 3917 4294967295 134512640 134716908 3221224576 3221223360 134622306 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.0017 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 39767 0 0 0 3882 115 0 0 25 0 1 0 899290404 19947520 4176 4294967295 134512640 134716908 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4870 4176 1111 63 0 4807 0
vsize: 19480
[startup+50.0014 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 58939 0 0 0 4835 161 0 0 25 0 1 0 899290404 22523904 4764 4294967295 134512640 134716908 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4764 1111 63 0 5436 0
vsize: 21996
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 75965 0 0 0 5794 203 0 0 25 0 1 0 899290404 24870912 5337 4294967295 134512640 134716908 3221224576 3221223304 134622892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6072 5337 1111 63 0 6009 0
vsize: 24288
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 106077 0 0 0 6724 273 0 0 25 0 1 0 899290404 28680192 6256 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7002 6256 1111 63 0 6939 0
vsize: 28008
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 106379 0 0 0 7721 275 0 0 25 0 1 0 899290404 29794304 6541 4294967295 134512640 134716908 3221224576 3221222768 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.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 106446 0 0 0 8721 276 0 0 25 0 1 0 899290404 30199808 6608 4294967295 134512640 134716908 3221224576 3221222816 1074153782 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.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 107565 0 0 0 9718 279 0 0 25 0 1 0 899290404 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918597 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.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 107565 0 0 0 10718 279 0 0 25 0 1 0 899290404 33243136 7374 4294967295 134512640 134716908 3221224576 3221222576 1074918597 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.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 107565 0 0 0 11718 279 0 0 25 0 1 0 899290404 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.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 110956 0 0 0 12709 288 0 0 25 0 1 0 899290404 30429184 6696 4294967295 134512640 134716908 3221224576 3221223288 134543168 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.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 110956 0 0 0 13709 288 0 0 25 0 1 0 899290404 30429184 6696 4294967295 134512640 134716908 3221224576 3221223288 134543176 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.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 111045 0 0 0 14709 289 0 0 25 0 1 0 899290404 29474816 6441 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 6441 1111 63 0 7133 0
vsize: 28784
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 111226 0 0 0 15707 291 0 0 25 0 1 0 899290404 29999104 6591 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7324 6591 1111 63 0 7261 0
vsize: 29296
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 111962 0 0 0 16706 292 0 0 25 0 1 0 899290404 32010240 7082 4294967295 134512640 134716908 3221224576 3221222576 1074918583 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.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5917
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 114668 0 0 0 17699 299 0 0 25 0 1 0 899290404 30027776 6598 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7331 6598 1111 63 0 7268 0
vsize: 29324
[startup+190.068 s]
Raw data (loadavg): 1.07 0.97 0.91 2/56 5958
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 114707 0 0 0 18706 299 0 0 25 0 1 0 899290404 29159424 6386 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7119 6386 1111 63 0 7056 0
vsize: 28476
[startup+200.17 s]
Raw data (loadavg): 1.13 0.99 0.92 2/54 5970
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 122062 0 0 0 19686 320 0 0 25 0 1 0 899290404 31215616 6861 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7621 6861 1111 63 0 7558 0
vsize: 30484
[startup+210.218 s]
Raw data (loadavg): 1.11 0.99 0.92 2/54 5970
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 124341 0 0 0 20685 326 0 0 25 0 1 0 899290404 30892032 6811 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7542 6811 1111 63 0 7479 0
vsize: 30168
[startup+220.415 s]
Raw data (loadavg): 1.09 0.99 0.92 2/54 5970
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 127897 0 0 0 21696 334 0 0 25 0 1 0 899290404 34246656 6705 4294967295 134512640 134716908 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8361 6705 1111 63 0 8298 0
vsize: 33444
[startup+230.415 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 5970
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 134130 0 0 0 22680 351 0 0 25 0 1 0 899290404 29790208 6510 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6510 1111 63 0 7210 0
vsize: 29092
[startup+240.416 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 5970
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 138892 0 0 0 23667 364 0 0 25 0 1 0 899290404 30380032 6686 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6686 1111 63 0 7354 0
vsize: 29668
[startup+250.415 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 5970
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 138979 0 0 0 24666 365 0 0 25 0 1 0 899290404 30867456 6773 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6773 1111 63 0 7473 0
vsize: 30144
[startup+260.416 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 5970
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 139918 0 0 0 25664 367 0 0 25 0 1 0 899290404 33386496 7407 4294967295 134512640 134716908 3221224576 3221222576 1074918599 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.416 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 141493 0 0 0 26661 370 0 0 25 0 1 0 899290404 36814848 7999 4294967295 134512640 134716908 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8988 7999 1111 63 0 8925 0
vsize: 35952
[startup+280.415 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 143049 0 0 0 27658 373 0 0 25 0 1 0 899290404 30887936 6810 4294967295 134512640 134716908 3221224576 3221223312 134622759 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.416 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 144284 0 0 0 28656 376 0 0 25 0 1 0 899290404 29929472 6576 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7307 6576 1111 63 0 7244 0
vsize: 29228
[startup+300.416 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 151518 0 0 0 29636 396 0 0 25 0 1 0 899290404 32366592 7110 4294967295 134512640 134716908 3221224576 3221222416 1075798488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7902 7110 1111 63 0 7839 0
vsize: 31608
[startup+310.417 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 153873 0 0 0 30631 401 0 0 25 0 1 0 899290404 30588928 6737 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7468 6737 1111 63 0 7405 0
vsize: 29872
[startup+320.416 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 156625 0 0 0 31624 408 0 0 25 0 1 0 899290404 31240192 6877 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7627 6877 1111 63 0 7564 0
vsize: 30508
[startup+330.416 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 162319 0 0 0 32610 422 0 0 25 0 1 0 899290404 31051776 6848 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7581 6848 1111 63 0 7518 0
vsize: 30324
[startup+340.417 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 169653 0 0 0 33592 441 0 0 25 0 1 0 899290404 30937088 6811 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7553 6811 1111 63 0 7490 0
vsize: 30212
[startup+350.417 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 188897 0 0 0 34545 487 0 0 25 0 1 0 899290404 32423936 7160 4294967295 134512640 134716908 3221224576 3221222904 1074064529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7916 7160 1111 63 0 7853 0
vsize: 31664
[startup+360.417 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 226984 0 0 0 35451 582 0 0 25 0 1 0 899290404 39038976 8619 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9531 8619 1111 63 0 9468 0
vsize: 38124
[startup+370.417 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 241584 0 0 0 36414 619 0 0 25 0 1 0 899290404 41664512 9258 4294967295 134512640 134716908 3221224576 3221222576 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10172 9258 1111 63 0 10109 0
vsize: 40688
[startup+380.417 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 243485 0 0 0 37409 624 0 0 25 0 1 0 899290404 40902656 9097 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9986 9097 1111 63 0 9923 0
vsize: 39944
[startup+390.417 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 265427 0 0 0 38357 676 0 0 25 0 1 0 899290404 42573824 9455 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10394 9455 1111 63 0 10331 0
vsize: 41576
[startup+400.418 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 283533 0 0 0 39312 722 0 0 25 0 1 0 899290404 43347968 9657 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 9657 1111 63 0 10520 0
vsize: 42332
[startup+410.418 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 299783 0 0 0 40271 763 0 0 25 0 1 0 899290404 45551616 9893 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10805 9889 1111 63 0 10742 0
vsize: 44484
[startup+420.418 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 315358 0 0 0 41231 803 0 0 25 0 1 0 899290404 46268416 10384 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11296 10384 1111 63 0 11233 0
vsize: 45184
[startup+430.418 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 316050 0 0 0 42229 805 0 0 25 0 1 0 899290404 48263168 10863 4294967295 134512640 134716908 3221224576 3221222576 1074918594 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.419 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 318567 0 0 0 43224 810 0 0 25 0 1 0 899290404 46489600 10438 4294967295 134512640 134716908 3221224576 3221223392 134622425 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.419 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 319236 0 0 0 44222 813 0 0 25 0 1 0 899290404 47820800 10733 4294967295 134512640 134716908 3221224576 3221222576 1074918597 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.419 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 322940 0 0 0 45213 822 0 0 25 0 1 0 899290404 45686784 10216 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11154 10216 1111 63 0 11091 0
vsize: 44616
[startup+470.42 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 332064 0 0 0 46192 843 0 0 25 0 1 0 899290404 46104576 10345 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11256 10345 1111 63 0 11193 0
vsize: 45024
[startup+480.42 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 338780 0 0 0 47176 859 0 0 25 0 1 0 899290404 48480256 10459 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11836 10460 1111 63 0 11773 0
vsize: 47344
[startup+490.42 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 377765 0 0 0 48082 953 0 0 25 0 1 0 899290404 50929664 11473 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12434 11473 1111 63 0 12371 0
vsize: 49736
[startup+500.421 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 395969 0 0 0 49034 1002 0 0 25 0 1 0 899290404 53108736 11996 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12966 11996 1111 63 0 12903 0
vsize: 51864
[startup+510.422 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 423962 0 0 0 49959 1076 0 0 25 0 1 0 899290404 60002304 12975 4294967295 134512640 134716908 3221224576 3221221232 1075966240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14649 12975 1111 63 0 14586 0
vsize: 58596
[startup+520.422 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 460123 0 0 0 50866 1169 0 0 25 0 1 0 899290404 63741952 14441 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15562 14441 1111 63 0 15499 0
vsize: 62248
[startup+530.422 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 474520 0 0 0 51832 1203 0 0 25 0 1 0 899290404 67297280 15292 4294967295 134512640 134716908 3221224576 3221222576 1074918594 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.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 476595 0 0 0 52827 1208 0 0 25 0 1 0 899290404 66732032 15140 4294967295 134512640 134716908 3221224576 3221222640 1075961756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16292 15140 1111 63 0 16229 0
vsize: 65168
[startup+550.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 480465 0 0 0 53819 1217 0 0 25 0 1 0 899290404 65945600 14963 4294967295 134512640 134716908 3221224576 3221222576 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16100 14963 1111 63 0 16037 0
vsize: 64400
[startup+560.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5972
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 484791 0 0 0 54809 1227 0 0 25 0 1 0 899290404 66396160 15085 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16210 15085 1111 63 0 16147 0
vsize: 64840
[startup+570.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 490973 0 0 0 55795 1241 0 0 25 0 1 0 899290404 65892352 14945 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16087 14945 1111 63 0 16024 0
vsize: 64348
[startup+580.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 493239 0 0 0 56788 1248 0 0 25 0 1 0 899290404 68296704 15532 4294967295 134512640 134716908 3221224576 3221222576 1074918576 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.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 494965 0 0 0 57785 1251 0 0 25 0 1 0 899290404 66772992 15170 4294967295 134512640 134716908 3221224576 3221223380 134622499 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.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 506983 0 0 0 58755 1281 0 0 25 0 1 0 899290404 68763648 15520 4294967295 134512640 134716908 3221224576 3221222536 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16788 15520 1111 63 0 16725 0
vsize: 67152
[startup+610.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 512846 0 0 0 59740 1297 0 0 25 0 1 0 899290404 69877760 15813 4294967295 134512640 134716908 3221224576 3221223392 134622484 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.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 521248 0 0 0 60721 1315 0 0 25 0 1 0 899290404 71270400 16079 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17400 16079 1111 63 0 17337 0
vsize: 69600
[startup+630.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 524102 0 0 0 61715 1322 0 0 25 0 1 0 899290404 70688768 15964 4294967295 134512640 134716908 3221224576 3221223304 134558585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17258 15964 1111 63 0 17195 0
vsize: 69032
[startup+640.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 538002 0 0 0 62682 1356 0 0 25 0 1 0 899290404 71536640 16151 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17465 16151 1111 63 0 17402 0
vsize: 69860
[startup+650.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 542784 0 0 0 63670 1367 0 0 25 0 1 0 899290404 72208384 16345 4294967295 134512640 134716908 3221224576 3221223312 134622759 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.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 544364 0 0 0 64666 1372 0 0 25 0 1 0 899290404 72519680 16420 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17705 16420 1111 63 0 17642 0
vsize: 70820
[startup+670.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 548345 0 0 0 65657 1381 0 0 25 0 1 0 899290404 72302592 16368 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17652 16368 1111 63 0 17589 0
vsize: 70608
[startup+680.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554030 0 0 0 66643 1395 0 0 25 0 1 0 899290404 72830976 16502 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17781 16502 1111 63 0 17718 0
vsize: 71124
[startup+690.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554146 0 0 0 67642 1396 0 0 25 0 1 0 899290404 73437184 16618 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17929 16618 1111 63 0 17866 0
vsize: 71716
[startup+700.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554257 0 0 0 68641 1397 0 0 25 0 1 0 899290404 73793536 16729 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18016 16729 1111 63 0 17953 0
vsize: 72064
[startup+710.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554358 0 0 0 69641 1398 0 0 25 0 1 0 899290404 74244096 16830 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18126 16830 1111 63 0 18063 0
vsize: 72504
[startup+720.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554422 0 0 0 70640 1399 0 0 25 0 1 0 899290404 74506240 16894 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18190 16894 1111 63 0 18127 0
vsize: 72760
[startup+730.423 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554475 0 0 0 71640 1399 0 0 25 0 1 0 899290404 74711040 16947 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18240 16947 1111 63 0 18177 0
vsize: 72960
[startup+740.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554517 0 0 0 72639 1400 0 0 25 0 1 0 899290404 74883072 16989 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18282 16989 1111 63 0 18219 0
vsize: 73128
[startup+750.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554559 0 0 0 73638 1401 0 0 25 0 1 0 899290404 75055104 17031 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18324 17031 1111 63 0 18261 0
vsize: 73296
[startup+760.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554635 0 0 0 74638 1401 0 0 25 0 1 0 899290404 75354112 17107 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18397 17107 1111 63 0 18334 0
vsize: 73588
[startup+770.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 554670 0 0 0 75638 1402 0 0 25 0 1 0 899290404 75497472 17142 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18432 17142 1111 63 0 18369 0
vsize: 73728
[startup+780.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 76633 1407 0 0 25 0 1 0 899290404 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+790.425 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 77633 1407 0 0 25 0 1 0 899290404 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+800.424 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 78633 1407 0 0 25 0 1 0 899290404 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.425 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 79633 1407 0 0 25 0 1 0 899290404 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+820.425 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 80633 1407 0 0 25 0 1 0 899290404 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.425 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 81633 1407 0 0 25 0 1 0 899290404 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+840.425 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 82634 1407 0 0 25 0 1 0 899290404 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+850.426 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 83634 1407 0 0 25 0 1 0 899290404 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+860.426 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 84634 1407 0 0 25 0 1 0 899290404 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+870.426 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 85634 1407 0 0 25 0 1 0 899290404 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.426 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 86634 1407 0 0 25 0 1 0 899290404 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+890.426 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 87635 1407 0 0 25 0 1 0 899290404 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+900.426 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 88635 1407 0 0 25 0 1 0 899290404 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.427 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 89635 1407 0 0 25 0 1 0 899290404 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+920.427 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 90635 1407 0 0 25 0 1 0 899290404 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.427 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 91635 1407 0 0 25 0 1 0 899290404 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+940.428 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 92636 1407 0 0 25 0 1 0 899290404 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+950.427 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 93636 1407 0 0 25 0 1 0 899290404 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+960.428 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 94636 1407 0 0 25 0 1 0 899290404 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.429 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 557130 0 0 0 95636 1407 0 0 25 0 1 0 899290404 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+980.429 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 564344 0 0 0 96619 1425 0 0 25 0 1 0 899290404 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+990.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 564344 0 0 0 97619 1425 0 0 25 0 1 0 899290404 75644928 17189 4294967295 134512640 134716908 3221224576 3221223288 134543176 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.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 564344 0 0 0 98619 1425 0 0 25 0 1 0 899290404 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+1010.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 564344 0 0 0 99619 1425 0 0 25 0 1 0 899290404 75644928 17189 4294967295 134512640 134716908 3221224576 3221223288 134543176 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.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 565474 0 0 0 100616 1428 0 0 25 0 1 0 899290404 72892416 16517 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17796 16517 1111 63 0 17733 0
vsize: 71184
[startup+1030.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 567438 0 0 0 101610 1435 0 0 25 0 1 0 899290404 73506816 16667 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17946 16667 1111 63 0 17883 0
vsize: 71784
[startup+1040.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 567531 0 0 0 102609 1436 0 0 25 0 1 0 899290404 73887744 16760 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18039 16760 1111 63 0 17976 0
vsize: 72156
[startup+1050.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 567600 0 0 0 103608 1437 0 0 25 0 1 0 899290404 74170368 16829 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18108 16829 1111 63 0 18045 0
vsize: 72432
[startup+1060.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 567657 0 0 0 104607 1438 0 0 25 0 1 0 899290404 74403840 16886 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18165 16886 1111 63 0 18102 0
vsize: 72660
[startup+1070.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 567705 0 0 0 105607 1438 0 0 25 0 1 0 899290404 74600448 16934 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18213 16934 1111 63 0 18150 0
vsize: 72852
[startup+1080.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 567747 0 0 0 106606 1439 0 0 25 0 1 0 899290404 74772480 16976 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18255 16976 1111 63 0 18192 0
vsize: 73020
[startup+1090.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 567792 0 0 0 107606 1440 0 0 25 0 1 0 899290404 74956800 17021 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18300 17021 1111 63 0 18237 0
vsize: 73200
[startup+1100.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 108602 1444 0 0 25 0 1 0 899290404 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.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 109602 1444 0 0 25 0 1 0 899290404 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918576 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.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 110603 1444 0 0 25 0 1 0 899290404 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+1130.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 111603 1444 0 0 25 0 1 0 899290404 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+1140.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 112603 1444 0 0 25 0 1 0 899290404 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+1150.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 113603 1444 0 0 25 0 1 0 899290404 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.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 114603 1444 0 0 25 0 1 0 899290404 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+1170.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 115604 1444 0 0 25 0 1 0 899290404 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.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 116604 1444 0 0 25 0 1 0 899290404 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+1190.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 117604 1444 0 0 25 0 1 0 899290404 80228352 18293 4294967295 134512640 134716908 3221224576 3221222576 1074918591 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.43 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) R 5916 31399 31398 0 -1 0 569776 0 0 0 118604 1444 0 0 25 0 1 0 899290404 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
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.47 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 5974
Raw data (stat): 5917 (bsolo_lpr-v2) Z 5916 31399 31398 0 -1 1036 569776 0 0 0 118604 1447 0 0 25 0 1 0 899290404 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.47
CPU time (s): 1200.52
CPU user time (s): 1186.05
CPU system time (s): 14.4788
CPU usage (%): 100.005
Max. virtual memory (Kb): 80084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####