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/ttp/normalized-data10_3.opb
MD5SUM	4a63b686be1696a2915c6e312773fbad
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	81744
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	559660
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	559660
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.07
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 24437

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 11:18:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2332 boxname=wulflinc31 idbench=260 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4a63b686be1696a2915c6e312773fbad  /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb
IDLAUNCH: 2332
/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:        288760 kB
Buffers:         46552 kB
Cached:         664832 kB
SwapCached:        644 kB
Active:         310956 kB
Inactive:       402692 kB
HighTotal:      131008 kB
HighFree:        25816 kB
LowTotal:       903652 kB
LowFree:        262944 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:            1132 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26528 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 11:38:08 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2332 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2700 variables and 43070 constraints.
c After prepocess the problem consists of 2700 variables and 41276 constraints.
c preprocess terminated 240.772 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.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (runsolver) R 9824 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 708823852 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.0007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 8306 0 0 0 968 27 0 0 25 0 1 0 708823852 47124480 8229 4294967295 134512640 134714508 3221221792 3221219708 1077246155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11538 8230 1111 63 0 11475 0
vsize: 46020
[startup+20.0017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 55240 0 0 0 1849 147 0 0 25 0 1 0 708823852 52002816 11841 4294967295 134512640 134714508 3221221792 3221220424 134558793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12696 11841 1111 63 0 12633 0
vsize: 50784
[startup+30.0016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 79327 0 0 0 2788 207 0 0 25 0 1 0 708823852 54116352 12336 4294967295 134512640 134714508 3221221792 3221220236 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13212 12336 1111 63 0 13149 0
vsize: 52848
[startup+40.0026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 83536 0 0 0 3776 219 0 0 25 0 1 0 708823852 56336384 12878 4294967295 134512640 134714508 3221221792 3221220324 134535326 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12878 1111 63 0 13691 0
vsize: 55016
[startup+50.0039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 87501 0 0 0 4766 230 0 0 25 0 1 0 708823852 68644864 15894 4294967295 134512640 134714508 3221221792 3221220200 134543594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16759 15894 1111 63 0 16696 0
vsize: 67036
[startup+60.0045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 87833 0 0 0 5765 231 0 0 25 0 1 0 708823852 68657152 15918 4294967295 134512640 134714508 3221221792 3221220532 134630809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16762 15918 1111 63 0 16699 0
vsize: 67048
[startup+70.0054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 88109 0 0 0 6764 232 0 0 25 0 1 0 708823852 68657152 15918 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16762 15918 1111 63 0 16699 0
vsize: 67048
[startup+80.0054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 90097 0 0 0 7759 238 0 0 25 0 1 0 708823852 68657152 15918 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16762 15918 1111 63 0 16699 0
vsize: 67048
[startup+90.0062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 93718 0 0 0 8749 248 0 0 25 0 1 0 708823852 68657152 15918 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16762 15918 1111 63 0 16699 0
vsize: 67048
[startup+100.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 97818 0 0 0 9739 258 0 0 25 0 1 0 708823852 70582272 16388 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17232 16388 1111 63 0 17169 0
vsize: 68928
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 98388 0 0 0 10737 260 0 0 25 0 1 0 708823852 72646656 16892 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17736 16892 1111 63 0 17673 0
vsize: 70944
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 99926 0 0 0 11733 265 0 0 25 0 1 0 708823852 72646656 16892 4294967295 134512640 134714508 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17736 16892 1111 63 0 17673 0
vsize: 70944
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 101908 0 0 0 12728 270 0 0 25 0 1 0 708823852 75399168 17564 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18408 17564 1111 63 0 18345 0
vsize: 73632
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 102678 0 0 0 13726 272 0 0 25 0 1 0 708823852 75399168 17564 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18408 17564 1111 63 0 18345 0
vsize: 73632
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 103886 0 0 0 14723 275 0 0 25 0 1 0 708823852 75399168 17564 4294967295 134512640 134714508 3221221792 3221220224 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18408 17564 1111 63 0 18345 0
vsize: 73632
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 105735 0 0 0 15718 280 0 0 25 0 1 0 708823852 77926400 18173 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19025 18180 1111 63 0 18962 0
vsize: 76100
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 16715 284 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 17715 284 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 18714 285 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 19714 285 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 20714 285 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 21714 286 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 22714 286 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18227 1111 63 0 19008 0
vsize: 76284
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106839 0 0 0 23714 286 0 0 25 0 1 0 708823852 78114816 18228 4294967295 134512640 134714508 3221221792 3221220648 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18228 1111 63 0 19008 0
vsize: 76284
[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 24714 287 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 25713 287 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 26713 287 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221219800 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 27713 288 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+290.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 28713 288 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+300.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 29713 289 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+310.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 30712 290 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+320.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 31712 290 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+330.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107140 0 0 0 32711 291 0 0 25 0 1 0 708823852 79253504 18529 4294967295 134512640 134714508 3221221792 3221219920 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19349 18529 1111 63 0 19286 0
vsize: 77396
[startup+340.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107164 0 0 0 33710 293 0 0 25 0 1 0 708823852 79351808 18553 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19373 18553 1111 63 0 19310 0
vsize: 77492
[startup+350.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107186 0 0 0 34709 294 0 0 25 0 1 0 708823852 79441920 18575 4294967295 134512640 134714508 3221221792 3221219920 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19395 18575 1111 63 0 19332 0
vsize: 77580
[startup+360.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107207 0 0 0 35708 295 0 0 25 0 1 0 708823852 79527936 18596 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19416 18596 1111 63 0 19353 0
vsize: 77664
[startup+370.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107226 0 0 0 36708 295 0 0 25 0 1 0 708823852 79605760 18615 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19435 18615 1111 63 0 19372 0
vsize: 77740
[startup+380.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107243 0 0 0 37707 296 0 0 25 0 1 0 708823852 79675392 18632 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19452 18632 1111 63 0 19389 0
vsize: 77808
[startup+390.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107260 0 0 0 38707 297 0 0 25 0 1 0 708823852 79745024 18649 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18649 1111 63 0 19406 0
vsize: 77876
[startup+400.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107278 0 0 0 39706 297 0 0 25 0 1 0 708823852 79818752 18667 4294967295 134512640 134714508 3221221792 3221219872 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19487 18667 1111 63 0 19424 0
vsize: 77948
[startup+410.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107293 0 0 0 40706 298 0 0 25 0 1 0 708823852 79880192 18682 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19502 18682 1111 63 0 19439 0
vsize: 78008
[startup+420.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107308 0 0 0 41705 299 0 0 25 0 1 0 708823852 79941632 18697 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19517 18697 1111 63 0 19454 0
vsize: 78068
[startup+430.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107323 0 0 0 42705 300 0 0 25 0 1 0 708823852 80003072 18712 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19532 18712 1111 63 0 19469 0
vsize: 78128
[startup+440.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107338 0 0 0 43704 300 0 0 25 0 1 0 708823852 80064512 18727 4294967295 134512640 134714508 3221221792 3221219904 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19547 18727 1111 63 0 19484 0
vsize: 78188
[startup+450.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107352 0 0 0 44704 301 0 0 25 0 1 0 708823852 80121856 18741 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19561 18741 1111 63 0 19498 0
vsize: 78244
[startup+460.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107367 0 0 0 45703 301 0 0 25 0 1 0 708823852 80183296 18756 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19576 18756 1111 63 0 19513 0
vsize: 78304
[startup+470.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107378 0 0 0 46703 302 0 0 25 0 1 0 708823852 80228352 18767 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18767 1111 63 0 19524 0
vsize: 78348
[startup+480.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107392 0 0 0 47702 303 0 0 25 0 1 0 708823852 80285696 18781 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19601 18781 1111 63 0 19538 0
vsize: 78404
[startup+490.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107677 0 0 0 48701 304 0 0 25 0 1 0 708823852 81453056 19066 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19886 19066 1111 63 0 19823 0
vsize: 79544
[startup+500.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107695 0 0 0 49700 305 0 0 25 0 1 0 708823852 81526784 19084 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19904 19084 1111 63 0 19841 0
vsize: 79616
[startup+510.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107714 0 0 0 50700 306 0 0 25 0 1 0 708823852 81604608 19103 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19923 19103 1111 63 0 19860 0
vsize: 79692
[startup+520.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107731 0 0 0 51699 307 0 0 25 0 1 0 708823852 81674240 19120 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19940 19120 1111 63 0 19877 0
vsize: 79760
[startup+530.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107750 0 0 0 52699 307 0 0 25 0 1 0 708823852 81752064 19139 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19959 19139 1111 63 0 19896 0
vsize: 79836
[startup+540.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107767 0 0 0 53698 308 0 0 25 0 1 0 708823852 81821696 19156 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19976 19156 1111 63 0 19913 0
vsize: 79904
[startup+550.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107785 0 0 0 54698 309 0 0 25 0 1 0 708823852 81895424 19174 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19994 19174 1111 63 0 19931 0
vsize: 79976
[startup+560.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107801 0 0 0 55697 310 0 0 25 0 1 0 708823852 81960960 19190 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20010 19190 1111 63 0 19947 0
vsize: 80040
[startup+570.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107816 0 0 0 56697 310 0 0 25 0 1 0 708823852 82022400 19205 4294967295 134512640 134714508 3221221792 3221220064 1074153783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20025 19205 1111 63 0 19962 0
vsize: 80100
[startup+580.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107833 0 0 0 57697 310 0 0 25 0 1 0 708823852 82092032 19222 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20042 19222 1111 63 0 19979 0
vsize: 80168
[startup+590.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107849 0 0 0 58697 311 0 0 25 0 1 0 708823852 82157568 19238 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20058 19238 1111 63 0 19995 0
vsize: 80232
[startup+600.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107866 0 0 0 59697 311 0 0 25 0 1 0 708823852 82227200 19255 4294967295 134512640 134714508 3221221792 3221219856 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20075 19255 1111 63 0 20012 0
vsize: 80300
[startup+610.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107882 0 0 0 60696 312 0 0 25 0 1 0 708823852 82292736 19271 4294967295 134512640 134714508 3221221792 3221219824 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20091 19271 1111 63 0 20028 0
vsize: 80364
[startup+620.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107897 0 0 0 61696 312 0 0 25 0 1 0 708823852 82354176 19286 4294967295 134512640 134714508 3221221792 3221219760 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20106 19286 1111 63 0 20043 0
vsize: 80424
[startup+630.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107911 0 0 0 62696 312 0 0 25 0 1 0 708823852 82411520 19300 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20120 19300 1111 63 0 20057 0
vsize: 80480
[startup+640.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107926 0 0 0 63696 313 0 0 25 0 1 0 708823852 82472960 19315 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20135 19315 1111 63 0 20072 0
vsize: 80540
[startup+650.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107941 0 0 0 64696 313 0 0 25 0 1 0 708823852 82534400 19330 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20150 19330 1111 63 0 20087 0
vsize: 80600
[startup+660.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107954 0 0 0 65696 313 0 0 25 0 1 0 708823852 82587648 19343 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19343 1111 63 0 20100 0
vsize: 80652
[startup+670.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107969 0 0 0 66696 313 0 0 25 0 1 0 708823852 82649088 19358 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20178 19358 1111 63 0 20115 0
vsize: 80712
[startup+680.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107984 0 0 0 67696 314 0 0 25 0 1 0 708823852 82710528 19373 4294967295 134512640 134714508 3221221792 3221219424 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20193 19373 1111 63 0 20130 0
vsize: 80772
[startup+690.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107999 0 0 0 68696 314 0 0 25 0 1 0 708823852 82771968 19388 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20208 19388 1111 63 0 20145 0
vsize: 80832
[startup+700.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108013 0 0 0 69696 314 0 0 25 0 1 0 708823852 82829312 19402 4294967295 134512640 134714508 3221221792 3221219824 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20222 19402 1111 63 0 20159 0
vsize: 80888
[startup+710.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108026 0 0 0 70696 314 0 0 25 0 1 0 708823852 82882560 19415 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20235 19415 1111 63 0 20172 0
vsize: 80940
[startup+720.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108040 0 0 0 71696 314 0 0 25 0 1 0 708823852 82939904 19429 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20249 19429 1111 63 0 20186 0
vsize: 80996
[startup+730.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108053 0 0 0 72696 314 0 0 25 0 1 0 708823852 82993152 19442 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20262 19442 1111 63 0 20199 0
vsize: 81048
[startup+740.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108067 0 0 0 73696 315 0 0 25 0 1 0 708823852 83050496 19456 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20276 19456 1111 63 0 20213 0
vsize: 81104
[startup+750.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108080 0 0 0 74696 315 0 0 25 0 1 0 708823852 83103744 19469 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20289 19469 1111 63 0 20226 0
vsize: 81156
[startup+760.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108092 0 0 0 75695 315 0 0 25 0 1 0 708823852 83152896 19481 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20301 19481 1111 63 0 20238 0
vsize: 81204
[startup+770.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108106 0 0 0 76696 315 0 0 25 0 1 0 708823852 83210240 19495 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20315 19495 1111 63 0 20252 0
vsize: 81260
[startup+780.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108119 0 0 0 77695 316 0 0 25 0 1 0 708823852 83263488 19508 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20328 19508 1111 63 0 20265 0
vsize: 81312
[startup+790.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108133 0 0 0 78696 316 0 0 25 0 1 0 708823852 83320832 19522 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20342 19522 1111 63 0 20279 0
vsize: 81368
[startup+800.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108145 0 0 0 79695 316 0 0 25 0 1 0 708823852 83369984 19534 4294967295 134512640 134714508 3221221792 3221219952 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20354 19534 1111 63 0 20291 0
vsize: 81416
[startup+810.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108155 0 0 0 80695 316 0 0 25 0 1 0 708823852 83410944 19544 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20364 19544 1111 63 0 20301 0
vsize: 81456
[startup+820.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108169 0 0 0 81696 316 0 0 25 0 1 0 708823852 83468288 19558 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20378 19558 1111 63 0 20315 0
vsize: 81512
[startup+830.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108181 0 0 0 82695 317 0 0 25 0 1 0 708823852 83517440 19570 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20390 19570 1111 63 0 20327 0
vsize: 81560
[startup+840.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108194 0 0 0 83695 317 0 0 25 0 1 0 708823852 83570688 19583 4294967295 134512640 134714508 3221221792 3221219808 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20403 19583 1111 63 0 20340 0
vsize: 81612
[startup+850.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108206 0 0 0 84695 317 0 0 25 0 1 0 708823852 83619840 19595 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20415 19595 1111 63 0 20352 0
vsize: 81660
[startup+860.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108218 0 0 0 85695 318 0 0 25 0 1 0 708823852 83668992 19607 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20427 19607 1111 63 0 20364 0
vsize: 81708
[startup+870.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108229 0 0 0 86695 318 0 0 25 0 1 0 708823852 83714048 19618 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20438 19618 1111 63 0 20375 0
vsize: 81752
[startup+880.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108241 0 0 0 87695 318 0 0 25 0 1 0 708823852 83763200 19630 4294967295 134512640 134714508 3221221792 3221220016 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20450 19630 1111 63 0 20387 0
vsize: 81800
[startup+890.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108253 0 0 0 88694 319 0 0 25 0 1 0 708823852 83812352 19642 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20462 19642 1111 63 0 20399 0
vsize: 81848
[startup+900.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108266 0 0 0 89695 319 0 0 25 0 1 0 708823852 83865600 19655 4294967295 134512640 134714508 3221221792 3221219856 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20475 19655 1111 63 0 20412 0
vsize: 81900
[startup+910.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108277 0 0 0 90695 319 0 0 25 0 1 0 708823852 83910656 19666 4294967295 134512640 134714508 3221221792 3221219760 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20486 19666 1111 63 0 20423 0
vsize: 81944
[startup+920.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 111347 0 0 0 91689 325 0 0 25 0 1 0 708823852 98996224 22689 4294967295 134512640 134714508 3221221792 3221219824 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24169 22689 1111 63 0 24106 0
vsize: 96676
[startup+930.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 119176 0 0 0 92672 342 0 0 25 0 1 0 708823852 119689216 25187 4294967295 134512640 134714508 3221221792 3221217784 1074950198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29221 25187 1111 63 0 29158 0
vsize: 116884
[startup+940.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120405 0 0 0 93669 345 0 0 25 0 1 0 708823852 119689216 26414 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29221 26414 1111 63 0 29158 0
vsize: 116884
[startup+950.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120591 0 0 0 94669 346 0 0 25 0 1 0 708823852 115163136 25438 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28116 25438 1111 63 0 28053 0
vsize: 112464
[startup+960.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120714 0 0 0 95668 346 0 0 25 0 1 0 708823852 115687424 25559 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28244 25559 1111 63 0 28181 0
vsize: 112976
[startup+970.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120861 0 0 0 96668 347 0 0 25 0 1 0 708823852 116244480 25704 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28380 25704 1111 63 0 28317 0
vsize: 113520
[startup+980.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120994 0 0 0 97668 347 0 0 25 0 1 0 708823852 116822016 25835 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28521 25835 1111 63 0 28458 0
vsize: 114084
[startup+990.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121088 0 0 0 98668 347 0 0 25 0 1 0 708823852 117440512 25927 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28672 25927 1111 63 0 28609 0
vsize: 114688
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121366 0 0 0 99667 348 0 0 25 0 1 0 708823852 118079488 26203 4294967295 134512640 134714508 3221221792 3221217756 1074873512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26203 1111 63 0 28765 0
vsize: 115312
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121440 0 0 0 100668 348 0 0 25 0 1 0 708823852 118079488 26275 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26275 1111 63 0 28765 0
vsize: 115312
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121455 0 0 0 101668 348 0 0 25 0 1 0 708823852 118079488 26288 4294967295 134512640 134714508 3221221792 3221217920 1074815309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26288 1111 63 0 28765 0
vsize: 115312
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121462 0 0 0 102668 348 0 0 25 0 1 0 708823852 118079488 26293 4294967295 134512640 134714508 3221221792 3221218632 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26293 1111 63 0 28765 0
vsize: 115312
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121464 0 0 0 103668 348 0 0 25 0 1 0 708823852 118079488 26295 4294967295 134512640 134714508 3221221792 3221218080 1075894554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26295 1111 63 0 28765 0
vsize: 115312
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121487 0 0 0 104668 348 0 0 25 0 1 0 708823852 118079488 26316 4294967295 134512640 134714508 3221221792 3221217672 1075964730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26316 1111 63 0 28765 0
vsize: 115312
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121514 0 0 0 105669 348 0 0 25 0 1 0 708823852 118079488 26341 4294967295 134512640 134714508 3221221792 3221217588 1074786556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26341 1111 63 0 28765 0
vsize: 115312
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121533 0 0 0 106669 348 0 0 25 0 1 0 708823852 118079488 26358 4294967295 134512640 134714508 3221221792 3221217840 1075112091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26358 1111 63 0 28765 0
vsize: 115312
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121540 0 0 0 107669 348 0 0 25 0 1 0 708823852 118079488 26365 4294967295 134512640 134714508 3221221792 3221217840 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26365 1111 63 0 28765 0
vsize: 115312
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121549 0 0 0 108669 348 0 0 25 0 1 0 708823852 118079488 26372 4294967295 134512640 134714508 3221221792 3221217920 1074815290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26372 1111 63 0 28765 0
vsize: 115312
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121551 0 0 0 109669 349 0 0 25 0 1 0 708823852 118079488 26372 4294967295 134512640 134714508 3221221792 3221217936 1075895659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26372 1111 63 0 28765 0
vsize: 115312
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121561 0 0 0 110669 349 0 0 25 0 1 0 708823852 118079488 26380 4294967295 134512640 134714508 3221221792 3221217756 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28828 26380 1111 63 0 28765 0
vsize: 115312
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121618 0 0 0 111669 349 0 0 25 0 1 0 708823852 118755328 26435 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28993 26435 1111 63 0 28930 0
vsize: 115972
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121649 0 0 0 112669 349 0 0 25 0 1 0 708823852 118755328 26466 4294967295 134512640 134714508 3221221792 3221217984 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28993 26466 1111 63 0 28930 0
vsize: 115972
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121654 0 0 0 113669 349 0 0 25 0 1 0 708823852 118755328 26469 4294967295 134512640 134714508 3221221792 3221217672 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28993 26469 1111 63 0 28930 0
vsize: 115972
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121661 0 0 0 114670 349 0 0 25 0 1 0 708823852 118755328 26474 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28993 26474 1111 63 0 28930 0
vsize: 115972
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121767 0 0 0 115669 349 0 0 25 0 1 0 708823852 119459840 26578 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26578 1111 63 0 29102 0
vsize: 116660
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121801 0 0 0 116669 349 0 0 25 0 1 0 708823852 119791616 26612 4294967295 134512640 134714508 3221221792 3221218752 1075971404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29246 26612 1111 63 0 29183 0
vsize: 116984
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121801 0 0 0 117670 349 0 0 25 0 1 0 708823852 119459840 26610 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26610 1111 63 0 29102 0
vsize: 116660
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121810 0 0 0 118669 350 0 0 25 0 1 0 708823852 119459840 26617 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26617 1111 63 0 29102 0
vsize: 116660
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9825
Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121818 0 0 0 119669 350 0 0 25 0 1 0 708823852 119459840 26623 4294967295 134512640 134714508 3221221792 3221217920 1074815284 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29165 26623 1111 63 0 29102 0
vsize: 116660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 9825
Raw data (stat): 9825 (bsolo_lpr) Z 9824 7876 7672 0 -1 1036 121818 0 0 0 119670 355 0 0 25 0 1 0 708823852 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): 1196.7
CPU system time (s): 3.55446
CPU usage (%): 100.012
Max. virtual memory (Kb): 116984
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####