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-n370d.opb
MD5SUM	5482c063922cabc25678dee80f9b5125
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	39256355821
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	39256355821
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.965852
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 25565

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 17:03:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19163 boxname=wulflinc31 idbench=1475 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5482c063922cabc25678dee80f9b5125  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370d.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370d.opb
IDLAUNCH: 19163
/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:        677564 kB
Buffers:         30484 kB
Cached:         305492 kB
SwapCached:       1168 kB
Active:         226860 kB
Inactive:       111460 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        677284 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            13144 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 17:23:37 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19163 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): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (runsolver) R 1099 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 797306883 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.0016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 1160 0 0 0 991 4 0 0 25 0 1 0 797306883 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.0024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 1400 0 0 0 1990 5 0 0 25 0 1 0 797306883 17043456 1323 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.002 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 1644 0 0 0 2990 6 0 0 25 0 1 0 797306883 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.0025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 1891 0 0 0 3989 6 0 0 25 0 1 0 797306883 19169280 1814 4294967295 134512640 134714508 3221221776 3221220004 1077414426 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.0032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 2139 0 0 0 4989 7 0 0 25 0 1 0 797306883 20156416 2062 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.0071 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 2385 0 0 0 5989 8 0 0 25 0 1 0 797306883 21139456 2308 4294967295 134512640 134714508 3221221776 3221220004 1077414408 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.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 2633 0 0 0 6988 8 0 0 25 0 1 0 797306883 22118400 2556 4294967295 134512640 134714508 3221221776 3221220004 1077414407 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.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 2880 0 0 0 7988 8 0 0 25 0 1 0 797306883 23105536 2803 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.008 s]
Raw data (loadavg): 1.00 0.99 0.97 3/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 3127 0 0 0 8988 9 0 0 25 0 1 0 797306883 24231936 3050 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 3375 0 0 0 9987 9 0 0 25 0 1 0 797306883 25219072 3298 4294967295 134512640 134714508 3221221776 3221220004 1077414376 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.009 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 3623 0 0 0 10987 10 0 0 25 0 1 0 797306883 26206208 3546 4294967295 134512640 134714508 3221221776 3221220004 1077414370 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.009 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 3878 0 0 0 11987 10 0 0 25 0 1 0 797306883 27213824 3801 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 4126 0 0 0 12987 10 0 0 25 0 1 0 797306883 28340224 4049 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 4373 0 0 0 13986 11 0 0 25 0 1 0 797306883 29319168 4296 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1100
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 4622 0 0 0 14986 12 0 0 25 0 1 0 797306883 30306304 4545 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.012 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 4876 0 0 0 15986 12 0 0 25 0 1 0 797306883 31293440 4799 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.012 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 5125 0 0 0 16986 13 0 0 25 0 1 0 797306883 32419840 5048 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.012 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 5374 0 0 0 17985 13 0 0 25 0 1 0 797306883 33406976 5297 4294967295 134512640 134714508 3221221776 3221220432 134527932 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.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 5629 0 0 0 18985 13 0 0 25 0 1 0 797306883 34394112 5552 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8397 5552 1111 63 0 8334 0
vsize: 33588
[startup+200.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 5877 0 0 0 19985 14 0 0 25 0 1 0 797306883 35373056 5800 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.015 s]
Raw data (loadavg): 1.00 0.99 0.97 3/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 6130 0 0 0 20985 15 0 0 25 0 1 0 797306883 36499456 6053 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8911 6053 1111 63 0 8848 0
vsize: 35644
[startup+220.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 6378 0 0 0 21985 15 0 0 25 0 1 0 797306883 37486592 6301 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 6644 0 0 0 22984 15 0 0 25 0 1 0 797306883 38625280 6567 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9430 6567 1111 63 0 9367 0
vsize: 37720
[startup+240.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 6898 0 0 0 23984 16 0 0 25 0 1 0 797306883 39612416 6821 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 7154 0 0 0 24984 16 0 0 25 0 1 0 797306883 40738816 7077 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9946 7077 1111 63 0 9883 0
vsize: 39784
[startup+260.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 7409 0 0 0 25983 17 0 0 25 0 1 0 797306883 41725952 7332 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 7664 0 0 0 26983 17 0 0 25 0 1 0 797306883 42852352 7587 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7587 1111 63 0 10399 0
vsize: 41848
[startup+280.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 7918 0 0 0 27983 18 0 0 25 0 1 0 797306883 43835392 7841 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10702 7841 1111 63 0 10639 0
vsize: 42808
[startup+290.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 8173 0 0 0 28982 19 0 0 25 0 1 0 797306883 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): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 8428 0 0 0 29982 19 0 0 25 0 1 0 797306883 45948928 8351 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 8691 0 0 0 30982 19 0 0 25 0 1 0 797306883 46931968 8614 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11458 8614 1111 63 0 11395 0
vsize: 45832
[startup+320.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 8946 0 0 0 31982 20 0 0 25 0 1 0 797306883 48058368 8869 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11733 8869 1111 63 0 11670 0
vsize: 46932
[startup+330.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 9201 0 0 0 32981 20 0 0 25 0 1 0 797306883 49049600 9124 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11975 9124 1111 63 0 11912 0
vsize: 47900
[startup+340.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 9464 0 0 0 33981 21 0 0 25 0 1 0 797306883 50176000 9387 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12250 9387 1111 63 0 12187 0
vsize: 49000
[startup+350.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 9719 0 0 0 34981 22 0 0 25 0 1 0 797306883 51159040 9642 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12490 9642 1111 63 0 12427 0
vsize: 49960
[startup+360.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 9979 0 0 0 35981 22 0 0 25 0 1 0 797306883 52281344 9902 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12764 9902 1111 63 0 12701 0
vsize: 51056
[startup+370.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 10235 0 0 0 36980 22 0 0 25 0 1 0 797306883 53268480 10158 4294967295 134512640 134714508 3221221776 3221220004 1077414426 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.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 10497 0 0 0 37980 23 0 0 25 0 1 0 797306883 54394880 10420 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13280 10420 1111 63 0 13217 0
vsize: 53120
[startup+390.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 10759 0 0 0 38980 23 0 0 25 0 1 0 797306883 55382016 10682 4294967295 134512640 134714508 3221221776 3221220432 134527932 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): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 11021 0 0 0 39979 24 0 0 25 0 1 0 797306883 56508416 10944 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 11282 0 0 0 40979 25 0 0 25 0 1 0 797306883 57634816 11205 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 11544 0 0 0 41978 25 0 0 25 0 1 0 797306883 58621952 11467 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 11805 0 0 0 42978 26 0 0 25 0 1 0 797306883 59748352 11728 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 12085 0 0 0 43978 26 0 0 25 0 1 0 797306883 60956672 12008 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 12346 0 0 0 44978 27 0 0 25 0 1 0 797306883 62078976 12269 4294967295 134512640 134714508 3221221776 3221220432 134527946 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): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 12614 0 0 0 45978 27 0 0 25 0 1 0 797306883 63205376 12537 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15431 12537 1111 63 0 15368 0
vsize: 61724
[startup+470.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 12876 0 0 0 46977 27 0 0 25 0 1 0 797306883 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.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 13145 0 0 0 47977 28 0 0 25 0 1 0 797306883 65314816 13068 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 13408 0 0 0 48977 28 0 0 25 0 1 0 797306883 66441216 13331 4294967295 134512640 134714508 3221221776 3221220004 1077414408 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.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 13670 0 0 0 49976 29 0 0 25 0 1 0 797306883 67432448 13593 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 13939 0 0 0 50976 29 0 0 25 0 1 0 797306883 68558848 13862 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 14208 0 0 0 51976 30 0 0 25 0 1 0 797306883 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.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 14477 0 0 0 52975 30 0 0 25 0 1 0 797306883 70811648 14400 4294967295 134512640 134714508 3221221776 3221220004 1077414376 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.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 14746 0 0 0 53975 31 0 0 25 0 1 0 797306883 71798784 14669 4294967295 134512640 134714508 3221221776 3221220004 1077414382 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.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 15014 0 0 0 54974 32 0 0 25 0 1 0 797306883 72916992 14937 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17802 14937 1111 63 0 17739 0
vsize: 71208
[startup+560.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 15282 0 0 0 55974 33 0 0 25 0 1 0 797306883 74043392 15205 4294967295 134512640 134714508 3221221776 3221220004 1077414420 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.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 15552 0 0 0 56973 33 0 0 25 0 1 0 797306883 75169792 15475 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 15820 0 0 0 57973 34 0 0 25 0 1 0 797306883 76296192 15743 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 16096 0 0 0 58973 34 0 0 25 0 1 0 797306883 77422592 16019 4294967295 134512640 134714508 3221221776 3221220004 1077414360 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.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 16365 0 0 0 59973 34 0 0 25 0 1 0 797306883 78413824 16288 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 16635 0 0 0 60973 35 0 0 25 0 1 0 797306883 79540224 16558 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 16911 0 0 0 61973 35 0 0 25 0 1 0 797306883 80666624 16834 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19694 16834 1111 63 0 19631 0
vsize: 78776
[startup+630.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 17185 0 0 0 62972 36 0 0 25 0 1 0 797306883 81793024 17108 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19969 17108 1111 63 0 19906 0
vsize: 79876
[startup+640.037 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 17455 0 0 0 63972 36 0 0 25 0 1 0 797306883 82919424 17378 4294967295 134512640 134714508 3221221776 3221220004 1077414426 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.036 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 17731 0 0 0 64971 37 0 0 25 0 1 0 797306883 84045824 17654 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.037 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 18007 0 0 0 65971 37 0 0 25 0 1 0 797306883 85172224 17930 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.037 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 18283 0 0 0 66971 38 0 0 25 0 1 0 797306883 86298624 18206 4294967295 134512640 134714508 3221221776 3221220004 1077414370 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.037 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 18559 0 0 0 67970 38 0 0 25 0 1 0 797306883 87425024 18482 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21344 18482 1111 63 0 21281 0
vsize: 85376
[startup+690.038 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 18835 0 0 0 68970 39 0 0 25 0 1 0 797306883 88547328 18758 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21618 18758 1111 63 0 21555 0
vsize: 86472
[startup+700.038 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 19116 0 0 0 69969 40 0 0 25 0 1 0 797306883 89673728 19039 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21893 19039 1111 63 0 21830 0
vsize: 87572
[startup+710.039 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 19392 0 0 0 70969 40 0 0 25 0 1 0 797306883 90800128 19315 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22168 19315 1111 63 0 22105 0
vsize: 88672
[startup+720.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 19668 0 0 0 71969 41 0 0 25 0 1 0 797306883 91926528 19591 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 19950 0 0 0 72969 41 0 0 25 0 1 0 797306883 93052928 19873 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22718 19873 1111 63 0 22655 0
vsize: 90872
[startup+740.041 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 20233 0 0 0 73968 42 0 0 25 0 1 0 797306883 94318592 20156 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23027 20156 1111 63 0 22964 0
vsize: 92108
[startup+750.041 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 20509 0 0 0 74967 43 0 0 25 0 1 0 797306883 95449088 20432 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.042 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 20792 0 0 0 75967 44 0 0 25 0 1 0 797306883 96575488 20715 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23578 20715 1111 63 0 23515 0
vsize: 94312
[startup+770.042 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 21075 0 0 0 76966 44 0 0 25 0 1 0 797306883 97701888 20998 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23853 20998 1111 63 0 23790 0
vsize: 95412
[startup+780.042 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 21357 0 0 0 77966 45 0 0 25 0 1 0 797306883 98828288 21280 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24128 21280 1111 63 0 24065 0
vsize: 96512
[startup+790.043 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 21641 0 0 0 78966 45 0 0 25 0 1 0 797306883 99954688 21564 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24403 21564 1111 63 0 24340 0
vsize: 97612
[startup+800.043 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 21929 0 0 0 79965 46 0 0 25 0 1 0 797306883 101220352 21852 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24712 21852 1111 63 0 24649 0
vsize: 98848
[startup+810.044 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 22212 0 0 0 80965 46 0 0 25 0 1 0 797306883 102350848 22135 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24988 22135 1111 63 0 24925 0
vsize: 99952
[startup+820.045 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 22495 0 0 0 81965 46 0 0 25 0 1 0 797306883 103477248 22418 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25263 22418 1111 63 0 25200 0
vsize: 101052
[startup+830.045 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 22783 0 0 0 82965 47 0 0 25 0 1 0 797306883 104742912 22706 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25572 22706 1111 63 0 25509 0
vsize: 102288
[startup+840.046 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 23099 0 0 0 83965 47 0 0 25 0 1 0 797306883 106237952 23022 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25937 23022 1111 63 0 25874 0
vsize: 103748
[startup+850.046 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 23388 0 0 0 84964 48 0 0 25 0 1 0 797306883 107356160 23311 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26210 23311 1111 63 0 26147 0
vsize: 104840
[startup+860.047 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 23671 0 0 0 85964 49 0 0 25 0 1 0 797306883 108621824 23594 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26519 23594 1111 63 0 26456 0
vsize: 106076
[startup+870.047 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 23961 0 0 0 86964 49 0 0 25 0 1 0 797306883 109748224 23884 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26794 23884 1111 63 0 26731 0
vsize: 107176
[startup+880.046 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 24249 0 0 0 87963 49 0 0 25 0 1 0 797306883 110874624 24172 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27069 24172 1111 63 0 27006 0
vsize: 108276
[startup+890.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 24540 0 0 0 88963 50 0 0 25 0 1 0 797306883 112144384 24463 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27379 24463 1111 63 0 27316 0
vsize: 109516
[startup+900.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 24829 0 0 0 89962 50 0 0 25 0 1 0 797306883 113270784 24752 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27654 24752 1111 63 0 27591 0
vsize: 110616
[startup+910.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 25120 0 0 0 90961 51 0 0 25 0 1 0 797306883 114536448 25043 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27963 25043 1111 63 0 27900 0
vsize: 111852
[startup+920.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 25409 0 0 0 91961 52 0 0 25 0 1 0 797306883 115662848 25332 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28238 25332 1111 63 0 28175 0
vsize: 112952
[startup+930.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 25699 0 0 0 92961 53 0 0 25 0 1 0 797306883 116789248 25622 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28513 25622 1111 63 0 28450 0
vsize: 114052
[startup+940.049 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 25995 0 0 0 93960 53 0 0 25 0 1 0 797306883 118059008 25918 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28823 25918 1111 63 0 28760 0
vsize: 115292
[startup+950.049 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 26290 0 0 0 94960 54 0 0 25 0 1 0 797306883 119324672 26213 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29132 26213 1111 63 0 29069 0
vsize: 116528
[startup+960.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 26581 0 0 0 95959 55 0 0 25 0 1 0 797306883 120451072 26504 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29407 26504 1111 63 0 29344 0
vsize: 117628
[startup+970.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 26870 0 0 0 96959 55 0 0 25 0 1 0 797306883 121577472 26793 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29682 26793 1111 63 0 29619 0
vsize: 118728
[startup+980.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 27173 0 0 0 97959 55 0 0 25 0 1 0 797306883 122843136 27096 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 27096 1111 63 0 29928 0
vsize: 119964
[startup+990.051 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 27463 0 0 0 98958 56 0 0 25 0 1 0 797306883 124112896 27386 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30301 27386 1111 63 0 30238 0
vsize: 121204
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 27759 0 0 0 99958 57 0 0 25 0 1 0 797306883 125239296 27682 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30576 27682 1111 63 0 30513 0
vsize: 122304
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 28056 0 0 0 100958 57 0 0 25 0 1 0 797306883 126504960 27979 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30885 27979 1111 63 0 30822 0
vsize: 123540
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 28352 0 0 0 101957 58 0 0 25 0 1 0 797306883 127631360 28275 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31160 28275 1111 63 0 31097 0
vsize: 124640
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 28650 0 0 0 102957 59 0 0 25 0 1 0 797306883 128897024 28573 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31469 28573 1111 63 0 31406 0
vsize: 125876
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 28952 0 0 0 103956 59 0 0 25 0 1 0 797306883 130166784 28875 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31779 28875 1111 63 0 31716 0
vsize: 127116
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 29250 0 0 0 104956 60 0 0 25 0 1 0 797306883 131293184 29173 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32054 29173 1111 63 0 31991 0
vsize: 128216
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 29546 0 0 0 105955 61 0 0 25 0 1 0 797306883 132558848 29469 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32363 29469 1111 63 0 32300 0
vsize: 129452
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 29848 0 0 0 106954 62 0 0 25 0 1 0 797306883 133828608 29771 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32673 29771 1111 63 0 32610 0
vsize: 130692
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 30151 0 0 0 107953 63 0 0 25 0 1 0 797306883 135094272 30074 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32982 30074 1111 63 0 32919 0
vsize: 131928
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 30453 0 0 0 108953 64 0 0 25 0 1 0 797306883 136220672 30376 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33257 30376 1111 63 0 33194 0
vsize: 133028
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 30751 0 0 0 109952 65 0 0 25 0 1 0 797306883 137486336 30674 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33566 30674 1111 63 0 33503 0
vsize: 134264
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 31047 0 0 0 110952 65 0 0 25 0 1 0 797306883 138752000 30970 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33875 30970 1111 63 0 33812 0
vsize: 135500
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 31352 0 0 0 111952 66 0 0 25 0 1 0 797306883 139878400 31275 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34150 31275 1111 63 0 34087 0
vsize: 136600
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 31654 0 0 0 112952 66 0 0 25 0 1 0 797306883 141148160 31577 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34460 31577 1111 63 0 34397 0
vsize: 137840
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 31957 0 0 0 113951 66 0 0 25 0 1 0 797306883 142413824 31880 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34769 31880 1111 63 0 34706 0
vsize: 139076
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 32261 0 0 0 114951 67 0 0 25 0 1 0 797306883 143683584 32184 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35079 32184 1111 63 0 35016 0
vsize: 140316
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 32570 0 0 0 115951 67 0 0 25 0 1 0 797306883 144949248 32493 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35388 32493 1111 63 0 35325 0
vsize: 141552
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 32875 0 0 0 116951 67 0 0 25 0 1 0 797306883 146214912 32798 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35697 32798 1111 63 0 35634 0
vsize: 142788
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 33183 0 0 0 117951 68 0 0 25 0 1 0 797306883 147480576 33106 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36006 33106 1111 63 0 35943 0
vsize: 144024
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 33488 0 0 0 118950 69 0 0 25 0 1 0 797306883 148606976 33411 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36281 33411 1111 63 0 36218 0
vsize: 145124
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 1102
Raw data (stat): 1100 (bsolo_lpr) R 1099 7876 7672 0 -1 0 33797 0 0 0 119950 69 0 0 25 0 1 0 797306883 149876736 33720 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36591 33720 1111 63 0 36528 0
vsize: 146364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.97 1/55 1102
Raw data (stat): 1100 (bsolo_lpr) Z 1099 7876 7672 0 -1 1036 33797 0 0 0 119950 76 0 0 25 0 1 0 797306883 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.27
CPU user time (s): 1199.51
CPU system time (s): 0.761884
CPU usage (%): 100.011
Max. virtual memory (Kb): 146364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####