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-n3701.opb
MD5SUM	c5e85fef75cd61b11166b8854f4a9cf3
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	39244285251
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	39244285251
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.963853
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 25588

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 00:51:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19007 boxname=wulflinc31 idbench=1463 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c5e85fef75cd61b11166b8854f4a9cf3  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3701.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3701.opb
IDLAUNCH: 19007
/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:        586584 kB
Buffers:         34404 kB
Cached:         392552 kB
SwapCached:       1172 kB
Active:         295856 kB
Inactive:       133480 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        586332 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13112 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 01:11:34 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19007 7 1200.27 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.92 0.97 0.91 2/55 3672
Raw data (stat): 3672 (runsolver) R 3671 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 800114935 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.0008 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 1160 0 0 0 991 5 0 0 25 0 1 0 800114935 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.0016 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 1400 0 0 0 1989 6 0 0 25 0 1 0 800114935 17043456 1323 4294967295 134512640 134714508 3221221776 3221220004 1077414420 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.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 1644 0 0 0 2989 7 0 0 25 0 1 0 800114935 18042880 1567 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 1891 0 0 0 3989 7 0 0 25 0 1 0 800114935 19169280 1814 4294967295 134512640 134714508 3221221776 3221220004 1077414351 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.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 2139 0 0 0 4989 7 0 0 25 0 1 0 800114935 20156416 2062 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 2391 0 0 0 5989 7 0 0 25 0 1 0 800114935 21139456 2314 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5161 2314 1111 63 0 5098 0
vsize: 20644
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 2633 0 0 0 6989 8 0 0 25 0 1 0 800114935 22118400 2556 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5400 2556 1111 63 0 5337 0
vsize: 21600
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 2880 0 0 0 7989 8 0 0 25 0 1 0 800114935 23105536 2803 4294967295 134512640 134714508 3221221776 3221220004 1077414358 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.0052 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 3127 0 0 0 8988 9 0 0 25 0 1 0 800114935 24231936 3050 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5916 3050 1111 63 0 5853 0
vsize: 23664
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 3375 0 0 0 9988 9 0 0 25 0 1 0 800114935 25219072 3298 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6157 3298 1111 63 0 6094 0
vsize: 24628
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 3623 0 0 0 10987 10 0 0 25 0 1 0 800114935 26206208 3546 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6398 3546 1111 63 0 6335 0
vsize: 25592
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 3878 0 0 0 11987 10 0 0 25 0 1 0 800114935 27213824 3801 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6644 3801 1111 63 0 6581 0
vsize: 26576
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 4126 0 0 0 12987 11 0 0 25 0 1 0 800114935 28340224 4049 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6919 4049 1111 63 0 6856 0
vsize: 27676
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 4373 0 0 0 13986 12 0 0 25 0 1 0 800114935 29319168 4296 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 4622 0 0 0 14986 12 0 0 25 0 1 0 800114935 30306304 4545 4294967295 134512640 134714508 3221221776 3221220004 1077414345 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 4876 0 0 0 15985 13 0 0 25 0 1 0 800114935 31293440 4799 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7640 4799 1111 63 0 7577 0
vsize: 30560
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 5125 0 0 0 16985 14 0 0 25 0 1 0 800114935 32419840 5048 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 5374 0 0 0 17985 14 0 0 25 0 1 0 800114935 33406976 5297 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 5622 0 0 0 18985 14 0 0 25 0 1 0 800114935 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 5877 0 0 0 19984 15 0 0 25 0 1 0 800114935 35373056 5800 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8636 5800 1111 63 0 8573 0
vsize: 34544
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 6129 0 0 0 20984 15 0 0 25 0 1 0 800114935 36499456 6052 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 6378 0 0 0 21983 17 0 0 25 0 1 0 800114935 37486592 6301 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9152 6301 1111 63 0 9089 0
vsize: 36608
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 6643 0 0 0 22983 17 0 0 25 0 1 0 800114935 38625280 6566 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 6898 0 0 0 23982 18 0 0 25 0 1 0 800114935 39612416 6821 4294967295 134512640 134714508 3221221776 3221220432 134527932 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 7153 0 0 0 24982 19 0 0 25 0 1 0 800114935 40738816 7076 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9946 7076 1111 63 0 9883 0
vsize: 39784
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 7409 0 0 0 25982 19 0 0 25 0 1 0 800114935 41725952 7332 4294967295 134512640 134714508 3221221776 3221220004 1077414407 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 7657 0 0 0 26981 19 0 0 25 0 1 0 800114935 42704896 7580 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 7917 0 0 0 27981 20 0 0 25 0 1 0 800114935 43835392 7840 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10702 7840 1111 63 0 10639 0
vsize: 42808
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 8173 0 0 0 28981 20 0 0 25 0 1 0 800114935 44822528 8096 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10943 8096 1111 63 0 10880 0
vsize: 43772
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 8428 0 0 0 29981 21 0 0 25 0 1 0 800114935 45948928 8351 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11218 8351 1111 63 0 11155 0
vsize: 44872
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 8685 0 0 0 30981 21 0 0 25 0 1 0 800114935 46931968 8608 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11458 8608 1111 63 0 11395 0
vsize: 45832
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 8939 0 0 0 31980 22 0 0 25 0 1 0 800114935 48058368 8862 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11733 8862 1111 63 0 11670 0
vsize: 46932
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 9200 0 0 0 32980 22 0 0 25 0 1 0 800114935 49049600 9123 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11975 9123 1111 63 0 11912 0
vsize: 47900
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 9463 0 0 0 33979 23 0 0 25 0 1 0 800114935 50176000 9386 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12250 9386 1111 63 0 12187 0
vsize: 49000
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 9718 0 0 0 34979 24 0 0 25 0 1 0 800114935 51159040 9641 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12490 9641 1111 63 0 12427 0
vsize: 49960
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 9973 0 0 0 35978 25 0 0 25 0 1 0 800114935 52281344 9896 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12764 9896 1111 63 0 12701 0
vsize: 51056
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 10235 0 0 0 36978 25 0 0 25 0 1 0 800114935 53268480 10158 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13005 10158 1111 63 0 12942 0
vsize: 52020
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 10496 0 0 0 37977 26 0 0 25 0 1 0 800114935 54394880 10419 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13280 10419 1111 63 0 13217 0
vsize: 53120
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 10759 0 0 0 38977 26 0 0 25 0 1 0 800114935 55382016 10682 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13521 10682 1111 63 0 13458 0
vsize: 54084
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 11021 0 0 0 39977 27 0 0 25 0 1 0 800114935 56508416 10944 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13796 10944 1111 63 0 13733 0
vsize: 55184
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 11282 0 0 0 40977 27 0 0 25 0 1 0 800114935 57634816 11205 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14071 11205 1111 63 0 14008 0
vsize: 56284
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 11544 0 0 0 41977 27 0 0 25 0 1 0 800114935 58621952 11467 4294967295 134512640 134714508 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14312 11467 1111 63 0 14249 0
vsize: 57248
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 11805 0 0 0 42976 28 0 0 25 0 1 0 800114935 59748352 11728 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14587 11728 1111 63 0 14524 0
vsize: 58348
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 12085 0 0 0 43976 28 0 0 25 0 1 0 800114935 60956672 12008 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14882 12008 1111 63 0 14819 0
vsize: 59528
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 12346 0 0 0 44976 29 0 0 25 0 1 0 800114935 62078976 12269 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15156 12269 1111 63 0 15093 0
vsize: 60624
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 12607 0 0 0 45975 30 0 0 25 0 1 0 800114935 63062016 12530 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15396 12530 1111 63 0 15333 0
vsize: 61584
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 12876 0 0 0 46975 30 0 0 25 0 1 0 800114935 64188416 12799 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15671 12799 1111 63 0 15608 0
vsize: 62684
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 13145 0 0 0 47975 30 0 0 25 0 1 0 800114935 65314816 13068 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15946 13068 1111 63 0 15883 0
vsize: 63784
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 13408 0 0 0 48974 31 0 0 25 0 1 0 800114935 66441216 13331 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16221 13331 1111 63 0 16158 0
vsize: 64884
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 13670 0 0 0 49974 32 0 0 25 0 1 0 800114935 67432448 13593 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16463 13593 1111 63 0 16400 0
vsize: 65852
[startup+510.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3672
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 13939 0 0 0 50974 33 0 0 25 0 1 0 800114935 68558848 13862 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16738 13862 1111 63 0 16675 0
vsize: 66952
[startup+520.038 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 3725
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 14208 0 0 0 51974 33 0 0 25 0 1 0 800114935 69685248 14131 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17013 14131 1111 63 0 16950 0
vsize: 68052
[startup+530.038 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 3725
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 14477 0 0 0 52973 34 0 0 25 0 1 0 800114935 70811648 14400 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17288 14400 1111 63 0 17225 0
vsize: 69152
[startup+540.038 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 3725
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 14746 0 0 0 53972 35 0 0 25 0 1 0 800114935 71798784 14669 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17529 14669 1111 63 0 17466 0
vsize: 70116
[startup+550.038 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 3725
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 15008 0 0 0 54971 36 0 0 25 0 1 0 800114935 72916992 14931 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17802 14931 1111 63 0 17739 0
vsize: 71208
[startup+560.039 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 3725
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 15282 0 0 0 55970 37 0 0 25 0 1 0 800114935 74043392 15205 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18077 15205 1111 63 0 18014 0
vsize: 72308
[startup+570.039 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 3725
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 15552 0 0 0 56970 38 0 0 25 0 1 0 800114935 75169792 15475 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18352 15475 1111 63 0 18289 0
vsize: 73408
[startup+580.039 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3725
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 15820 0 0 0 57969 39 0 0 25 0 1 0 800114935 76296192 15743 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18627 15743 1111 63 0 18564 0
vsize: 74508
[startup+590.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 16096 0 0 0 58968 40 0 0 25 0 1 0 800114935 77422592 16019 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18902 16019 1111 63 0 18839 0
vsize: 75608
[startup+600.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 16365 0 0 0 59968 40 0 0 25 0 1 0 800114935 78413824 16288 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19144 16288 1111 63 0 19081 0
vsize: 76576
[startup+610.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 16635 0 0 0 60968 41 0 0 25 0 1 0 800114935 79540224 16558 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19419 16558 1111 63 0 19356 0
vsize: 77676
[startup+620.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 16910 0 0 0 61967 42 0 0 25 0 1 0 800114935 80666624 16833 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19694 16833 1111 63 0 19631 0
vsize: 78776
[startup+630.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 17179 0 0 0 62966 43 0 0 25 0 1 0 800114935 81793024 17102 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19969 17102 1111 63 0 19906 0
vsize: 79876
[startup+640.042 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 17455 0 0 0 63966 43 0 0 25 0 1 0 800114935 82919424 17378 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20244 17378 1111 63 0 20181 0
vsize: 80976
[startup+650.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 17731 0 0 0 64965 45 0 0 25 0 1 0 800114935 84045824 17654 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20519 17654 1111 63 0 20456 0
vsize: 82076
[startup+660.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 18007 0 0 0 65964 46 0 0 25 0 1 0 800114935 85172224 17930 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20794 17930 1111 63 0 20731 0
vsize: 83176
[startup+670.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 18283 0 0 0 66963 47 0 0 25 0 1 0 800114935 86298624 18206 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21069 18206 1111 63 0 21006 0
vsize: 84276
[startup+680.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 18558 0 0 0 67962 47 0 0 25 0 1 0 800114935 87425024 18481 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21344 18481 1111 63 0 21281 0
vsize: 85376
[startup+690.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 18834 0 0 0 68962 48 0 0 25 0 1 0 800114935 88547328 18757 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21618 18757 1111 63 0 21555 0
vsize: 86472
[startup+700.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 19109 0 0 0 69961 49 0 0 25 0 1 0 800114935 89673728 19032 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21893 19032 1111 63 0 21830 0
vsize: 87572
[startup+710.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 19385 0 0 0 70960 50 0 0 25 0 1 0 800114935 90800128 19308 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22168 19308 1111 63 0 22105 0
vsize: 88672
[startup+720.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 19668 0 0 0 71960 51 0 0 25 0 1 0 800114935 91926528 19591 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22443 19591 1111 63 0 22380 0
vsize: 89772
[startup+730.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 19943 0 0 0 72959 52 0 0 25 0 1 0 800114935 93052928 19866 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22718 19866 1111 63 0 22655 0
vsize: 90872
[startup+740.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 20226 0 0 0 73957 54 0 0 25 0 1 0 800114935 94179328 20149 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22993 20149 1111 63 0 22930 0
vsize: 91972
[startup+750.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 20509 0 0 0 74956 55 0 0 25 0 1 0 800114935 95449088 20432 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23303 20432 1111 63 0 23240 0
vsize: 93212
[startup+760.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 20784 0 0 0 75955 56 0 0 25 0 1 0 800114935 96575488 20707 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23578 20707 1111 63 0 23515 0
vsize: 94312
[startup+770.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 21068 0 0 0 76954 57 0 0 25 0 1 0 800114935 97701888 20991 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23853 20991 1111 63 0 23790 0
vsize: 95412
[startup+780.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 21350 0 0 0 77954 58 0 0 25 0 1 0 800114935 98828288 21273 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24128 21273 1111 63 0 24065 0
vsize: 96512
[startup+790.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 21634 0 0 0 78953 59 0 0 25 0 1 0 800114935 99954688 21557 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24403 21557 1111 63 0 24340 0
vsize: 97612
[startup+800.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 21916 0 0 0 79952 60 0 0 25 0 1 0 800114935 101081088 21839 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24678 21839 1111 63 0 24615 0
vsize: 98712
[startup+810.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 22198 0 0 0 80951 61 0 0 25 0 1 0 800114935 102350848 22121 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24988 22121 1111 63 0 24925 0
vsize: 99952
[startup+820.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 22481 0 0 0 81950 62 0 0 25 0 1 0 800114935 103477248 22404 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25263 22404 1111 63 0 25200 0
vsize: 101052
[startup+830.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 22769 0 0 0 82949 63 0 0 25 0 1 0 800114935 104603648 22692 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25538 22692 1111 63 0 25475 0
vsize: 102152
[startup+840.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 23087 0 0 0 83949 64 0 0 25 0 1 0 800114935 106237952 23010 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25937 23010 1111 63 0 25874 0
vsize: 103748
[startup+850.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 23368 0 0 0 84949 64 0 0 25 0 1 0 800114935 107356160 23291 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26210 23291 1111 63 0 26147 0
vsize: 104840
[startup+860.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 23657 0 0 0 85948 65 0 0 25 0 1 0 800114935 108482560 23580 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26485 23580 1111 63 0 26422 0
vsize: 105940
[startup+870.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3727
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 23947 0 0 0 86947 66 0 0 25 0 1 0 800114935 109748224 23870 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26794 23870 1111 63 0 26731 0
vsize: 107176
[startup+880.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 24235 0 0 0 87946 67 0 0 25 0 1 0 800114935 110874624 24158 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27069 24158 1111 63 0 27006 0
vsize: 108276
[startup+890.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 24526 0 0 0 88946 68 0 0 25 0 1 0 800114935 112001024 24449 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27344 24449 1111 63 0 27281 0
vsize: 109376
[startup+900.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 24815 0 0 0 89945 69 0 0 25 0 1 0 800114935 113270784 24738 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27654 24738 1111 63 0 27591 0
vsize: 110616
[startup+910.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 25105 0 0 0 90944 70 0 0 25 0 1 0 800114935 114397184 25028 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27929 25028 1111 63 0 27866 0
vsize: 111716
[startup+920.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 25395 0 0 0 91943 71 0 0 25 0 1 0 800114935 115662848 25318 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28238 25318 1111 63 0 28175 0
vsize: 112952
[startup+930.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 25685 0 0 0 92942 72 0 0 25 0 1 0 800114935 116789248 25608 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28513 25608 1111 63 0 28450 0
vsize: 114052
[startup+940.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 25981 0 0 0 93942 73 0 0 25 0 1 0 800114935 118059008 25904 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28823 25904 1111 63 0 28760 0
vsize: 115292
[startup+950.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 26276 0 0 0 94941 74 0 0 25 0 1 0 800114935 119185408 26199 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29098 26199 1111 63 0 29035 0
vsize: 116392
[startup+960.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 26567 0 0 0 95940 75 0 0 25 0 1 0 800114935 120451072 26490 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29407 26490 1111 63 0 29344 0
vsize: 117628
[startup+970.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 26863 0 0 0 96939 76 0 0 25 0 1 0 800114935 121577472 26786 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29682 26786 1111 63 0 29619 0
vsize: 118728
[startup+980.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 27159 0 0 0 97939 77 0 0 25 0 1 0 800114935 122843136 27082 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 27082 1111 63 0 29928 0
vsize: 119964
[startup+990.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 27450 0 0 0 98938 78 0 0 25 0 1 0 800114935 123973632 27373 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30267 27373 1111 63 0 30204 0
vsize: 121068
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 27745 0 0 0 99937 79 0 0 25 0 1 0 800114935 125239296 27668 4294967295 134512640 134714508 3221221776 3221220108 1077399588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30576 27668 1111 63 0 30513 0
vsize: 122304
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 28043 0 0 0 100936 80 0 0 25 0 1 0 800114935 126365696 27966 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30851 27966 1111 63 0 30788 0
vsize: 123404
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 28338 0 0 0 101936 80 0 0 25 0 1 0 800114935 127631360 28261 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31160 28261 1111 63 0 31097 0
vsize: 124640
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 28636 0 0 0 102935 82 0 0 25 0 1 0 800114935 128897024 28559 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31469 28559 1111 63 0 31406 0
vsize: 125876
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 28938 0 0 0 103934 82 0 0 25 0 1 0 800114935 130023424 28861 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31744 28861 1111 63 0 31681 0
vsize: 126976
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 29229 0 0 0 104933 83 0 0 25 0 1 0 800114935 131293184 29152 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32054 29152 1111 63 0 31991 0
vsize: 128216
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 29531 0 0 0 105933 84 0 0 25 0 1 0 800114935 132558848 29454 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32363 29454 1111 63 0 32300 0
vsize: 129452
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 29827 0 0 0 106932 85 0 0 25 0 1 0 800114935 133685248 29750 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32638 29750 1111 63 0 32575 0
vsize: 130552
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 30124 0 0 0 107931 86 0 0 25 0 1 0 800114935 134955008 30047 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32948 30047 1111 63 0 32885 0
vsize: 131792
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 30427 0 0 0 108931 87 0 0 25 0 1 0 800114935 136220672 30350 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33257 30350 1111 63 0 33194 0
vsize: 133028
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 30731 0 0 0 109930 87 0 0 25 0 1 0 800114935 137347072 30654 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33532 30654 1111 63 0 33469 0
vsize: 134128
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 31033 0 0 0 110930 88 0 0 25 0 1 0 800114935 138612736 30956 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33841 30956 1111 63 0 33778 0
vsize: 135364
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 31337 0 0 0 111929 88 0 0 25 0 1 0 800114935 139878400 31260 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34150 31260 1111 63 0 34087 0
vsize: 136600
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 31640 0 0 0 112929 89 0 0 25 0 1 0 800114935 141148160 31563 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34460 31563 1111 63 0 34397 0
vsize: 137840
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 31942 0 0 0 113928 90 0 0 25 0 1 0 800114935 142413824 31865 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34769 31865 1111 63 0 34706 0
vsize: 139076
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 32247 0 0 0 114927 91 0 0 25 0 1 0 800114935 143540224 32170 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35044 32170 1111 63 0 34981 0
vsize: 140176
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 32549 0 0 0 115927 91 0 0 25 0 1 0 800114935 144809984 32472 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35354 32472 1111 63 0 35291 0
vsize: 141416
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 32854 0 0 0 116927 92 0 0 25 0 1 0 800114935 146075648 32777 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35663 32777 1111 63 0 35600 0
vsize: 142652
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 33163 0 0 0 117926 93 0 0 25 0 1 0 800114935 147341312 33086 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35972 33086 1111 63 0 35909 0
vsize: 143888
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 33468 0 0 0 118926 94 0 0 25 0 1 0 800114935 148606976 33391 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36281 33391 1111 63 0 36218 0
vsize: 145124
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3729
Raw data (stat): 3672 (bsolo_lpr) R 3671 7876 7672 0 -1 0 33777 0 0 0 119925 94 0 0 25 0 1 0 800114935 149876736 33700 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36591 33700 1111 63 0 36528 0
vsize: 146364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 3729
Raw data (stat): 3672 (bsolo_lpr) Z 3671 7876 7672 0 -1 1036 33777 0 0 0 119925 100 0 0 25 0 1 0 800114935 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.12
CPU time (s): 1200.27
CPU user time (s): 1199.26
CPU system time (s): 1.00785
CPU usage (%): 100.012
Max. virtual memory (Kb): 146364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####