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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUM	ed1ca962177baf0f135b785abad8adea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	1150
Total number of constraints	80072
Number of constraints which are clauses	80072
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24807

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 07:27:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2998 boxname=wulflinc31 idbench=334 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ed1ca962177baf0f135b785abad8adea  /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-1.opb
IDLAUNCH: 2998
/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:        870736 kB
Buffers:         36268 kB
Cached:         105820 kB
SwapCached:       1936 kB
Active:         107756 kB
Inactive:        37472 kB
HighTotal:      131008 kB
HighFree:        24360 kB
LowTotal:       903652 kB
LowFree:        846376 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:            1280 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13112 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 07:47:14 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 2998 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 80072 constraints.
c After prepocess the problem consists of 1150 variables and 52059 constraints.
c preprocess terminated 551.483 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.92 2/55 15659
Raw data (stat): 15659 (runsolver) R 15658 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 733361271 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 21557 0 0 0 939 57 0 0 25 0 1 0 733361271 91406336 21476 4294967295 134512640 134714508 3221221792 3221220116 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22316 21476 1111 63 0 22253 0
vsize: 89264
[startup+20.0027 s]
Raw data (loadavg): 0.94 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 24909 0 0 0 1932 64 0 0 25 0 1 0 733361271 101859328 24035 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24868 24035 1111 63 0 24805 0
vsize: 99472
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 24909 0 0 0 2932 64 0 0 25 0 1 0 733361271 101859328 24035 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24868 24035 1111 63 0 24805 0
vsize: 99472
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 25348 0 0 0 3930 66 0 0 25 0 1 0 733361271 102129664 24101 4294967295 134512640 134714508 3221221792 3221220024 1077377771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24934 24101 1111 63 0 24871 0
vsize: 99736
[startup+50.0045 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 26221 0 0 0 4928 68 0 0 25 0 1 0 733361271 102129664 24101 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24934 24101 1111 63 0 24871 0
vsize: 99736
[startup+60.0055 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 26807 0 0 0 5926 70 0 0 25 0 1 0 733361271 103088128 24335 4294967295 134512640 134714508 3221221792 3221220344 1077377698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25168 24335 1111 63 0 25105 0
vsize: 100672
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 26867 0 0 0 6926 71 0 0 25 0 1 0 733361271 103088128 24335 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25168 24335 1111 63 0 25105 0
vsize: 100672
[startup+80.0062 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 26867 0 0 0 7925 71 0 0 25 0 1 0 733361271 103088128 24335 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25168 24335 1111 63 0 25105 0
vsize: 100672
[startup+90.0072 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 27322 0 0 0 8924 72 0 0 25 0 1 0 733361271 103092224 24336 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25169 24336 1111 63 0 25106 0
vsize: 100676
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 27322 0 0 0 9924 73 0 0 25 0 1 0 733361271 103092224 24336 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25169 24336 1111 63 0 25106 0
vsize: 100676
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 27322 0 0 0 10924 73 0 0 25 0 1 0 733361271 103092224 24336 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25169 24336 1111 63 0 25106 0
vsize: 100676
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31307 0 0 0 11915 82 0 0 25 0 1 0 733361271 106446848 25154 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25988 25154 1111 63 0 25925 0
vsize: 103952
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31307 0 0 0 12914 83 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 13914 83 0 0 25 0 1 0 733361271 106176512 25062 4294967295 134512640 134714508 3221221792 3221220404 134529372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25922 25062 1111 63 0 25859 0
vsize: 103688
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 14913 84 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 15912 85 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 16912 86 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 17912 86 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220272 134539446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 18912 86 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220256 134536655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 19911 87 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220300 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 20911 87 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220304 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 21910 88 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220184 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 22910 88 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 23910 89 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 24910 89 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 25909 90 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 26909 90 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 27909 91 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 28909 91 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 29908 92 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 30908 92 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220256 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 31907 93 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 32907 93 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220432 134584901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 33906 94 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 34906 94 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31685 0 0 0 35906 95 0 0 25 0 1 0 733361271 106037248 25055 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25888 25055 1111 63 0 25825 0
vsize: 103552
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31787 0 0 0 36905 96 0 0 25 0 1 0 733361271 106389504 25141 4294967295 134512640 134714508 3221221792 3221220208 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31787 0 0 0 37905 96 0 0 25 0 1 0 733361271 106389504 25141 4294967295 134512640 134714508 3221221792 3221220208 134542723 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31828 0 0 0 38905 96 0 0 25 0 1 0 733361271 106389504 25141 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31828 0 0 0 39904 97 0 0 25 0 1 0 733361271 106389504 25141 4294967295 134512640 134714508 3221221792 3221220176 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 31959 0 0 0 40903 98 0 0 25 0 1 0 733361271 106389504 25141 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25974 25141 1111 63 0 25911 0
vsize: 103896
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32438 0 0 0 41902 99 0 0 25 0 1 0 733361271 107896832 25502 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26342 25502 1111 63 0 26279 0
vsize: 105368
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32438 0 0 0 42902 100 0 0 25 0 1 0 733361271 107896832 25502 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26342 25502 1111 63 0 26279 0
vsize: 105368
[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32438 0 0 0 43902 100 0 0 25 0 1 0 733361271 107896832 25502 4294967295 134512640 134714508 3221221792 3221220224 134543728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26342 25502 1111 63 0 26279 0
vsize: 105368
[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32438 0 0 0 44901 100 0 0 25 0 1 0 733361271 107896832 25502 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26342 25502 1111 63 0 26279 0
vsize: 105368
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32603 0 0 0 45901 101 0 0 25 0 1 0 733361271 108007424 25536 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32603 0 0 0 46900 102 0 0 25 0 1 0 733361271 108007424 25536 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32603 0 0 0 47900 102 0 0 25 0 1 0 733361271 108007424 25536 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32603 0 0 0 48900 102 0 0 25 0 1 0 733361271 108007424 25536 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32603 0 0 0 49900 102 0 0 25 0 1 0 733361271 108007424 25536 4294967295 134512640 134714508 3221221792 3221220464 134627252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 32603 0 0 0 50899 103 0 0 25 0 1 0 733361271 108007424 25536 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26369 25536 1111 63 0 26306 0
vsize: 105476
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33236 0 0 0 51898 105 0 0 25 0 1 0 733361271 110596096 26169 4294967295 134512640 134714508 3221221792 3221220648 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27001 26169 1111 63 0 26938 0
vsize: 108004
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33236 0 0 0 52898 105 0 0 25 0 1 0 733361271 110596096 26169 4294967295 134512640 134714508 3221221792 3221220584 134622854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27001 26169 1111 63 0 26938 0
vsize: 108004
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33236 0 0 0 53897 105 0 0 25 0 1 0 733361271 110596096 26169 4294967295 134512640 134714508 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27001 26169 1111 63 0 26938 0
vsize: 108004
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33236 0 0 0 54897 106 0 0 25 0 1 0 733361271 110596096 26169 4294967295 134512640 134714508 3221221792 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27001 26169 1111 63 0 26938 0
vsize: 108004
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33715 0 0 0 55895 108 0 0 25 0 1 0 733361271 113152000 26640 4294967295 134512640 134714508 3221221792 3221220048 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27625 26640 1111 63 0 27562 0
vsize: 110500
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33767 0 0 0 56893 110 0 0 25 0 1 0 733361271 113483776 26692 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27706 26692 1111 63 0 27643 0
vsize: 110824
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33811 0 0 0 57891 112 0 0 25 0 1 0 733361271 113639424 26736 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27744 26736 1111 63 0 27681 0
vsize: 110976
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33915 0 0 0 58889 114 0 0 25 0 1 0 733361271 114040832 26840 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27842 26840 1111 63 0 27779 0
vsize: 111368
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33939 0 0 0 59888 116 0 0 25 0 1 0 733361271 114130944 26864 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27864 26864 1111 63 0 27801 0
vsize: 111456
[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 33978 0 0 0 60886 117 0 0 25 0 1 0 733361271 114262016 26903 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27896 26903 1111 63 0 27833 0
vsize: 111584
[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34000 0 0 0 61886 118 0 0 25 0 1 0 733361271 114348032 26925 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27917 26925 1111 63 0 27854 0
vsize: 111668
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34092 0 0 0 62885 119 0 0 25 0 1 0 733361271 114688000 27017 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28000 27017 1111 63 0 27937 0
vsize: 112000
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34113 0 0 0 63883 120 0 0 25 0 1 0 733361271 114769920 27038 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28020 27038 1111 63 0 27957 0
vsize: 112080
[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34130 0 0 0 64883 121 0 0 25 0 1 0 733361271 114835456 27055 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28036 27055 1111 63 0 27973 0
vsize: 112144
[startup+660.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34146 0 0 0 65882 122 0 0 25 0 1 0 733361271 114896896 27071 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28051 27071 1111 63 0 27988 0
vsize: 112204
[startup+670.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34198 0 0 0 66881 124 0 0 25 0 1 0 733361271 115068928 27123 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28093 27123 1111 63 0 28030 0
vsize: 112372
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34216 0 0 0 67880 125 0 0 25 0 1 0 733361271 115138560 27141 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 27141 1111 63 0 28047 0
vsize: 112440
[startup+690.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34230 0 0 0 68879 125 0 0 25 0 1 0 733361271 115191808 27155 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28123 27155 1111 63 0 28060 0
vsize: 112492
[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34245 0 0 0 69878 126 0 0 25 0 1 0 733361271 115249152 27170 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28137 27170 1111 63 0 28074 0
vsize: 112548
[startup+710.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34258 0 0 0 70878 127 0 0 25 0 1 0 733361271 115302400 27183 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28150 27183 1111 63 0 28087 0
vsize: 112600
[startup+720.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34374 0 0 0 71877 128 0 0 25 0 1 0 733361271 115621888 27262 4294967295 134512640 134714508 3221221792 3221220256 1074154012 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28228 27262 1111 63 0 28165 0
vsize: 112912
[startup+730.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34387 0 0 0 72876 129 0 0 25 0 1 0 733361271 115671040 27275 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28240 27275 1111 63 0 28177 0
vsize: 112960
[startup+740.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34401 0 0 0 73876 129 0 0 25 0 1 0 733361271 115724288 27289 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28253 27289 1111 63 0 28190 0
vsize: 113012
[startup+750.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34413 0 0 0 74876 130 0 0 25 0 1 0 733361271 115773440 27301 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28265 27301 1111 63 0 28202 0
vsize: 113060
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34428 0 0 0 75876 130 0 0 25 0 1 0 733361271 115830784 27316 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28279 27316 1111 63 0 28216 0
vsize: 113116
[startup+770.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34439 0 0 0 76875 131 0 0 25 0 1 0 733361271 115871744 27327 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28289 27327 1111 63 0 28226 0
vsize: 113156
[startup+780.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34450 0 0 0 77875 131 0 0 25 0 1 0 733361271 115916800 27338 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28300 27338 1111 63 0 28237 0
vsize: 113200
[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34463 0 0 0 78875 132 0 0 25 0 1 0 733361271 115965952 27351 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28312 27351 1111 63 0 28249 0
vsize: 113248
[startup+800.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34526 0 0 0 79874 132 0 0 25 0 1 0 733361271 116219904 27414 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28374 27414 1111 63 0 28311 0
vsize: 113496
[startup+810.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34537 0 0 0 80874 133 0 0 25 0 1 0 733361271 116264960 27425 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28385 27425 1111 63 0 28322 0
vsize: 113540
[startup+820.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34548 0 0 0 81873 134 0 0 25 0 1 0 733361271 116305920 27436 4294967295 134512640 134714508 3221221792 3221220064 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28395 27436 1111 63 0 28332 0
vsize: 113580
[startup+830.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34560 0 0 0 82873 134 0 0 25 0 1 0 733361271 116350976 27448 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28406 27448 1111 63 0 28343 0
vsize: 113624
[startup+840.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34572 0 0 0 83873 134 0 0 25 0 1 0 733361271 116400128 27460 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28418 27460 1111 63 0 28355 0
vsize: 113672
[startup+850.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34583 0 0 0 84873 135 0 0 25 0 1 0 733361271 116441088 27471 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28428 27471 1111 63 0 28365 0
vsize: 113712
[startup+860.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34594 0 0 0 85873 135 0 0 25 0 1 0 733361271 116486144 27482 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28439 27482 1111 63 0 28376 0
vsize: 113756
[startup+870.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34605 0 0 0 86873 135 0 0 25 0 1 0 733361271 116527104 27493 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28449 27493 1111 63 0 28386 0
vsize: 113796
[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34617 0 0 0 87873 136 0 0 25 0 1 0 733361271 116576256 27505 4294967295 134512640 134714508 3221221792 3221220096 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28461 27505 1111 63 0 28398 0
vsize: 113844
[startup+890.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34629 0 0 0 88872 136 0 0 25 0 1 0 733361271 116621312 27517 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28472 27517 1111 63 0 28409 0
vsize: 113888
[startup+900.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34638 0 0 0 89872 136 0 0 25 0 1 0 733361271 116658176 27526 4294967295 134512640 134714508 3221221792 3221220048 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28481 27526 1111 63 0 28418 0
vsize: 113924
[startup+910.061 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34649 0 0 0 90872 137 0 0 25 0 1 0 733361271 116699136 27537 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28491 27537 1111 63 0 28428 0
vsize: 113964
[startup+920.062 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34720 0 0 0 91872 137 0 0 25 0 1 0 733361271 116989952 27608 4294967295 134512640 134714508 3221221792 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28562 27608 1111 63 0 28499 0
vsize: 114248
[startup+930.063 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34730 0 0 0 92871 138 0 0 25 0 1 0 733361271 117026816 27618 4294967295 134512640 134714508 3221221792 3221220016 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28571 27618 1111 63 0 28508 0
vsize: 114284
[startup+940.064 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34740 0 0 0 93871 138 0 0 25 0 1 0 733361271 117067776 27628 4294967295 134512640 134714508 3221221792 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28581 27628 1111 63 0 28518 0
vsize: 114324
[startup+950.065 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34750 0 0 0 94871 138 0 0 25 0 1 0 733361271 117104640 27638 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28590 27638 1111 63 0 28527 0
vsize: 114360
[startup+960.066 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34759 0 0 0 95871 139 0 0 25 0 1 0 733361271 117141504 27647 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28599 27647 1111 63 0 28536 0
vsize: 114396
[startup+970.066 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34769 0 0 0 96871 139 0 0 25 0 1 0 733361271 117178368 27657 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28608 27657 1111 63 0 28545 0
vsize: 114432
[startup+980.066 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34778 0 0 0 97871 140 0 0 25 0 1 0 733361271 117215232 27666 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28617 27666 1111 63 0 28554 0
vsize: 114468
[startup+990.067 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34788 0 0 0 98870 140 0 0 25 0 1 0 733361271 117252096 27676 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28626 27676 1111 63 0 28563 0
vsize: 114504
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34797 0 0 0 99870 141 0 0 25 0 1 0 733361271 117288960 27685 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28635 27685 1111 63 0 28572 0
vsize: 114540
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34807 0 0 0 100870 141 0 0 25 0 1 0 733361271 117325824 27695 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28644 27695 1111 63 0 28581 0
vsize: 114576
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34816 0 0 0 101870 141 0 0 25 0 1 0 733361271 117362688 27704 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28653 27704 1111 63 0 28590 0
vsize: 114612
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34825 0 0 0 102870 142 0 0 25 0 1 0 733361271 117395456 27713 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28661 27713 1111 63 0 28598 0
vsize: 114644
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34834 0 0 0 103869 142 0 0 25 0 1 0 733361271 117432320 27722 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28670 27722 1111 63 0 28607 0
vsize: 114680
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34843 0 0 0 104869 142 0 0 25 0 1 0 733361271 117469184 27731 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28679 27731 1111 63 0 28616 0
vsize: 114716
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34851 0 0 0 105869 143 0 0 25 0 1 0 733361271 117497856 27739 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28686 27739 1111 63 0 28623 0
vsize: 114744
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34859 0 0 0 106869 143 0 0 25 0 1 0 733361271 117530624 27747 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27747 1111 63 0 28631 0
vsize: 114776
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 34870 0 0 0 107869 143 0 0 25 0 1 0 733361271 117571584 27758 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28704 27758 1111 63 0 28641 0
vsize: 114816
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35070 0 0 0 108869 144 0 0 25 0 1 0 733361271 117964800 27854 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28800 27854 1111 63 0 28737 0
vsize: 115200
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35080 0 0 0 109869 144 0 0 25 0 1 0 733361271 118001664 27864 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28809 27864 1111 63 0 28746 0
vsize: 115236
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35089 0 0 0 110869 144 0 0 25 0 1 0 733361271 118038528 27873 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28818 27873 1111 63 0 28755 0
vsize: 115272
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35097 0 0 0 111869 144 0 0 25 0 1 0 733361271 118071296 27881 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28826 27881 1111 63 0 28763 0
vsize: 115304
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35107 0 0 0 112869 145 0 0 25 0 1 0 733361271 118108160 27891 4294967295 134512640 134714508 3221221792 3221220064 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28835 27891 1111 63 0 28772 0
vsize: 115340
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35114 0 0 0 113868 145 0 0 25 0 1 0 733361271 118136832 27898 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28842 27898 1111 63 0 28779 0
vsize: 115368
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35123 0 0 0 114868 146 0 0 25 0 1 0 733361271 118169600 27907 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28850 27907 1111 63 0 28787 0
vsize: 115400
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35130 0 0 0 115868 146 0 0 25 0 1 0 733361271 118198272 27914 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28857 27914 1111 63 0 28794 0
vsize: 115428
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35139 0 0 0 116868 146 0 0 25 0 1 0 733361271 118235136 27923 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28866 27923 1111 63 0 28803 0
vsize: 115464
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35151 0 0 0 117868 146 0 0 25 0 1 0 733361271 118280192 27935 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28877 27935 1111 63 0 28814 0
vsize: 115508
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 35160 0 0 0 118868 146 0 0 25 0 1 0 733361271 118317056 27944 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28886 27944 1111 63 0 28823 0
vsize: 115544
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 15659
Raw data (stat): 15659 (bsolo_lpr) R 15658 7876 7672 0 -1 0 39236 0 0 0 119860 155 0 0 25 0 1 0 733361271 128212992 30394 4294967295 134512640 134714508 3221221792 3221219712 1074916543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31302 30394 1111 63 0 31239 0
vsize: 125208
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 15659
Raw data (stat): 15659 (bsolo_lpr) Z 15658 7876 7672 0 -1 1036 39236 0 0 0 119860 161 0 0 25 0 1 0 733361271 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.22
CPU user time (s): 1198.61
CPU system time (s): 1.61475
CPU usage (%): 100.007
Max. virtual memory (Kb): 125208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####