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-n3707.opb
MD5SUM	01e0877cc064d2a3c60da2ac822a983e
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	39195741828
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	39195741828
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.998847
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 25575

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 20:26:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19085 boxname=wulflinc31 idbench=1469 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  01e0877cc064d2a3c60da2ac822a983e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3707.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3707.opb
IDLAUNCH: 19085
/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:        632240 kB
Buffers:         32272 kB
Cached:         348988 kB
SwapCached:       1172 kB
Active:         254548 kB
Inactive:       129084 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        631988 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              40 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 20:47:01 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19085 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.95 0.94 2/55 2224
Raw data (stat): 2224 (runsolver) R 2223 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 798527423 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 1160 0 0 0 991 4 0 0 25 0 1 0 798527423 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.0014 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 1400 0 0 0 1990 5 0 0 25 0 1 0 798527423 17043456 1323 4294967295 134512640 134714508 3221221776 3221220004 1077414351 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.0024 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 1644 0 0 0 2990 5 0 0 25 0 1 0 798527423 18042880 1567 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.0019 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 1891 0 0 0 3990 6 0 0 25 0 1 0 798527423 19169280 1814 4294967295 134512640 134714508 3221221776 3221220004 1077414401 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.0034 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 2139 0 0 0 4989 7 0 0 25 0 1 0 798527423 20156416 2062 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.0041 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 2385 0 0 0 5988 8 0 0 25 0 1 0 798527423 21139456 2308 4294967295 134512640 134714508 3221221776 3221220004 1077414432 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.0038 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 2633 0 0 0 6988 8 0 0 25 0 1 0 798527423 22118400 2556 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.005 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 2880 0 0 0 7988 9 0 0 25 0 1 0 798527423 23105536 2803 4294967295 134512640 134714508 3221221776 3221220004 1077414382 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.005 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 3127 0 0 0 8987 9 0 0 25 0 1 0 798527423 24231936 3050 4294967295 134512640 134714508 3221221776 3221220004 1077414374 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.006 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 3369 0 0 0 9987 10 0 0 25 0 1 0 798527423 25219072 3292 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 3617 0 0 0 10987 10 0 0 25 0 1 0 798527423 26206208 3540 4294967295 134512640 134714508 3221221776 3221220004 1077414435 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.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 3872 0 0 0 11986 11 0 0 25 0 1 0 798527423 27213824 3795 4294967295 134512640 134714508 3221221776 3221220432 134527953 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.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 4126 0 0 0 12986 11 0 0 25 0 1 0 798527423 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.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 4373 0 0 0 13985 12 0 0 25 0 1 0 798527423 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.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 4622 0 0 0 14985 13 0 0 25 0 1 0 798527423 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.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 4870 0 0 0 15985 13 0 0 25 0 1 0 798527423 31293440 4793 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 5125 0 0 0 16985 13 0 0 25 0 1 0 798527423 32419840 5048 4294967295 134512640 134714508 3221221776 3221220004 1077414408 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.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 5374 0 0 0 17985 14 0 0 25 0 1 0 798527423 33406976 5297 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 5622 0 0 0 18984 14 0 0 25 0 1 0 798527423 34394112 5545 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 5877 0 0 0 19984 15 0 0 25 0 1 0 798527423 35373056 5800 4294967295 134512640 134714508 3221221776 3221220004 1077414420 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.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 6129 0 0 0 20984 15 0 0 25 0 1 0 798527423 36499456 6052 4294967295 134512640 134714508 3221221776 3221220004 1077414433 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.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 6378 0 0 0 21983 16 0 0 25 0 1 0 798527423 37486592 6301 4294967295 134512640 134714508 3221221776 3221220004 1077414357 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.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 6643 0 0 0 22983 17 0 0 25 0 1 0 798527423 38625280 6566 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 6898 0 0 0 23982 18 0 0 25 0 1 0 798527423 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.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 7147 0 0 0 24982 18 0 0 25 0 1 0 798527423 40738816 7070 4294967295 134512640 134714508 3221221776 3221220432 134527930 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.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 7409 0 0 0 25981 19 0 0 25 0 1 0 798527423 41725952 7332 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 7657 0 0 0 26980 20 0 0 25 0 1 0 798527423 42704896 7580 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 7917 0 0 0 27980 21 0 0 25 0 1 0 798527423 43835392 7840 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 8167 0 0 0 28980 21 0 0 25 0 1 0 798527423 44822528 8090 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10943 8090 1111 63 0 10880 0
vsize: 43772
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 8428 0 0 0 29979 22 0 0 25 0 1 0 798527423 45948928 8351 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 8684 0 0 0 30979 22 0 0 25 0 1 0 798527423 46931968 8607 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11458 8607 1111 63 0 11395 0
vsize: 45832
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 8939 0 0 0 31979 23 0 0 25 0 1 0 798527423 48058368 8862 4294967295 134512640 134714508 3221221776 3221220432 134527932 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.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 9200 0 0 0 32978 23 0 0 25 0 1 0 798527423 49049600 9123 4294967295 134512640 134714508 3221221776 3221220004 1077414426 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.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 9457 0 0 0 33978 24 0 0 25 0 1 0 798527423 50176000 9380 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12250 9380 1111 63 0 12187 0
vsize: 49000
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 9712 0 0 0 34978 24 0 0 25 0 1 0 798527423 51159040 9635 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12490 9635 1111 63 0 12427 0
vsize: 49960
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 9973 0 0 0 35978 24 0 0 25 0 1 0 798527423 52281344 9896 4294967295 134512640 134714508 3221221776 3221220432 134527953 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.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 10235 0 0 0 36978 25 0 0 25 0 1 0 798527423 53268480 10158 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 10496 0 0 0 37977 26 0 0 25 0 1 0 798527423 54394880 10419 4294967295 134512640 134714508 3221221776 3221220004 1077414432 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.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 10758 0 0 0 38977 26 0 0 25 0 1 0 798527423 55382016 10681 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13521 10681 1111 63 0 13458 0
vsize: 54084
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 11015 0 0 0 39977 26 0 0 25 0 1 0 798527423 56508416 10938 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13796 10938 1111 63 0 13733 0
vsize: 55184
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 11276 0 0 0 40977 27 0 0 25 0 1 0 798527423 57495552 11199 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14037 11199 1111 63 0 13974 0
vsize: 56148
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 11537 0 0 0 41976 27 0 0 25 0 1 0 798527423 58621952 11460 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14312 11460 1111 63 0 14249 0
vsize: 57248
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 11799 0 0 0 42976 28 0 0 25 0 1 0 798527423 59748352 11722 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14587 11722 1111 63 0 14524 0
vsize: 58348
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 12084 0 0 0 43975 29 0 0 25 0 1 0 798527423 60956672 12007 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14882 12007 1111 63 0 14819 0
vsize: 59528
[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 12345 0 0 0 44975 30 0 0 25 0 1 0 798527423 62078976 12268 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15156 12268 1111 63 0 15093 0
vsize: 60624
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.94 3/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 12607 0 0 0 45975 30 0 0 25 0 1 0 798527423 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.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 12870 0 0 0 46975 30 0 0 25 0 1 0 798527423 64188416 12793 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15671 12793 1111 63 0 15608 0
vsize: 62684
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 13132 0 0 0 47974 31 0 0 25 0 1 0 798527423 65314816 13055 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15946 13055 1111 63 0 15883 0
vsize: 63784
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 13401 0 0 0 48974 32 0 0 25 0 1 0 798527423 66301952 13324 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16187 13324 1111 63 0 16124 0
vsize: 64748
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 13669 0 0 0 49974 32 0 0 25 0 1 0 798527423 67432448 13592 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16463 13592 1111 63 0 16400 0
vsize: 65852
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 13932 0 0 0 50973 33 0 0 25 0 1 0 798527423 68558848 13855 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16738 13855 1111 63 0 16675 0
vsize: 66952
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.94 3/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 14201 0 0 0 51973 33 0 0 25 0 1 0 798527423 69685248 14124 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17013 14124 1111 63 0 16950 0
vsize: 68052
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 14470 0 0 0 52972 34 0 0 25 0 1 0 798527423 70668288 14393 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17253 14393 1111 63 0 17190 0
vsize: 69012
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 14739 0 0 0 53972 34 0 0 25 0 1 0 798527423 71798784 14662 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17529 14662 1111 63 0 17466 0
vsize: 70116
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 15008 0 0 0 54972 35 0 0 25 0 1 0 798527423 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.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 15276 0 0 0 55972 35 0 0 25 0 1 0 798527423 74043392 15199 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18077 15199 1111 63 0 18014 0
vsize: 72308
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 15545 0 0 0 56971 36 0 0 25 0 1 0 798527423 75169792 15468 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18352 15468 1111 63 0 18289 0
vsize: 73408
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 15813 0 0 0 57971 36 0 0 25 0 1 0 798527423 76156928 15736 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18593 15736 1111 63 0 18530 0
vsize: 74372
[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 16083 0 0 0 58971 37 0 0 25 0 1 0 798527423 77287424 16006 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18869 16006 1111 63 0 18806 0
vsize: 75476
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 16359 0 0 0 59970 37 0 0 25 0 1 0 798527423 78413824 16282 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19144 16282 1111 63 0 19081 0
vsize: 76576
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 16634 0 0 0 60970 38 0 0 25 0 1 0 798527423 79540224 16557 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19419 16557 1111 63 0 19356 0
vsize: 77676
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 16904 0 0 0 61969 39 0 0 25 0 1 0 798527423 80666624 16827 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19694 16827 1111 63 0 19631 0
vsize: 78776
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 17173 0 0 0 62969 39 0 0 25 0 1 0 798527423 81793024 17096 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19969 17096 1111 63 0 19906 0
vsize: 79876
[startup+640.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 17448 0 0 0 63969 40 0 0 25 0 1 0 798527423 82919424 17371 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20244 17371 1111 63 0 20181 0
vsize: 80976
[startup+650.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 17724 0 0 0 64969 40 0 0 25 0 1 0 798527423 84045824 17647 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20519 17647 1111 63 0 20456 0
vsize: 82076
[startup+660.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 18000 0 0 0 65968 41 0 0 25 0 1 0 798527423 85172224 17923 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20794 17923 1111 63 0 20731 0
vsize: 83176
[startup+670.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 18276 0 0 0 66968 41 0 0 25 0 1 0 798527423 86298624 18199 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21069 18199 1111 63 0 21006 0
vsize: 84276
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 18551 0 0 0 67968 42 0 0 25 0 1 0 798527423 87425024 18474 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21344 18474 1111 63 0 21281 0
vsize: 85376
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 18828 0 0 0 68968 42 0 0 25 0 1 0 798527423 88547328 18751 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21618 18751 1111 63 0 21555 0
vsize: 86472
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 19102 0 0 0 69968 42 0 0 25 0 1 0 798527423 89673728 19025 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21893 19025 1111 63 0 21830 0
vsize: 87572
[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 19379 0 0 0 70968 43 0 0 25 0 1 0 798527423 90800128 19302 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22168 19302 1111 63 0 22105 0
vsize: 88672
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 19661 0 0 0 71967 44 0 0 25 0 1 0 798527423 91926528 19584 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22443 19584 1111 63 0 22380 0
vsize: 89772
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 19943 0 0 0 72967 44 0 0 25 0 1 0 798527423 93052928 19866 4294967295 134512640 134714508 3221221776 3221220432 134527946 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.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 20219 0 0 0 73966 45 0 0 25 0 1 0 798527423 94179328 20142 4294967295 134512640 134714508 3221221776 3221220432 134527948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22993 20142 1111 63 0 22930 0
vsize: 91972
[startup+750.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 20496 0 0 0 74966 45 0 0 25 0 1 0 798527423 95309824 20419 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23269 20419 1111 63 0 23206 0
vsize: 93076
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 20784 0 0 0 75965 46 0 0 25 0 1 0 798527423 96575488 20707 4294967295 134512640 134714508 3221221776 3221220004 1077414370 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.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 21062 0 0 0 76965 47 0 0 25 0 1 0 798527423 97701888 20985 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23853 20985 1111 63 0 23790 0
vsize: 95412
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 21350 0 0 0 77964 47 0 0 25 0 1 0 798527423 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): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 21626 0 0 0 78964 48 0 0 25 0 1 0 798527423 99954688 21549 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24403 21549 1111 63 0 24340 0
vsize: 97612
[startup+800.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 21916 0 0 0 79963 49 0 0 25 0 1 0 798527423 101081088 21839 4294967295 134512640 134714508 3221221776 3221220004 1077414351 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): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 22198 0 0 0 80963 49 0 0 25 0 1 0 798527423 102350848 22121 4294967295 134512640 134714508 3221221776 3221220432 134527932 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): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 22481 0 0 0 81963 49 0 0 25 0 1 0 798527423 103477248 22404 4294967295 134512640 134714508 3221221776 3221220432 134527932 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.051 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 22769 0 0 0 82962 50 0 0 25 0 1 0 798527423 104603648 22692 4294967295 134512640 134714508 3221221776 3221220004 1077414360 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.051 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 23087 0 0 0 83962 51 0 0 25 0 1 0 798527423 106237952 23010 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.051 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 23368 0 0 0 84961 51 0 0 25 0 1 0 798527423 107356160 23291 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 23657 0 0 0 85961 52 0 0 25 0 1 0 798527423 108482560 23580 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 23947 0 0 0 86961 53 0 0 25 0 1 0 798527423 109748224 23870 4294967295 134512640 134714508 3221221776 3221220004 1077414435 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.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 24235 0 0 0 87961 53 0 0 25 0 1 0 798527423 110874624 24158 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 24526 0 0 0 88961 53 0 0 25 0 1 0 798527423 112001024 24449 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 24815 0 0 0 89960 54 0 0 25 0 1 0 798527423 113270784 24738 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 25105 0 0 0 90960 54 0 0 25 0 1 0 798527423 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.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 25395 0 0 0 91959 55 0 0 25 0 1 0 798527423 115662848 25318 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 25684 0 0 0 92959 55 0 0 25 0 1 0 798527423 116789248 25607 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28513 25607 1111 63 0 28450 0
vsize: 114052
[startup+940.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 25975 0 0 0 93959 55 0 0 25 0 1 0 798527423 117915648 25898 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28788 25898 1111 63 0 28725 0
vsize: 115152
[startup+950.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 26270 0 0 0 94959 56 0 0 25 0 1 0 798527423 119185408 26193 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29098 26193 1111 63 0 29035 0
vsize: 116392
[startup+960.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 26567 0 0 0 95959 56 0 0 25 0 1 0 798527423 120451072 26490 4294967295 134512640 134714508 3221221776 3221220432 134527932 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.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 26857 0 0 0 96958 57 0 0 25 0 1 0 798527423 121577472 26780 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29682 26780 1111 63 0 29619 0
vsize: 118728
[startup+980.056 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 27153 0 0 0 97958 57 0 0 25 0 1 0 798527423 122843136 27076 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29991 27076 1111 63 0 29928 0
vsize: 119964
[startup+990.056 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 27449 0 0 0 98958 58 0 0 25 0 1 0 798527423 123973632 27372 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30267 27372 1111 63 0 30204 0
vsize: 121068
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 27745 0 0 0 99957 59 0 0 25 0 1 0 798527423 125239296 27668 4294967295 134512640 134714508 3221221776 3221220004 1077414395 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.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 28043 0 0 0 100956 60 0 0 25 0 1 0 798527423 126365696 27966 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 28338 0 0 0 101956 61 0 0 25 0 1 0 798527423 127631360 28261 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 28636 0 0 0 102955 61 0 0 25 0 1 0 798527423 128897024 28559 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 28938 0 0 0 103954 62 0 0 25 0 1 0 798527423 130023424 28861 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31744 28861 1111 63 0 31681 0
vsize: 126976
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 29235 0 0 0 104953 63 0 0 25 0 1 0 798527423 131293184 29158 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32054 29158 1111 63 0 31991 0
vsize: 128216
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 29538 0 0 0 105953 63 0 0 25 0 1 0 798527423 132558848 29461 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32363 29461 1111 63 0 32300 0
vsize: 129452
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 29834 0 0 0 106953 64 0 0 25 0 1 0 798527423 133685248 29757 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32638 29757 1111 63 0 32575 0
vsize: 130552
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 30138 0 0 0 107952 65 0 0 25 0 1 0 798527423 134955008 30061 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32948 30061 1111 63 0 32885 0
vsize: 131792
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 30440 0 0 0 108952 66 0 0 25 0 1 0 798527423 136220672 30363 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33257 30363 1111 63 0 33194 0
vsize: 133028
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 30744 0 0 0 109951 66 0 0 25 0 1 0 798527423 137486336 30667 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33566 30667 1111 63 0 33503 0
vsize: 134264
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 31047 0 0 0 110951 67 0 0 25 0 1 0 798527423 138752000 30970 4294967295 134512640 134714508 3221221776 3221220432 134527953 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): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 31351 0 0 0 111951 67 0 0 25 0 1 0 798527423 139878400 31274 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34150 31274 1111 63 0 34087 0
vsize: 136600
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 31654 0 0 0 112950 68 0 0 25 0 1 0 798527423 141148160 31577 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 31956 0 0 0 113950 68 0 0 25 0 1 0 798527423 142413824 31879 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34769 31879 1111 63 0 34706 0
vsize: 139076
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 32261 0 0 0 114950 69 0 0 25 0 1 0 798527423 143683584 32184 4294967295 134512640 134714508 3221221776 3221220004 1077414433 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.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 32570 0 0 0 115949 70 0 0 25 0 1 0 798527423 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.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 32881 0 0 0 116948 71 0 0 25 0 1 0 798527423 146214912 32804 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35697 32804 1111 63 0 35634 0
vsize: 142788
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 33184 0 0 0 117948 71 0 0 25 0 1 0 798527423 147480576 33107 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36006 33107 1111 63 0 35943 0
vsize: 144024
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 33495 0 0 0 118948 71 0 0 25 0 1 0 798527423 148750336 33418 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36316 33418 1111 63 0 36253 0
vsize: 145264
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 2224
Raw data (stat): 2224 (bsolo_lpr) R 2223 7876 7672 0 -1 0 33804 0 0 0 119948 72 0 0 25 0 1 0 798527423 150016000 33727 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36625 33727 1111 63 0 36562 0
vsize: 146500
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 2224
Raw data (stat): 2224 (bsolo_lpr) Z 2223 7876 7672 0 -1 1036 33804 0 0 0 119948 78 0 0 25 0 1 0 798527423 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.48
CPU system time (s): 0.789879
CPU usage (%): 100.011
Max. virtual memory (Kb): 146500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####