PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
MD5SUM	a18434ce5469ba587063f7e76ce3e080
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4500
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	4500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4500
Total number of constraints	72413
Number of constraints which are clauses	72413
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	18
Trace number 23792

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 21:44:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1171 boxname=wulflinc31 idbench=131 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a18434ce5469ba587063f7e76ce3e080  /oldhome/oroussel/tmp/wulflinc31/normalized-g125.18.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-g125.18.opb
IDLAUNCH: 1171
/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:        900088 kB
Buffers:         44772 kB
Cached:          66960 kB
SwapCached:        944 kB
Active:          90524 kB
Inactive:        23748 kB
HighTotal:      131008 kB
HighFree:        63084 kB
LowTotal:       903652 kB
LowFree:        837004 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:            1464 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14732 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 22:04:39 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 1171 7 1200.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4500 variables and 72413 constraints.
c After prepocess the problem consists of 4500 variables and 72563 constraints.
c preprocess terminated 506.46 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.91 0.95 0.98 2/54 6510
Raw data (stat): 6510 (runsolver) R 6509 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 660737428 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.95 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 44253 0 0 0 883 111 0 0 25 0 1 0 660737428 184475648 44165 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45038 44165 1111 63 0 44975 0
vsize: 180152
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 82610 0 0 0 1784 210 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 140529 0 0 0 2640 354 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220368 134535740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 157274 0 0 0 3598 396 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 180106 0 0 0 4542 453 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 206801 0 0 0 5474 521 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 222155 0 0 0 6437 558 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 7399 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 8399 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220528 134625578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 9399 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220320 134542836 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 10400 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220348 134542828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 11400 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 12400 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 13400 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 14400 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 15401 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 16401 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 17401 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220200 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 18401 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220284 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 19401 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 20402 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 21402 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220288 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 22402 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 23402 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220408 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 24402 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220204 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 25403 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 26403 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 27403 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220304 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 28403 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 29403 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 30403 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220256 134542344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 31404 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 32404 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 33404 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 34404 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 35404 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 36404 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 37405 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220156 134539306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 38405 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220408 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 39405 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 40405 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220316 134538944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 41405 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220400 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 42406 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 43406 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 44406 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 45406 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 46406 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 47406 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 237971 0 0 0 48406 597 0 0 25 0 1 0 660737428 184545280 44197 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45055 44197 1111 63 0 44992 0
vsize: 180220
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 238540 0 0 0 49405 599 0 0 25 0 1 0 660737428 186871808 44766 4294967295 134512640 134714508 3221221792 3221220632 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45623 44766 1111 63 0 45560 0
vsize: 182492
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 238794 0 0 0 50404 600 0 0 25 0 1 0 660737428 188514304 45020 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46024 45020 1111 63 0 45961 0
vsize: 184096
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 238914 0 0 0 51402 601 0 0 25 0 1 0 660737428 188792832 45124 4294967295 134512640 134714508 3221221792 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46092 45124 1111 63 0 46029 0
vsize: 184368
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 238984 0 0 0 52401 603 0 0 25 0 1 0 660737428 189202432 45194 4294967295 134512640 134714508 3221221792 3221220112 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46192 45194 1111 63 0 46129 0
vsize: 184768
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239024 0 0 0 53401 603 0 0 25 0 1 0 660737428 189337600 45234 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46225 45234 1111 63 0 46162 0
vsize: 184900
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239141 0 0 0 54400 604 0 0 25 0 1 0 660737428 189792256 45351 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46336 45351 1111 63 0 46273 0
vsize: 185344
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239170 0 0 0 55399 605 0 0 25 0 1 0 660737428 189902848 45380 4294967295 134512640 134714508 3221221792 3221220048 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46363 45380 1111 63 0 46300 0
vsize: 185452
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239213 0 0 0 56399 606 0 0 25 0 1 0 660737428 190050304 45423 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46399 45423 1111 63 0 46336 0
vsize: 185596
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239237 0 0 0 57398 607 0 0 25 0 1 0 660737428 190144512 45447 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46422 45447 1111 63 0 46359 0
vsize: 185688
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239259 0 0 0 58398 608 0 0 25 0 1 0 660737428 190230528 45469 4294967295 134512640 134714508 3221221792 3221219696 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46443 45469 1111 63 0 46380 0
vsize: 185772
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239361 0 0 0 59397 609 0 0 25 0 1 0 660737428 190611456 45571 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46536 45571 1111 63 0 46473 0
vsize: 186144
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239380 0 0 0 60396 609 0 0 25 0 1 0 660737428 190685184 45590 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46554 45590 1111 63 0 46491 0
vsize: 186216
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239399 0 0 0 61396 610 0 0 25 0 1 0 660737428 190758912 45609 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46572 45609 1111 63 0 46509 0
vsize: 186288
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239418 0 0 0 62395 611 0 0 25 0 1 0 660737428 190832640 45628 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46590 45628 1111 63 0 46527 0
vsize: 186360
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239434 0 0 0 63395 611 0 0 25 0 1 0 660737428 190898176 45644 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46606 45644 1111 63 0 46543 0
vsize: 186424
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239479 0 0 0 64394 612 0 0 25 0 1 0 660737428 190902272 45654 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46607 45654 1111 63 0 46544 0
vsize: 186428
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239495 0 0 0 65394 613 0 0 25 0 1 0 660737428 190963712 45670 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46622 45670 1111 63 0 46559 0
vsize: 186488
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239509 0 0 0 66394 613 0 0 25 0 1 0 660737428 191016960 45684 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46635 45684 1111 63 0 46572 0
vsize: 186540
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239523 0 0 0 67393 614 0 0 25 0 1 0 660737428 191074304 45698 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46649 45698 1111 63 0 46586 0
vsize: 186596
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239537 0 0 0 68393 614 0 0 25 0 1 0 660737428 191127552 45712 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46662 45712 1111 63 0 46599 0
vsize: 186648
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239550 0 0 0 69393 614 0 0 25 0 1 0 660737428 191176704 45725 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46674 45725 1111 63 0 46611 0
vsize: 186696
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239669 0 0 0 70392 615 0 0 25 0 1 0 660737428 191664128 45844 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46793 45844 1111 63 0 46730 0
vsize: 187172
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239682 0 0 0 71392 615 0 0 25 0 1 0 660737428 191713280 45857 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46805 45857 1111 63 0 46742 0
vsize: 187220
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239695 0 0 0 72392 616 0 0 25 0 1 0 660737428 191766528 45870 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46818 45870 1111 63 0 46755 0
vsize: 187272
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239708 0 0 0 73392 616 0 0 25 0 1 0 660737428 191815680 45883 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46830 45883 1111 63 0 46767 0
vsize: 187320
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239721 0 0 0 74392 617 0 0 25 0 1 0 660737428 191864832 45896 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46842 45896 1111 63 0 46779 0
vsize: 187368
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239735 0 0 0 75391 618 0 0 25 0 1 0 660737428 191922176 45910 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46856 45910 1111 63 0 46793 0
vsize: 187424
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239746 0 0 0 76391 618 0 0 25 0 1 0 660737428 191963136 45921 4294967295 134512640 134714508 3221221792 3221220048 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45921 1111 63 0 46803 0
vsize: 187464
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239758 0 0 0 77391 618 0 0 25 0 1 0 660737428 192012288 45933 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46878 45933 1111 63 0 46815 0
vsize: 187512
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239771 0 0 0 78390 619 0 0 25 0 1 0 660737428 192061440 45946 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46890 45946 1111 63 0 46827 0
vsize: 187560
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239782 0 0 0 79390 619 0 0 25 0 1 0 660737428 192106496 45957 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46901 45957 1111 63 0 46838 0
vsize: 187604
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239849 0 0 0 80390 620 0 0 25 0 1 0 660737428 192376832 46024 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46967 46024 1111 63 0 46904 0
vsize: 187868
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239861 0 0 0 81389 620 0 0 25 0 1 0 660737428 192425984 46036 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46979 46036 1111 63 0 46916 0
vsize: 187916
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239873 0 0 0 82389 621 0 0 25 0 1 0 660737428 192471040 46048 4294967295 134512640 134714508 3221221792 3221220064 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46990 46048 1111 63 0 46927 0
vsize: 187960
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239884 0 0 0 83389 621 0 0 25 0 1 0 660737428 192512000 46059 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47000 46059 1111 63 0 46937 0
vsize: 188000
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239893 0 0 0 84389 622 0 0 25 0 1 0 660737428 192548864 46068 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47009 46068 1111 63 0 46946 0
vsize: 188036
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239904 0 0 0 85389 622 0 0 25 0 1 0 660737428 192593920 46079 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47020 46079 1111 63 0 46957 0
vsize: 188080
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239915 0 0 0 86388 622 0 0 25 0 1 0 660737428 192634880 46090 4294967295 134512640 134714508 3221221792 3221220064 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47030 46090 1111 63 0 46967 0
vsize: 188120
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239924 0 0 0 87388 623 0 0 25 0 1 0 660737428 192671744 46099 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47039 46099 1111 63 0 46976 0
vsize: 188156
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239936 0 0 0 88388 623 0 0 25 0 1 0 660737428 192716800 46111 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47050 46111 1111 63 0 46987 0
vsize: 188200
[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239943 0 0 0 89388 623 0 0 25 0 1 0 660737428 192745472 46118 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47057 46118 1111 63 0 46994 0
vsize: 188228
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239953 0 0 0 90388 624 0 0 25 0 1 0 660737428 192782336 46128 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47066 46128 1111 63 0 47003 0
vsize: 188264
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6510
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239964 0 0 0 91388 624 0 0 25 0 1 0 660737428 192827392 46139 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47077 46139 1111 63 0 47014 0
vsize: 188308
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6511
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 239974 0 0 0 92388 624 0 0 25 0 1 0 660737428 192864256 46149 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47086 46149 1111 63 0 47023 0
vsize: 188344
[startup+940.157 s]
Raw data (loadavg): 1.07 0.99 0.98 3/57 6550
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240147 0 0 0 93398 625 0 0 25 0 1 0 660737428 193245184 46242 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47179 46242 1111 63 0 47116 0
vsize: 188716
[startup+950.198 s]
Raw data (loadavg): 1.14 1.00 0.99 2/57 6559
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240157 0 0 0 94402 626 0 0 25 0 1 0 660737428 193282048 46252 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47188 46252 1111 63 0 47125 0
vsize: 188752
[startup+960.198 s]
Raw data (loadavg): 1.19 1.02 0.99 2/54 6563
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240164 0 0 0 95401 626 0 0 25 0 1 0 660737428 193310720 46259 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47195 46259 1111 63 0 47132 0
vsize: 188780
[startup+970.198 s]
Raw data (loadavg): 1.24 1.04 1.00 2/54 6563
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240173 0 0 0 96401 626 0 0 25 0 1 0 660737428 193347584 46268 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47204 46268 1111 63 0 47141 0
vsize: 188816
[startup+980.198 s]
Raw data (loadavg): 1.21 1.03 1.00 2/54 6563
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240183 0 0 0 97401 627 0 0 25 0 1 0 660737428 193384448 46278 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47213 46278 1111 63 0 47150 0
vsize: 188852
[startup+990.199 s]
Raw data (loadavg): 1.17 1.03 1.00 2/54 6563
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240191 0 0 0 98401 627 0 0 25 0 1 0 660737428 193417216 46286 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47221 46286 1111 63 0 47158 0
vsize: 188884
[startup+1000.2 s]
Raw data (loadavg): 1.15 1.03 1.00 2/54 6563
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240201 0 0 0 99401 628 0 0 25 0 1 0 660737428 193454080 46296 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47230 46296 1111 63 0 47167 0
vsize: 188920
[startup+1010.2 s]
Raw data (loadavg): 1.12 1.03 1.00 2/54 6563
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240210 0 0 0 100401 628 0 0 25 0 1 0 660737428 193490944 46305 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47239 46305 1111 63 0 47176 0
vsize: 188956
[startup+1020.2 s]
Raw data (loadavg): 1.10 1.03 1.00 2/54 6563
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240220 0 0 0 101401 628 0 0 25 0 1 0 660737428 193527808 46315 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47248 46315 1111 63 0 47185 0
vsize: 188992
[startup+1030.2 s]
Raw data (loadavg): 1.09 1.03 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240229 0 0 0 102401 628 0 0 25 0 1 0 660737428 193564672 46324 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47257 46324 1111 63 0 47194 0
vsize: 189028
[startup+1040.2 s]
Raw data (loadavg): 1.07 1.03 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240238 0 0 0 103401 628 0 0 25 0 1 0 660737428 193601536 46333 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47266 46333 1111 63 0 47203 0
vsize: 189064
[startup+1050.2 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240248 0 0 0 104401 629 0 0 25 0 1 0 660737428 193638400 46343 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47275 46343 1111 63 0 47212 0
vsize: 189100
[startup+1060.2 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240257 0 0 0 105401 629 0 0 25 0 1 0 660737428 193675264 46352 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47284 46352 1111 63 0 47221 0
vsize: 189136
[startup+1070.2 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240267 0 0 0 106400 629 0 0 25 0 1 0 660737428 193712128 46362 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47293 46362 1111 63 0 47230 0
vsize: 189172
[startup+1080.2 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240276 0 0 0 107400 630 0 0 25 0 1 0 660737428 193748992 46371 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47302 46371 1111 63 0 47239 0
vsize: 189208
[startup+1090.2 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240283 0 0 0 108400 630 0 0 25 0 1 0 660737428 193777664 46378 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47309 46378 1111 63 0 47246 0
vsize: 189236
[startup+1100.2 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240292 0 0 0 109400 630 0 0 25 0 1 0 660737428 193810432 46387 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47317 46387 1111 63 0 47254 0
vsize: 189268
[startup+1110.21 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240299 0 0 0 110400 630 0 0 25 0 1 0 660737428 193839104 46394 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47324 46394 1111 63 0 47261 0
vsize: 189296
[startup+1120.21 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240307 0 0 0 111401 630 0 0 25 0 1 0 660737428 193875968 46402 4294967295 134512640 134714508 3221221792 3221219696 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47333 46402 1111 63 0 47270 0
vsize: 189332
[startup+1130.21 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240317 0 0 0 112401 631 0 0 25 0 1 0 660737428 193908736 46412 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47341 46412 1111 63 0 47278 0
vsize: 189364
[startup+1140.21 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240419 0 0 0 113400 631 0 0 25 0 1 0 660737428 194326528 46514 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47443 46514 1111 63 0 47380 0
vsize: 189772
[startup+1150.21 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240428 0 0 0 114400 632 0 0 25 0 1 0 660737428 194359296 46523 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47451 46523 1111 63 0 47388 0
vsize: 189804
[startup+1160.21 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240435 0 0 0 115400 632 0 0 25 0 1 0 660737428 194387968 46530 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47458 46530 1111 63 0 47395 0
vsize: 189832
[startup+1170.21 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240443 0 0 0 116400 632 0 0 25 0 1 0 660737428 194420736 46538 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47466 46538 1111 63 0 47403 0
vsize: 189864
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240451 0 0 0 117400 632 0 0 25 0 1 0 660737428 194449408 46546 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47473 46546 1111 63 0 47410 0
vsize: 189892
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240459 0 0 0 118400 633 0 0 25 0 1 0 660737428 194482176 46554 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47481 46554 1111 63 0 47418 0
vsize: 189924
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6565
Raw data (stat): 6510 (bsolo_lpr) R 6509 7876 7672 0 -1 0 240466 0 0 0 119399 633 0 0 25 0 1 0 660737428 194510848 46561 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47488 46561 1111 63 0 47425 0
vsize: 189952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 6565
Raw data (stat): 6510 (bsolo_lpr) Z 6509 7876 7672 0 -1 1036 240466 0 0 0 119399 642 0 0 25 0 1 0 660737428 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.3
CPU time (s): 1200.42
CPU user time (s): 1194
CPU system time (s): 6.42202
CPU usage (%): 100.01
Max. virtual memory (Kb): 189952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####