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/fctp/normalized-mps-v2-13-7-n3705.opb
MD5SUM	0c133df60e56cfadff3d5b0562856855
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39009164451
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39009164451
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97685
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 25580

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 22:08:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19059 boxname=wulflinc31 idbench=1467 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  0c133df60e56cfadff3d5b0562856855  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3705.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3705.opb
IDLAUNCH: 19059
/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:        616840 kB
Buffers:         33224 kB
Cached:         363472 kB
SwapCached:       1172 kB
Active:         270856 kB
Inactive:       128264 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        616588 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13116 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 22:28:12 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 19059 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.93 0.97 0.91 2/55 2798
Raw data (stat): 2798 (runsolver) R 2797 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 799134546 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.94 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 1160 0 0 0 990 5 0 0 25 0 1 0 799134546 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3920 1083 1111 63 0 3857 0
vsize: 15680
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 1400 0 0 0 1989 6 0 0 25 0 1 0 799134546 17043456 1323 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4161 1323 1111 63 0 4098 0
vsize: 16644
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 1644 0 0 0 2989 6 0 0 25 0 1 0 799134546 18042880 1567 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4405 1567 1111 63 0 4342 0
vsize: 17620
[startup+40.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 1891 0 0 0 3988 8 0 0 25 0 1 0 799134546 19169280 1814 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4680 1814 1111 63 0 4617 0
vsize: 18720
[startup+50.0048 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 2139 0 0 0 4987 8 0 0 25 0 1 0 799134546 20156416 2062 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4921 2062 1111 63 0 4858 0
vsize: 19684
[startup+60.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 2385 0 0 0 5987 8 0 0 25 0 1 0 799134546 21139456 2308 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5161 2308 1111 63 0 5098 0
vsize: 20644
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 2632 0 0 0 6986 9 0 0 25 0 1 0 799134546 22118400 2555 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5400 2555 1111 63 0 5337 0
vsize: 21600
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 2880 0 0 0 7985 10 0 0 25 0 1 0 799134546 23105536 2803 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5641 2803 1111 63 0 5578 0
vsize: 22564
[startup+90.0075 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 3121 0 0 0 8985 11 0 0 25 0 1 0 799134546 24092672 3044 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5882 3044 1111 63 0 5819 0
vsize: 23528
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 3369 0 0 0 9985 11 0 0 25 0 1 0 799134546 25219072 3292 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6157 3292 1111 63 0 6094 0
vsize: 24628
[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 3617 0 0 0 10984 12 0 0 25 0 1 0 799134546 26206208 3540 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6398 3540 1111 63 0 6335 0
vsize: 25592
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 3872 0 0 0 11983 13 0 0 25 0 1 0 799134546 27213824 3795 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6644 3795 1111 63 0 6581 0
vsize: 26576
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 4120 0 0 0 12983 13 0 0 25 0 1 0 799134546 28192768 4043 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6883 4043 1111 63 0 6820 0
vsize: 27532
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 4373 0 0 0 13982 14 0 0 25 0 1 0 799134546 29319168 4296 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7158 4296 1111 63 0 7095 0
vsize: 28632
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 4622 0 0 0 14981 15 0 0 25 0 1 0 799134546 30306304 4545 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7399 4545 1111 63 0 7336 0
vsize: 29596
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 4870 0 0 0 15980 16 0 0 25 0 1 0 799134546 31293440 4793 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7640 4793 1111 63 0 7577 0
vsize: 30560
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 5125 0 0 0 16980 17 0 0 25 0 1 0 799134546 32419840 5048 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7915 5048 1111 63 0 7852 0
vsize: 31660
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 5374 0 0 0 17978 19 0 0 25 0 1 0 799134546 33406976 5297 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8156 5297 1111 63 0 8093 0
vsize: 32624
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 5622 0 0 0 18978 19 0 0 25 0 1 0 799134546 34394112 5545 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8397 5545 1111 63 0 8334 0
vsize: 33588
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 5876 0 0 0 19977 20 0 0 25 0 1 0 799134546 35373056 5799 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8636 5799 1111 63 0 8573 0
vsize: 34544
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 6129 0 0 0 20977 21 0 0 25 0 1 0 799134546 36499456 6052 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8911 6052 1111 63 0 8848 0
vsize: 35644
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 6377 0 0 0 21976 21 0 0 25 0 1 0 799134546 37486592 6300 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9152 6300 1111 63 0 9089 0
vsize: 36608
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 6643 0 0 0 22975 23 0 0 25 0 1 0 799134546 38625280 6566 4294967295 134512640 134714508 3221221776 3221220004 1077414393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9430 6566 1111 63 0 9367 0
vsize: 37720
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 6898 0 0 0 23974 24 0 0 25 0 1 0 799134546 39612416 6821 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9671 6821 1111 63 0 9608 0
vsize: 38684
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 7147 0 0 0 24974 24 0 0 25 0 1 0 799134546 40738816 7070 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9946 7070 1111 63 0 9883 0
vsize: 39784
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 7409 0 0 0 25973 25 0 0 25 0 1 0 799134546 41725952 7332 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10187 7332 1111 63 0 10124 0
vsize: 40748
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 7657 0 0 0 26972 26 0 0 25 0 1 0 799134546 42704896 7580 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10426 7580 1111 63 0 10363 0
vsize: 41704
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 7917 0 0 0 27971 27 0 0 25 0 1 0 799134546 43835392 7840 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10702 7840 1111 63 0 10639 0
vsize: 42808
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 8173 0 0 0 28971 27 0 0 25 0 1 0 799134546 44822528 8096 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10943 8096 1111 63 0 10880 0
vsize: 43772
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 8428 0 0 0 29971 28 0 0 25 0 1 0 799134546 45948928 8351 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11218 8351 1111 63 0 11155 0
vsize: 44872
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 8691 0 0 0 30971 28 0 0 25 0 1 0 799134546 46931968 8614 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11458 8614 1111 63 0 11395 0
vsize: 45832
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 8953 0 0 0 31970 29 0 0 25 0 1 0 799134546 48058368 8876 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11733 8876 1111 63 0 11670 0
vsize: 46932
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 9215 0 0 0 32970 30 0 0 25 0 1 0 799134546 49188864 9138 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12009 9138 1111 63 0 11946 0
vsize: 48036
[startup+340.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 9477 0 0 0 33969 30 0 0 25 0 1 0 799134546 50176000 9400 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12250 9400 1111 63 0 12187 0
vsize: 49000
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 9739 0 0 0 34969 31 0 0 25 0 1 0 799134546 51302400 9662 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12525 9662 1111 63 0 12462 0
vsize: 50100
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 10001 0 0 0 35969 31 0 0 25 0 1 0 799134546 52281344 9924 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12764 9924 1111 63 0 12701 0
vsize: 51056
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 10262 0 0 0 36969 31 0 0 25 0 1 0 799134546 53407744 10185 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13039 10185 1111 63 0 12976 0
vsize: 52156
[startup+380.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 10524 0 0 0 37969 32 0 0 25 0 1 0 799134546 54534144 10447 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13314 10447 1111 63 0 13251 0
vsize: 53256
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 10787 0 0 0 38968 33 0 0 25 0 1 0 799134546 55521280 10710 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13555 10710 1111 63 0 13492 0
vsize: 54220
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 11049 0 0 0 39968 33 0 0 25 0 1 0 799134546 56647680 10972 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13830 10972 1111 63 0 13767 0
vsize: 55320
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 11317 0 0 0 40967 34 0 0 25 0 1 0 799134546 57778176 11240 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14106 11240 1111 63 0 14043 0
vsize: 56424
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 11578 0 0 0 41967 34 0 0 25 0 1 0 799134546 58761216 11501 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14346 11501 1111 63 0 14283 0
vsize: 57384
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 11846 0 0 0 42967 34 0 0 25 0 1 0 799134546 59887616 11769 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14621 11769 1111 63 0 14558 0
vsize: 58484
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 12126 0 0 0 43967 35 0 0 25 0 1 0 799134546 61095936 12049 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14916 12049 1111 63 0 14853 0
vsize: 59664
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 12395 0 0 0 44966 35 0 0 25 0 1 0 799134546 62222336 12318 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15191 12318 1111 63 0 15128 0
vsize: 60764
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 12663 0 0 0 45966 36 0 0 25 0 1 0 799134546 63344640 12586 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15465 12586 1111 63 0 15402 0
vsize: 61860
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 12925 0 0 0 46965 37 0 0 25 0 1 0 799134546 64471040 12848 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15740 12848 1111 63 0 15677 0
vsize: 62960
[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 13200 0 0 0 47965 37 0 0 25 0 1 0 799134546 65597440 13123 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16015 13123 1111 63 0 15952 0
vsize: 64060
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 13463 0 0 0 48965 38 0 0 25 0 1 0 799134546 66584576 13386 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16256 13386 1111 63 0 16193 0
vsize: 65024
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 13738 0 0 0 49965 38 0 0 25 0 1 0 799134546 67710976 13661 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16531 13661 1111 63 0 16468 0
vsize: 66124
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 14007 0 0 0 50964 39 0 0 25 0 1 0 799134546 68837376 13930 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16806 13930 1111 63 0 16743 0
vsize: 67224
[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 14276 0 0 0 51964 39 0 0 25 0 1 0 799134546 69963776 14199 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17081 14199 1111 63 0 17018 0
vsize: 68324
[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 14546 0 0 0 52964 40 0 0 25 0 1 0 799134546 71090176 14469 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17356 14469 1111 63 0 17293 0
vsize: 69424
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 14815 0 0 0 53963 40 0 0 25 0 1 0 799134546 72077312 14738 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17597 14738 1111 63 0 17534 0
vsize: 70388
[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 15090 0 0 0 54963 41 0 0 25 0 1 0 799134546 73203712 15013 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17872 15013 1111 63 0 17809 0
vsize: 71488
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 15366 0 0 0 55962 41 0 0 25 0 1 0 799134546 74330112 15289 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18147 15289 1111 63 0 18084 0
vsize: 72588
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 15635 0 0 0 56963 42 0 0 25 0 1 0 799134546 75456512 15558 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18422 15558 1111 63 0 18359 0
vsize: 73688
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 15911 0 0 0 57962 42 0 0 25 0 1 0 799134546 76582912 15834 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18697 15834 1111 63 0 18634 0
vsize: 74788
[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 16181 0 0 0 58962 43 0 0 25 0 1 0 799134546 77705216 16104 4294967295 134512640 134714508 3221221776 3221220004 1077414347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18971 16104 1111 63 0 18908 0
vsize: 75884
[startup+600.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 16455 0 0 0 59962 43 0 0 25 0 1 0 799134546 78831616 16378 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19246 16378 1111 63 0 19183 0
vsize: 76984
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 16731 0 0 0 60961 44 0 0 25 0 1 0 799134546 79958016 16654 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19521 16654 1111 63 0 19458 0
vsize: 78084
[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 17007 0 0 0 61961 44 0 0 25 0 1 0 799134546 81084416 16930 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19796 16930 1111 63 0 19733 0
vsize: 79184
[startup+630.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 17283 0 0 0 62960 45 0 0 25 0 1 0 799134546 82210816 17206 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20071 17206 1111 63 0 20008 0
vsize: 80284
[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 17559 0 0 0 63960 45 0 0 25 0 1 0 799134546 83337216 17482 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20346 17482 1111 63 0 20283 0
vsize: 81384
[startup+650.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 17840 0 0 0 64960 45 0 0 25 0 1 0 799134546 84463616 17763 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20621 17763 1111 63 0 20558 0
vsize: 82484
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 18117 0 0 0 65960 46 0 0 25 0 1 0 799134546 85594112 18040 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20897 18040 1111 63 0 20834 0
vsize: 83588
[startup+670.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 18399 0 0 0 66959 46 0 0 25 0 1 0 799134546 86720512 18322 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21172 18322 1111 63 0 21109 0
vsize: 84688
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 18676 0 0 0 67959 47 0 0 25 0 1 0 799134546 87846912 18599 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21447 18599 1111 63 0 21384 0
vsize: 85788
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 18959 0 0 0 68959 47 0 0 25 0 1 0 799134546 89112576 18882 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21756 18882 1111 63 0 21693 0
vsize: 87024
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 19240 0 0 0 69959 48 0 0 25 0 1 0 799134546 90238976 19163 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22031 19163 1111 63 0 21968 0
vsize: 88124
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 19517 0 0 0 70958 49 0 0 25 0 1 0 799134546 91365376 19440 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22306 19440 1111 63 0 22243 0
vsize: 89224
[startup+720.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 19806 0 0 0 71958 49 0 0 25 0 1 0 799134546 92495872 19729 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22582 19729 1111 63 0 22519 0
vsize: 90328
[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 20083 0 0 0 72957 50 0 0 25 0 1 0 799134546 93622272 20006 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22857 20006 1111 63 0 22794 0
vsize: 91428
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 20372 0 0 0 73957 51 0 0 25 0 1 0 799134546 94887936 20295 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23166 20295 1111 63 0 23103 0
vsize: 92664
[startup+750.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 20654 0 0 0 74957 51 0 0 25 0 1 0 799134546 96014336 20577 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23441 20577 1111 63 0 23378 0
vsize: 93764
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 20937 0 0 0 75955 52 0 0 25 0 1 0 799134546 97140736 20860 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23716 20860 1111 63 0 23653 0
vsize: 94864
[startup+770.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 21226 0 0 0 76955 53 0 0 25 0 1 0 799134546 98267136 21149 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23991 21149 1111 63 0 23928 0
vsize: 95964
[startup+780.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 21510 0 0 0 77954 54 0 0 25 0 1 0 799134546 99536896 21433 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24301 21433 1111 63 0 24238 0
vsize: 97204
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 21793 0 0 0 78954 54 0 0 25 0 1 0 799134546 100663296 21716 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24576 21716 1111 63 0 24513 0
vsize: 98304
[startup+800.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 22082 0 0 0 79954 55 0 0 25 0 1 0 799134546 101781504 22005 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24849 22005 1111 63 0 24786 0
vsize: 99396
[startup+810.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 22371 0 0 0 80954 55 0 0 25 0 1 0 799134546 103055360 22294 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25160 22294 1111 63 0 25097 0
vsize: 100640
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 22660 0 0 0 81953 56 0 0 25 0 1 0 799134546 104173568 22583 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25433 22583 1111 63 0 25370 0
vsize: 101732
[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 22948 0 0 0 82953 56 0 0 25 0 1 0 799134546 105299968 22871 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25708 22871 1111 63 0 25645 0
vsize: 102832
[startup+840.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 23269 0 0 0 83953 56 0 0 25 0 1 0 799134546 106930176 23192 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26106 23192 1111 63 0 26043 0
vsize: 104424
[startup+850.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 23558 0 0 0 84953 57 0 0 25 0 1 0 799134546 108056576 23481 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26381 23481 1111 63 0 26318 0
vsize: 105524
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 23849 0 0 0 85952 58 0 0 25 0 1 0 799134546 109322240 23772 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26690 23772 1111 63 0 26627 0
vsize: 106760
[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 24138 0 0 0 86951 58 0 0 25 0 1 0 799134546 110448640 24061 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26965 24061 1111 63 0 26902 0
vsize: 107860
[startup+880.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 24429 0 0 0 87951 59 0 0 25 0 1 0 799134546 111714304 24352 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27274 24352 1111 63 0 27211 0
vsize: 109096
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 24725 0 0 0 88950 60 0 0 25 0 1 0 799134546 112844800 24648 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27550 24648 1111 63 0 27487 0
vsize: 110200
[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 25021 0 0 0 89950 60 0 0 25 0 1 0 799134546 114110464 24944 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27859 24944 1111 63 0 27796 0
vsize: 111436
[startup+910.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 25311 0 0 0 90950 61 0 0 25 0 1 0 799134546 115236864 25234 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28134 25234 1111 63 0 28071 0
vsize: 112536
[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 25607 0 0 0 91949 62 0 0 25 0 1 0 799134546 116502528 25530 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28443 25530 1111 63 0 28380 0
vsize: 113772
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 25904 0 0 0 92949 62 0 0 25 0 1 0 799134546 117628928 25827 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28718 25827 1111 63 0 28655 0
vsize: 114872
[startup+940.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 26200 0 0 0 93948 63 0 0 25 0 1 0 799134546 118898688 26123 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29028 26123 1111 63 0 28965 0
vsize: 116112
[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 26498 0 0 0 94948 64 0 0 25 0 1 0 799134546 120164352 26421 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29337 26421 1111 63 0 29274 0
vsize: 117348
[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 26801 0 0 0 95947 65 0 0 25 0 1 0 799134546 121290752 26724 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29612 26724 1111 63 0 29549 0
vsize: 118448
[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 27098 0 0 0 96947 65 0 0 25 0 1 0 799134546 122560512 27021 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29922 27021 1111 63 0 29859 0
vsize: 119688
[startup+980.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 27401 0 0 0 97947 65 0 0 25 0 1 0 799134546 123830272 27324 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30232 27324 1111 63 0 30169 0
vsize: 120928
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 27697 0 0 0 98946 66 0 0 25 0 1 0 799134546 124952576 27620 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30506 27620 1111 63 0 30443 0
vsize: 122024
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 28002 0 0 0 99946 67 0 0 25 0 1 0 799134546 126226432 27925 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30817 27925 1111 63 0 30754 0
vsize: 123268
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 28304 0 0 0 100945 68 0 0 25 0 1 0 799134546 127492096 28227 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31126 28227 1111 63 0 31063 0
vsize: 124504
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 28608 0 0 0 101945 68 0 0 25 0 1 0 799134546 128757760 28531 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31435 28531 1111 63 0 31372 0
vsize: 125740
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 28911 0 0 0 102944 69 0 0 25 0 1 0 799134546 130023424 28834 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31744 28834 1111 63 0 31681 0
vsize: 126976
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 29213 0 0 0 103944 70 0 0 25 0 1 0 799134546 131149824 29136 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32019 29136 1111 63 0 31956 0
vsize: 128076
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 29518 0 0 0 104944 70 0 0 25 0 1 0 799134546 132419584 29441 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32329 29441 1111 63 0 32266 0
vsize: 129316
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 29820 0 0 0 105943 71 0 0 25 0 1 0 799134546 133685248 29743 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32638 29743 1111 63 0 32575 0
vsize: 130552
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 30124 0 0 0 106943 71 0 0 25 0 1 0 799134546 134955008 30047 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32948 30047 1111 63 0 32885 0
vsize: 131792
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 30433 0 0 0 107943 71 0 0 25 0 1 0 799134546 136220672 30356 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33257 30356 1111 63 0 33194 0
vsize: 133028
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 30738 0 0 0 108943 72 0 0 25 0 1 0 799134546 137486336 30661 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33566 30661 1111 63 0 33503 0
vsize: 134264
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 31047 0 0 0 109942 72 0 0 25 0 1 0 799134546 138752000 30970 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33875 30970 1111 63 0 33812 0
vsize: 135500
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 31352 0 0 0 110942 73 0 0 25 0 1 0 799134546 139878400 31275 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34150 31275 1111 63 0 34087 0
vsize: 136600
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 31660 0 0 0 111941 74 0 0 25 0 1 0 799134546 141148160 31583 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34460 31583 1111 63 0 34397 0
vsize: 137840
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 31970 0 0 0 112940 74 0 0 25 0 1 0 799134546 142413824 31893 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34769 31893 1111 63 0 34706 0
vsize: 139076
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 32275 0 0 0 113940 75 0 0 25 0 1 0 799134546 143683584 32198 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35079 32198 1111 63 0 35016 0
vsize: 140316
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 32590 0 0 0 114939 76 0 0 25 0 1 0 799134546 144949248 32513 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35388 32513 1111 63 0 35325 0
vsize: 141552
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 32901 0 0 0 115939 76 0 0 25 0 1 0 799134546 146214912 32824 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35697 32824 1111 63 0 35634 0
vsize: 142788
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 33211 0 0 0 116939 77 0 0 25 0 1 0 799134546 147480576 33134 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36006 33134 1111 63 0 35943 0
vsize: 144024
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 33523 0 0 0 117939 77 0 0 25 0 1 0 799134546 148750336 33446 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36316 33446 1111 63 0 36253 0
vsize: 145264
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 33832 0 0 0 118939 77 0 0 25 0 1 0 799134546 150016000 33755 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36625 33755 1111 63 0 36562 0
vsize: 146500
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2798
Raw data (stat): 2798 (bsolo_lpr) R 2797 7876 7672 0 -1 0 34149 0 0 0 119938 78 0 0 25 0 1 0 799134546 151420928 34072 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36968 34072 1111 63 0 36905 0
vsize: 147872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 2798
Raw data (stat): 2798 (bsolo_lpr) Z 2797 7876 7672 0 -1 1036 34149 0 0 0 119938 84 0 0 25 0 1 0 799134546 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.13
CPU time (s): 1200.24
CPU user time (s): 1199.39
CPU system time (s): 0.84987
CPU usage (%): 100.009
Max. virtual memory (Kb): 147872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####