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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb
MD5SUM	2e76b80d3e2b7702736bbbb87d69e547
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	75000
Biggest coefficient in the objective function	20812800
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	5499924834
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	20812800
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	5499924834
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.850869
Number of variables	87000
Total number of constraints	10525
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	10525
Minimum length of a constraint	7
Maximum length of a constraint	87000
Trace number 26050

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 22:50:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15796 boxname=wulflinc31 idbench=1216 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  2e76b80d3e2b7702736bbbb87d69e547  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit2d.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit2d.opb
IDLAUNCH: 15796
/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:        697304 kB
Buffers:         15156 kB
Cached:         301052 kB
SwapCached:       1352 kB
Active:         244908 kB
Inactive:        73856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        697052 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            12880 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 23:10:20 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 15796 7 1200.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.07 0.99 0.91 2/55 19056
Raw data (stat): 19056 (runsolver) R 19055 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 825310402 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 1418 0 0 0 990 4 0 0 25 0 1 0 825310402 17469440 1341 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4265 1341 1111 63 0 4202 0
vsize: 17060
[startup+20.0021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 1982 0 0 0 1989 5 0 0 25 0 1 0 825310402 19673088 1905 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4803 1905 1111 63 0 4740 0
vsize: 19212
[startup+30.002 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 2554 0 0 0 2988 6 0 0 25 0 1 0 825310402 22069248 2477 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5388 2477 1111 63 0 5325 0
vsize: 21552
[startup+40.0033 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 3124 0 0 0 3987 8 0 0 25 0 1 0 825310402 24457216 3047 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5971 3047 1111 63 0 5908 0
vsize: 23884
[startup+50.0039 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 3699 0 0 0 4987 9 0 0 25 0 1 0 825310402 26812416 3622 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6546 3622 1111 63 0 6483 0
vsize: 26184
[startup+60.0048 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 4276 0 0 0 5985 11 0 0 25 0 1 0 825310402 29179904 4199 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7124 4199 1111 63 0 7061 0
vsize: 28496
[startup+70.0047 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 4854 0 0 0 6983 12 0 0 25 0 1 0 825310402 31543296 4777 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7701 4777 1111 63 0 7638 0
vsize: 30804
[startup+80.0046 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 5430 0 0 0 7982 14 0 0 25 0 1 0 825310402 33796096 5353 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8251 5353 1111 63 0 8188 0
vsize: 33004
[startup+90.0046 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 6018 0 0 0 8981 15 0 0 25 0 1 0 825310402 36184064 5941 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8834 5941 1111 63 0 8771 0
vsize: 35336
[startup+100.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 6601 0 0 0 9980 16 0 0 25 0 1 0 825310402 38694912 6524 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9447 6524 1111 63 0 9384 0
vsize: 37788
[startup+110.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 7184 0 0 0 10979 18 0 0 25 0 1 0 825310402 41082880 7107 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10030 7107 1111 63 0 9967 0
vsize: 40120
[startup+120.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 7775 0 0 0 11978 19 0 0 25 0 1 0 825310402 43470848 7698 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10613 7698 1111 63 0 10550 0
vsize: 42452
[startup+130.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 8365 0 0 0 12976 20 0 0 25 0 1 0 825310402 45858816 8288 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11196 8288 1111 63 0 11133 0
vsize: 44784
[startup+140.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 8949 0 0 0 13975 22 0 0 25 0 1 0 825310402 48218112 8872 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11772 8872 1111 63 0 11709 0
vsize: 47088
[startup+150.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 9551 0 0 0 14973 24 0 0 25 0 1 0 825310402 50733056 9474 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12386 9474 1111 63 0 12323 0
vsize: 49544
[startup+160.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 10147 0 0 0 15971 26 0 0 25 0 1 0 825310402 53145600 10070 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12975 10070 1111 63 0 12912 0
vsize: 51900
[startup+170.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 10738 0 0 0 16970 28 0 0 25 0 1 0 825310402 55644160 10661 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13585 10661 1111 63 0 13522 0
vsize: 54340
[startup+180.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 11340 0 0 0 17968 30 0 0 25 0 1 0 825310402 58028032 11263 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 11263 1111 63 0 14104 0
vsize: 56668
[startup+190.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 11941 0 0 0 18966 32 0 0 25 0 1 0 825310402 60571648 11864 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14788 11864 1111 63 0 14725 0
vsize: 59152
[startup+200.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 12555 0 0 0 19964 34 0 0 25 0 1 0 825310402 63078400 12478 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15400 12478 1111 63 0 15337 0
vsize: 61600
[startup+210.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 13157 0 0 0 20963 35 0 0 25 0 1 0 825310402 65470464 13080 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15984 13080 1111 63 0 15921 0
vsize: 63936
[startup+220.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 13768 0 0 0 21962 37 0 0 25 0 1 0 825310402 67989504 13691 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16599 13691 1111 63 0 16536 0
vsize: 66396
[startup+230.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 14382 0 0 0 22960 38 0 0 25 0 1 0 825310402 70504448 14305 4294967295 134512640 134714508 3221221776 3221220052 1077314255 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17213 14305 1111 63 0 17150 0
vsize: 68852
[startup+240.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 14998 0 0 0 23959 39 0 0 25 0 1 0 825310402 73052160 14921 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17835 14921 1111 63 0 17772 0
vsize: 71340
[startup+250.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 15607 0 0 0 24958 41 0 0 25 0 1 0 825310402 75591680 15530 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18455 15530 1111 63 0 18392 0
vsize: 73820
[startup+260.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 16231 0 0 0 25956 43 0 0 25 0 1 0 825310402 78114816 16154 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 16154 1111 63 0 19008 0
vsize: 76284
[startup+270.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 16846 0 0 0 26955 44 0 0 25 0 1 0 825310402 80633856 16769 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19686 16769 1111 63 0 19623 0
vsize: 78744
[startup+280.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 17467 0 0 0 27953 46 0 0 25 0 1 0 825310402 83173376 17390 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20306 17390 1111 63 0 20243 0
vsize: 81224
[startup+290.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 18095 0 0 0 28952 48 0 0 25 0 1 0 825310402 85716992 18018 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20927 18018 1111 63 0 20864 0
vsize: 83708
[startup+300.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 18718 0 0 0 29951 49 0 0 25 0 1 0 825310402 88240128 18641 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21543 18641 1111 63 0 21480 0
vsize: 86172
[startup+310.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 19347 0 0 0 30949 50 0 0 25 0 1 0 825310402 90914816 19270 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22196 19270 1111 63 0 22133 0
vsize: 88784
[startup+320.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 19981 0 0 0 31948 51 0 0 25 0 1 0 825310402 93458432 19904 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22817 19904 1111 63 0 22754 0
vsize: 91268
[startup+330.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 20622 0 0 0 32947 53 0 0 25 0 1 0 825310402 95997952 20545 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23437 20545 1111 63 0 23374 0
vsize: 93748
[startup+340.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 21264 0 0 0 33946 54 0 0 25 0 1 0 825310402 98656256 21187 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24086 21187 1111 63 0 24023 0
vsize: 96344
[startup+350.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 21904 0 0 0 34945 55 0 0 25 0 1 0 825310402 101355520 21827 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24745 21827 1111 63 0 24682 0
vsize: 98980
[startup+360.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 22551 0 0 0 35944 56 0 0 25 0 1 0 825310402 104030208 22474 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25398 22474 1111 63 0 25335 0
vsize: 101592
[startup+370.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 23226 0 0 0 36943 58 0 0 25 0 1 0 825310402 106831872 23149 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26082 23149 1111 63 0 26019 0
vsize: 104328
[startup+380.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 23877 0 0 0 37941 59 0 0 25 0 1 0 825310402 109494272 23800 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26732 23800 1111 63 0 26669 0
vsize: 106928
[startup+390.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 24525 0 0 0 38940 61 0 0 25 0 1 0 825310402 112168960 24448 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27385 24448 1111 63 0 27322 0
vsize: 109540
[startup+400.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 25192 0 0 0 39939 62 0 0 25 0 1 0 825310402 114847744 25115 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28039 25115 1111 63 0 27976 0
vsize: 112156
[startup+410.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 25839 0 0 0 40938 63 0 0 25 0 1 0 825310402 117522432 25762 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28692 25762 1111 63 0 28629 0
vsize: 114768
[startup+420.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 26507 0 0 0 41938 64 0 0 25 0 1 0 825310402 120197120 26430 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29345 26430 1111 63 0 29282 0
vsize: 117380
[startup+430.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 27180 0 0 0 42936 65 0 0 25 0 1 0 825310402 123006976 27103 4294967295 134512640 134714508 3221221776 3221218524 1077091271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30031 27103 1111 63 0 29968 0
vsize: 120124
[startup+440.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 27841 0 0 0 43935 67 0 0 25 0 1 0 825310402 125706240 27764 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30690 27764 1111 63 0 30627 0
vsize: 122760
[startup+450.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 28513 0 0 0 44934 68 0 0 25 0 1 0 825310402 128405504 28436 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31349 28436 1111 63 0 31286 0
vsize: 125396
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 29188 0 0 0 45932 70 0 0 25 0 1 0 825310402 131219456 29111 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32036 29111 1111 63 0 31973 0
vsize: 128144
[startup+470.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 29860 0 0 0 46931 71 0 0 25 0 1 0 825310402 133914624 29783 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32694 29783 1111 63 0 32631 0
vsize: 130776
[startup+480.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 30534 0 0 0 47930 72 0 0 25 0 1 0 825310402 136744960 30457 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33385 30457 1111 63 0 33322 0
vsize: 133540
[startup+490.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 31220 0 0 0 48929 74 0 0 25 0 1 0 825310402 139554816 31143 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34071 31143 1111 63 0 34008 0
vsize: 136284
[startup+500.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 31894 0 0 0 49928 75 0 0 25 0 1 0 825310402 142233600 31817 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34725 31817 1111 63 0 34662 0
vsize: 138900
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 32573 0 0 0 50927 76 0 0 25 0 1 0 825310402 145063936 32496 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35416 32496 1111 63 0 35353 0
vsize: 141664
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 33273 0 0 0 51925 78 0 0 25 0 1 0 825310402 147873792 33196 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36102 33196 1111 63 0 36039 0
vsize: 144408
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 33952 0 0 0 52924 80 0 0 25 0 1 0 825310402 150700032 33875 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36792 33875 1111 63 0 36729 0
vsize: 147168
[startup+540.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 34653 0 0 0 53922 82 0 0 25 0 1 0 825310402 153538560 34576 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37485 34576 1111 63 0 37422 0
vsize: 149940
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 35344 0 0 0 54921 82 0 0 25 0 1 0 825310402 156368896 35267 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38176 35267 1111 63 0 38113 0
vsize: 152704
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 36037 0 0 0 55920 83 0 0 25 0 1 0 825310402 159199232 35960 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38867 35960 1111 63 0 38804 0
vsize: 155468
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 36742 0 0 0 56919 85 0 0 25 0 1 0 825310402 162164736 36665 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39591 36665 1111 63 0 39528 0
vsize: 158364
[startup+580.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19056
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 37448 0 0 0 57918 87 0 0 25 0 1 0 825310402 164999168 37371 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40283 37371 1111 63 0 40220 0
vsize: 161132
[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 19103
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 38147 0 0 0 58916 89 0 0 25 0 1 0 825310402 167809024 38070 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40969 38070 1111 63 0 40906 0
vsize: 163876
[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19109
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 38852 0 0 0 59914 90 0 0 25 0 1 0 825310402 170795008 38775 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41698 38775 1111 63 0 41635 0
vsize: 166792
[startup+610.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19109
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 39556 0 0 0 60913 92 0 0 25 0 1 0 825310402 173625344 39479 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42389 39479 1111 63 0 42326 0
vsize: 169556
[startup+620.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19109
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 40239 0 0 0 61912 93 0 0 25 0 1 0 825310402 176439296 40162 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43076 40162 1111 63 0 43013 0
vsize: 172304
[startup+630.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19109
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 40943 0 0 0 62911 94 0 0 25 0 1 0 825310402 179294208 40866 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43773 40866 1111 63 0 43710 0
vsize: 175092
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19109
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 41662 0 0 0 63909 95 0 0 25 0 1 0 825310402 182259712 41585 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44497 41585 1111 63 0 44434 0
vsize: 177988
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19109
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 42379 0 0 0 64908 97 0 0 25 0 1 0 825310402 185249792 42302 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45227 42302 1111 63 0 45164 0
vsize: 180908
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19109
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 43085 0 0 0 65907 98 0 0 25 0 1 0 825310402 188059648 43008 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45913 43008 1111 63 0 45850 0
vsize: 183652
[startup+670.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 43795 0 0 0 66906 99 0 0 25 0 1 0 825310402 191045632 43718 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46642 43718 1111 63 0 46579 0
vsize: 186568
[startup+680.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 44512 0 0 0 67905 100 0 0 25 0 1 0 825310402 193875968 44435 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47333 44435 1111 63 0 47270 0
vsize: 189332
[startup+690.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 45230 0 0 0 68905 101 0 0 25 0 1 0 825310402 196845568 45153 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48058 45153 1111 63 0 47995 0
vsize: 192232
[startup+700.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 45987 0 0 0 69903 102 0 0 25 0 1 0 825310402 200192000 45910 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48875 45910 1111 63 0 48812 0
vsize: 195500
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 46713 0 0 0 70903 103 0 0 25 0 1 0 825310402 203165696 46636 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49601 46636 1111 63 0 49538 0
vsize: 198404
[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 47449 0 0 0 71901 105 0 0 25 0 1 0 825310402 206176256 47372 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50336 47372 1111 63 0 50273 0
vsize: 201344
[startup+730.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 48181 0 0 0 72900 106 0 0 25 0 1 0 825310402 209141760 48104 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51060 48104 1111 63 0 50997 0
vsize: 204240
[startup+740.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 48918 0 0 0 73898 108 0 0 25 0 1 0 825310402 212262912 48841 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51822 48841 1111 63 0 51759 0
vsize: 207288
[startup+750.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 49725 0 0 0 74897 109 0 0 25 0 1 0 825310402 215511040 49648 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52615 49648 1111 63 0 52552 0
vsize: 210460
[startup+760.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 50544 0 0 0 75894 112 0 0 25 0 1 0 825310402 218890240 50467 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53440 50467 1111 63 0 53377 0
vsize: 213760
[startup+770.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 51372 0 0 0 76894 113 0 0 25 0 1 0 825310402 222191616 51295 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54246 51295 1111 63 0 54183 0
vsize: 216984
[startup+780.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 52210 0 0 0 77892 115 0 0 25 0 1 0 825310402 225705984 52133 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55104 52133 1111 63 0 55041 0
vsize: 220416
[startup+790.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 53042 0 0 0 78890 117 0 0 25 0 1 0 825310402 228999168 52965 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55908 52965 1111 63 0 55845 0
vsize: 223632
[startup+800.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 53875 0 0 0 79889 118 0 0 25 0 1 0 825310402 232513536 53798 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56766 53798 1111 63 0 56703 0
vsize: 227064
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 54721 0 0 0 80888 119 0 0 25 0 1 0 825310402 235896832 54644 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57592 54644 1111 63 0 57529 0
vsize: 230368
[startup+820.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 55578 0 0 0 81887 121 0 0 25 0 1 0 825310402 239427584 55501 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58454 55501 1111 63 0 58391 0
vsize: 233816
[startup+830.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 56436 0 0 0 82885 122 0 0 25 0 1 0 825310402 242991104 56359 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59324 56359 1111 63 0 59261 0
vsize: 237296
[startup+840.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 57289 0 0 0 83884 124 0 0 25 0 1 0 825310402 246398976 57212 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60156 57212 1111 63 0 60093 0
vsize: 240624
[startup+850.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 58153 0 0 0 84883 125 0 0 25 0 1 0 825310402 249925632 58076 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61017 58076 1111 63 0 60954 0
vsize: 244068
[startup+860.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 59023 0 0 0 85881 127 0 0 25 0 1 0 825310402 253468672 58946 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61882 58946 1111 63 0 61819 0
vsize: 247528
[startup+870.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 59901 0 0 0 86880 129 0 0 25 0 1 0 825310402 257163264 59824 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62784 59824 1111 63 0 62721 0
vsize: 251136
[startup+880.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 60784 0 0 0 87878 130 0 0 25 0 1 0 825310402 260722688 60707 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63653 60707 1111 63 0 63590 0
vsize: 254612
[startup+890.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 61667 0 0 0 88876 132 0 0 25 0 1 0 825310402 264413184 61590 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64554 61590 1111 63 0 64491 0
vsize: 258216
[startup+900.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 62557 0 0 0 89874 135 0 0 25 0 1 0 825310402 267976704 62480 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65424 62480 1111 63 0 65361 0
vsize: 261696
[startup+910.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19111
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 63467 0 0 0 90873 136 0 0 25 0 1 0 825310402 271646720 63390 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66320 63390 1111 63 0 66257 0
vsize: 265280
[startup+920.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 64390 0 0 0 91871 138 0 0 25 0 1 0 825310402 275472384 64313 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67254 64313 1111 63 0 67191 0
vsize: 269016
[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 65324 0 0 0 92870 139 0 0 25 0 1 0 825310402 279298048 65247 4294967295 134512640 134714508 3221221776 3221220112 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68188 65247 1111 63 0 68125 0
vsize: 272752
[startup+940.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 66279 0 0 0 93869 141 0 0 25 0 1 0 825310402 283148288 66202 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69128 66202 1111 63 0 69065 0
vsize: 276512
[startup+950.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 67272 0 0 0 94868 142 0 0 25 0 1 0 825310402 287285248 67195 4294967295 134512640 134714508 3221221776 3221218268 1077298538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70138 67195 1111 63 0 70075 0
vsize: 280552
[startup+960.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 68258 0 0 0 95866 144 0 0 25 0 1 0 825310402 291270656 68181 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71111 68181 1111 63 0 71048 0
vsize: 284444
[startup+970.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 69257 0 0 0 96864 146 0 0 25 0 1 0 825310402 295407616 69180 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72121 69180 1111 63 0 72058 0
vsize: 288484
[startup+980.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 70250 0 0 0 97863 147 0 0 25 0 1 0 825310402 299409408 70173 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73098 70173 1111 63 0 73035 0
vsize: 292392
[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 71247 0 0 0 98861 149 0 0 25 0 1 0 825310402 303546368 71170 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74108 71170 1111 63 0 74045 0
vsize: 296432
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 72259 0 0 0 99859 151 0 0 25 0 1 0 825310402 307687424 72182 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75119 72182 1111 63 0 75056 0
vsize: 300476
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 73271 0 0 0 100858 153 0 0 25 0 1 0 825310402 311824384 73194 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76129 73194 1111 63 0 76066 0
vsize: 304516
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 74317 0 0 0 101857 154 0 0 25 0 1 0 825310402 316047360 74240 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77160 74240 1111 63 0 77097 0
vsize: 308640
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 75385 0 0 0 102854 157 0 0 25 0 1 0 825310402 320499712 75308 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78247 75308 1111 63 0 78184 0
vsize: 312988
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 76486 0 0 0 103853 159 0 0 25 0 1 0 825310402 324980736 76409 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79341 76409 1111 63 0 79278 0
vsize: 317364
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 77607 0 0 0 104851 160 0 0 25 0 1 0 825310402 329535488 77530 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80453 77530 1111 63 0 80390 0
vsize: 321812
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 78728 0 0 0 105850 162 0 0 25 0 1 0 825310402 334143488 78651 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81578 78651 1111 63 0 81515 0
vsize: 326312
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 79875 0 0 0 106848 163 0 0 25 0 1 0 825310402 338886656 79798 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82736 79798 1111 63 0 82673 0
vsize: 330944
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 81020 0 0 0 107846 166 0 0 25 0 1 0 825310402 343474176 80943 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83856 80943 1111 63 0 83793 0
vsize: 335424
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 82173 0 0 0 108844 168 0 0 25 0 1 0 825310402 348209152 82096 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85012 82096 1111 63 0 84949 0
vsize: 340048
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 83332 0 0 0 109842 170 0 0 25 0 1 0 825310402 352927744 83255 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86164 83255 1111 63 0 86101 0
vsize: 344656
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 84499 0 0 0 110840 172 0 0 25 0 1 0 825310402 357670912 84422 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87322 84422 1111 63 0 87259 0
vsize: 349288
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 85676 0 0 0 111839 174 0 0 25 0 1 0 825310402 362512384 85599 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88504 85599 1111 63 0 88441 0
vsize: 354016
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 86848 0 0 0 112837 176 0 0 25 0 1 0 825310402 367411200 86771 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89700 86771 1111 63 0 89637 0
vsize: 358800
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 88033 0 0 0 113834 179 0 0 25 0 1 0 825310402 372129792 87956 4294967295 134512640 134714508 3221221776 3221219644 1077244341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90852 87956 1111 63 0 90789 0
vsize: 363408
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 89217 0 0 0 114833 180 0 0 25 0 1 0 825310402 376999936 89140 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92041 89140 1111 63 0 91978 0
vsize: 368164
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 90415 0 0 0 115830 183 0 0 25 0 1 0 825310402 381870080 90338 4294967295 134512640 134714508 3221221776 3221220108 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93230 90338 1111 63 0 93167 0
vsize: 372920
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 91759 0 0 0 116828 185 0 0 25 0 1 0 825310402 387649536 91556 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94641 91556 1111 63 0 94578 0
vsize: 378564
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 92957 0 0 0 117826 188 0 0 25 0 1 0 825310402 392519680 92754 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95830 92754 1111 63 0 95767 0
vsize: 383320
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 94170 0 0 0 118824 190 0 0 25 0 1 0 825310402 397500416 93967 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97046 93967 1111 63 0 96983 0
vsize: 388184
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19113
Raw data (stat): 19056 (bsolo_lpr) R 19055 7876 7672 0 -1 0 95400 0 0 0 119822 191 0 0 25 0 1 0 825310402 402554880 95197 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98280 95197 1111 63 0 98217 0
vsize: 393120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 19113
Raw data (stat): 19056 (bsolo_lpr) Z 19055 7876 7672 0 -1 1036 95400 0 0 0 119822 209 0 0 25 0 1 0 825310402 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.21
CPU time (s): 1200.33
CPU user time (s): 1198.23
CPU system time (s): 2.09868
CPU usage (%): 100.01
Max. virtual memory (Kb): 393120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####