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-circ10_3.opb
MD5SUM	fc17fbe37098e8642918641dd9a84b04
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	350
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	2500
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	32
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	2500
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.1
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 24417

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 06:09:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2296 boxname=wulflinc31 idbench=256 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fc17fbe37098e8642918641dd9a84b04  /oldhome/oroussel/tmp/wulflinc31/normalized-circ10_3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-circ10_3.opb
IDLAUNCH: 2296
/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:        294288 kB
Buffers:         46072 kB
Cached:         659600 kB
SwapCached:        644 kB
Active:         306356 kB
Inactive:       401636 kB
HighTotal:      131008 kB
HighFree:        30912 kB
LowTotal:       903652 kB
LowFree:        263376 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             132 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26460 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 06:30:00 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2296 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 241.19 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.95 1.00 0.93 2/54 7918
Raw data (stat): 7918 (runsolver) R 7917 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 706974791 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.96 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 8317 0 0 0 970 25 0 0 25 0 1 0 706974791 47259648 8240 4294967295 134512640 134714508 3221221792 3221220064 1077358976 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11538 8240 1111 63 0 11475 0
vsize: 46152
[startup+20.0017 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 55605 0 0 0 1853 142 0 0 25 0 1 0 706974791 50458624 11475 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12319 11475 1111 63 0 12256 0
vsize: 49276
[startup+30.0025 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 79328 0 0 0 2794 202 0 0 25 0 1 0 706974791 54059008 12338 4294967295 134512640 134714508 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13198 12338 1111 63 0 13135 0
vsize: 52792
[startup+40.0034 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 83535 0 0 0 3784 212 0 0 25 0 1 0 706974791 56193024 12875 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13719 12875 1111 63 0 13656 0
vsize: 54876
[startup+50.0043 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 87500 0 0 0 4773 223 0 0 25 0 1 0 706974791 68644864 15894 4294967295 134512640 134714508 3221221792 3221220176 134542352 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.0042 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 87832 0 0 0 5772 224 0 0 25 0 1 0 706974791 68657152 15918 4294967295 134512640 134714508 3221221792 3221220272 134536638 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.0052 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 88108 0 0 0 6771 225 0 0 25 0 1 0 706974791 68657152 15918 4294967295 134512640 134714508 3221221792 3221220156 134539243 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.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 90096 0 0 0 7766 230 0 0 25 0 1 0 706974791 68657152 15918 4294967295 134512640 134714508 3221221792 3221220236 134536817 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.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 93717 0 0 0 8758 239 0 0 25 0 1 0 706974791 68657152 15918 4294967295 134512640 134714508 3221221792 3221220300 134543615 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.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 97817 0 0 0 9748 249 0 0 25 0 1 0 706974791 70582272 16388 4294967295 134512640 134714508 3221221792 3221220156 134539237 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.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 98387 0 0 0 10747 250 0 0 25 0 1 0 706974791 72646656 16892 4294967295 134512640 134714508 3221221792 3221220420 134594953 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 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 99925 0 0 0 11743 254 0 0 25 0 1 0 706974791 72646656 16892 4294967295 134512640 134714508 3221221792 3221220320 134543674 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 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 101907 0 0 0 12739 258 0 0 25 0 1 0 706974791 75399168 17564 4294967295 134512640 134714508 3221221792 3221220196 134542747 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 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 102635 0 0 0 13738 260 0 0 25 0 1 0 706974791 75399168 17564 4294967295 134512640 134714508 3221221792 3221220296 134543652 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 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 103885 0 0 0 14735 263 0 0 25 0 1 0 706974791 75399168 17564 4294967295 134512640 134714508 3221221792 3221220204 134543616 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.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 105125 0 0 0 15732 266 0 0 25 0 1 0 706974791 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+170.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106837 0 0 0 16729 270 0 0 25 0 1 0 706974791 78114816 18227 4294967295 134512640 134714508 3221221792 3221220356 134535756 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.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106837 0 0 0 17729 270 0 0 25 0 1 0 706974791 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.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106837 0 0 0 18729 270 0 0 25 0 1 0 706974791 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+200.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106837 0 0 0 19729 270 0 0 25 0 1 0 706974791 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+210.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106837 0 0 0 20729 270 0 0 25 0 1 0 706974791 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627252 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.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106837 0 0 0 21729 271 0 0 25 0 1 0 706974791 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+230.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106837 0 0 0 22729 271 0 0 25 0 1 0 706974791 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627241 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.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106838 0 0 0 23729 271 0 0 25 0 1 0 706974791 78114816 18228 4294967295 134512640 134714508 3221221792 3221220592 134622896 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.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106860 0 0 0 24729 271 0 0 25 0 1 0 706974791 78114816 18250 4294967295 134512640 134714508 3221221792 3221219872 1074153672 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.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106860 0 0 0 25729 271 0 0 25 0 1 0 706974791 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.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106860 0 0 0 26729 271 0 0 25 0 1 0 706974791 78114816 18250 4294967295 134512640 134714508 3221221792 3221220000 1074153675 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.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106860 0 0 0 27729 271 0 0 25 0 1 0 706974791 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+290.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106860 0 0 0 28729 271 0 0 25 0 1 0 706974791 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.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106860 0 0 0 29730 271 0 0 25 0 1 0 706974791 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153773 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.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106860 0 0 0 30730 271 0 0 25 0 1 0 706974791 78114816 18250 4294967295 134512640 134714508 3221221792 3221220096 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.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 106860 0 0 0 31730 271 0 0 25 0 1 0 706974791 78114816 18250 4294967295 134512640 134714508 3221221792 3221219952 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18250 1111 63 0 19008 0
vsize: 76284
[startup+330.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107142 0 0 0 32728 272 0 0 25 0 1 0 706974791 79265792 18532 4294967295 134512640 134714508 3221221792 3221219872 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19352 18532 1111 63 0 19289 0
vsize: 77408
[startup+340.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107167 0 0 0 33728 273 0 0 25 0 1 0 706974791 79368192 18557 4294967295 134512640 134714508 3221221792 3221219824 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19377 18557 1111 63 0 19314 0
vsize: 77508
[startup+350.022 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107187 0 0 0 34728 274 0 0 25 0 1 0 706974791 79450112 18577 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19397 18577 1111 63 0 19334 0
vsize: 77588
[startup+360.022 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107207 0 0 0 35727 274 0 0 25 0 1 0 706974791 79532032 18597 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19417 18597 1111 63 0 19354 0
vsize: 77668
[startup+370.023 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107226 0 0 0 36727 275 0 0 25 0 1 0 706974791 79609856 18616 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19436 18616 1111 63 0 19373 0
vsize: 77744
[startup+380.023 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107244 0 0 0 37727 275 0 0 25 0 1 0 706974791 79683584 18634 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19454 18634 1111 63 0 19391 0
vsize: 77816
[startup+390.024 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107261 0 0 0 38727 276 0 0 25 0 1 0 706974791 79753216 18651 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19471 18651 1111 63 0 19408 0
vsize: 77884
[startup+400.025 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107278 0 0 0 39726 276 0 0 25 0 1 0 706974791 79822848 18668 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19488 18668 1111 63 0 19425 0
vsize: 77952
[startup+410.025 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107294 0 0 0 40727 276 0 0 25 0 1 0 706974791 79888384 18684 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19504 18684 1111 63 0 19441 0
vsize: 78016
[startup+420.026 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107308 0 0 0 41727 276 0 0 25 0 1 0 706974791 79945728 18698 4294967295 134512640 134714508 3221221792 3221219952 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19518 18698 1111 63 0 19455 0
vsize: 78072
[startup+430.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107323 0 0 0 42727 276 0 0 25 0 1 0 706974791 80007168 18713 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19533 18713 1111 63 0 19470 0
vsize: 78132
[startup+440.028 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107338 0 0 0 43727 277 0 0 25 0 1 0 706974791 80068608 18728 4294967295 134512640 134714508 3221221792 3221219976 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19548 18728 1111 63 0 19485 0
vsize: 78192
[startup+450.028 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107352 0 0 0 44726 277 0 0 25 0 1 0 706974791 80125952 18742 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19562 18742 1111 63 0 19499 0
vsize: 78248
[startup+460.028 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107366 0 0 0 45727 277 0 0 25 0 1 0 706974791 80183296 18756 4294967295 134512640 134714508 3221221792 3221220096 1074153782 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.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107379 0 0 0 46727 277 0 0 25 0 1 0 706974791 80236544 18769 4294967295 134512640 134714508 3221221792 3221219920 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19589 18769 1111 63 0 19526 0
vsize: 78356
[startup+480.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107392 0 0 0 47727 277 0 0 25 0 1 0 706974791 80289792 18782 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19602 18782 1111 63 0 19539 0
vsize: 78408
[startup+490.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107679 0 0 0 48726 279 0 0 25 0 1 0 706974791 81465344 19069 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19889 19069 1111 63 0 19826 0
vsize: 79556
[startup+500.031 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107695 0 0 0 49725 279 0 0 25 0 1 0 706974791 81530880 19085 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19905 19085 1111 63 0 19842 0
vsize: 79620
[startup+510.031 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107713 0 0 0 50725 279 0 0 25 0 1 0 706974791 81604608 19103 4294967295 134512640 134714508 3221221792 3221220064 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.032 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107733 0 0 0 51726 279 0 0 25 0 1 0 706974791 81686528 19123 4294967295 134512640 134714508 3221221792 3221219872 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19943 19123 1111 63 0 19880 0
vsize: 79772
[startup+530.034 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107751 0 0 0 52726 280 0 0 25 0 1 0 706974791 81760256 19141 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19961 19141 1111 63 0 19898 0
vsize: 79844
[startup+540.034 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107767 0 0 0 53725 280 0 0 25 0 1 0 706974791 81825792 19157 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19977 19157 1111 63 0 19914 0
vsize: 79908
[startup+550.035 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107784 0 0 0 54725 281 0 0 25 0 1 0 706974791 81895424 19174 4294967295 134512640 134714508 3221221792 3221220064 1074153760 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.036 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107802 0 0 0 55725 281 0 0 25 0 1 0 706974791 81969152 19192 4294967295 134512640 134714508 3221221792 3221219920 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20012 19192 1111 63 0 19949 0
vsize: 80048
[startup+570.037 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107815 0 0 0 56725 281 0 0 25 0 1 0 706974791 82022400 19205 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20025 19205 1111 63 0 19962 0
vsize: 80100
[startup+580.037 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107833 0 0 0 57725 282 0 0 25 0 1 0 706974791 82096128 19223 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20043 19223 1111 63 0 19980 0
vsize: 80172
[startup+590.038 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107848 0 0 0 58725 282 0 0 25 0 1 0 706974791 82157568 19238 4294967295 134512640 134714508 3221221792 3221219872 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20058 19238 1111 63 0 19995 0
vsize: 80232
[startup+600.039 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107865 0 0 0 59725 282 0 0 25 0 1 0 706974791 82227200 19255 4294967295 134512640 134714508 3221221792 3221219904 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20075 19255 1111 63 0 20012 0
vsize: 80300
[startup+610.039 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107881 0 0 0 60724 282 0 0 25 0 1 0 706974791 82292736 19271 4294967295 134512640 134714508 3221221792 3221219856 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20091 19271 1111 63 0 20028 0
vsize: 80364
[startup+620.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107896 0 0 0 61725 283 0 0 25 0 1 0 706974791 82354176 19286 4294967295 134512640 134714508 3221221792 3221219760 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20106 19286 1111 63 0 20043 0
vsize: 80424
[startup+630.041 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107910 0 0 0 62724 283 0 0 25 0 1 0 706974791 82411520 19300 4294967295 134512640 134714508 3221221792 3221219872 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20120 19300 1111 63 0 20057 0
vsize: 80480
[startup+640.042 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107923 0 0 0 63725 283 0 0 25 0 1 0 706974791 82464768 19313 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20133 19313 1111 63 0 20070 0
vsize: 80532
[startup+650.043 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107940 0 0 0 64724 283 0 0 25 0 1 0 706974791 82534400 19330 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20150 19330 1111 63 0 20087 0
vsize: 80600
[startup+660.043 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107953 0 0 0 65724 284 0 0 25 0 1 0 706974791 82587648 19343 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20163 19343 1111 63 0 20100 0
vsize: 80652
[startup+670.044 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107968 0 0 0 66724 284 0 0 25 0 1 0 706974791 82649088 19358 4294967295 134512640 134714508 3221221792 3221219952 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20178 19358 1111 63 0 20115 0
vsize: 80712
[startup+680.043 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107983 0 0 0 67725 284 0 0 25 0 1 0 706974791 82710528 19373 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20193 19373 1111 63 0 20130 0
vsize: 80772
[startup+690.044 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 107997 0 0 0 68724 284 0 0 25 0 1 0 706974791 82767872 19387 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20207 19387 1111 63 0 20144 0
vsize: 80828
[startup+700.045 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108010 0 0 0 69725 284 0 0 25 0 1 0 706974791 82821120 19400 4294967295 134512640 134714508 3221221792 3221219968 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20220 19400 1111 63 0 20157 0
vsize: 80880
[startup+710.046 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108024 0 0 0 70724 285 0 0 25 0 1 0 706974791 82878464 19414 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20234 19414 1111 63 0 20171 0
vsize: 80936
[startup+720.046 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108037 0 0 0 71724 285 0 0 25 0 1 0 706974791 82931712 19427 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20247 19427 1111 63 0 20184 0
vsize: 80988
[startup+730.047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108049 0 0 0 72725 285 0 0 25 0 1 0 706974791 82980864 19439 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20259 19439 1111 63 0 20196 0
vsize: 81036
[startup+740.048 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108063 0 0 0 73725 285 0 0 25 0 1 0 706974791 83038208 19453 4294967295 134512640 134714508 3221221792 3221219824 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20273 19453 1111 63 0 20210 0
vsize: 81092
[startup+750.049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108078 0 0 0 74725 285 0 0 25 0 1 0 706974791 83099648 19468 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20288 19468 1111 63 0 20225 0
vsize: 81152
[startup+760.049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108090 0 0 0 75725 286 0 0 25 0 1 0 706974791 83148800 19480 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20300 19480 1111 63 0 20237 0
vsize: 81200
[startup+770.05 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108103 0 0 0 76725 286 0 0 25 0 1 0 706974791 83202048 19493 4294967295 134512640 134714508 3221221792 3221219968 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20313 19493 1111 63 0 20250 0
vsize: 81252
[startup+780.051 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108117 0 0 0 77725 286 0 0 25 0 1 0 706974791 83259392 19507 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20327 19507 1111 63 0 20264 0
vsize: 81308
[startup+790.052 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108129 0 0 0 78725 286 0 0 25 0 1 0 706974791 83308544 19519 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20339 19519 1111 63 0 20276 0
vsize: 81356
[startup+800.053 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108141 0 0 0 79725 286 0 0 25 0 1 0 706974791 83357696 19531 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20351 19531 1111 63 0 20288 0
vsize: 81404
[startup+810.053 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108153 0 0 0 80725 286 0 0 25 0 1 0 706974791 83406848 19543 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20363 19543 1111 63 0 20300 0
vsize: 81452
[startup+820.054 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108165 0 0 0 81725 286 0 0 25 0 1 0 706974791 83456000 19555 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20375 19555 1111 63 0 20312 0
vsize: 81500
[startup+830.055 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108177 0 0 0 82725 287 0 0 25 0 1 0 706974791 83505152 19567 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20387 19567 1111 63 0 20324 0
vsize: 81548
[startup+840.055 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108189 0 0 0 83725 287 0 0 25 0 1 0 706974791 83554304 19579 4294967295 134512640 134714508 3221221792 3221219872 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20399 19579 1111 63 0 20336 0
vsize: 81596
[startup+850.056 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108201 0 0 0 84725 287 0 0 25 0 1 0 706974791 83603456 19591 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20411 19591 1111 63 0 20348 0
vsize: 81644
[startup+860.056 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108213 0 0 0 85725 288 0 0 25 0 1 0 706974791 83652608 19603 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20423 19603 1111 63 0 20360 0
vsize: 81692
[startup+870.057 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108223 0 0 0 86725 288 0 0 25 0 1 0 706974791 83693568 19613 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20433 19613 1111 63 0 20370 0
vsize: 81732
[startup+880.056 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108235 0 0 0 87724 288 0 0 25 0 1 0 706974791 83742720 19625 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20445 19625 1111 63 0 20382 0
vsize: 81780
[startup+890.057 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108249 0 0 0 88724 289 0 0 25 0 1 0 706974791 83800064 19639 4294967295 134512640 134714508 3221221792 3221219920 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20459 19639 1111 63 0 20396 0
vsize: 81836
[startup+900.057 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108259 0 0 0 89724 289 0 0 25 0 1 0 706974791 83841024 19649 4294967295 134512640 134714508 3221221792 3221219920 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20469 19649 1111 63 0 20406 0
vsize: 81876
[startup+910.057 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108270 0 0 0 90724 289 0 0 25 0 1 0 706974791 83886080 19660 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20480 19660 1111 63 0 20417 0
vsize: 81920
[startup+920.058 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 108291 0 0 0 91724 290 0 0 25 0 1 0 706974791 83972096 19681 4294967295 134512640 134714508 3221221792 3221219712 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20501 19681 1111 63 0 20438 0
vsize: 82004
[startup+930.058 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 118838 0 0 0 92702 312 0 0 25 0 1 0 706974791 119689216 24852 4294967295 134512640 134714508 3221221792 3221217920 1074815309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29221 24852 1111 63 0 29158 0
vsize: 116884
[startup+940.058 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 120204 0 0 0 93698 315 0 0 25 0 1 0 706974791 119689216 26214 4294967295 134512640 134714508 3221221792 3221217872 1075095344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29221 26221 1111 63 0 29158 0
vsize: 116884
[startup+950.059 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 120515 0 0 0 94697 317 0 0 25 0 1 0 706974791 115163136 25408 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28116 25408 1111 63 0 28053 0
vsize: 112464
[startup+960.059 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 120634 0 0 0 95697 317 0 0 25 0 1 0 706974791 115687424 25525 4294967295 134512640 134714508 3221221792 3221217960 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28244 25525 1111 63 0 28181 0
vsize: 112976
[startup+970.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 120746 0 0 0 96697 318 0 0 25 0 1 0 706974791 116576256 25637 4294967295 134512640 134714508 3221221792 3221218368 1075967913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28461 25637 1111 63 0 28398 0
vsize: 113844
[startup+980.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 120894 0 0 0 97697 318 0 0 25 0 1 0 706974791 116244480 25783 4294967295 134512640 134714508 3221221792 3221217756 1074873478 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25783 1111 63 0 28317 0
vsize: 113520
[startup+990.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 120963 0 0 0 98697 318 0 0 25 0 1 0 706974791 116244480 25848 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25848 1111 63 0 28317 0
vsize: 113520
[startup+1000.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 120982 0 0 0 99697 318 0 0 25 0 1 0 706974791 116244480 25865 4294967295 134512640 134714508 3221221792 3221217960 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25865 1111 63 0 28317 0
vsize: 113520
[startup+1010.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 120993 0 0 0 100697 318 0 0 25 0 1 0 706974791 116244480 25874 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25874 1111 63 0 28317 0
vsize: 113520
[startup+1020.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121006 0 0 0 101697 319 0 0 25 0 1 0 706974791 116244480 25887 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 25887 1111 63 0 28317 0
vsize: 113520
[startup+1030.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121096 0 0 0 102697 319 0 0 25 0 1 0 706974791 116822016 25975 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 25975 1111 63 0 28458 0
vsize: 114084
[startup+1040.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121112 0 0 0 103697 319 0 0 25 0 1 0 706974791 116822016 25989 4294967295 134512640 134714508 3221221792 3221217756 1074873331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 25989 1111 63 0 28458 0
vsize: 114084
[startup+1050.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121140 0 0 0 104697 319 0 0 25 0 1 0 706974791 116822016 26015 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 26015 1111 63 0 28458 0
vsize: 114084
[startup+1060.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121150 0 0 0 105697 319 0 0 25 0 1 0 706974791 116822016 26023 4294967295 134512640 134714508 3221221792 3221217840 1075112086 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 26023 1111 63 0 28458 0
vsize: 114084
[startup+1070.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121166 0 0 0 106697 319 0 0 25 0 1 0 706974791 116822016 26039 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28521 26039 1111 63 0 28458 0
vsize: 114084
[startup+1080.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121285 0 0 0 107697 320 0 0 25 0 1 0 706974791 117440512 26156 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28672 26156 1111 63 0 28609 0
vsize: 114688
[startup+1090.06 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121428 0 0 0 108696 320 0 0 25 0 1 0 706974791 118079488 26297 4294967295 134512640 134714508 3221221792 3221217920 1074815250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28828 26297 1111 63 0 28765 0
vsize: 115312
[startup+1100.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121458 0 0 0 109697 321 0 0 25 0 1 0 706974791 118079488 26327 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28828 26327 1111 63 0 28765 0
vsize: 115312
[startup+1110.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121566 0 0 0 110697 321 0 0 25 0 1 0 706974791 118755328 26433 4294967295 134512640 134714508 3221221792 3221217920 1074815241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28993 26433 1111 63 0 28930 0
vsize: 115972
[startup+1120.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121593 0 0 0 111697 321 0 0 25 0 1 0 706974791 118755328 26458 4294967295 134512640 134714508 3221221792 3221217704 1075964775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28993 26458 1111 63 0 28930 0
vsize: 115972
[startup+1130.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121635 0 0 0 112697 321 0 0 25 0 1 0 706974791 118755328 26498 4294967295 134512640 134714508 3221221792 3221217920 1074815241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28993 26498 1111 63 0 28930 0
vsize: 115972
[startup+1140.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121635 0 0 0 113697 321 0 0 25 0 1 0 706974791 118755328 26498 4294967295 134512640 134714508 3221221792 3221217672 1075964740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28993 26498 1111 63 0 28930 0
vsize: 115972
[startup+1150.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121730 0 0 0 114697 321 0 0 25 0 1 0 706974791 119459840 26591 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26591 1111 63 0 29102 0
vsize: 116660
[startup+1160.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121746 0 0 0 115697 322 0 0 25 0 1 0 706974791 119459840 26605 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26605 1111 63 0 29102 0
vsize: 116660
[startup+1170.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121749 0 0 0 116697 322 0 0 25 0 1 0 706974791 119459840 26606 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26606 1111 63 0 29102 0
vsize: 116660
[startup+1180.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121749 0 0 0 117697 322 0 0 25 0 1 0 706974791 119459840 26606 4294967295 134512640 134714508 3221221792 3221217672 1075964740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26606 1111 63 0 29102 0
vsize: 116660
[startup+1190.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121767 0 0 0 118697 322 0 0 25 0 1 0 706974791 119459840 26622 4294967295 134512640 134714508 3221221792 3221217756 1074873554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26622 1111 63 0 29102 0
vsize: 116660
[startup+1200.07 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 7918
Raw data (stat): 7918 (bsolo_lpr) R 7917 7876 7672 0 -1 0 121786 0 0 0 119698 322 0 0 25 0 1 0 706974791 119459840 26639 4294967295 134512640 134714508 3221221792 3221217756 1074873504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29165 26639 1111 63 0 29102 0
vsize: 116660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 1.00 0.93 1/54 7918
Raw data (stat): 7918 (bsolo_lpr) Z 7917 7876 7672 0 -1 1036 121786 0 0 0 119698 327 0 0 25 0 1 0 706974791 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.12
CPU time (s): 1200.25
CPU user time (s): 1196.98
CPU system time (s): 3.2705
CPU usage (%): 100.011
Max. virtual memory (Kb): 116884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####