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 39637

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 15:21:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27702 boxname=wulflinc6 idbench=260 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4a63b686be1696a2915c6e312773fbad  /oldhome/oroussel/tmp/wulflinc6/normalized-data10_3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-data10_3.opb
IDLAUNCH: 27702
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        830664 kB
Buffers:         33832 kB
Cached:         147592 kB
SwapCached:       1020 kB
Active:          49744 kB
Inactive:       133868 kB
HighTotal:      131008 kB
HighFree:        89740 kB
LowTotal:       903652 kB
LowFree:        740924 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            14588 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:41:13 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27702 7 1200.27 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 41292 constraints.
c preprocess terminated 239.063 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.94 2/54 15572
Raw data (stat): 15572 (runsolver) R 15571 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894029943 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 8425 0 0 0 973 24 0 0 25 0 1 0 894029943 47661056 8345 4294967295 134512640 134716908 3221224576 3221221308 1077359235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11636 8345 1111 63 0 11573 0
vsize: 46544
[startup+20.0015 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 56444 0 0 0 1843 154 0 0 25 0 1 0 894029943 50454528 11473 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12318 11473 1111 63 0 12255 0
vsize: 49272
[startup+30.0018 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 79329 0 0 0 2781 217 0 0 25 0 1 0 894029943 54054912 12326 4294967295 134512640 134716908 3221224576 3221223248 134527650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13197 12326 1111 63 0 13134 0
vsize: 52788
[startup+40.0019 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 83371 0 0 0 3768 230 0 0 25 0 1 0 894029943 56221696 12867 4294967295 134512640 134716908 3221224576 3221223068 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13726 12867 1111 63 0 13663 0
vsize: 54904
[startup+50.0025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 88232 0 0 0 4754 244 0 0 25 0 1 0 894029943 69177344 16020 4294967295 134512640 134716908 3221224576 3221223120 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16020 1111 63 0 16826 0
vsize: 67556
[startup+60.0022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 88414 0 0 0 5754 244 0 0 25 0 1 0 894029943 69177344 16044 4294967295 134512640 134716908 3221224576 3221222976 134542689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+70.0023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 88490 0 0 0 6753 245 0 0 25 0 1 0 894029943 69177344 16044 4294967295 134512640 134716908 3221224576 3221222992 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+80.0033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 89692 0 0 0 7750 249 0 0 25 0 1 0 894029943 69177344 16044 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+90.0026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 92374 0 0 0 8742 257 0 0 25 0 1 0 894029943 69177344 16044 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 96158 0 0 0 9732 267 0 0 25 0 1 0 894029943 71323648 16568 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17413 16568 1111 63 0 17350 0
vsize: 69652
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 97038 0 0 0 10730 270 0 0 25 0 1 0 894029943 72642560 16890 4294967295 134512640 134716908 3221224576 3221223104 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17735 16890 1111 63 0 17672 0
vsize: 70940
[startup+120.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 98077 0 0 0 11727 273 0 0 25 0 1 0 894029943 72642560 16890 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17735 16890 1111 63 0 17672 0
vsize: 70940
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 100057 0 0 0 12722 279 0 0 25 0 1 0 894029943 75390976 17561 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18406 17561 1111 63 0 18343 0
vsize: 73624
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 100580 0 0 0 13720 280 0 0 25 0 1 0 894029943 75808768 17663 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18508 17663 1111 63 0 18445 0
vsize: 74032
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 101743 0 0 0 14717 284 0 0 25 0 1 0 894029943 75808768 17663 4294967295 134512640 134716908 3221224576 3221222808 1077377580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18508 17663 1111 63 0 18445 0
vsize: 74032
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103054 0 0 0 15713 288 0 0 25 0 1 0 894029943 75808768 17663 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18508 17663 1111 63 0 18445 0
vsize: 74032
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103646 0 0 0 16712 289 0 0 25 0 1 0 894029943 78106624 18224 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103646 0 0 0 17712 290 0 0 25 0 1 0 894029943 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103646 0 0 0 18711 290 0 0 25 0 1 0 894029943 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103646 0 0 0 19712 291 0 0 25 0 1 0 894029943 78106624 18224 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103646 0 0 0 20711 291 0 0 25 0 1 0 894029943 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103646 0 0 0 21711 292 0 0 25 0 1 0 894029943 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+230.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103646 0 0 0 22711 292 0 0 25 0 1 0 894029943 78106624 18224 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 23711 292 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222584 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 24711 292 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+260.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 25711 293 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 26711 293 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 27711 293 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 28710 293 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 29710 294 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 30710 294 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 31710 294 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103668 0 0 0 32710 294 0 0 25 0 1 0 894029943 78106624 18246 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103972 0 0 0 33708 296 0 0 25 0 1 0 894029943 79347712 18550 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19372 18550 1111 63 0 19309 0
vsize: 77488
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 103992 0 0 0 34707 297 0 0 25 0 1 0 894029943 79429632 18570 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19392 18570 1111 63 0 19329 0
vsize: 77568
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104009 0 0 0 35707 298 0 0 25 0 1 0 894029943 79499264 18587 4294967295 134512640 134716908 3221224576 3221222672 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19409 18587 1111 63 0 19346 0
vsize: 77636
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104026 0 0 0 36707 298 0 0 25 0 1 0 894029943 79568896 18604 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 18604 1111 63 0 19363 0
vsize: 77704
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104044 0 0 0 37706 298 0 0 25 0 1 0 894029943 79642624 18622 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19444 18622 1111 63 0 19381 0
vsize: 77776
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104059 0 0 0 38706 299 0 0 25 0 1 0 894029943 79704064 18637 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19459 18637 1111 63 0 19396 0
vsize: 77836
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104073 0 0 0 39705 300 0 0 25 0 1 0 894029943 79761408 18651 4294967295 134512640 134716908 3221224576 3221222592 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19473 18651 1111 63 0 19410 0
vsize: 77892
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104088 0 0 0 40705 300 0 0 25 0 1 0 894029943 79822848 18666 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19488 18666 1111 63 0 19425 0
vsize: 77952
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104103 0 0 0 41704 301 0 0 25 0 1 0 894029943 79884288 18681 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19503 18681 1111 63 0 19440 0
vsize: 78012
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104116 0 0 0 42704 301 0 0 25 0 1 0 894029943 79937536 18694 4294967295 134512640 134716908 3221224576 3221222768 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19516 18694 1111 63 0 19453 0
vsize: 78064
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104129 0 0 0 43703 302 0 0 25 0 1 0 894029943 79990784 18707 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19529 18707 1111 63 0 19466 0
vsize: 78116
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104142 0 0 0 44702 302 0 0 25 0 1 0 894029943 80044032 18720 4294967295 134512640 134716908 3221224576 3221222672 1074153783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19542 18720 1111 63 0 19479 0
vsize: 78168
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104155 0 0 0 45702 303 0 0 25 0 1 0 894029943 80097280 18733 4294967295 134512640 134716908 3221224576 3221222768 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19555 18733 1111 63 0 19492 0
vsize: 78220
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104167 0 0 0 46702 303 0 0 25 0 1 0 894029943 80146432 18745 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19567 18745 1111 63 0 19504 0
vsize: 78268
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104179 0 0 0 47702 304 0 0 25 0 1 0 894029943 80195584 18757 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19579 18757 1111 63 0 19516 0
vsize: 78316
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104192 0 0 0 48702 304 0 0 25 0 1 0 894029943 80248832 18770 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19592 18770 1111 63 0 19529 0
vsize: 78368
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104204 0 0 0 49701 305 0 0 25 0 1 0 894029943 80297984 18782 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19604 18782 1111 63 0 19541 0
vsize: 78416
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104215 0 0 0 50700 306 0 0 25 0 1 0 894029943 80343040 18793 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19615 18793 1111 63 0 19552 0
vsize: 78460
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104225 0 0 0 51699 307 0 0 25 0 1 0 894029943 80384000 18803 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19625 18803 1111 63 0 19562 0
vsize: 78500
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104236 0 0 0 52698 308 0 0 25 0 1 0 894029943 80429056 18814 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19636 18814 1111 63 0 19573 0
vsize: 78544
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104246 0 0 0 53698 309 0 0 25 0 1 0 894029943 80470016 18824 4294967295 134512640 134716908 3221224576 3221222688 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19646 18824 1111 63 0 19583 0
vsize: 78584
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104258 0 0 0 54697 309 0 0 25 0 1 0 894029943 80519168 18836 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19658 18836 1111 63 0 19595 0
vsize: 78632
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104268 0 0 0 55697 310 0 0 25 0 1 0 894029943 80560128 18846 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19668 18846 1111 63 0 19605 0
vsize: 78672
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104278 0 0 0 56696 310 0 0 25 0 1 0 894029943 80601088 18856 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19678 18856 1111 63 0 19615 0
vsize: 78712
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104287 0 0 0 57696 311 0 0 25 0 1 0 894029943 80637952 18865 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19687 18865 1111 63 0 19624 0
vsize: 78748
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104297 0 0 0 58695 312 0 0 25 0 1 0 894029943 80678912 18875 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19697 18875 1111 63 0 19634 0
vsize: 78788
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104307 0 0 0 59694 312 0 0 25 0 1 0 894029943 80719872 18885 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19707 18885 1111 63 0 19644 0
vsize: 78828
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104317 0 0 0 60694 312 0 0 25 0 1 0 894029943 80760832 18895 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19717 18895 1111 63 0 19654 0
vsize: 78868
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104326 0 0 0 61693 313 0 0 25 0 1 0 894029943 80797696 18904 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19726 18904 1111 63 0 19663 0
vsize: 78904
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104336 0 0 0 62693 313 0 0 25 0 1 0 894029943 80838656 18914 4294967295 134512640 134716908 3221224576 3221222768 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19736 18914 1111 63 0 19673 0
vsize: 78944
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104345 0 0 0 63693 314 0 0 25 0 1 0 894029943 80875520 18923 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19745 18923 1111 63 0 19682 0
vsize: 78980
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104354 0 0 0 64692 314 0 0 25 0 1 0 894029943 80912384 18932 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19754 18932 1111 63 0 19691 0
vsize: 79016
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104363 0 0 0 65691 315 0 0 25 0 1 0 894029943 80949248 18941 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19763 18941 1111 63 0 19700 0
vsize: 79052
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104809 0 0 0 66690 317 0 0 25 0 1 0 894029943 82776064 19387 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20209 19387 1111 63 0 20146 0
vsize: 80836
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104821 0 0 0 67689 317 0 0 25 0 1 0 894029943 82825216 19399 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20221 19399 1111 63 0 20158 0
vsize: 80884
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104833 0 0 0 68689 318 0 0 25 0 1 0 894029943 82874368 19411 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20233 19411 1111 63 0 20170 0
vsize: 80932
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104847 0 0 0 69688 319 0 0 25 0 1 0 894029943 82931712 19425 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20247 19425 1111 63 0 20184 0
vsize: 80988
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104859 0 0 0 70687 319 0 0 25 0 1 0 894029943 82980864 19437 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20259 19437 1111 63 0 20196 0
vsize: 81036
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104872 0 0 0 71687 320 0 0 25 0 1 0 894029943 83034112 19450 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20272 19450 1111 63 0 20209 0
vsize: 81088
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104884 0 0 0 72687 320 0 0 25 0 1 0 894029943 83083264 19462 4294967295 134512640 134716908 3221224576 3221222688 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20284 19462 1111 63 0 20221 0
vsize: 81136
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104896 0 0 0 73686 321 0 0 25 0 1 0 894029943 83132416 19474 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20296 19474 1111 63 0 20233 0
vsize: 81184
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104911 0 0 0 74686 321 0 0 25 0 1 0 894029943 83193856 19489 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19489 1111 63 0 20248 0
vsize: 81244
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104922 0 0 0 75685 322 0 0 25 0 1 0 894029943 83238912 19500 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20322 19500 1111 63 0 20259 0
vsize: 81288
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104932 0 0 0 76684 323 0 0 25 0 1 0 894029943 83279872 19510 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20332 19510 1111 63 0 20269 0
vsize: 81328
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104944 0 0 0 77684 323 0 0 25 0 1 0 894029943 83329024 19522 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20344 19522 1111 63 0 20281 0
vsize: 81376
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104958 0 0 0 78684 323 0 0 25 0 1 0 894029943 83386368 19536 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20358 19536 1111 63 0 20295 0
vsize: 81432
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104970 0 0 0 79684 323 0 0 25 0 1 0 894029943 83435520 19548 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20370 19548 1111 63 0 20307 0
vsize: 81480
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104982 0 0 0 80684 324 0 0 25 0 1 0 894029943 83484672 19560 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20382 19560 1111 63 0 20319 0
vsize: 81528
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 104992 0 0 0 81684 324 0 0 25 0 1 0 894029943 83525632 19570 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20392 19570 1111 63 0 20329 0
vsize: 81568
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105003 0 0 0 82684 324 0 0 25 0 1 0 894029943 83570688 19581 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20403 19581 1111 63 0 20340 0
vsize: 81612
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105013 0 0 0 83684 325 0 0 25 0 1 0 894029943 83611648 19591 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20413 19591 1111 63 0 20350 0
vsize: 81652
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105027 0 0 0 84684 325 0 0 25 0 1 0 894029943 83668992 19605 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20427 19605 1111 63 0 20364 0
vsize: 81708
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105037 0 0 0 85684 325 0 0 25 0 1 0 894029943 83709952 19615 4294967295 134512640 134716908 3221224576 3221222720 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20437 19615 1111 63 0 20374 0
vsize: 81748
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105046 0 0 0 86684 325 0 0 25 0 1 0 894029943 83746816 19624 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20446 19624 1111 63 0 20383 0
vsize: 81784
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105058 0 0 0 87684 326 0 0 25 0 1 0 894029943 83795968 19636 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20458 19636 1111 63 0 20395 0
vsize: 81832
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105069 0 0 0 88684 326 0 0 25 0 1 0 894029943 83841024 19647 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20469 19647 1111 63 0 20406 0
vsize: 81876
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105079 0 0 0 89684 326 0 0 25 0 1 0 894029943 83881984 19657 4294967295 134512640 134716908 3221224576 3221222624 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20479 19657 1111 63 0 20416 0
vsize: 81916
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105090 0 0 0 90685 326 0 0 25 0 1 0 894029943 83927040 19668 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20490 19668 1111 63 0 20427 0
vsize: 81960
[startup+920.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105116 0 0 0 91685 327 0 0 25 0 1 0 894029943 84033536 19694 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20516 19694 1111 63 0 20453 0
vsize: 82064
[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105128 0 0 0 92684 327 0 0 25 0 1 0 894029943 84082688 19706 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20528 19706 1111 63 0 20465 0
vsize: 82112
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105137 0 0 0 93685 327 0 0 25 0 1 0 894029943 84119552 19715 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20537 19715 1111 63 0 20474 0
vsize: 82148
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105146 0 0 0 94685 328 0 0 25 0 1 0 894029943 84156416 19724 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20546 19724 1111 63 0 20483 0
vsize: 82184
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105160 0 0 0 95685 328 0 0 25 0 1 0 894029943 84213760 19738 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20560 19738 1111 63 0 20497 0
vsize: 82240
[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105167 0 0 0 96685 328 0 0 25 0 1 0 894029943 84242432 19745 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20567 19745 1111 63 0 20504 0
vsize: 82268
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105178 0 0 0 97685 328 0 0 25 0 1 0 894029943 84287488 19756 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20578 19756 1111 63 0 20515 0
vsize: 82312
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 105193 0 0 0 98686 328 0 0 25 0 1 0 894029943 84348928 19771 4294967295 134512640 134716908 3221224576 3221222480 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20593 19771 1111 63 0 20530 0
vsize: 82372
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 109885 0 0 0 99677 337 0 0 25 0 1 0 894029943 96591872 22796 4294967295 134512640 134716908 3221224576 3221222480 1074918232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23582 22796 1111 63 0 23519 0
vsize: 94328
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 115660 0 0 0 100664 350 0 0 25 0 1 0 894029943 119570432 25214 4294967295 134512640 134716908 3221224576 3221220624 1074969440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29192 25214 1111 63 0 29129 0
vsize: 116768
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 116963 0 0 0 101662 353 0 0 25 0 1 0 894029943 115367936 25356 4294967295 134512640 134716908 3221224576 3221221248 1076083427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28166 25356 1111 63 0 28103 0
vsize: 112664
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117105 0 0 0 102662 353 0 0 25 0 1 0 894029943 115036160 25496 4294967295 134512640 134716908 3221224576 3221220592 1075895677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28085 25496 1111 63 0 28022 0
vsize: 112340
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117252 0 0 0 103662 354 0 0 25 0 1 0 894029943 115564544 25639 4294967295 134512640 134716908 3221224576 3221220440 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28214 25639 1111 63 0 28151 0
vsize: 112856
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117264 0 0 0 104662 354 0 0 25 0 1 0 894029943 115564544 25649 4294967295 134512640 134716908 3221224576 3221220708 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28214 25649 1111 63 0 28151 0
vsize: 112856
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117279 0 0 0 105663 354 0 0 25 0 1 0 894029943 115564544 25662 4294967295 134512640 134716908 3221224576 3221220524 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28214 25662 1111 63 0 28151 0
vsize: 112856
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117367 0 0 0 106663 354 0 0 25 0 1 0 894029943 116121600 25748 4294967295 134512640 134716908 3221224576 3221220472 1075964775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28350 25748 1111 63 0 28287 0
vsize: 113400
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117411 0 0 0 107663 354 0 0 25 0 1 0 894029943 116121600 25790 4294967295 134512640 134716908 3221224576 3221220440 1075964730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28350 25790 1111 63 0 28287 0
vsize: 113400
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117436 0 0 0 108663 354 0 0 25 0 1 0 894029943 116121600 25813 4294967295 134512640 134716908 3221224576 3221220524 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28350 25813 1111 63 0 28287 0
vsize: 113400
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117452 0 0 0 109664 354 0 0 25 0 1 0 894029943 116121600 25827 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28350 25827 1111 63 0 28287 0
vsize: 113400
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117462 0 0 0 110664 354 0 0 25 0 1 0 894029943 116121600 25837 4294967295 134512640 134716908 3221224576 3221221024 1075088564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28350 25837 1111 63 0 28287 0
vsize: 113400
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117546 0 0 0 111664 354 0 0 25 0 1 0 894029943 116707328 25919 4294967295 134512640 134716908 3221224576 3221220524 1074873527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28493 25919 1111 63 0 28430 0
vsize: 113972
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117574 0 0 0 112664 354 0 0 25 0 1 0 894029943 116707328 25945 4294967295 134512640 134716908 3221224576 3221220640 1074883509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28493 25945 1111 63 0 28430 0
vsize: 113972
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117591 0 0 0 113665 354 0 0 25 0 1 0 894029943 116707328 25960 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28493 25960 1111 63 0 28430 0
vsize: 113972
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117596 0 0 0 114665 355 0 0 25 0 1 0 894029943 116707328 25963 4294967295 134512640 134716908 3221224576 3221220524 1074873498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28493 25963 1111 63 0 28430 0
vsize: 113972
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117694 0 0 0 115665 355 0 0 25 0 1 0 894029943 117313536 26059 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28641 26059 1111 63 0 28578 0
vsize: 114564
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117788 0 0 0 116665 355 0 0 25 0 1 0 894029943 117956608 26151 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28798 26151 1111 63 0 28735 0
vsize: 115192
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117827 0 0 0 117665 355 0 0 25 0 1 0 894029943 117956608 26188 4294967295 134512640 134716908 3221224576 3221220524 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28798 26188 1111 63 0 28735 0
vsize: 115192
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117832 0 0 0 118666 355 0 0 25 0 1 0 894029943 117956608 26193 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28798 26193 1111 63 0 28735 0
vsize: 115192
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) R 15571 25568 25567 0 -1 0 117922 0 0 0 119666 356 0 0 25 0 1 0 894029943 118628352 26281 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26281 1111 63 0 28899 0
vsize: 115848
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 15572
Raw data (stat): 15572 (bsolo_lpr-v2) Z 15571 25568 25567 0 -1 1036 117922 0 0 0 119666 360 0 0 25 0 1 0 894029943 0 0 4294967295 0 0 0 0 0 0 0 7 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.09
CPU time (s): 1200.27
CPU user time (s): 1196.66
CPU system time (s): 3.60945
CPU usage (%): 100.015
Max. virtual memory (Kb): 116768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####