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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb
MD5SUM	d607820afcd431f46941921bd45aecde
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06784
Number of variables	2726
Total number of constraints	4397
Number of constraints which are clauses	4397
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 24277

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 08:58:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2044 boxname=wulflinc31 idbench=228 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  d607820afcd431f46941921bd45aecde  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-158.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-158.opb
IDLAUNCH: 2044
/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:        139424 kB
Buffers:         43848 kB
Cached:         816796 kB
SwapCached:        644 kB
Active:         490164 kB
Inactive:       372784 kB
HighTotal:      131008 kB
HighFree:         1708 kB
LowTotal:       903652 kB
LowFree:        137716 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             100 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26432 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 09:18:37 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2044 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2726 variables and 4397 constraints.
#### 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 1.00 0.99 2/54 26964
Raw data (stat): 26964 (runsolver) R 26963 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 699345624 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.0014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 41762 0 0 0 890 106 0 0 25 0 1 0 699345624 17424384 3411 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3411 1111 63 0 4191 0
vsize: 17016
[startup+20.0018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 66202 0 0 0 1834 162 0 0 25 0 1 0 699345624 28008448 5982 4294967295 134512640 134714508 3221221792 3221220284 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6838 5982 1111 63 0 6775 0
vsize: 27352
[startup+30.0018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 87757 0 0 0 2786 210 0 0 25 0 1 0 699345624 33357824 7301 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8144 7301 1111 63 0 8081 0
vsize: 32576
[startup+40.0022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 96663 0 0 0 3764 232 0 0 25 0 1 0 699345624 38600704 8581 4294967295 134512640 134714508 3221221792 3221220256 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9424 8581 1111 63 0 9361 0
vsize: 37696
[startup+50.0031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 104563 0 0 0 4747 250 0 0 25 0 1 0 699345624 42897408 9614 4294967295 134512640 134714508 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10473 9614 1111 63 0 10410 0
vsize: 41892
[startup+60.0037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 115977 0 0 0 5720 277 0 0 25 0 1 0 699345624 46112768 10385 4294967295 134512640 134714508 3221221792 3221220416 134529225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11258 10385 1111 63 0 11195 0
vsize: 45032
[startup+70.0051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 123390 0 0 0 6704 293 0 0 25 0 1 0 699345624 49442816 11228 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12071 11228 1111 63 0 12008 0
vsize: 48284
[startup+80.0056 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 127523 0 0 0 7695 302 0 0 25 0 1 0 699345624 52088832 11861 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12717 11861 1111 63 0 12654 0
vsize: 50868
[startup+90.0055 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 131040 0 0 0 8688 310 0 0 25 0 1 0 699345624 54521856 12457 4294967295 134512640 134714508 3221221792 3221220408 134543830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13311 12457 1111 63 0 13248 0
vsize: 53244
[startup+100.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 134377 0 0 0 9680 318 0 0 25 0 1 0 699345624 57495552 13167 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14037 13167 1111 63 0 13974 0
vsize: 56148
[startup+110.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 137357 0 0 0 10673 325 0 0 25 0 1 0 699345624 59031552 13569 4294967295 134512640 134714508 3221221792 3221220124 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14412 13569 1111 63 0 14349 0
vsize: 57648
[startup+120.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 149062 0 0 0 11644 354 0 0 25 0 1 0 699345624 61333504 14117 4294967295 134512640 134714508 3221221792 3221220368 134523974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14974 14117 1111 63 0 14911 0
vsize: 59896
[startup+130.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 150541 0 0 0 12640 358 0 0 25 0 1 0 699345624 61190144 14096 4294967295 134512640 134714508 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14939 14096 1111 63 0 14876 0
vsize: 59756
[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 153295 0 0 0 13634 364 0 0 25 0 1 0 699345624 63660032 14691 4294967295 134512640 134714508 3221221792 3221220296 134539345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15542 14691 1111 63 0 15479 0
vsize: 62168
[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 157161 0 0 0 14626 373 0 0 25 0 1 0 699345624 64860160 14992 4294967295 134512640 134714508 3221221792 3221220208 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15835 14992 1111 63 0 15772 0
vsize: 63340
[startup+160.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 160119 0 0 0 15620 379 0 0 25 0 1 0 699345624 65892352 15244 4294967295 134512640 134714508 3221221792 3221220320 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16087 15244 1111 63 0 16024 0
vsize: 64348
[startup+170.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 164754 0 0 0 16609 390 0 0 25 0 1 0 699345624 68788224 15922 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16794 15922 1111 63 0 16731 0
vsize: 67176
[startup+180.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 167299 0 0 0 17603 396 0 0 25 0 1 0 699345624 70144000 16282 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17125 16282 1111 63 0 17062 0
vsize: 68500
[startup+190.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 169045 0 0 0 18599 401 0 0 25 0 1 0 699345624 71008256 16493 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17336 16493 1111 63 0 17273 0
vsize: 69344
[startup+200.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 172127 0 0 0 19592 408 0 0 25 0 1 0 699345624 72155136 16773 4294967295 134512640 134714508 3221221792 3221220200 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17616 16773 1111 63 0 17553 0
vsize: 70464
[startup+210.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 174861 0 0 0 20586 414 0 0 25 0 1 0 699345624 74616832 17364 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18217 17364 1111 63 0 18154 0
vsize: 72868
[startup+220.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 178580 0 0 0 21577 423 0 0 25 0 1 0 699345624 74665984 17386 4294967295 134512640 134714508 3221221792 3221220156 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18229 17386 1111 63 0 18166 0
vsize: 72916
[startup+230.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 182117 0 0 0 22569 431 0 0 25 0 1 0 699345624 77414400 18057 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18900 18057 1111 63 0 18837 0
vsize: 75600
[startup+240.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 183122 0 0 0 23566 435 0 0 25 0 1 0 699345624 78548992 18308 4294967295 134512640 134714508 3221221792 3221220416 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19177 18308 1111 63 0 19114 0
vsize: 76708
[startup+250.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 186276 0 0 0 24558 442 0 0 25 0 1 0 699345624 79982592 18676 4294967295 134512640 134714508 3221221792 3221220396 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19527 18676 1111 63 0 19464 0
vsize: 78108
[startup+260.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 186772 0 0 0 25557 444 0 0 25 0 1 0 699345624 80736256 18863 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19711 18863 1111 63 0 19648 0
vsize: 78844
[startup+270.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 188162 0 0 0 26553 448 0 0 25 0 1 0 699345624 80588800 18832 4294967295 134512640 134714508 3221221792 3221220212 134542821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19675 18832 1111 63 0 19612 0
vsize: 78700
[startup+280.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 194754 0 0 0 27538 463 0 0 25 0 1 0 699345624 83070976 19433 4294967295 134512640 134714508 3221221792 3221220208 134538956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20281 19433 1111 63 0 20218 0
vsize: 81124
[startup+290.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 195987 0 0 0 28535 466 0 0 25 0 1 0 699345624 83505152 19544 4294967295 134512640 134714508 3221221792 3221220200 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20387 19544 1111 63 0 20324 0
vsize: 81548
[startup+300.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 198435 0 0 0 29529 472 0 0 25 0 1 0 699345624 85106688 19929 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20778 19929 1111 63 0 20715 0
vsize: 83112
[startup+310.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 200261 0 0 0 30526 476 0 0 25 0 1 0 699345624 86122496 20164 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21026 20164 1111 63 0 20963 0
vsize: 84104
[startup+320.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 204034 0 0 0 31518 485 0 0 25 0 1 0 699345624 87044096 20400 4294967295 134512640 134714508 3221221792 3221220368 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21251 20400 1111 63 0 21188 0
vsize: 85004
[startup+330.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 207021 0 0 0 32510 492 0 0 25 0 1 0 699345624 88256512 20671 4294967295 134512640 134714508 3221221792 3221220188 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21547 20672 1111 63 0 21484 0
vsize: 86188
[startup+340.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 209356 0 0 0 33504 498 0 0 25 0 1 0 699345624 89767936 21049 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21916 21049 1111 63 0 21853 0
vsize: 87664
[startup+350.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 210365 0 0 0 34502 500 0 0 25 0 1 0 699345624 90730496 21284 4294967295 134512640 134714508 3221221792 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22151 21284 1111 63 0 22088 0
vsize: 88604
[startup+360.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 211486 0 0 0 35499 504 0 0 25 0 1 0 699345624 91611136 21501 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22366 21501 1111 63 0 22303 0
vsize: 89464
[startup+370.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 212584 0 0 0 36497 506 0 0 25 0 1 0 699345624 92504064 21730 4294967295 134512640 134714508 3221221792 3221220592 134617608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22584 21730 1111 63 0 22521 0
vsize: 90336
[startup+380.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 214263 0 0 0 37493 510 0 0 25 0 1 0 699345624 92020736 21623 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22466 21623 1111 63 0 22403 0
vsize: 89864
[startup+390.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 216381 0 0 0 38488 515 0 0 25 0 1 0 699345624 94326784 22162 4294967295 134512640 134714508 3221221792 3221220264 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23029 22162 1111 63 0 22966 0
vsize: 92116
[startup+400.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 218138 0 0 0 39484 519 0 0 25 0 1 0 699345624 93659136 22019 4294967295 134512640 134714508 3221221792 3221220188 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22866 22019 1111 63 0 22803 0
vsize: 91464
[startup+410.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 225407 0 0 0 40466 538 0 0 25 0 1 0 699345624 96337920 22658 4294967295 134512640 134714508 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23520 22658 1111 63 0 23457 0
vsize: 94080
[startup+420.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 226520 0 0 0 41463 541 0 0 25 0 1 0 699345624 96243712 22654 4294967295 134512640 134714508 3221221792 3221220124 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23497 22654 1111 63 0 23434 0
vsize: 93988
[startup+430.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 228255 0 0 0 42460 544 0 0 25 0 1 0 699345624 97849344 23014 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23889 23014 1111 63 0 23826 0
vsize: 95556
[startup+440.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 230044 0 0 0 43456 548 0 0 25 0 1 0 699345624 99024896 23331 4294967295 134512640 134714508 3221221792 3221220368 134523974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24176 23331 1111 63 0 24113 0
vsize: 96704
[startup+450.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 230493 0 0 0 44455 549 0 0 25 0 1 0 699345624 99090432 23349 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24192 23349 1111 63 0 24129 0
vsize: 96768
[startup+460.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 231115 0 0 0 45454 551 0 0 25 0 1 0 699345624 99598336 23473 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24316 23473 1111 63 0 24253 0
vsize: 97264
[startup+470.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 232923 0 0 0 46450 555 0 0 25 0 1 0 699345624 99598336 23473 4294967295 134512640 134714508 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24316 23473 1111 63 0 24253 0
vsize: 97264
[startup+480.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 234009 0 0 0 47447 558 0 0 25 0 1 0 699345624 101527552 23938 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24787 23938 1111 63 0 24724 0
vsize: 99148
[startup+490.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 235622 0 0 0 48443 562 0 0 25 0 1 0 699345624 102371328 24140 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24993 24140 1111 63 0 24930 0
vsize: 99972
[startup+500.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 239052 0 0 0 49434 571 0 0 25 0 1 0 699345624 101900288 24035 4294967295 134512640 134714508 3221221792 3221220320 134528702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24878 24035 1111 63 0 24815 0
vsize: 99512
[startup+510.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 240716 0 0 0 50431 574 0 0 25 0 1 0 699345624 102236160 24108 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24960 24108 1111 63 0 24897 0
vsize: 99840
[startup+520.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 243124 0 0 0 51425 581 0 0 25 0 1 0 699345624 103702528 24475 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25318 24475 1111 63 0 25255 0
vsize: 101272
[startup+530.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 247739 0 0 0 52414 592 0 0 25 0 1 0 699345624 105037824 24772 4294967295 134512640 134714508 3221221792 3221220296 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25644 24772 1111 63 0 25581 0
vsize: 102576
[startup+540.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 248299 0 0 0 53413 593 0 0 25 0 1 0 699345624 105746432 24950 4294967295 134512640 134714508 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25817 24950 1111 63 0 25754 0
vsize: 103268
[startup+550.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 250221 0 0 0 54409 598 0 0 25 0 1 0 699345624 106233856 25088 4294967295 134512640 134714508 3221221792 3221220520 134672921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25936 25088 1111 63 0 25873 0
vsize: 103744
[startup+560.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 259330 0 0 0 55385 621 0 0 25 0 1 0 699345624 107151360 25282 4294967295 134512640 134714508 3221221792 3221220188 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26160 25288 1111 63 0 26097 0
vsize: 104640
[startup+570.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 280316 0 0 0 56336 671 0 0 25 0 1 0 699345624 108240896 25556 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26426 25556 1111 63 0 26363 0
vsize: 105704
[startup+580.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 280929 0 0 0 57334 673 0 0 25 0 1 0 699345624 108666880 25682 4294967295 134512640 134714508 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26530 25682 1111 63 0 26467 0
vsize: 106120
[startup+590.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 281975 0 0 0 58331 676 0 0 25 0 1 0 699345624 107958272 25514 4294967295 134512640 134714508 3221221792 3221220204 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26357 25514 1111 63 0 26294 0
vsize: 105428
[startup+600.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 283768 0 0 0 59327 680 0 0 25 0 1 0 699345624 110034944 25989 4294967295 134512640 134714508 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26864 25989 1111 63 0 26801 0
vsize: 107456
[startup+610.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 285913 0 0 0 60322 686 0 0 25 0 1 0 699345624 109539328 25900 4294967295 134512640 134714508 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26743 25900 1111 63 0 26680 0
vsize: 106972
[startup+620.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 288571 0 0 0 61316 692 0 0 25 0 1 0 699345624 110964736 26232 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27091 26232 1111 63 0 27028 0
vsize: 108364
[startup+630.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 290430 0 0 0 62311 697 0 0 25 0 1 0 699345624 111656960 26396 4294967295 134512640 134714508 3221221792 3221220524 134672896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27260 26396 1111 63 0 27197 0
vsize: 109040
[startup+640.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 291083 0 0 0 63309 699 0 0 25 0 1 0 699345624 111173632 26299 4294967295 134512640 134714508 3221221792 3221220272 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27142 26299 1111 63 0 27079 0
vsize: 108568
[startup+650.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 292496 0 0 0 64305 703 0 0 25 0 1 0 699345624 112685056 26639 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27511 26639 1111 63 0 27448 0
vsize: 110044
[startup+660.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 293006 0 0 0 65305 704 0 0 25 0 1 0 699345624 113061888 26749 4294967295 134512640 134714508 3221221792 3221220404 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27603 26749 1111 63 0 27540 0
vsize: 110412
[startup+670.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 294916 0 0 0 66300 709 0 0 25 0 1 0 699345624 112635904 26656 4294967295 134512640 134714508 3221221792 3221220272 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27499 26656 1111 63 0 27436 0
vsize: 109996
[startup+680.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 295976 0 0 0 67297 712 0 0 25 0 1 0 699345624 114257920 27033 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27895 27033 1111 63 0 27832 0
vsize: 111580
[startup+690.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 296712 0 0 0 68296 713 0 0 25 0 1 0 699345624 114683904 27152 4294967295 134512640 134714508 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27999 27152 1111 63 0 27936 0
vsize: 111996
[startup+700.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 297635 0 0 0 69293 717 0 0 25 0 1 0 699345624 114700288 27160 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28003 27160 1111 63 0 27940 0
vsize: 112012
[startup+710.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 299284 0 0 0 70290 720 0 0 25 0 1 0 699345624 115695616 27379 4294967295 134512640 134714508 3221221792 3221220416 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28246 27379 1111 63 0 28183 0
vsize: 112984
[startup+720.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 303001 0 0 0 71281 728 0 0 25 0 1 0 699345624 116117504 27488 4294967295 134512640 134714508 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28349 27488 1111 63 0 28286 0
vsize: 113396
[startup+730.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 307173 0 0 0 72272 738 0 0 25 0 1 0 699345624 115236864 27272 4294967295 134512640 134714508 3221221792 3221220208 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28134 27272 1111 63 0 28071 0
vsize: 112536
[startup+740.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 307940 0 0 0 73270 740 0 0 25 0 1 0 699345624 116322304 27556 4294967295 134512640 134714508 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28399 27556 1111 63 0 28336 0
vsize: 113596
[startup+750.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 310119 0 0 0 74265 745 0 0 25 0 1 0 699345624 117600256 27855 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27855 1111 63 0 28648 0
vsize: 114844
[startup+760.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 311520 0 0 0 75262 748 0 0 25 0 1 0 699345624 118087680 27966 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28830 27966 1111 63 0 28767 0
vsize: 115320
[startup+770.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 312484 0 0 0 76260 751 0 0 25 0 1 0 699345624 118489088 28069 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28928 28069 1111 63 0 28865 0
vsize: 115712
[startup+780.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 312895 0 0 0 77259 752 0 0 25 0 1 0 699345624 118886400 28174 4294967295 134512640 134714508 3221221792 3221220368 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29025 28174 1111 63 0 28962 0
vsize: 116100
[startup+790.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 316160 0 0 0 78252 759 0 0 25 0 1 0 699345624 119304192 28268 4294967295 134512640 134714508 3221221792 3221220352 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29127 28268 1111 63 0 29064 0
vsize: 116508
[startup+800.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 316833 0 0 0 79251 760 0 0 25 0 1 0 699345624 118743040 28147 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28990 28147 1111 63 0 28927 0
vsize: 115960
[startup+810.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 318294 0 0 0 80248 764 0 0 25 0 1 0 699345624 119668736 28373 4294967295 134512640 134714508 3221221792 3221220320 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29216 28373 1111 63 0 29153 0
vsize: 116864
[startup+820.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 318862 0 0 0 81246 765 0 0 25 0 1 0 699345624 119668736 28373 4294967295 134512640 134714508 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29216 28373 1111 63 0 29153 0
vsize: 116864
[startup+830.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 320672 0 0 0 82243 769 0 0 25 0 1 0 699345624 120320000 28532 4294967295 134512640 134714508 3221221792 3221220156 134539217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29375 28532 1111 63 0 29312 0
vsize: 117500
[startup+840.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 321693 0 0 0 83240 772 0 0 25 0 1 0 699345624 121028608 28689 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29548 28689 1111 63 0 29485 0
vsize: 118192
[startup+850.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 325915 0 0 0 84229 783 0 0 25 0 1 0 699345624 120320000 28532 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29375 28532 1111 63 0 29312 0
vsize: 117500
[startup+860.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 343120 0 0 0 85189 823 0 0 25 0 1 0 699345624 122589184 29086 4294967295 134512640 134714508 3221221792 3221220184 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29929 29086 1111 63 0 29866 0
vsize: 119716
[startup+870.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 343223 0 0 0 86189 823 0 0 25 0 1 0 699345624 122589184 29086 4294967295 134512640 134714508 3221221792 3221220148 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29929 29086 1111 63 0 29866 0
vsize: 119716
[startup+880.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 343701 0 0 0 87188 825 0 0 25 0 1 0 699345624 122589184 29086 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29929 29086 1111 63 0 29866 0
vsize: 119716
[startup+890.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 344552 0 0 0 88186 827 0 0 25 0 1 0 699345624 122589184 29086 4294967295 134512640 134714508 3221221792 3221220320 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29929 29086 1111 63 0 29866 0
vsize: 119716
[startup+900.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 345494 0 0 0 89184 829 0 0 25 0 1 0 699345624 123994112 29410 4294967295 134512640 134714508 3221221792 3221220260 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30272 29410 1111 63 0 30209 0
vsize: 121088
[startup+910.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 345982 0 0 0 90183 830 0 0 25 0 1 0 699345624 124411904 29510 4294967295 134512640 134714508 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30374 29510 1111 63 0 30311 0
vsize: 121496
[startup+920.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 346678 0 0 0 91181 832 0 0 25 0 1 0 699345624 124719104 29593 4294967295 134512640 134714508 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30449 29593 1111 63 0 30386 0
vsize: 121796
[startup+930.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 347725 0 0 0 92179 835 0 0 25 0 1 0 699345624 125145088 29688 4294967295 134512640 134714508 3221221792 3221220256 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30553 29688 1111 63 0 30490 0
vsize: 122212
[startup+940.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 349094 0 0 0 93176 838 0 0 25 0 1 0 699345624 125386752 29767 4294967295 134512640 134714508 3221221792 3221220272 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30612 29767 1111 63 0 30549 0
vsize: 122448
[startup+950.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 349844 0 0 0 94174 840 0 0 25 0 1 0 699345624 125894656 29861 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30736 29861 1111 63 0 30673 0
vsize: 122944
[startup+960.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 350432 0 0 0 95173 841 0 0 25 0 1 0 699345624 125186048 29720 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30563 29720 1111 63 0 30500 0
vsize: 122252
[startup+970.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 351487 0 0 0 96171 843 0 0 25 0 1 0 699345624 125186048 29720 4294967295 134512640 134714508 3221221792 3221220260 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30563 29720 1111 63 0 30500 0
vsize: 122252
[startup+980.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 352875 0 0 0 97167 847 0 0 25 0 1 0 699345624 125386752 29769 4294967295 134512640 134714508 3221221792 3221220124 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30612 29769 1111 63 0 30549 0
vsize: 122448
[startup+990.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 354268 0 0 0 98164 851 0 0 25 0 1 0 699345624 127217664 30189 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31059 30189 1111 63 0 30996 0
vsize: 124236
[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 357754 0 0 0 99156 859 0 0 25 0 1 0 699345624 127504384 30281 4294967295 134512640 134714508 3221221792 3221220256 134539437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31129 30281 1111 63 0 31066 0
vsize: 124516
[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 358161 0 0 0 100155 860 0 0 25 0 1 0 699345624 127868928 30362 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31218 30362 1111 63 0 31155 0
vsize: 124872
[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 358397 0 0 0 101155 860 0 0 25 0 1 0 699345624 127586304 30306 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31149 30306 1111 63 0 31086 0
vsize: 124596
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 359009 0 0 0 102154 862 0 0 25 0 1 0 699345624 127586304 30306 4294967295 134512640 134714508 3221221792 3221220204 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31149 30306 1111 63 0 31086 0
vsize: 124596
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 359939 0 0 0 103151 864 0 0 25 0 1 0 699345624 128720896 30554 4294967295 134512640 134714508 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31426 30554 1111 63 0 31363 0
vsize: 125704
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 360852 0 0 0 104150 866 0 0 25 0 1 0 699345624 129007616 30638 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31496 30638 1111 63 0 31433 0
vsize: 125984
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 361333 0 0 0 105149 867 0 0 25 0 1 0 699345624 129077248 30670 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31513 30670 1111 63 0 31450 0
vsize: 126052
[startup+1070.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 362187 0 0 0 106147 869 0 0 25 0 1 0 699345624 130113536 30923 4294967295 134512640 134714508 3221221792 3221220272 134523856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31766 30923 1111 63 0 31703 0
vsize: 127064
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 362560 0 0 0 107146 870 0 0 25 0 1 0 699345624 130682880 31054 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31905 31054 1111 63 0 31842 0
vsize: 127620
[startup+1090.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 364505 0 0 0 108142 875 0 0 25 0 1 0 699345624 131244032 31170 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32042 31170 1111 63 0 31979 0
vsize: 128168
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 365010 0 0 0 109140 876 0 0 25 0 1 0 699345624 131162112 31179 4294967295 134512640 134714508 3221221792 3221220224 134523171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32022 31179 1111 63 0 31959 0
vsize: 128088
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 365339 0 0 0 110140 877 0 0 25 0 1 0 699345624 131727360 31285 4294967295 134512640 134714508 3221221792 3221220348 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32160 31285 1111 63 0 32097 0
vsize: 128640
[startup+1120.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 365556 0 0 0 111139 877 0 0 25 0 1 0 699345624 131989504 31354 4294967295 134512640 134714508 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32224 31354 1111 63 0 32161 0
vsize: 128896
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 365864 0 0 0 112139 878 0 0 25 0 1 0 699345624 131756032 31324 4294967295 134512640 134714508 3221221792 3221220320 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32167 31324 1111 63 0 32104 0
vsize: 128668
[startup+1140.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 366357 0 0 0 113138 879 0 0 25 0 1 0 699345624 132464640 31478 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32340 31478 1111 63 0 32277 0
vsize: 129360
[startup+1150.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 368621 0 0 0 114133 885 0 0 25 0 1 0 699345624 132747264 31553 4294967295 134512640 134714508 3221221792 3221220592 134617622 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32409 31553 1111 63 0 32346 0
vsize: 129636
[startup+1160.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 369360 0 0 0 115130 887 0 0 25 0 1 0 699345624 131756032 31324 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32167 31324 1111 63 0 32104 0
vsize: 128668
[startup+1170.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 370589 0 0 0 116127 890 0 0 25 0 1 0 699345624 133169152 31653 4294967295 134512640 134714508 3221221792 3221220264 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32512 31653 1111 63 0 32449 0
vsize: 130048
[startup+1180.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 370674 0 0 0 117127 890 0 0 25 0 1 0 699345624 133169152 31669 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32512 31669 1111 63 0 32449 0
vsize: 130048
[startup+1190.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 370964 0 0 0 118127 891 0 0 25 0 1 0 699345624 133595136 31770 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32616 31770 1111 63 0 32553 0
vsize: 130464
[startup+1200.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 26964
Raw data (stat): 26964 (bsolo_lpr) R 26963 7876 7672 0 -1 0 371520 0 0 0 119126 892 0 0 25 0 1 0 699345624 133877760 31839 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32685 31839 1111 63 0 32622 0
vsize: 130740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 1.00 0.99 1/54 26964
Raw data (stat): 26964 (bsolo_lpr) Z 26963 7876 7672 0 -1 1036 371520 0 0 0 119126 898 0 0 25 0 1 0 699345624 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.11
CPU time (s): 1200.25
CPU user time (s): 1191.26
CPU system time (s): 8.98563
CPU usage (%): 100.012
Max. virtual memory (Kb): 130740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####