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/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUM	a931f7e9a55cb6836807387327525e8b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-35
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58624
Number of constraints which are clauses	58624
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 24787

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 00:43:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2962 boxname=wulflinc31 idbench=330 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a931f7e9a55cb6836807387327525e8b  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-2.opb
IDLAUNCH: 2962
/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:        877716 kB
Buffers:         35688 kB
Cached:          99396 kB
SwapCached:       1936 kB
Active:         101720 kB
Inactive:        36580 kB
HighTotal:      131008 kB
HighFree:        30772 kB
LowTotal:       903652 kB
LowFree:        846944 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:            1296 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13060 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 01:03:05 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2962 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58624 constraints.
c After prepocess the problem consists of 945 variables and 40191 constraints.
c preprocess terminated 400.051 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.96 2/55 13348
Raw data (stat): 13348 (runsolver) R 13347 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 730936075 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 22300 0 0 0 939 56 0 0 25 0 1 0 730936075 94437376 22220 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23056 22220 1111 63 0 22993 0
vsize: 92224
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 1935 60 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220440 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 2935 61 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 3934 61 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 4934 62 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220184 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 5934 62 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 6934 63 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 7933 63 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 8933 64 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220056 1077377249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 9933 64 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 10932 65 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 11932 65 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220208 134543735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 12932 66 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 13931 66 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 14931 67 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 15931 67 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220304 134542968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 16931 68 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+180.009 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 17930 68 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+190.01 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 18930 69 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+200.01 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 19929 69 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220408 134543834 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+210.01 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 20929 70 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+220.011 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 21929 71 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+230.011 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 22928 71 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+240.012 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 23928 72 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220340 134535806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+250.013 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 24927 72 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+260.013 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 25927 73 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+270.014 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 26927 73 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+280.014 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 27926 74 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+290.015 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 28926 75 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+300.015 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 29926 75 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220176 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+310.015 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 30926 75 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+320.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 31925 76 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+330.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 32925 76 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+340.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 33925 77 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+350.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 34925 77 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+360.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 35924 78 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+370.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 23999 0 0 0 36924 78 0 0 25 0 1 0 730936075 98459648 23205 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23205 1111 63 0 23975 0
vsize: 96152
[startup+380.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24000 0 0 0 37924 78 0 0 25 0 1 0 730936075 98459648 23206 4294967295 134512640 134714508 3221221792 3221220592 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23206 1111 63 0 23975 0
vsize: 96152
[startup+390.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24000 0 0 0 38924 79 0 0 25 0 1 0 730936075 98459648 23206 4294967295 134512640 134714508 3221221792 3221220572 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23206 1111 63 0 23975 0
vsize: 96152
[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24001 0 0 0 39924 79 0 0 25 0 1 0 730936075 98459648 23207 4294967295 134512640 134714508 3221221792 3221220672 134663861 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23207 1111 63 0 23975 0
vsize: 96152
[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24022 0 0 0 40923 80 0 0 25 0 1 0 730936075 98459648 23228 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24038 23228 1111 63 0 23975 0
vsize: 96152
[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24190 0 0 0 41923 81 0 0 25 0 1 0 730936075 99143680 23396 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24205 23396 1111 63 0 24142 0
vsize: 96820
[startup+430.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24223 0 0 0 42921 83 0 0 25 0 1 0 730936075 99278848 23429 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24238 23429 1111 63 0 24175 0
vsize: 96952
[startup+440.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24251 0 0 0 43920 84 0 0 25 0 1 0 730936075 99393536 23457 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24266 23457 1111 63 0 24203 0
vsize: 97064
[startup+450.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24275 0 0 0 44918 85 0 0 25 0 1 0 730936075 99491840 23481 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24290 23481 1111 63 0 24227 0
vsize: 97160
[startup+460.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24298 0 0 0 45917 87 0 0 25 0 1 0 730936075 99586048 23504 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24313 23504 1111 63 0 24250 0
vsize: 97252
[startup+470.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24317 0 0 0 46916 88 0 0 25 0 1 0 730936075 99663872 23523 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24332 23523 1111 63 0 24269 0
vsize: 97328
[startup+480.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24337 0 0 0 47915 89 0 0 25 0 1 0 730936075 99745792 23543 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24352 23543 1111 63 0 24289 0
vsize: 97408
[startup+490.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24355 0 0 0 48914 90 0 0 25 0 1 0 730936075 99819520 23561 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24370 23561 1111 63 0 24307 0
vsize: 97480
[startup+500.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24373 0 0 0 49913 92 0 0 25 0 1 0 730936075 99893248 23579 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24388 23579 1111 63 0 24325 0
vsize: 97552
[startup+510.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24447 0 0 0 50912 93 0 0 25 0 1 0 730936075 100196352 23653 4294967295 134512640 134714508 3221221792 3221219664 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24462 23653 1111 63 0 24399 0
vsize: 97848
[startup+520.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24462 0 0 0 51912 94 0 0 25 0 1 0 730936075 100257792 23668 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24477 23668 1111 63 0 24414 0
vsize: 97908
[startup+530.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24477 0 0 0 52910 95 0 0 25 0 1 0 730936075 100319232 23683 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24492 23683 1111 63 0 24429 0
vsize: 97968
[startup+540.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24492 0 0 0 53909 96 0 0 25 0 1 0 730936075 100380672 23698 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24507 23698 1111 63 0 24444 0
vsize: 98028
[startup+550.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24507 0 0 0 54908 98 0 0 25 0 1 0 730936075 100442112 23713 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24522 23713 1111 63 0 24459 0
vsize: 98088
[startup+560.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24522 0 0 0 55908 98 0 0 25 0 1 0 730936075 100503552 23728 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24537 23728 1111 63 0 24474 0
vsize: 98148
[startup+570.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24613 0 0 0 56907 99 0 0 25 0 1 0 730936075 100876288 23819 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24628 23819 1111 63 0 24565 0
vsize: 98512
[startup+580.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24627 0 0 0 57906 100 0 0 25 0 1 0 730936075 100933632 23833 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24642 23833 1111 63 0 24579 0
vsize: 98568
[startup+590.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24640 0 0 0 58906 101 0 0 25 0 1 0 730936075 100986880 23846 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24655 23846 1111 63 0 24592 0
vsize: 98620
[startup+600.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24654 0 0 0 59905 102 0 0 25 0 1 0 730936075 101044224 23860 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24669 23860 1111 63 0 24606 0
vsize: 98676
[startup+610.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24669 0 0 0 60904 103 0 0 25 0 1 0 730936075 101105664 23875 4294967295 134512640 134714508 3221221792 3221219744 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24684 23875 1111 63 0 24621 0
vsize: 98736
[startup+620.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24681 0 0 0 61903 104 0 0 25 0 1 0 730936075 101154816 23887 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24696 23887 1111 63 0 24633 0
vsize: 98784
[startup+630.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24693 0 0 0 62903 104 0 0 25 0 1 0 730936075 101203968 23899 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24708 23899 1111 63 0 24645 0
vsize: 98832
[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24705 0 0 0 63903 105 0 0 25 0 1 0 730936075 101253120 23911 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24720 23911 1111 63 0 24657 0
vsize: 98880
[startup+650.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24823 0 0 0 64902 106 0 0 25 0 1 0 730936075 101736448 24029 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24838 24029 1111 63 0 24775 0
vsize: 99352
[startup+660.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24835 0 0 0 65901 107 0 0 25 0 1 0 730936075 101785600 24041 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24850 24041 1111 63 0 24787 0
vsize: 99400
[startup+670.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24847 0 0 0 66901 107 0 0 25 0 1 0 730936075 101834752 24053 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24862 24053 1111 63 0 24799 0
vsize: 99448
[startup+680.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24857 0 0 0 67900 108 0 0 25 0 1 0 730936075 101875712 24063 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24872 24063 1111 63 0 24809 0
vsize: 99488
[startup+690.036 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24869 0 0 0 68899 110 0 0 25 0 1 0 730936075 101924864 24075 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24884 24075 1111 63 0 24821 0
vsize: 99536
[startup+700.037 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24883 0 0 0 69898 110 0 0 25 0 1 0 730936075 101982208 24089 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24898 24089 1111 63 0 24835 0
vsize: 99592
[startup+710.037 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24895 0 0 0 70898 111 0 0 25 0 1 0 730936075 102031360 24101 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24910 24101 1111 63 0 24847 0
vsize: 99640
[startup+720.038 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24905 0 0 0 71897 112 0 0 25 0 1 0 730936075 102072320 24111 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24920 24111 1111 63 0 24857 0
vsize: 99680
[startup+730.038 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24920 0 0 0 72897 113 0 0 25 0 1 0 730936075 102133760 24126 4294967295 134512640 134714508 3221221792 3221219968 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24935 24126 1111 63 0 24872 0
vsize: 99740
[startup+740.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24934 0 0 0 73897 113 0 0 25 0 1 0 730936075 102191104 24140 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24949 24140 1111 63 0 24886 0
vsize: 99796
[startup+750.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 24947 0 0 0 74897 113 0 0 25 0 1 0 730936075 102244352 24153 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24962 24153 1111 63 0 24899 0
vsize: 99848
[startup+760.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 25006 0 0 0 75896 114 0 0 25 0 1 0 730936075 102486016 24212 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25021 24212 1111 63 0 24958 0
vsize: 100084
[startup+770.041 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 25022 0 0 0 76896 114 0 0 25 0 1 0 730936075 102551552 24228 4294967295 134512640 134714508 3221221792 3221219648 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25037 24228 1111 63 0 24974 0
vsize: 100148
[startup+780.042 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 32675 0 0 0 77878 132 0 0 25 0 1 0 730936075 133156864 28902 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32509 28902 1111 63 0 32446 0
vsize: 130036
[startup+790.042 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 32761 0 0 0 78878 133 0 0 25 0 1 0 730936075 133156864 28988 4294967295 134512640 134714508 3221221792 3221217932 1075116564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32509 28988 1111 63 0 32446 0
vsize: 130036
[startup+800.042 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34220 0 0 0 79875 136 0 0 25 0 1 0 730936075 136097792 30445 4294967295 134512640 134714508 3221221792 3221217940 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33227 30445 1111 63 0 33164 0
vsize: 132908
[startup+810.042 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34255 0 0 0 80875 136 0 0 25 0 1 0 730936075 136097792 30480 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33227 30480 1111 63 0 33164 0
vsize: 132908
[startup+820.043 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34484 0 0 0 81875 136 0 0 25 0 1 0 730936075 130211840 29383 4294967295 134512640 134714508 3221221792 3221217756 1074873512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29383 1111 63 0 31727 0
vsize: 127160
[startup+830.043 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34504 0 0 0 82875 137 0 0 25 0 1 0 730936075 130211840 29401 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29401 1111 63 0 31727 0
vsize: 127160
[startup+840.044 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34513 0 0 0 83875 137 0 0 25 0 1 0 730936075 130211840 29408 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29408 1111 63 0 31727 0
vsize: 127160
[startup+850.044 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34526 0 0 0 84875 137 0 0 25 0 1 0 730936075 130211840 29419 4294967295 134512640 134714508 3221221792 3221218544 1075115385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29419 1111 63 0 31727 0
vsize: 127160
[startup+860.044 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34542 0 0 0 85875 137 0 0 25 0 1 0 730936075 130211840 29435 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29435 1111 63 0 31727 0
vsize: 127160
[startup+870.045 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34554 0 0 0 86875 137 0 0 25 0 1 0 730936075 130211840 29447 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31790 29447 1111 63 0 31727 0
vsize: 127160
[startup+880.045 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34657 0 0 0 87875 138 0 0 25 0 1 0 730936075 130801664 29548 4294967295 134512640 134714508 3221221792 3221217856 1074969449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29548 1111 63 0 31871 0
vsize: 127736
[startup+890.046 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34675 0 0 0 88875 138 0 0 25 0 1 0 730936075 130801664 29566 4294967295 134512640 134714508 3221221792 3221217704 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29566 1111 63 0 31871 0
vsize: 127736
[startup+900.046 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34686 0 0 0 89875 138 0 0 25 0 1 0 730936075 130801664 29573 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29573 1111 63 0 31871 0
vsize: 127736
[startup+910.047 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34692 0 0 0 90875 138 0 0 25 0 1 0 730936075 130801664 29577 4294967295 134512640 134714508 3221221792 3221217936 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29577 1111 63 0 31871 0
vsize: 127736
[startup+920.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34696 0 0 0 91875 138 0 0 25 0 1 0 730936075 130801664 29581 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29581 1111 63 0 31871 0
vsize: 127736
[startup+930.047 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34720 0 0 0 92875 138 0 0 25 0 1 0 730936075 130801664 29603 4294967295 134512640 134714508 3221221792 3221217936 1075895661 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29603 1111 63 0 31871 0
vsize: 127736
[startup+940.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34727 0 0 0 93875 138 0 0 25 0 1 0 730936075 130801664 29608 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29608 1111 63 0 31871 0
vsize: 127736
[startup+950.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34727 0 0 0 94876 138 0 0 25 0 1 0 730936075 130801664 29608 4294967295 134512640 134714508 3221221792 3221217704 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29608 1111 63 0 31871 0
vsize: 127736
[startup+960.049 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34735 0 0 0 95876 138 0 0 25 0 1 0 730936075 130801664 29614 4294967295 134512640 134714508 3221221792 3221217756 1074873504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29614 1111 63 0 31871 0
vsize: 127736
[startup+970.049 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34739 0 0 0 96876 138 0 0 25 0 1 0 730936075 130801664 29616 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29616 1111 63 0 31871 0
vsize: 127736
[startup+980.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34743 0 0 0 97876 138 0 0 25 0 1 0 730936075 130801664 29620 4294967295 134512640 134714508 3221221792 3221217704 1075964737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31934 29620 1111 63 0 31871 0
vsize: 127736
[startup+990.051 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34797 0 0 0 98876 138 0 0 25 0 1 0 730936075 131411968 29672 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29672 1111 63 0 32020 0
vsize: 128332
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34817 0 0 0 99876 139 0 0 25 0 1 0 730936075 131411968 29692 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29692 1111 63 0 32020 0
vsize: 128332
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 13348
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34835 0 0 0 100876 139 0 0 25 0 1 0 730936075 131411968 29708 4294967295 134512640 134714508 3221221792 3221217856 1074969465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29708 1111 63 0 32020 0
vsize: 128332
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 13349
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34836 0 0 0 101877 139 0 0 25 0 1 0 730936075 131411968 29709 4294967295 134512640 134714508 3221221792 3221217776 1075084539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29709 1111 63 0 32020 0
vsize: 128332
[startup+1030.05 s]
Raw data (loadavg): 1.07 1.00 0.97 2/55 13401
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34842 0 0 0 102876 139 0 0 25 0 1 0 730936075 131411968 29713 4294967295 134512640 134714508 3221221792 3221217704 1075964733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29713 1111 63 0 32020 0
vsize: 128332
[startup+1040.05 s]
Raw data (loadavg): 1.06 1.00 0.97 2/55 13401
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34848 0 0 0 103876 139 0 0 25 0 1 0 730936075 131411968 29717 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29717 1111 63 0 32020 0
vsize: 128332
[startup+1050.05 s]
Raw data (loadavg): 1.05 1.00 0.97 2/55 13401
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34856 0 0 0 104876 139 0 0 25 0 1 0 730936075 131411968 29725 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32083 29725 1111 63 0 32020 0
vsize: 128332
[startup+1060.05 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 13401
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34934 0 0 0 105876 139 0 0 25 0 1 0 730936075 132063232 29801 4294967295 134512640 134714508 3221221792 3221217856 1074969449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29801 1111 63 0 32179 0
vsize: 128968
[startup+1070.05 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 13401
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34959 0 0 0 106876 139 0 0 25 0 1 0 730936075 132063232 29826 4294967295 134512640 134714508 3221221792 3221217812 1075964231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29826 1111 63 0 32179 0
vsize: 128968
[startup+1080.06 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 13401
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34972 0 0 0 107877 139 0 0 25 0 1 0 730936075 132063232 29837 4294967295 134512640 134714508 3221221792 3221217676 1074788168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29837 1111 63 0 32179 0
vsize: 128968
[startup+1090.06 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 13401
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34978 0 0 0 108877 139 0 0 25 0 1 0 730936075 132063232 29841 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29841 1111 63 0 32179 0
vsize: 128968
[startup+1100.06 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34978 0 0 0 109877 139 0 0 25 0 1 0 730936075 132063232 29841 4294967295 134512640 134714508 3221221792 3221217712 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29841 1111 63 0 32179 0
vsize: 128968
[startup+1110.06 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34982 0 0 0 110877 139 0 0 25 0 1 0 730936075 132063232 29843 4294967295 134512640 134714508 3221221792 3221217952 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29843 1111 63 0 32179 0
vsize: 128968
[startup+1120.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 34990 0 0 0 111877 139 0 0 25 0 1 0 730936075 132063232 29851 4294967295 134512640 134714508 3221221792 3221217856 1074969467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32242 29851 1111 63 0 32179 0
vsize: 128968
[startup+1130.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 35072 0 0 0 112877 140 0 0 25 0 1 0 730936075 132739072 29931 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29931 1111 63 0 32344 0
vsize: 129628
[startup+1140.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 35094 0 0 0 113878 140 0 0 25 0 1 0 730936075 132739072 29953 4294967295 134512640 134714508 3221221792 3221217872 1075093367 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29953 1111 63 0 32344 0
vsize: 129628
[startup+1150.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 35107 0 0 0 114878 140 0 0 25 0 1 0 730936075 132739072 29964 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29964 1111 63 0 32344 0
vsize: 129628
[startup+1160.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 35116 0 0 0 115878 140 0 0 25 0 1 0 730936075 132739072 29971 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29971 1111 63 0 32344 0
vsize: 129628
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 35116 0 0 0 116878 140 0 0 25 0 1 0 730936075 132739072 29971 4294967295 134512640 134714508 3221221792 3221217856 1074969440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29971 1111 63 0 32344 0
vsize: 129628
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 35120 0 0 0 117878 140 0 0 25 0 1 0 730936075 132739072 29973 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29973 1111 63 0 32344 0
vsize: 129628
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 35127 0 0 0 118878 140 0 0 25 0 1 0 730936075 132739072 29980 4294967295 134512640 134714508 3221221792 3221217704 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29980 1111 63 0 32344 0
vsize: 129628
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 13403
Raw data (stat): 13348 (bsolo_lpr) R 13347 7876 7672 0 -1 0 35250 0 0 0 119878 140 0 0 25 0 1 0 730936075 133459968 30101 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32583 30101 1111 63 0 32520 0
vsize: 130332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 13403
Raw data (stat): 13348 (bsolo_lpr) Z 13347 7876 7672 0 -1 1036 35250 0 0 0 119878 146 0 0 25 0 1 0 730936075 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.25
CPU user time (s): 1198.79
CPU system time (s): 1.46478
CPU usage (%): 100.011
Max. virtual memory (Kb): 132908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####