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-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
MD5SUM	9a33380ca74da1778d689b1fccd15cfc
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29764190431236
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29764190431236
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42078
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28155

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 00:53:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14093 boxname=wulflinc31 idbench=1085 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9a33380ca74da1778d689b1fccd15cfc  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3707.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3707.opb
IDLAUNCH: 14093
/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:        528804 kB
Buffers:          2836 kB
Cached:         474832 kB
SwapCached:       1120 kB
Active:          69452 kB
Inactive:       410604 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        528552 kB
SwapTotal:     2097892 kB
SwapFree:      2096052 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            20140 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:13:16 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 14093 7 1200.26 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.20 1.37 1.09 2/55 5598
Raw data (stat): 5598 (runsolver) R 5597 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834689072 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 1.17 1.35 1.09 2/55 5598
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 1296 0 0 0 993 4 0 0 25 0 1 0 834689072 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.002 s]
Raw data (loadavg): 1.14 1.34 1.09 2/55 5598
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 1406 0 0 0 1993 4 0 0 25 0 1 0 834689072 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0026 s]
Raw data (loadavg): 1.12 1.33 1.08 2/55 5598
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 1508 0 0 0 2993 4 0 0 25 0 1 0 834689072 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0029 s]
Raw data (loadavg): 1.10 1.32 1.08 2/55 5600
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 1618 0 0 0 3993 5 0 0 25 0 1 0 834689072 16834560 1542 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1542 1111 63 0 4047 0
vsize: 16440
[startup+50.0032 s]
Raw data (loadavg): 1.08 1.31 1.08 2/55 5600
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 1730 0 0 0 4993 5 0 0 25 0 1 0 834689072 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0043 s]
Raw data (loadavg): 1.07 1.30 1.08 2/55 5600
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 1834 0 0 0 5993 5 0 0 25 0 1 0 834689072 17715200 1758 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1758 1111 63 0 4262 0
vsize: 17300
[startup+70.006 s]
Raw data (loadavg): 1.06 1.29 1.08 2/55 5600
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 1943 0 0 0 6993 6 0 0 25 0 1 0 834689072 18161664 1867 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1867 1111 63 0 4371 0
vsize: 17736
[startup+80.0083 s]
Raw data (loadavg): 1.05 1.28 1.08 2/55 5600
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 2053 0 0 0 7993 6 0 0 25 0 1 0 834689072 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.0085 s]
Raw data (loadavg): 1.04 1.27 1.08 2/55 5600
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 2156 0 0 0 8993 6 0 0 25 0 1 0 834689072 19058688 2080 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2080 1111 63 0 4590 0
vsize: 18612
[startup+100.008 s]
Raw data (loadavg): 1.04 1.26 1.08 2/55 5602
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 2271 0 0 0 9993 6 0 0 25 0 1 0 834689072 19501056 2195 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2195 1111 63 0 4698 0
vsize: 19044
[startup+110.009 s]
Raw data (loadavg): 1.03 1.25 1.08 2/55 5602
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 2380 0 0 0 10993 7 0 0 25 0 1 0 834689072 19955712 2304 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2304 1111 63 0 4809 0
vsize: 19488
[startup+120.009 s]
Raw data (loadavg): 1.02 1.24 1.08 2/55 5602
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 2491 0 0 0 11993 7 0 0 25 0 1 0 834689072 20402176 2415 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2415 1111 63 0 4918 0
vsize: 19924
[startup+130.01 s]
Raw data (loadavg): 1.02 1.23 1.08 2/55 5602
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 2599 0 0 0 12993 7 0 0 25 0 1 0 834689072 20856832 2523 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2523 1111 63 0 5029 0
vsize: 20368
[startup+140.01 s]
Raw data (loadavg): 1.02 1.22 1.07 2/55 5602
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 2704 0 0 0 13993 7 0 0 25 0 1 0 834689072 21299200 2628 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2628 1111 63 0 5137 0
vsize: 20800
[startup+150.01 s]
Raw data (loadavg): 1.01 1.22 1.07 2/55 5602
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 2812 0 0 0 14993 7 0 0 25 0 1 0 834689072 21725184 2736 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2736 1111 63 0 5241 0
vsize: 21216
[startup+160.011 s]
Raw data (loadavg): 1.01 1.21 1.07 2/55 5604
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 2923 0 0 0 15993 8 0 0 25 0 1 0 834689072 22171648 2847 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2847 1111 63 0 5350 0
vsize: 21652
[startup+170.011 s]
Raw data (loadavg): 1.01 1.20 1.07 2/55 5604
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 3031 0 0 0 16993 8 0 0 25 0 1 0 834689072 22622208 2955 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2955 1111 63 0 5460 0
vsize: 22092
[startup+180.012 s]
Raw data (loadavg): 1.01 1.19 1.07 2/55 5604
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 3142 0 0 0 17993 8 0 0 25 0 1 0 834689072 23072768 3066 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3066 1111 63 0 5570 0
vsize: 22532
[startup+190.013 s]
Raw data (loadavg): 1.01 1.19 1.07 2/55 5604
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 3251 0 0 0 18993 8 0 0 25 0 1 0 834689072 23511040 3175 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 3175 1111 63 0 5677 0
vsize: 22960
[startup+200.013 s]
Raw data (loadavg): 1.00 1.18 1.07 2/55 5604
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 3362 0 0 0 19993 9 0 0 25 0 1 0 834689072 23957504 3286 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 3286 1111 63 0 5786 0
vsize: 23396
[startup+210.014 s]
Raw data (loadavg): 1.00 1.17 1.07 2/55 5604
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 3470 0 0 0 20993 9 0 0 25 0 1 0 834689072 24408064 3394 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5959 3394 1111 63 0 5896 0
vsize: 23836
[startup+220.015 s]
Raw data (loadavg): 1.00 1.17 1.07 2/55 5606
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 3580 0 0 0 21993 9 0 0 25 0 1 0 834689072 24858624 3504 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 3504 1111 63 0 6006 0
vsize: 24276
[startup+230.016 s]
Raw data (loadavg): 1.00 1.16 1.07 2/55 5606
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 3692 0 0 0 22993 9 0 0 25 0 1 0 834689072 25309184 3616 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6179 3616 1111 63 0 6116 0
vsize: 24716
[startup+240.016 s]
Raw data (loadavg): 1.00 1.16 1.06 2/55 5606
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 3795 0 0 0 23993 10 0 0 25 0 1 0 834689072 25759744 3719 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6289 3719 1111 63 0 6226 0
vsize: 25156
[startup+250.016 s]
Raw data (loadavg): 1.00 1.15 1.06 2/55 5606
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 3911 0 0 0 24993 10 0 0 25 0 1 0 834689072 26210304 3835 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6399 3835 1111 63 0 6336 0
vsize: 25596
[startup+260.017 s]
Raw data (loadavg): 1.00 1.14 1.06 2/55 5606
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 4015 0 0 0 25993 10 0 0 25 0 1 0 834689072 26656768 3939 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6508 3939 1111 63 0 6445 0
vsize: 26032
[startup+270.017 s]
Raw data (loadavg): 1.00 1.14 1.06 2/55 5606
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 4131 0 0 0 26993 10 0 0 25 0 1 0 834689072 27107328 4055 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6618 4055 1111 63 0 6555 0
vsize: 26472
[startup+280.018 s]
Raw data (loadavg): 1.00 1.13 1.06 2/55 5608
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 4235 0 0 0 27993 10 0 0 25 0 1 0 834689072 27557888 4159 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6728 4159 1111 63 0 6665 0
vsize: 26912
[startup+290.019 s]
Raw data (loadavg): 1.00 1.13 1.06 2/55 5608
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 4346 0 0 0 28993 10 0 0 25 0 1 0 834689072 28008448 4270 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6838 4270 1111 63 0 6775 0
vsize: 27352
[startup+300.019 s]
Raw data (loadavg): 1.00 1.12 1.06 2/55 5608
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 4455 0 0 0 29993 10 0 0 25 0 1 0 834689072 28454912 4379 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6947 4379 1111 63 0 6884 0
vsize: 27788
[startup+310.02 s]
Raw data (loadavg): 1.00 1.12 1.06 2/55 5608
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 4566 0 0 0 30993 11 0 0 25 0 1 0 834689072 28880896 4490 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7051 4490 1111 63 0 6988 0
vsize: 28204
[startup+320.027 s]
Raw data (loadavg): 1.00 1.12 1.06 2/55 5608
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 4675 0 0 0 31993 11 0 0 25 0 1 0 834689072 29323264 4599 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7159 4599 1111 63 0 7096 0
vsize: 28636
[startup+330.028 s]
Raw data (loadavg): 1.00 1.11 1.06 2/55 5608
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 4786 0 0 0 32993 11 0 0 25 0 1 0 834689072 29777920 4710 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 4710 1111 63 0 7207 0
vsize: 29080
[startup+340.029 s]
Raw data (loadavg): 1.00 1.11 1.05 2/55 5610
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 4895 0 0 0 33993 12 0 0 25 0 1 0 834689072 30224384 4819 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7379 4819 1111 63 0 7316 0
vsize: 29516
[startup+350.029 s]
Raw data (loadavg): 1.00 1.10 1.05 2/55 5610
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 5005 0 0 0 34993 12 0 0 25 0 1 0 834689072 30679040 4929 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7490 4929 1111 63 0 7427 0
vsize: 29960
[startup+360.029 s]
Raw data (loadavg): 1.00 1.10 1.05 2/55 5610
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 5133 0 0 0 35993 12 0 0 25 0 1 0 834689072 31309824 5057 4294967295 134512640 134714508 3221224592 3221222880 1077314053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5057 1111 63 0 7581 0
vsize: 30576
[startup+370.03 s]
Raw data (loadavg): 1.00 1.10 1.05 2/55 5610
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 5237 0 0 0 36993 12 0 0 25 0 1 0 834689072 31760384 5161 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5161 1111 63 0 7691 0
vsize: 31016
[startup+380.03 s]
Raw data (loadavg): 1.00 1.09 1.05 2/55 5610
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 5346 0 0 0 37993 13 0 0 25 0 1 0 834689072 32210944 5270 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 5270 1111 63 0 7801 0
vsize: 31456
[startup+390.031 s]
Raw data (loadavg): 1.00 1.09 1.05 2/55 5610
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 5457 0 0 0 38993 13 0 0 25 0 1 0 834689072 32661504 5381 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5381 1111 63 0 7911 0
vsize: 31896
[startup+400.031 s]
Raw data (loadavg): 1.00 1.08 1.05 2/55 5612
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 5566 0 0 0 39993 13 0 0 25 0 1 0 834689072 33107968 5490 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5490 1111 63 0 8020 0
vsize: 32332
[startup+410.031 s]
Raw data (loadavg): 1.00 1.08 1.05 2/56 5613
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 5684 0 0 0 40993 13 0 0 25 0 1 0 834689072 33558528 5608 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5608 1111 63 0 8130 0
vsize: 32772
[startup+420.036 s]
Raw data (loadavg): 1.08 1.10 1.05 2/55 5665
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 5787 0 0 0 41993 13 0 0 25 0 1 0 834689072 34009088 5711 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5711 1111 63 0 8240 0
vsize: 33212
[startup+430.044 s]
Raw data (loadavg): 1.07 1.09 1.05 2/55 5665
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 5905 0 0 0 42994 14 0 0 25 0 1 0 834689072 34459648 5829 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5829 1111 63 0 8350 0
vsize: 33652
[startup+440.045 s]
Raw data (loadavg): 1.06 1.09 1.05 2/55 5665
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 6014 0 0 0 43994 14 0 0 25 0 1 0 834689072 34906112 5938 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 5938 1111 63 0 8459 0
vsize: 34088
[startup+450.045 s]
Raw data (loadavg): 1.05 1.08 1.05 2/55 5665
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 6126 0 0 0 44994 14 0 0 25 0 1 0 834689072 35360768 6050 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 6050 1111 63 0 8570 0
vsize: 34532
[startup+460.045 s]
Raw data (loadavg): 1.04 1.08 1.05 2/55 5667
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 6235 0 0 0 45994 15 0 0 25 0 1 0 834689072 35807232 6159 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8742 6159 1111 63 0 8679 0
vsize: 34968
[startup+470.045 s]
Raw data (loadavg): 1.03 1.08 1.05 2/55 5667
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 6346 0 0 0 46993 15 0 0 25 0 1 0 834689072 36257792 6270 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8852 6270 1111 63 0 8789 0
vsize: 35408
[startup+480.046 s]
Raw data (loadavg): 1.03 1.08 1.05 2/55 5669
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 6456 0 0 0 47993 15 0 0 25 0 1 0 834689072 36708352 6380 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8962 6380 1111 63 0 8899 0
vsize: 35848
[startup+490.046 s]
Raw data (loadavg): 1.02 1.07 1.05 2/55 5669
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 6567 0 0 0 48993 15 0 0 25 0 1 0 834689072 37158912 6491 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9072 6491 1111 63 0 9009 0
vsize: 36288
[startup+500.046 s]
Raw data (loadavg): 1.02 1.07 1.04 2/55 5669
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 6683 0 0 0 49993 16 0 0 25 0 1 0 834689072 37605376 6607 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9181 6607 1111 63 0 9118 0
vsize: 36724
[startup+510.045 s]
Raw data (loadavg): 1.02 1.07 1.04 2/55 5669
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 6794 0 0 0 50993 16 0 0 25 0 1 0 834689072 38055936 6718 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9291 6718 1111 63 0 9228 0
vsize: 37164
[startup+520.045 s]
Raw data (loadavg): 1.01 1.06 1.04 2/55 5671
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 6904 0 0 0 51993 16 0 0 25 0 1 0 834689072 38506496 6828 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9401 6828 1111 63 0 9338 0
vsize: 37604
[startup+530.046 s]
Raw data (loadavg): 1.01 1.06 1.04 2/55 5671
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 7015 0 0 0 52993 16 0 0 25 0 1 0 834689072 38957056 6939 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9511 6939 1111 63 0 9448 0
vsize: 38044
[startup+540.047 s]
Raw data (loadavg): 1.01 1.06 1.04 2/55 5671
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 7125 0 0 0 53993 16 0 0 25 0 1 0 834689072 39403520 7049 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9620 7049 1111 63 0 9557 0
vsize: 38480
[startup+550.048 s]
Raw data (loadavg): 1.01 1.06 1.04 2/55 5671
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 7242 0 0 0 54993 17 0 0 25 0 1 0 834689072 39854080 7166 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 7166 1111 63 0 9667 0
vsize: 38920
[startup+560.048 s]
Raw data (loadavg): 1.00 1.05 1.04 2/55 5671
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 7351 0 0 0 55992 18 0 0 25 0 1 0 834689072 40304640 7275 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9840 7275 1111 63 0 9777 0
vsize: 39360
[startup+570.048 s]
Raw data (loadavg): 1.00 1.05 1.04 2/55 5671
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 7463 0 0 0 56992 18 0 0 25 0 1 0 834689072 40755200 7387 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9950 7387 1111 63 0 9887 0
vsize: 39800
[startup+580.049 s]
Raw data (loadavg): 1.00 1.05 1.04 2/55 5673
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 7581 0 0 0 57992 18 0 0 25 0 1 0 834689072 41357312 7505 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7505 1111 63 0 10034 0
vsize: 40388
[startup+590.049 s]
Raw data (loadavg): 1.00 1.05 1.04 2/55 5673
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 7691 0 0 0 58992 18 0 0 25 0 1 0 834689072 41803776 7615 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7615 1111 63 0 10143 0
vsize: 40824
[startup+600.049 s]
Raw data (loadavg): 1.00 1.05 1.03 2/55 5673
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 7802 0 0 0 59992 19 0 0 25 0 1 0 834689072 42250240 7726 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7726 1111 63 0 10252 0
vsize: 41260
[startup+610.05 s]
Raw data (loadavg): 1.00 1.04 1.03 2/55 5673
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 7918 0 0 0 60992 19 0 0 25 0 1 0 834689072 42704896 7842 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10426 7842 1111 63 0 10363 0
vsize: 41704
[startup+620.05 s]
Raw data (loadavg): 1.00 1.04 1.03 2/55 5673
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 8029 0 0 0 61992 19 0 0 25 0 1 0 834689072 43151360 7953 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10535 7953 1111 63 0 10472 0
vsize: 42140
[startup+630.051 s]
Raw data (loadavg): 1.00 1.04 1.03 2/55 5673
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 8138 0 0 0 62992 19 0 0 25 0 1 0 834689072 43606016 8062 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 8062 1111 63 0 10583 0
vsize: 42584
[startup+640.052 s]
Raw data (loadavg): 1.00 1.04 1.03 2/55 5675
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 8255 0 0 0 63992 20 0 0 25 0 1 0 834689072 44048384 8179 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10754 8179 1111 63 0 10691 0
vsize: 43016
[startup+650.052 s]
Raw data (loadavg): 1.00 1.04 1.03 2/55 5675
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 8366 0 0 0 64992 20 0 0 25 0 1 0 834689072 44470272 8290 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8290 1111 63 0 10794 0
vsize: 43428
[startup+660.051 s]
Raw data (loadavg): 1.00 1.04 1.03 2/55 5675
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 8477 0 0 0 65991 21 0 0 25 0 1 0 834689072 44920832 8401 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8401 1111 63 0 10904 0
vsize: 43868
[startup+670.052 s]
Raw data (loadavg): 1.00 1.03 1.03 2/55 5675
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 8593 0 0 0 66991 21 0 0 25 0 1 0 834689072 45371392 8517 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11077 8517 1111 63 0 11014 0
vsize: 44308
[startup+680.052 s]
Raw data (loadavg): 1.00 1.03 1.03 2/55 5675
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 8704 0 0 0 67991 21 0 0 25 0 1 0 834689072 45821952 8628 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11187 8628 1111 63 0 11124 0
vsize: 44748
[startup+690.052 s]
Raw data (loadavg): 1.00 1.03 1.03 2/55 5675
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 8813 0 0 0 68991 21 0 0 25 0 1 0 834689072 46272512 8737 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11297 8737 1111 63 0 11234 0
vsize: 45188
[startup+700.052 s]
Raw data (loadavg): 1.00 1.03 1.02 2/55 5677
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 8930 0 0 0 69991 22 0 0 25 0 1 0 834689072 46874624 8854 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8854 1111 63 0 11381 0
vsize: 45776
[startup+710.053 s]
Raw data (loadavg): 1.00 1.03 1.02 2/55 5677
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 9074 0 0 0 70991 22 0 0 25 0 1 0 834689072 47579136 8998 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 8998 1111 63 0 11553 0
vsize: 46464
[startup+720.053 s]
Raw data (loadavg): 1.00 1.03 1.02 2/55 5677
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 9177 0 0 0 71991 22 0 0 25 0 1 0 834689072 47996928 9101 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11718 9101 1111 63 0 11655 0
vsize: 46872
[startup+730.054 s]
Raw data (loadavg): 1.00 1.03 1.02 2/55 5677
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 9287 0 0 0 72991 23 0 0 25 0 1 0 834689072 48439296 9211 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11826 9211 1111 63 0 11763 0
vsize: 47304
[startup+740.055 s]
Raw data (loadavg): 1.00 1.02 1.02 2/55 5679
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 9404 0 0 0 73991 23 0 0 25 0 1 0 834689072 48893952 9328 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11937 9328 1111 63 0 11874 0
vsize: 47748
[startup+750.055 s]
Raw data (loadavg): 1.00 1.02 1.02 2/55 5679
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 9513 0 0 0 74991 23 0 0 25 0 1 0 834689072 49340416 9437 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12046 9437 1111 63 0 11983 0
vsize: 48184
[startup+760.055 s]
Raw data (loadavg): 1.00 1.02 1.02 2/55 5681
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 9633 0 0 0 75990 23 0 0 25 0 1 0 834689072 49795072 9557 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12157 9557 1111 63 0 12094 0
vsize: 48628
[startup+770.055 s]
Raw data (loadavg): 1.00 1.02 1.02 2/55 5681
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 9742 0 0 0 76990 24 0 0 25 0 1 0 834689072 50241536 9666 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12266 9666 1111 63 0 12203 0
vsize: 49064
[startup+780.056 s]
Raw data (loadavg): 1.00 1.02 1.02 2/55 5681
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 9859 0 0 0 77990 24 0 0 25 0 1 0 834689072 50671616 9783 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12371 9783 1111 63 0 12308 0
vsize: 49484
[startup+790.056 s]
Raw data (loadavg): 1.00 1.02 1.02 2/55 5681
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 9975 0 0 0 78990 24 0 0 25 0 1 0 834689072 51257344 9899 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12514 9899 1111 63 0 12451 0
vsize: 50056
[startup+800.056 s]
Raw data (loadavg): 1.00 1.02 1.02 2/55 5681
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 10088 0 0 0 79990 24 0 0 25 0 1 0 834689072 51712000 10012 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12625 10012 1111 63 0 12562 0
vsize: 50500
[startup+810.056 s]
Raw data (loadavg): 1.00 1.02 1.01 2/55 5681
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 10198 0 0 0 80990 25 0 0 25 0 1 0 834689072 52158464 10122 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12734 10122 1111 63 0 12671 0
vsize: 50936
[startup+820.055 s]
Raw data (loadavg): 1.00 1.02 1.01 2/55 5683
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 10316 0 0 0 81990 25 0 0 25 0 1 0 834689072 52613120 10240 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12845 10240 1111 63 0 12782 0
vsize: 51380
[startup+830.056 s]
Raw data (loadavg): 1.00 1.02 1.01 2/55 5683
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 10431 0 0 0 82990 25 0 0 25 0 1 0 834689072 53055488 10355 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12953 10355 1111 63 0 12890 0
vsize: 51812
[startup+840.056 s]
Raw data (loadavg): 1.00 1.01 1.01 2/55 5683
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 10550 0 0 0 83990 25 0 0 25 0 1 0 834689072 53510144 10474 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 10474 1111 63 0 13001 0
vsize: 52256
[startup+850.057 s]
Raw data (loadavg): 1.00 1.01 1.01 2/55 5683
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 10661 0 0 0 84990 26 0 0 25 0 1 0 834689072 53956608 10585 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13173 10585 1111 63 0 13110 0
vsize: 52692
[startup+860.057 s]
Raw data (loadavg): 1.00 1.01 1.01 2/55 5683
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 10772 0 0 0 85990 26 0 0 25 0 1 0 834689072 54411264 10696 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13284 10696 1111 63 0 13221 0
vsize: 53136
[startup+870.057 s]
Raw data (loadavg): 1.00 1.01 1.01 2/55 5683
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 10888 0 0 0 86990 26 0 0 25 0 1 0 834689072 54857728 10812 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13393 10812 1111 63 0 13330 0
vsize: 53572
[startup+880.058 s]
Raw data (loadavg): 1.00 1.01 1.01 2/55 5685
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 11005 0 0 0 87990 26 0 0 25 0 1 0 834689072 55455744 10929 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13539 10929 1111 63 0 13476 0
vsize: 54156
[startup+890.058 s]
Raw data (loadavg): 1.00 1.01 1.01 2/55 5685
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 11123 0 0 0 88990 26 0 0 25 0 1 0 834689072 55906304 11047 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13649 11047 1111 63 0 13586 0
vsize: 54596
[startup+900.058 s]
Raw data (loadavg): 1.00 1.01 1.01 2/55 5685
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 11241 0 0 0 89990 27 0 0 25 0 1 0 834689072 56356864 11165 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13759 11165 1111 63 0 13696 0
vsize: 55036
[startup+910.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5685
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 11351 0 0 0 90990 27 0 0 25 0 1 0 834689072 56803328 11275 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13868 11275 1111 63 0 13805 0
vsize: 55472
[startup+920.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5685
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 11468 0 0 0 91990 27 0 0 25 0 1 0 834689072 57257984 11392 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 11392 1111 63 0 13916 0
vsize: 55916
[startup+930.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5685
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 11580 0 0 0 92990 27 0 0 25 0 1 0 834689072 57704448 11504 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14088 11504 1111 63 0 14025 0
vsize: 56352
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5687
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 11697 0 0 0 93990 27 0 0 25 0 1 0 834689072 58155008 11621 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14198 11621 1111 63 0 14135 0
vsize: 56792
[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5687
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 11815 0 0 0 94989 28 0 0 25 0 1 0 834689072 58757120 11739 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14345 11739 1111 63 0 14282 0
vsize: 57380
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5687
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 11931 0 0 0 95989 28 0 0 25 0 1 0 834689072 59207680 11855 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14455 11855 1111 63 0 14392 0
vsize: 57820
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5687
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 12050 0 0 0 96989 28 0 0 25 0 1 0 834689072 59658240 11974 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14565 11974 1111 63 0 14502 0
vsize: 58260
[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5687
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 12167 0 0 0 97989 29 0 0 25 0 1 0 834689072 60104704 12091 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14674 12091 1111 63 0 14611 0
vsize: 58696
[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5687
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 12278 0 0 0 98989 29 0 0 25 0 1 0 834689072 60555264 12202 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14784 12202 1111 63 0 14721 0
vsize: 59136
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5689
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 12394 0 0 0 99989 29 0 0 25 0 1 0 834689072 61005824 12318 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14894 12318 1111 63 0 14831 0
vsize: 59576
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5689
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 12512 0 0 0 100989 29 0 0 25 0 1 0 834689072 61607936 12436 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15041 12436 1111 63 0 14978 0
vsize: 60164
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5689
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 12629 0 0 0 101989 29 0 0 25 0 1 0 834689072 62050304 12553 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15149 12553 1111 63 0 15086 0
vsize: 60596
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5689
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 12741 0 0 0 102989 29 0 0 25 0 1 0 834689072 62504960 12665 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15260 12665 1111 63 0 15197 0
vsize: 61040
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5689
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 12857 0 0 0 103989 30 0 0 25 0 1 0 834689072 62951424 12781 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15369 12781 1111 63 0 15306 0
vsize: 61476
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5689
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 12975 0 0 0 104989 30 0 0 25 0 1 0 834689072 63406080 12899 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15480 12899 1111 63 0 15417 0
vsize: 61920
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5691
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 13092 0 0 0 105989 30 0 0 25 0 1 0 834689072 63848448 13016 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15588 13016 1111 63 0 15525 0
vsize: 62352
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5691
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 13211 0 0 0 106990 30 0 0 25 0 1 0 834689072 64450560 13135 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15735 13135 1111 63 0 15672 0
vsize: 62940
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5691
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 13327 0 0 0 107989 30 0 0 25 0 1 0 834689072 64901120 13251 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15845 13251 1111 63 0 15782 0
vsize: 63380
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5691
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 13445 0 0 0 108989 31 0 0 25 0 1 0 834689072 65351680 13369 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15955 13369 1111 63 0 15892 0
vsize: 63820
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5691
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 13562 0 0 0 109989 31 0 0 25 0 1 0 834689072 65798144 13486 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16064 13486 1111 63 0 16001 0
vsize: 64256
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5691
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 13681 0 0 0 110989 31 0 0 25 0 1 0 834689072 66248704 13605 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16174 13605 1111 63 0 16111 0
vsize: 64696
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5693
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 13798 0 0 0 111989 31 0 0 25 0 1 0 834689072 66850816 13722 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16321 13722 1111 63 0 16258 0
vsize: 65284
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5693
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 13915 0 0 0 112989 31 0 0 25 0 1 0 834689072 67301376 13839 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16431 13839 1111 63 0 16368 0
vsize: 65724
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5693
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 14034 0 0 0 113989 32 0 0 25 0 1 0 834689072 67751936 13958 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16541 13958 1111 63 0 16478 0
vsize: 66164
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5693
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 14151 0 0 0 114989 32 0 0 25 0 1 0 834689072 68198400 14075 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16650 14075 1111 63 0 16587 0
vsize: 66600
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5693
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 14269 0 0 0 115989 32 0 0 25 0 1 0 834689072 68653056 14193 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 14193 1111 63 0 16698 0
vsize: 67044
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5693
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 14385 0 0 0 116988 33 0 0 25 0 1 0 834689072 69246976 14309 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16906 14309 1111 63 0 16843 0
vsize: 67624
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5695
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 14504 0 0 0 117988 33 0 0 25 0 1 0 834689072 69701632 14428 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17017 14428 1111 63 0 16954 0
vsize: 68068
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5695
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 14622 0 0 0 118988 34 0 0 25 0 1 0 834689072 70148096 14546 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17126 14546 1111 63 0 17063 0
vsize: 68504
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5695
Raw data (stat): 5598 (bsolo_lpr) R 5597 29618 29617 0 -1 0 14746 0 0 0 119988 34 0 0 25 0 1 0 834689072 70598656 14670 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17236 14670 1111 63 0 17173 0
vsize: 68944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 5695
Raw data (stat): 5598 (bsolo_lpr) Z 5597 29618 29617 0 -1 1036 14746 0 0 0 119988 36 0 0 25 0 1 0 834689072 0 0 4294967295 0 0 0 0 0 0 0 7 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.1
CPU time (s): 1200.26
CPU user time (s): 1199.89
CPU system time (s): 0.369943
CPU usage (%): 100.013
Max. virtual memory (Kb): 68944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####