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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb
MD5SUM	375b355299c9fbf8170e172bcbc73eb2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16728
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	242
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	54
Number of constraints which are nor clauses,nor cardinality constraints	13
Minimum length of a constraint	1
Maximum length of a constraint	122
Trace number 25510

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 00:48:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19488 boxname=wulflinc31 idbench=1500 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  375b355299c9fbf8170e172bcbc73eb2  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare2_1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare2_1.opb
IDLAUNCH: 19488
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        838760 kB
Buffers:         24348 kB
Cached:         151192 kB
SwapCached:        920 kB
Active:          98940 kB
Inactive:        78700 kB
HighTotal:      131008 kB
HighFree:          980 kB
LowTotal:       903652 kB
LowFree:        837780 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12608 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 01:08:40 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 19488 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 242 variables and 20 constraints.
c After prepocess the problem consists of 228 variables and 20 constraints.
c preprocess terminated 0.134 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.025
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 54376 @ 22.214
c NEW SOLUTION FOUND: 53694 @ 24.479
c NEW SOLUTION FOUND: 53414 @ 25.505
c NEW SOLUTION FOUND: 53063 @ 34.698
c NEW SOLUTION FOUND: 53014 @ 37.501
c NEW SOLUTION FOUND: 52831 @ 43.094
c NEW SOLUTION FOUND: 52748 @ 49.791
c NEW SOLUTION FOUND: 52701 @ 50.229
c NEW SOLUTION FOUND: 52548 @ 51.439
c NEW SOLUTION FOUND: 52506 @ 51.514
c NEW SOLUTION FOUND: 51700 @ 52.944
c NEW SOLUTION FOUND: 51631 @ 53.05
c NEW SOLUTION FOUND: 51350 @ 53.43
c NEW SOLUTION FOUND: 47816 @ 54.74
#### 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
Raw data (loadavg): 0.92 0.97 0.91 2/55 27259
Raw data (stat): 27259 (runsolver) R 27258 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 791456460 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 4518 0 0 0 966 31 0 0 25 0 1 0 791456460 7774208 1208 4294967295 134512640 134714508 3221221776 3221219696 1075802495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1898 1208 1111 63 0 1835 0
vsize: 7592
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 7836 0 0 0 1938 58 0 0 25 0 1 0 791456460 7774208 1208 4294967295 134512640 134714508 3221221776 3221220416 134649077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1898 1208 1111 63 0 1835 0
vsize: 7592
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 11053 0 0 0 2912 84 0 0 25 0 1 0 791456460 8060928 1232 4294967295 134512640 134714508 3221221776 3221218640 1074788624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1968 1232 1111 63 0 1905 0
vsize: 7872
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 14109 0 0 0 3889 107 0 0 25 0 1 0 791456460 7925760 1247 4294967295 134512640 134714508 3221221776 3221220408 134696017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1935 1247 1111 63 0 1872 0
vsize: 7740
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 17067 0 0 0 4866 131 0 0 25 0 1 0 791456460 8134656 1300 4294967295 134512640 134714508 3221221776 3221220144 1074140701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1986 1300 1111 63 0 1923 0
vsize: 7944
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 21237 0 0 0 5845 152 0 0 25 0 1 0 791456460 11014144 1999 4294967295 134512640 134714508 3221221776 3221219736 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1999 1111 63 0 2626 0
vsize: 10756
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 26021 0 0 0 6817 180 0 0 25 0 1 0 791456460 14954496 2958 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3651 2958 1111 63 0 3588 0
vsize: 14604
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 30328 0 0 0 7793 204 0 0 25 0 1 0 791456460 19038208 3960 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4648 3960 1111 63 0 4585 0
vsize: 18592
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 33592 0 0 0 8781 216 0 0 25 0 1 0 791456460 19894272 4178 4294967295 134512640 134714508 3221221776 3221220488 134543171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4857 4178 1111 63 0 4794 0
vsize: 19428
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 41999 0 0 0 9759 239 0 0 25 0 1 0 791456460 20795392 4366 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5077 4366 1111 63 0 5014 0
vsize: 20308
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 46843 0 0 0 10748 250 0 0 25 0 1 0 791456460 20520960 4331 4294967295 134512640 134714508 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5010 4331 1111 63 0 4947 0
vsize: 20040
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 61095 0 0 0 11715 283 0 0 25 0 1 0 791456460 21659648 4609 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4609 1111 63 0 5225 0
vsize: 21152
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 75312 0 0 0 12681 317 0 0 25 0 1 0 791456460 22753280 4870 4294967295 134512640 134714508 3221221776 3221219776 1074918283 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5555 4870 1111 63 0 5492 0
vsize: 22220
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 102625 0 0 0 13622 376 0 0 25 0 1 0 791456460 24559616 5317 4294967295 134512640 134714508 3221221776 3221220504 134622752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5996 5317 1111 63 0 5933 0
vsize: 23984
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 131049 0 0 0 14562 437 0 0 25 0 1 0 791456460 28725248 6087 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7013 6100 1111 63 0 6950 0
vsize: 28052
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 156567 0 0 0 15505 494 0 0 25 0 1 0 791456460 29892608 6482 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7210 6457 1111 63 0 7147 0
vsize: 29192
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 189630 0 0 0 16435 565 0 0 25 0 1 0 791456460 30924800 6806 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7550 6806 1111 63 0 7487 0
vsize: 30200
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 222649 0 0 0 17363 636 0 0 25 0 1 0 791456460 33251328 7219 4294967295 134512640 134714508 3221221776 3221217920 1074969734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8118 7219 1111 63 0 8055 0
vsize: 32472
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 256536 0 0 0 18291 708 0 0 25 0 1 0 791456460 33767424 7512 4294967295 134512640 134714508 3221221776 3221219888 1074867347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8244 7512 1111 63 0 8181 0
vsize: 32976
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 292375 0 0 0 19210 789 0 0 25 0 1 0 791456460 35287040 7903 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8615 7903 1111 63 0 8552 0
vsize: 34460
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 312965 0 0 0 20166 834 0 0 25 0 1 0 791456460 36794368 8142 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8983 8142 1111 63 0 8920 0
vsize: 35932
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 339927 0 0 0 21110 889 0 0 25 0 1 0 791456460 37154816 8356 4294967295 134512640 134714508 3221221776 3221219612 1077374624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9071 8356 1111 63 0 9008 0
vsize: 36284
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 368893 0 0 0 22050 951 0 0 25 0 1 0 791456460 38178816 8603 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9321 8603 1111 63 0 9258 0
vsize: 37284
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 395627 0 0 0 22992 1008 0 0 25 0 1 0 791456460 39833600 8868 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9725 8879 1111 63 0 9662 0
vsize: 38900
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 417787 0 0 0 23943 1057 0 0 25 0 1 0 791456460 40439808 9025 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9873 9030 1111 63 0 9810 0
vsize: 39492
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 441219 0 0 0 24891 1109 0 0 25 0 1 0 791456460 41058304 9284 4294967295 134512640 134714508 3221221776 3221220056 1074138285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10024 9284 1111 63 0 9961 0
vsize: 40096
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 469634 0 0 0 25828 1173 0 0 25 0 1 0 791456460 42467328 9631 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10368 9631 1111 63 0 10305 0
vsize: 41472
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 495746 0 0 0 26766 1235 0 0 25 0 1 0 791456460 43380736 9864 4294967295 134512640 134714508 3221221776 3221219776 1074916941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10591 9864 1111 63 0 10528 0
vsize: 42364
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 516717 0 0 0 27718 1283 0 0 25 0 1 0 791456460 44568576 10030 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10881 10030 1111 63 0 10818 0
vsize: 43524
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 544423 0 0 0 28660 1341 0 0 25 0 1 0 791456460 47337472 10572 4294967295 134512640 134714508 3221221776 3221219888 1074867331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11557 10572 1111 63 0 11494 0
vsize: 46228
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 572537 0 0 0 29599 1403 0 0 25 0 1 0 791456460 48353280 10824 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11805 10824 1111 63 0 11742 0
vsize: 47220
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 604830 0 0 0 30529 1472 0 0 25 0 1 0 791456460 49483776 11087 4294967295 134512640 134714508 3221221776 3221220416 134649106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12081 11087 1111 63 0 12018 0
vsize: 48324
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 634190 0 0 0 31459 1543 0 0 25 0 1 0 791456460 50782208 11390 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12398 11390 1111 63 0 12335 0
vsize: 49592
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 667944 0 0 0 32384 1618 0 0 25 0 1 0 791456460 52809728 11761 4294967295 134512640 134714508 3221221776 3221218140 1075115856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12893 11761 1111 63 0 12830 0
vsize: 51572
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 702517 0 0 0 33313 1690 0 0 25 0 1 0 791456460 54583296 12231 4294967295 134512640 134714508 3221221776 3221218352 1076049404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13238 12229 1111 63 0 13175 0
vsize: 53304
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 735103 0 0 0 34242 1760 0 0 25 0 1 0 791456460 55660544 12623 4294967295 134512640 134714508 3221221776 3221219720 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13589 12623 1111 63 0 13526 0
vsize: 54356
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 766573 0 0 0 35176 1827 0 0 25 0 1 0 791456460 57286656 12986 4294967295 134512640 134714508 3221221776 3221220016 1074153158 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13986 12986 1111 63 0 13923 0
vsize: 55944
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 767479 0 0 0 36173 1830 0 0 25 0 1 0 791456460 59826176 13620 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14606 13620 1111 63 0 14543 0
vsize: 58424
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 767479 0 0 0 37173 1830 0 0 25 0 1 0 791456460 59826176 13620 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14606 13620 1111 63 0 14543 0
vsize: 58424
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 769988 0 0 0 38168 1836 0 0 25 0 1 0 791456460 58056704 13199 4294967295 134512640 134714508 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14174 13199 1111 63 0 14111 0
vsize: 56696
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 772735 0 0 0 39161 1842 0 0 25 0 1 0 791456460 59920384 13113 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14629 13122 1111 63 0 14566 0
vsize: 58516
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 807347 0 0 0 40084 1920 0 0 25 0 1 0 791456460 57794560 13132 4294967295 134512640 134714508 3221221776 3221220424 134543568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14110 13132 1111 63 0 14047 0
vsize: 56440
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 843225 0 0 0 41003 2001 0 0 25 0 1 0 791456460 58593280 13314 4294967295 134512640 134714508 3221221776 3221218988 1074205872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14305 13314 1111 63 0 14242 0
vsize: 57220
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 876467 0 0 0 41928 2076 0 0 25 0 1 0 791456460 62234624 13680 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15194 13680 1111 63 0 15131 0
vsize: 60776
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 911237 0 0 0 42846 2158 0 0 25 0 1 0 791456460 60297216 13768 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14721 13768 1111 63 0 14658 0
vsize: 58884
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 947249 0 0 0 43768 2237 0 0 25 0 1 0 791456460 61075456 13956 4294967295 134512640 134714508 3221221776 3221218896 1074864931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15249 13959 1111 63 0 15186 0
vsize: 59644
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 982033 0 0 0 44692 2312 0 0 25 0 1 0 791456460 62050304 14196 4294967295 134512640 134714508 3221221776 3221219704 1077380312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15149 14196 1111 63 0 15086 0
vsize: 60596
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1016476 0 0 0 45615 2389 0 0 25 0 1 0 791456460 63053824 14438 4294967295 134512640 134714508 3221221776 3221218896 1074866626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15732 14440 1111 63 0 15669 0
vsize: 61576
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1050415 0 0 0 46542 2463 0 0 25 0 1 0 791456460 64389120 14750 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15720 14750 1111 63 0 15657 0
vsize: 62880
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1069259 0 0 0 47499 2506 0 0 25 0 1 0 791456460 67674112 15045 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16522 15049 1111 63 0 16459 0
vsize: 66088
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1100960 0 0 0 48425 2581 0 0 25 0 1 0 791456460 65032192 14909 4294967295 134512640 134714508 3221221776 3221220024 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15877 14909 1111 63 0 15814 0
vsize: 63508
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1133714 0 0 0 49349 2656 0 0 25 0 1 0 791456460 68313088 15142 4294967295 134512640 134714508 3221221776 3221217744 1074872712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16678 15142 1111 63 0 16615 0
vsize: 66712
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1165236 0 0 0 50278 2727 0 0 25 0 1 0 791456460 69058560 15250 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16860 15262 1111 63 0 16797 0
vsize: 67440
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1199019 0 0 0 51203 2803 0 0 25 0 1 0 791456460 69677056 15401 4294967295 134512640 134714508 3221221776 3221218848 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17011 15401 1111 63 0 16948 0
vsize: 68044
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1232051 0 0 0 52128 2878 0 0 25 0 1 0 791456460 67362816 15508 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16446 15508 1111 63 0 16383 0
vsize: 65784
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1260408 0 0 0 53065 2941 0 0 25 0 1 0 791456460 69419008 15762 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16610 15676 1111 63 0 16547 0
vsize: 67792
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1291280 0 0 0 53996 3010 0 0 25 0 1 0 791456460 71380992 15885 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17427 15886 1111 63 0 17364 0
vsize: 69708
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1323535 0 0 0 54923 3084 0 0 25 0 1 0 791456460 72155136 16066 4294967295 134512640 134714508 3221221776 3221218048 1074799162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17616 16066 1111 63 0 17553 0
vsize: 70464
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1362055 0 0 0 55837 3170 0 0 25 0 1 0 791456460 69857280 16117 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17055 16117 1111 63 0 16992 0
vsize: 68220
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1395813 0 0 0 56756 3251 0 0 25 0 1 0 791456460 72957952 16379 4294967295 134512640 134714508 3221221776 3221217708 1074788206 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17812 16379 1111 63 0 17749 0
vsize: 71248
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1431745 0 0 0 57672 3335 0 0 25 0 1 0 791456460 70705152 16332 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17262 16332 1111 63 0 17199 0
vsize: 69048
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1457695 0 0 0 58612 3395 0 0 25 0 1 0 791456460 72364032 16747 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17667 16747 1111 63 0 17604 0
vsize: 70668
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1473585 0 0 0 59576 3431 0 0 25 0 1 0 791456460 71745536 16595 4294967295 134512640 134714508 3221221776 3221220344 1077378323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17516 16595 1111 63 0 17453 0
vsize: 70064
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1508222 0 0 0 60499 3508 0 0 25 0 1 0 791456460 75567104 16898 4294967295 134512640 134714508 3221221776 3221218352 1076049121 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18449 16898 1111 63 0 18386 0
vsize: 73796
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1543297 0 0 0 61420 3588 0 0 25 0 1 0 791456460 73613312 17080 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17972 17080 1111 63 0 17909 0
vsize: 71888
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1577707 0 0 0 62343 3666 0 0 25 0 1 0 791456460 74190848 17224 4294967295 134512640 134714508 3221221776 3221220368 134542723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18113 17224 1111 63 0 18050 0
vsize: 72452
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1603750 0 0 0 63281 3727 0 0 25 0 1 0 791456460 74854400 17384 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18275 17384 1111 63 0 18212 0
vsize: 73100
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27259
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1632503 0 0 0 64215 3794 0 0 25 0 1 0 791456460 75812864 17612 4294967295 134512640 134714508 3221221776 3221219696 1075799556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18509 17612 1111 63 0 18446 0
vsize: 74036
[startup+690.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 27262
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1663741 0 0 0 65154 3861 0 0 25 0 1 0 791456460 76460032 17784 4294967295 134512640 134714508 3221221776 3221220368 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18667 17784 1111 63 0 18604 0
vsize: 74668
[startup+700.088 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 27312
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1696002 0 0 0 66078 3937 0 0 25 0 1 0 791456460 77144064 17938 4294967295 134512640 134714508 3221221776 3221219416 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18834 17938 1111 63 0 18771 0
vsize: 75336
[startup+710.09 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 27312
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1706540 0 0 0 67054 3962 0 0 25 0 1 0 791456460 78032896 18162 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18162 1111 63 0 18988 0
vsize: 76204
[startup+720.09 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 27312
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1711464 0 0 0 68043 3973 0 0 25 0 1 0 791456460 77512704 18035 4294967295 134512640 134714508 3221221776 3221218528 1074247404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19600 18041 1111 63 0 19537 0
vsize: 75696
[startup+730.09 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 27312
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1740169 0 0 0 68980 4036 0 0 25 0 1 0 791456460 78049280 18156 4294967295 134512640 134714508 3221221776 3221219968 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19055 18156 1111 63 0 18992 0
vsize: 76220
[startup+740.091 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 27312
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1761441 0 0 0 69930 4086 0 0 25 0 1 0 791456460 81051648 18337 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19788 18347 1111 63 0 19725 0
vsize: 79152
[startup+750.092 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 27312
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1775093 0 0 0 70899 4117 0 0 25 0 1 0 791456460 78327808 18234 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19461 18236 1111 63 0 19398 0
vsize: 76492
[startup+760.092 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 27312
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1805309 0 0 0 71828 4188 0 0 25 0 1 0 791456460 80076800 18392 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19212 18322 1111 63 0 19149 0
vsize: 78200
[startup+770.092 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1837179 0 0 0 72755 4261 0 0 25 0 1 0 791456460 79228928 18450 4294967295 134512640 134714508 3221221776 3221219940 1077378596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19343 18450 1111 63 0 19280 0
vsize: 77372
[startup+780.093 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1861422 0 0 0 73701 4315 0 0 25 0 1 0 791456460 79683584 18554 4294967295 134512640 134714508 3221221776 3221220060 1074208192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19454 18554 1111 63 0 19391 0
vsize: 77816
[startup+790.093 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1892389 0 0 0 74630 4387 0 0 25 0 1 0 791456460 80179200 18687 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19575 18687 1111 63 0 19512 0
vsize: 78300
[startup+800.094 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1898460 0 0 0 75616 4401 0 0 25 0 1 0 791456460 85372928 19594 4294967295 134512640 134714508 3221221776 3221217840 1075084536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20843 19594 1111 63 0 20780 0
vsize: 83372
[startup+810.095 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1899162 0 0 0 76614 4403 0 0 25 0 1 0 791456460 80568320 18782 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19670 18782 1111 63 0 19607 0
vsize: 78680
[startup+820.095 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1906086 0 0 0 77597 4420 0 0 25 0 1 0 791456460 80560128 18780 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19668 18780 1111 63 0 19605 0
vsize: 78672
[startup+830.095 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1937734 0 0 0 78528 4490 0 0 25 0 1 0 791456460 86687744 19712 4294967295 134512640 134714508 3221221776 3221219504 1075125337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21164 19712 1111 63 0 21101 0
vsize: 84656
[startup+840.096 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1971821 0 0 0 79450 4568 0 0 25 0 1 0 791456460 88895488 20106 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21534 19952 1111 63 0 21471 0
vsize: 86812
[startup+850.096 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2005463 0 0 0 80373 4645 0 0 25 0 1 0 791456460 88035328 20068 4294967295 134512640 134714508 3221221776 3221220156 1074153402 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21493 20068 1111 63 0 21430 0
vsize: 85972
[startup+860.097 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2037095 0 0 0 81300 4718 0 0 25 0 1 0 791456460 88559616 20196 4294967295 134512640 134714508 3221221776 3221219776 1074918536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21621 20196 1111 63 0 21558 0
vsize: 86484
[startup+870.097 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2074064 0 0 0 82216 4803 0 0 25 0 1 0 791456460 89464832 20407 4294967295 134512640 134714508 3221221776 3221220544 134542626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21842 20407 1111 63 0 21779 0
vsize: 87368
[startup+880.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2106731 0 0 0 83141 4877 0 0 25 0 1 0 791456460 91140096 20856 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22251 20856 1111 63 0 22188 0
vsize: 89004
[startup+890.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2134347 0 0 0 84079 4940 0 0 25 0 1 0 791456460 90951680 20814 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22205 20814 1111 63 0 22142 0
vsize: 88820
[startup+900.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2166699 0 0 0 85008 5011 0 0 25 0 1 0 791456460 91582464 20952 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22359 20952 1111 63 0 22296 0
vsize: 89436
[startup+910.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2198718 0 0 0 85935 5085 0 0 25 0 1 0 791456460 92368896 21154 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22551 21154 1111 63 0 22488 0
vsize: 90204
[startup+920.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2230115 0 0 0 86864 5156 0 0 25 0 1 0 791456460 92471296 21170 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22576 21170 1111 63 0 22513 0
vsize: 90304
[startup+930.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2260957 0 0 0 87796 5223 0 0 25 0 1 0 791456460 92880896 21285 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22676 21285 1111 63 0 22613 0
vsize: 90704
[startup+940.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2301108 0 0 0 88705 5315 0 0 25 0 1 0 791456460 93261824 21373 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22769 21373 1111 63 0 22706 0
vsize: 91076
[startup+950.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2333781 0 0 0 89631 5389 0 0 25 0 1 0 791456460 93667328 21474 4294967295 134512640 134714508 3221221776 3221220160 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22868 21474 1111 63 0 22805 0
vsize: 91472
[startup+960.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2369024 0 0 0 90549 5471 0 0 25 0 1 0 791456460 94302208 21624 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23023 21624 1111 63 0 22960 0
vsize: 92092
[startup+970.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2403054 0 0 0 91472 5548 0 0 25 0 1 0 791456460 94740480 21736 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23130 21736 1111 63 0 23067 0
vsize: 92520
[startup+980.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2410840 0 0 0 92454 5567 0 0 25 0 1 0 791456460 95854592 21973 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23402 21973 1111 63 0 23339 0
vsize: 93608
[startup+990.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2423844 0 0 0 93424 5596 0 0 25 0 1 0 791456460 95166464 21836 4294967295 134512640 134714508 3221221776 3221218940 1074206164 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23234 21836 1111 63 0 23171 0
vsize: 92936
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2457840 0 0 0 94350 5671 0 0 25 0 1 0 791456460 96399360 22098 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23535 22098 1111 63 0 23472 0
vsize: 94140
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2486036 0 0 0 95289 5733 0 0 25 0 1 0 791456460 97206272 22303 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23732 22303 1111 63 0 23669 0
vsize: 94928
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2519484 0 0 0 96213 5808 0 0 25 0 1 0 791456460 98402304 22578 4294967295 134512640 134714508 3221221776 3221220176 1074118803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24024 22578 1111 63 0 23961 0
vsize: 96096
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2547982 0 0 0 97151 5871 0 0 25 0 1 0 791456460 99483648 22829 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24288 22829 1111 63 0 24225 0
vsize: 97152
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2549625 0 0 0 98147 5875 0 0 25 0 1 0 791456460 99913728 22946 4294967295 134512640 134714508 3221221776 3221220576 134622417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24393 22946 1111 63 0 24330 0
vsize: 97572
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27314
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2554210 0 0 0 99137 5885 0 0 25 0 1 0 791456460 99295232 22806 4294967295 134512640 134714508 3221221776 3221219984 134650104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24242 22806 1111 63 0 24179 0
vsize: 96968
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2587091 0 0 0 100062 5960 0 0 25 0 1 0 791456460 99590144 22873 4294967295 134512640 134714508 3221221776 3221220496 134622860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24314 22873 1111 63 0 24251 0
vsize: 97256
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2608124 0 0 0 101013 6010 0 0 25 0 1 0 791456460 104919040 23721 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25615 23721 1111 63 0 25552 0
vsize: 102460
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2630789 0 0 0 101961 6062 0 0 25 0 1 0 791456460 100143104 23009 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24449 23009 1111 63 0 24386 0
vsize: 97796
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2655983 0 0 0 102907 6116 0 0 25 0 1 0 791456460 103251968 23099 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25208 23099 1111 63 0 25145 0
vsize: 100832
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2685005 0 0 0 103842 6182 0 0 25 0 1 0 791456460 103604224 23281 4294967295 134512640 134714508 3221221776 3221218112 1075114265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25294 23281 1111 63 0 25231 0
vsize: 101176
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2714055 0 0 0 104775 6248 0 0 25 0 1 0 791456460 101298176 23291 4294967295 134512640 134714508 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24731 23291 1111 63 0 24668 0
vsize: 98924
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2730259 0 0 0 105736 6287 0 0 25 0 1 0 791456460 102199296 23507 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24951 23507 1111 63 0 24888 0
vsize: 99804
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2731155 0 0 0 106733 6290 0 0 25 0 1 0 791456460 104685568 24108 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25558 24108 1111 63 0 25495 0
vsize: 102232
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2732596 0 0 0 107731 6293 0 0 25 0 1 0 791456460 109830144 25010 4294967295 134512640 134714508 3221221776 3221218112 1075114272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26814 25010 1111 63 0 26751 0
vsize: 107256
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734052 0 0 0 108728 6297 0 0 25 0 1 0 791456460 102690816 23631 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25071 23631 1111 63 0 25008 0
vsize: 100284
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734052 0 0 0 109728 6297 0 0 25 0 1 0 791456460 102690816 23631 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25071 23631 1111 63 0 25008 0
vsize: 100284
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734052 0 0 0 110728 6297 0 0 25 0 1 0 791456460 102690816 23631 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25071 23631 1111 63 0 25008 0
vsize: 100284
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734262 0 0 0 111726 6298 0 0 25 0 1 0 791456460 102428672 23567 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25007 23567 1111 63 0 24944 0
vsize: 100028
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734918 0 0 0 112725 6300 0 0 25 0 1 0 791456460 104243200 24002 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25450 24002 1111 63 0 25387 0
vsize: 101800
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 27316
Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2737495 0 0 0 113720 6306 0 0 25 0 1 0 791456460 102555648 23598 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25038 23598 1111 63 0 24975 0
vsize: 100152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 27316
Raw data (stat): 27259 (bsolo_lpr) Z 27258 7876 7672 0 -1 1036 2737495 0 0 0 113720 6310 0 0 25 0 1 0 791456460 0 0 4294967295 0 0 0 0 0 0 0 1 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.16
CPU time (s): 1200.31
CPU user time (s): 1137.2
CPU system time (s): 63.1054
CPU usage (%): 100.012
Max. virtual memory (Kb): 107256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####