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/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
MD5SUM	6ffc5f91e7ad7c6593868bb0012c33e4
Bench Category	optimization, big integers (OPTBIGINT)
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	249428
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	1724124944012305800
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	4.54331
Number of variables	488988
Total number of constraints	12168
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	12168
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 25539

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 08:29:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19371 boxname=wulflinc31 idbench=1491 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6ffc5f91e7ad7c6593868bb0012c33e4  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fome11.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fome11.opb
IDLAUNCH: 19371
/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:        691800 kB
Buffers:         11768 kB
Cached:         310424 kB
SwapCached:        944 kB
Active:         215920 kB
Inactive:       108408 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        691548 kB
SwapTotal:     2097892 kB
SwapFree:      2095936 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12868 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 08:49:38 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 19371 7 1200.2 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.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (runsolver) R 30491 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 794222617 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2041 0 0 0 987 9 0 0 25 0 1 0 794222617 15355904 1964 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3749 1964 1111 63 0 3686 0
vsize: 14996
[startup+20.0011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2103 0 0 0 1987 9 0 0 25 0 1 0 794222617 15638528 2026 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3818 2026 1111 63 0 3755 0
vsize: 15272
[startup+30.0013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2159 0 0 0 2987 9 0 0 25 0 1 0 794222617 15777792 2082 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3852 2082 1111 63 0 3789 0
vsize: 15408
[startup+40.0019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2228 0 0 0 3987 9 0 0 25 0 1 0 794222617 16060416 2151 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3921 2151 1111 63 0 3858 0
vsize: 15684
[startup+50.0028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2283 0 0 0 4987 9 0 0 25 0 1 0 794222617 16347136 2206 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3991 2206 1111 63 0 3928 0
vsize: 15964
[startup+60.0031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2352 0 0 0 5987 9 0 0 25 0 1 0 794222617 16625664 2275 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 2275 1111 63 0 3996 0
vsize: 16236
[startup+70.0037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2413 0 0 0 6987 9 0 0 25 0 1 0 794222617 16908288 2336 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4128 2336 1111 63 0 4065 0
vsize: 16512
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2475 0 0 0 7987 9 0 0 25 0 1 0 794222617 17186816 2398 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4196 2398 1111 63 0 4133 0
vsize: 16784
[startup+90.0049 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2531 0 0 0 8988 9 0 0 25 0 1 0 794222617 17338368 2454 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4233 2454 1111 63 0 4170 0
vsize: 16932
[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2600 0 0 0 9988 9 0 0 25 0 1 0 794222617 17616896 2523 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4301 2523 1111 63 0 4238 0
vsize: 17204
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2662 0 0 0 10988 9 0 0 25 0 1 0 794222617 17899520 2585 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4370 2585 1111 63 0 4307 0
vsize: 17480
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2726 0 0 0 11988 9 0 0 25 0 1 0 794222617 18190336 2649 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4441 2649 1111 63 0 4378 0
vsize: 17764
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2782 0 0 0 12988 9 0 0 25 0 1 0 794222617 18329600 2705 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4475 2705 1111 63 0 4412 0
vsize: 17900
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2851 0 0 0 13988 10 0 0 25 0 1 0 794222617 18616320 2774 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4545 2774 1111 63 0 4482 0
vsize: 18180
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2906 0 0 0 14988 10 0 0 25 0 1 0 794222617 18898944 2829 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4614 2829 1111 63 0 4551 0
vsize: 18456
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 2974 0 0 0 15988 10 0 0 25 0 1 0 794222617 19181568 2897 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4683 2897 1111 63 0 4620 0
vsize: 18732
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3037 0 0 0 16989 10 0 0 25 0 1 0 794222617 19460096 2960 4294967295 134512640 134714508 3221221776 3221220004 1077414372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4751 2960 1111 63 0 4688 0
vsize: 19004
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3100 0 0 0 17989 10 0 0 25 0 1 0 794222617 19742720 3023 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4820 3023 1111 63 0 4757 0
vsize: 19280
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3168 0 0 0 18989 10 0 0 25 0 1 0 794222617 20029440 3091 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4890 3091 1111 63 0 4827 0
vsize: 19560
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3224 0 0 0 19989 10 0 0 25 0 1 0 794222617 20168704 3147 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4924 3147 1111 63 0 4861 0
vsize: 19696
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3292 0 0 0 20989 10 0 0 25 0 1 0 794222617 20451328 3215 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4993 3215 1111 63 0 4930 0
vsize: 19972
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3347 0 0 0 21989 11 0 0 25 0 1 0 794222617 20733952 3270 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5062 3270 1111 63 0 4999 0
vsize: 20248
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3415 0 0 0 22989 11 0 0 25 0 1 0 794222617 21012480 3338 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5130 3338 1111 63 0 5067 0
vsize: 20520
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3477 0 0 0 23989 11 0 0 25 0 1 0 794222617 21295104 3400 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5199 3400 1111 63 0 5136 0
vsize: 20796
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3545 0 0 0 24989 11 0 0 25 0 1 0 794222617 21577728 3468 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5268 3468 1111 63 0 5205 0
vsize: 21072
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3613 0 0 0 25989 11 0 0 25 0 1 0 794222617 21856256 3536 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5336 3536 1111 63 0 5273 0
vsize: 21344
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3675 0 0 0 26989 11 0 0 25 0 1 0 794222617 21999616 3598 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5371 3598 1111 63 0 5308 0
vsize: 21484
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3732 0 0 0 27989 11 0 0 25 0 1 0 794222617 22286336 3655 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5441 3655 1111 63 0 5378 0
vsize: 21764
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3795 0 0 0 28989 11 0 0 25 0 1 0 794222617 22564864 3718 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5509 3718 1111 63 0 5446 0
vsize: 22036
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3863 0 0 0 29989 12 0 0 25 0 1 0 794222617 22847488 3786 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5578 3786 1111 63 0 5515 0
vsize: 22312
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3925 0 0 0 30989 12 0 0 25 0 1 0 794222617 23130112 3848 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5647 3848 1111 63 0 5584 0
vsize: 22588
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 3988 0 0 0 31989 12 0 0 25 0 1 0 794222617 23269376 3911 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5681 3911 1111 63 0 5618 0
vsize: 22724
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4050 0 0 0 32989 12 0 0 25 0 1 0 794222617 23556096 3973 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5751 3973 1111 63 0 5688 0
vsize: 23004
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4111 0 0 0 33990 12 0 0 25 0 1 0 794222617 23834624 4034 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5819 4034 1111 63 0 5756 0
vsize: 23276
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4173 0 0 0 34990 12 0 0 25 0 1 0 794222617 24117248 4096 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5888 4096 1111 63 0 5825 0
vsize: 23552
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4235 0 0 0 35990 12 0 0 25 0 1 0 794222617 24399872 4158 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5957 4158 1111 63 0 5894 0
vsize: 23828
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4299 0 0 0 36990 12 0 0 25 0 1 0 794222617 24539136 4222 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5991 4222 1111 63 0 5928 0
vsize: 23964
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4353 0 0 0 37990 13 0 0 25 0 1 0 794222617 24825856 4276 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6061 4276 1111 63 0 5998 0
vsize: 24244
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4415 0 0 0 38990 13 0 0 25 0 1 0 794222617 25108480 4338 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6130 4338 1111 63 0 6067 0
vsize: 24520
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4477 0 0 0 39990 13 0 0 25 0 1 0 794222617 25387008 4400 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6198 4400 1111 63 0 6135 0
vsize: 24792
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4539 0 0 0 40990 13 0 0 25 0 1 0 794222617 25526272 4462 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6232 4462 1111 63 0 6169 0
vsize: 24928
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4608 0 0 0 41990 13 0 0 25 0 1 0 794222617 25817088 4531 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6303 4531 1111 63 0 6240 0
vsize: 25212
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4664 0 0 0 42990 13 0 0 25 0 1 0 794222617 26095616 4587 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6371 4587 1111 63 0 6308 0
vsize: 25484
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4725 0 0 0 43990 13 0 0 25 0 1 0 794222617 26378240 4648 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6440 4648 1111 63 0 6377 0
vsize: 25760
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4794 0 0 0 44990 13 0 0 25 0 1 0 794222617 26681344 4717 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6514 4717 1111 63 0 6451 0
vsize: 26056
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4862 0 0 0 45990 14 0 0 25 0 1 0 794222617 26959872 4785 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6582 4785 1111 63 0 6519 0
vsize: 26328
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4932 0 0 0 46990 14 0 0 25 0 1 0 794222617 27246592 4855 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6652 4855 1111 63 0 6589 0
vsize: 26608
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 4994 0 0 0 47990 14 0 0 25 0 1 0 794222617 27529216 4917 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6721 4917 1111 63 0 6658 0
vsize: 26884
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5057 0 0 0 48990 14 0 0 25 0 1 0 794222617 27668480 4980 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6755 4980 1111 63 0 6692 0
vsize: 27020
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5125 0 0 0 49991 14 0 0 25 0 1 0 794222617 27947008 5048 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6823 5048 1111 63 0 6760 0
vsize: 27292
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5188 0 0 0 50991 14 0 0 25 0 1 0 794222617 28229632 5111 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6892 5111 1111 63 0 6829 0
vsize: 27568
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5250 0 0 0 51991 14 0 0 25 0 1 0 794222617 28516352 5173 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6962 5173 1111 63 0 6899 0
vsize: 27848
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5305 0 0 0 52991 14 0 0 25 0 1 0 794222617 28798976 5228 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7031 5228 1111 63 0 6968 0
vsize: 28124
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5367 0 0 0 53991 14 0 0 25 0 1 0 794222617 28938240 5290 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7065 5290 1111 63 0 7002 0
vsize: 28260
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5428 0 0 0 54991 15 0 0 25 0 1 0 794222617 29220864 5351 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7134 5351 1111 63 0 7071 0
vsize: 28536
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5499 0 0 0 55991 15 0 0 25 0 1 0 794222617 29507584 5422 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7204 5422 1111 63 0 7141 0
vsize: 28816
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5561 0 0 0 56991 15 0 0 25 0 1 0 794222617 29786112 5484 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7272 5484 1111 63 0 7209 0
vsize: 29088
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5623 0 0 0 57991 15 0 0 25 0 1 0 794222617 30068736 5546 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7341 5546 1111 63 0 7278 0
vsize: 29364
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5691 0 0 0 58991 15 0 0 25 0 1 0 794222617 30351360 5614 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7410 5614 1111 63 0 7347 0
vsize: 29640
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5754 0 0 0 59991 15 0 0 25 0 1 0 794222617 30629888 5677 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7478 5677 1111 63 0 7415 0
vsize: 29912
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5818 0 0 0 60991 15 0 0 25 0 1 0 794222617 30777344 5741 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7514 5741 1111 63 0 7451 0
vsize: 30056
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5880 0 0 0 61991 16 0 0 25 0 1 0 794222617 31055872 5803 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7582 5803 1111 63 0 7519 0
vsize: 30328
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 5948 0 0 0 62991 16 0 0 25 0 1 0 794222617 31338496 5871 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7651 5871 1111 63 0 7588 0
vsize: 30604
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6009 0 0 0 63991 16 0 0 25 0 1 0 794222617 31621120 5932 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7720 5932 1111 63 0 7657 0
vsize: 30880
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6073 0 0 0 64991 16 0 0 25 0 1 0 794222617 31907840 5996 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7790 5996 1111 63 0 7727 0
vsize: 31160
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6135 0 0 0 65992 16 0 0 25 0 1 0 794222617 32186368 6058 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7858 6058 1111 63 0 7795 0
vsize: 31432
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6197 0 0 0 66992 16 0 0 25 0 1 0 794222617 32329728 6120 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7893 6120 1111 63 0 7830 0
vsize: 31572
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6260 0 0 0 67992 16 0 0 25 0 1 0 794222617 32608256 6183 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7961 6183 1111 63 0 7898 0
vsize: 31844
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6328 0 0 0 68992 16 0 0 25 0 1 0 794222617 32890880 6251 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8030 6251 1111 63 0 7967 0
vsize: 32120
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6398 0 0 0 69991 17 0 0 25 0 1 0 794222617 33177600 6321 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8100 6321 1111 63 0 8037 0
vsize: 32400
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6461 0 0 0 70992 17 0 0 25 0 1 0 794222617 33460224 6384 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8169 6384 1111 63 0 8106 0
vsize: 32676
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6523 0 0 0 71992 17 0 0 25 0 1 0 794222617 33738752 6446 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8237 6446 1111 63 0 8174 0
vsize: 32948
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6591 0 0 0 72992 17 0 0 25 0 1 0 794222617 34021376 6514 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8306 6514 1111 63 0 8243 0
vsize: 33224
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6654 0 0 0 73992 17 0 0 25 0 1 0 794222617 34308096 6577 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8376 6577 1111 63 0 8313 0
vsize: 33504
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6716 0 0 0 74992 17 0 0 25 0 1 0 794222617 34447360 6639 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8410 6639 1111 63 0 8347 0
vsize: 33640
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6785 0 0 0 75992 18 0 0 25 0 1 0 794222617 34729984 6708 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8479 6708 1111 63 0 8416 0
vsize: 33916
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6853 0 0 0 76992 18 0 0 25 0 1 0 794222617 35008512 6776 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8547 6776 1111 63 0 8484 0
vsize: 34188
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6915 0 0 0 77992 18 0 0 25 0 1 0 794222617 35291136 6838 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8616 6838 1111 63 0 8553 0
vsize: 34464
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 6978 0 0 0 78992 18 0 0 25 0 1 0 794222617 35577856 6901 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8686 6901 1111 63 0 8623 0
vsize: 34744
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7047 0 0 0 79992 18 0 0 25 0 1 0 794222617 35856384 6970 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8754 6970 1111 63 0 8691 0
vsize: 35016
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7109 0 0 0 80993 18 0 0 25 0 1 0 794222617 36139008 7032 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8823 7032 1111 63 0 8760 0
vsize: 35292
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7177 0 0 0 81993 18 0 0 25 0 1 0 794222617 36421632 7100 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8892 7100 1111 63 0 8829 0
vsize: 35568
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7241 0 0 0 82992 18 0 0 25 0 1 0 794222617 36708352 7164 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8962 7164 1111 63 0 8899 0
vsize: 35848
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7309 0 0 0 83993 18 0 0 25 0 1 0 794222617 36986880 7232 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9030 7232 1111 63 0 8967 0
vsize: 36120
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7364 0 0 0 84993 18 0 0 25 0 1 0 794222617 37130240 7287 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9065 7287 1111 63 0 9002 0
vsize: 36260
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7432 0 0 0 85993 18 0 0 25 0 1 0 794222617 37412864 7355 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9134 7355 1111 63 0 9071 0
vsize: 36536
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7501 0 0 0 86993 19 0 0 25 0 1 0 794222617 37691392 7424 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9202 7424 1111 63 0 9139 0
vsize: 36808
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7582 0 0 0 87993 19 0 0 25 0 1 0 794222617 38129664 7505 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9309 7505 1111 63 0 9246 0
vsize: 37236
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7644 0 0 0 88993 19 0 0 25 0 1 0 794222617 38412288 7567 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9378 7567 1111 63 0 9315 0
vsize: 37512
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7713 0 0 0 89993 19 0 0 25 0 1 0 794222617 38694912 7636 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9447 7636 1111 63 0 9384 0
vsize: 37788
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7775 0 0 0 90993 19 0 0 25 0 1 0 794222617 38834176 7698 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9481 7698 1111 63 0 9418 0
vsize: 37924
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7838 0 0 0 91993 19 0 0 25 0 1 0 794222617 39112704 7761 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9549 7761 1111 63 0 9486 0
vsize: 38196
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7894 0 0 0 92993 19 0 0 25 0 1 0 794222617 39399424 7817 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9619 7817 1111 63 0 9556 0
vsize: 38476
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 7962 0 0 0 93993 20 0 0 25 0 1 0 794222617 39682048 7885 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9688 7885 1111 63 0 9625 0
vsize: 38752
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8024 0 0 0 94993 20 0 0 25 0 1 0 794222617 39960576 7947 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9756 7947 1111 63 0 9693 0
vsize: 39024
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8092 0 0 0 95993 20 0 0 25 0 1 0 794222617 40243200 8015 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9825 8015 1111 63 0 9762 0
vsize: 39300
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8156 0 0 0 96993 20 0 0 25 0 1 0 794222617 40386560 8079 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9860 8079 1111 63 0 9797 0
vsize: 39440
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8225 0 0 0 97993 20 0 0 25 0 1 0 794222617 40673280 8148 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9930 8148 1111 63 0 9867 0
vsize: 39720
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8287 0 0 0 98993 21 0 0 25 0 1 0 794222617 40951808 8210 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9998 8210 1111 63 0 9935 0
vsize: 39992
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8349 0 0 0 99993 21 0 0 25 0 1 0 794222617 41234432 8272 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10067 8272 1111 63 0 10004 0
vsize: 40268
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8411 0 0 0 100993 21 0 0 25 0 1 0 794222617 41512960 8334 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10135 8334 1111 63 0 10072 0
vsize: 40540
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8481 0 0 0 101993 21 0 0 25 0 1 0 794222617 41803776 8404 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10206 8404 1111 63 0 10143 0
vsize: 40824
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8542 0 0 0 102994 21 0 0 25 0 1 0 794222617 42082304 8465 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10274 8465 1111 63 0 10211 0
vsize: 41096
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8606 0 0 0 103994 21 0 0 25 0 1 0 794222617 42221568 8529 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10308 8529 1111 63 0 10245 0
vsize: 41232
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8674 0 0 0 104994 21 0 0 25 0 1 0 794222617 42504192 8597 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10377 8597 1111 63 0 10314 0
vsize: 41508
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8743 0 0 0 105994 21 0 0 25 0 1 0 794222617 42782720 8666 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10445 8666 1111 63 0 10382 0
vsize: 41780
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8799 0 0 0 106994 21 0 0 25 0 1 0 794222617 43069440 8722 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10515 8722 1111 63 0 10452 0
vsize: 42060
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8867 0 0 0 107994 21 0 0 25 0 1 0 794222617 43352064 8790 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10584 8790 1111 63 0 10521 0
vsize: 42336
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8924 0 0 0 108994 22 0 0 25 0 1 0 794222617 43634688 8847 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10653 8847 1111 63 0 10590 0
vsize: 42612
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 8991 0 0 0 109994 22 0 0 25 0 1 0 794222617 43913216 8914 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10721 8914 1111 63 0 10658 0
vsize: 42884
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9049 0 0 0 110994 22 0 0 25 0 1 0 794222617 44060672 8972 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10757 8972 1111 63 0 10694 0
vsize: 43028
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9117 0 0 0 111994 22 0 0 25 0 1 0 794222617 44343296 9040 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10826 9040 1111 63 0 10763 0
vsize: 43304
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9172 0 0 0 112994 22 0 0 25 0 1 0 794222617 44625920 9095 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10895 9095 1111 63 0 10832 0
vsize: 43580
[startup+1140.04 s]
Raw data (loadavg): 1.07 0.99 0.98 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9240 0 0 0 113994 22 0 0 25 0 1 0 794222617 44904448 9163 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10963 9163 1111 63 0 10900 0
vsize: 43852
[startup+1150.04 s]
Raw data (loadavg): 1.06 0.99 0.98 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9303 0 0 0 114994 22 0 0 25 0 1 0 794222617 45187072 9226 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11032 9226 1111 63 0 10969 0
vsize: 44128
[startup+1160.04 s]
Raw data (loadavg): 1.05 0.99 0.98 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9367 0 0 0 115994 22 0 0 25 0 1 0 794222617 45330432 9290 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11067 9290 1111 63 0 11004 0
vsize: 44268
[startup+1170.04 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9435 0 0 0 116994 23 0 0 25 0 1 0 794222617 45613056 9358 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11136 9358 1111 63 0 11073 0
vsize: 44544
[startup+1180.04 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9503 0 0 0 117994 23 0 0 25 0 1 0 794222617 45891584 9426 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11204 9426 1111 63 0 11141 0
vsize: 44816
[startup+1190.04 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9572 0 0 0 118994 23 0 0 25 0 1 0 794222617 46174208 9495 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11273 9495 1111 63 0 11210 0
vsize: 45092
[startup+1200.04 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 30492
Raw data (stat): 30492 (bsolo_lpr) R 30491 7876 7672 0 -1 0 9636 0 0 0 119994 23 0 0 25 0 1 0 794222617 46460928 9559 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11343 9559 1111 63 0 11280 0
vsize: 45372
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.02 0.99 0.98 1/55 30492
Raw data (stat): 30492 (bsolo_lpr) Z 30491 7876 7672 0 -1 1036 9636 0 0 0 119994 25 0 0 25 0 1 0 794222617 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.06
CPU time (s): 1200.2
CPU user time (s): 1199.95
CPU system time (s): 0.254961
CPU usage (%): 100.012
Max. virtual memory (Kb): 45372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####