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/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9513
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 26124

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 09:36:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15224 boxname=wulflinc31 idbench=1172 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 15224
/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:        731600 kB
Buffers:         26452 kB
Cached:         255892 kB
SwapCached:        944 kB
Active:          91048 kB
Inactive:       193344 kB
HighTotal:      131008 kB
HighFree:        18060 kB
LowTotal:       903652 kB
LowFree:        713540 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            12940 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 09:56:32 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 15224 7 1200.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14101 variables and 1739 constraints.
c After prepocess the problem consists of 14099 variables and 1639 constraints.
c preprocess terminated 292.265 s
c Initial Lower Bound: 2041136373
c Lower Bound Elapsed time: 46.9935
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -561589196 @ 493.206
c NEW SOLUTION FOUND: -572563236 @ 493.221
c NEW SOLUTION FOUND: -2133666157 @ 493.367
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.99 2/55 26699
Raw data (stat): 26699 (runsolver) R 26698 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 829187979 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0014 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 22358 0 0 0 946 49 0 0 25 0 1 0 829187979 104484864 22281 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25509 22281 1111 63 0 25446 0
vsize: 102036
[startup+20.0025 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 43298 0 0 0 1911 85 0 0 25 0 1 0 829187979 190304256 43221 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46461 43221 1111 63 0 46398 0
vsize: 185844
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 63258 0 0 0 2877 119 0 0 25 0 1 0 829187979 271970304 63181 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66399 63181 1111 63 0 66336 0
vsize: 265596
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 82469 0 0 0 3844 152 0 0 25 0 1 0 829187979 350658560 82392 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85610 82392 1111 63 0 85547 0
vsize: 342440
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 87086 0 0 0 4835 160 0 0 25 0 1 0 829187979 369557504 87009 4294967295 134512640 134714508 3221221776 3221219436 1077253145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90224 87009 1111 63 0 90161 0
vsize: 360896
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 88075 0 0 0 5831 164 0 0 25 0 1 0 829187979 373620736 87998 4294967295 134512640 134714508 3221221776 3221220052 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91216 87998 1111 63 0 91153 0
vsize: 364864
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 89047 0 0 0 6828 167 0 0 25 0 1 0 829187979 377561088 88970 4294967295 134512640 134714508 3221221776 3221220248 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92178 88970 1111 63 0 92115 0
vsize: 368712
[startup+80.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 90115 0 0 0 7826 170 0 0 25 0 1 0 829187979 382033920 90038 4294967295 134512640 134714508 3221221776 3221220080 134566804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93270 90038 1111 63 0 93207 0
vsize: 373080
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 91289 0 0 0 8823 172 0 0 25 0 1 0 829187979 386777088 91212 4294967295 134512640 134714508 3221221776 3221220052 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94428 91212 1111 63 0 94365 0
vsize: 377712
[startup+100.006 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 92982 0 0 0 9819 176 0 0 25 0 1 0 829187979 384114688 92830 4294967295 134512640 134714508 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93778 92830 1111 63 0 93715 0
vsize: 375112
[startup+110.008 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93111 0 0 0 10818 177 0 0 25 0 1 0 829187979 384655360 92959 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93910 92959 1111 63 0 93847 0
vsize: 375640
[startup+120.009 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93229 0 0 0 11818 177 0 0 25 0 1 0 829187979 385060864 93077 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94009 93077 1111 63 0 93946 0
vsize: 376036
[startup+130.009 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93344 0 0 0 12818 177 0 0 25 0 1 0 829187979 385601536 93192 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94141 93192 1111 63 0 94078 0
vsize: 376564
[startup+140.01 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93489 0 0 0 13818 177 0 0 25 0 1 0 829187979 386142208 93337 4294967295 134512640 134714508 3221221776 3221220220 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94273 93337 1111 63 0 94210 0
vsize: 377092
[startup+150.011 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93602 0 0 0 14818 178 0 0 25 0 1 0 829187979 386686976 93450 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94406 93450 1111 63 0 94343 0
vsize: 377624
[startup+160.012 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93736 0 0 0 15817 178 0 0 25 0 1 0 829187979 387227648 93584 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94538 93584 1111 63 0 94475 0
vsize: 378152
[startup+170.012 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93865 0 0 0 16817 179 0 0 25 0 1 0 829187979 387768320 93713 4294967295 134512640 134714508 3221221776 3221220256 134543041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94670 93713 1111 63 0 94607 0
vsize: 378680
[startup+180.012 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93995 0 0 0 17817 179 0 0 25 0 1 0 829187979 388308992 93843 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94802 93843 1111 63 0 94739 0
vsize: 379208
[startup+190.013 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94126 0 0 0 18817 179 0 0 25 0 1 0 829187979 388849664 93974 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94934 93974 1111 63 0 94871 0
vsize: 379736
[startup+200.013 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94201 0 0 0 19817 179 0 0 25 0 1 0 829187979 389120000 94049 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95000 94049 1111 63 0 94937 0
vsize: 380000
[startup+210.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94287 0 0 0 20817 180 0 0 25 0 1 0 829187979 389390336 94135 4294967295 134512640 134714508 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95066 94135 1111 63 0 95003 0
vsize: 380264
[startup+220.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94425 0 0 0 21817 180 0 0 25 0 1 0 829187979 390066176 94273 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95231 94273 1111 63 0 95168 0
vsize: 380924
[startup+230.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94567 0 0 0 22816 181 0 0 25 0 1 0 829187979 390606848 94415 4294967295 134512640 134714508 3221221776 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95363 94415 1111 63 0 95300 0
vsize: 381452
[startup+240.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94661 0 0 0 23816 181 0 0 25 0 1 0 829187979 391012352 94509 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95462 94509 1111 63 0 95399 0
vsize: 381848
[startup+250.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94665 0 0 0 24816 181 0 0 25 0 1 0 829187979 391012352 94513 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95462 94513 1111 63 0 95399 0
vsize: 381848
[startup+260.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94669 0 0 0 25817 181 0 0 25 0 1 0 829187979 391012352 94517 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95462 94517 1111 63 0 95399 0
vsize: 381848
[startup+270.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94674 0 0 0 26817 182 0 0 25 0 1 0 829187979 391012352 94522 4294967295 134512640 134714508 3221221776 3221220448 134627159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95462 94522 1111 63 0 95399 0
vsize: 381848
[startup+280.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94677 0 0 0 27817 182 0 0 25 0 1 0 829187979 391012352 94525 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95462 94525 1111 63 0 95399 0
vsize: 381848
[startup+290.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94682 0 0 0 28817 182 0 0 25 0 1 0 829187979 391012352 94530 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95462 94530 1111 63 0 95399 0
vsize: 381848
[startup+300.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 96243 0 0 0 29810 188 0 0 25 0 1 0 829187979 396832768 95951 4294967295 134512640 134714508 3221221776 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96883 95951 1111 63 0 96820 0
vsize: 387532
[startup+310.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 96331 0 0 0 30810 188 0 0 25 0 1 0 829187979 397189120 96039 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96970 96039 1111 63 0 96907 0
vsize: 387880
[startup+320.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 96354 0 0 0 31810 189 0 0 25 0 1 0 829187979 397283328 96062 4294967295 134512640 134714508 3221221776 3221219952 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96993 96062 1111 63 0 96930 0
vsize: 387972
[startup+330.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 101001 0 0 0 32800 199 0 0 25 0 1 0 829187979 405798912 98084 4294967295 134512640 134714508 3221221776 3221217968 1074960789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99072 98084 1111 63 0 99009 0
vsize: 396288
[startup+340.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 101003 0 0 0 33800 199 0 0 25 0 1 0 829187979 405798912 98086 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99072 98086 1111 63 0 99009 0
vsize: 396288
[startup+350.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 104733 0 0 0 34793 206 0 0 25 0 1 0 829187979 398348288 96432 4294967295 134512640 134714508 3221221776 3221220196 134648505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97253 96432 1111 63 0 97190 0
vsize: 389012
[startup+360.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 105382 0 0 0 35791 208 0 0 25 0 1 0 829187979 398753792 96514 4294967295 134512640 134714508 3221221776 3221220160 134607108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97352 96514 1111 63 0 97289 0
vsize: 389408
[startup+370.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 106158 0 0 0 36789 210 0 0 25 0 1 0 829187979 398925824 96588 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97394 96588 1111 63 0 97331 0
vsize: 389576
[startup+380.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 110785 0 0 0 37779 221 0 0 25 0 1 0 829187979 406933504 98445 4294967295 134512640 134714508 3221221776 3221218032 1075113493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99349 98445 1111 63 0 99286 0
vsize: 397396
[startup+390.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 114340 0 0 0 38771 229 0 0 25 0 1 0 829187979 399716352 96752 4294967295 134512640 134714508 3221221776 3221220224 134648109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97587 96752 1111 63 0 97524 0
vsize: 390348
[startup+400.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 114340 0 0 0 39772 229 0 0 25 0 1 0 829187979 399716352 96752 4294967295 134512640 134714508 3221221776 3221220160 134606848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97587 96752 1111 63 0 97524 0
vsize: 390348
[startup+410.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 116957 0 0 0 40766 234 0 0 25 0 1 0 829187979 407601152 97640 4294967295 134512640 134714508 3221221776 3221218976 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99512 97645 1111 63 0 99449 0
vsize: 398048
[startup+420.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 118915 0 0 0 41763 238 0 0 25 0 1 0 829187979 407482368 98543 4294967295 134512640 134714508 3221221776 3221218464 1076084166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99483 98543 1111 63 0 99420 0
vsize: 397932
[startup+430.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 122590 0 0 0 42754 247 0 0 25 0 1 0 829187979 399831040 96791 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97615 96791 1111 63 0 97552 0
vsize: 390460
[startup+440.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 122604 0 0 0 43754 247 0 0 25 0 1 0 829187979 399831040 96805 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97615 96805 1111 63 0 97552 0
vsize: 390460
[startup+450.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 127134 0 0 0 44744 257 0 0 25 0 1 0 829187979 407543808 98555 4294967295 134512640 134714508 3221221776 3221217788 1075663500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99498 98555 1111 63 0 99435 0
vsize: 397992
[startup+460.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 130814 0 0 0 45737 264 0 0 25 0 1 0 829187979 399908864 96816 4294967295 134512640 134714508 3221221776 3221220200 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+470.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 130814 0 0 0 46737 265 0 0 25 0 1 0 829187979 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+480.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 130814 0 0 0 47737 265 0 0 25 0 1 0 829187979 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+490.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 130814 0 0 0 48737 265 0 0 25 0 1 0 829187979 399908864 96816 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+500.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 157954 0 0 0 49675 326 0 0 25 0 1 0 829187979 397275136 96028 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96991 96028 1111 63 0 96928 0
vsize: 387964
[startup+510.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 187356 0 0 0 50612 389 0 0 25 0 1 0 829187979 397295616 96152 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96996 96156 1111 63 0 96933 0
vsize: 387984
[startup+520.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 210781 0 0 0 51562 440 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+530.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 230430 0 0 0 52520 482 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219760 1074056269 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+540.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 247286 0 0 0 53484 518 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+550.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 263022 0 0 0 54449 553 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+560.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 277554 0 0 0 55418 585 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219896 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+570.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 291094 0 0 0 56388 615 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+580.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 303959 0 0 0 57359 644 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+590.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 316556 0 0 0 58332 671 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+600.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 328504 0 0 0 59304 699 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220040 1074138163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+610.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 339921 0 0 0 60276 727 0 0 25 0 1 0 829187979 397434880 96046 4294967295 134512640 134714508 3221221776 3221219504 1075828208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97030 96051 1111 63 0 96967 0
vsize: 388120
[startup+620.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 350862 0 0 0 61253 751 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+630.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 360981 0 0 0 62229 775 0 0 25 0 1 0 829187979 397185024 96147 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96969 96147 1111 63 0 96906 0
vsize: 387876
[startup+640.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 371232 0 0 0 63209 795 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+650.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 381151 0 0 0 64185 820 0 0 25 0 1 0 829187979 396705792 96017 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96852 96021 1111 63 0 96789 0
vsize: 387408
[startup+660.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 391180 0 0 0 65162 843 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220072 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+670.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 400298 0 0 0 66144 861 0 0 25 0 1 0 829187979 396931072 96011 4294967295 134512640 134714508 3221221776 3221218896 1074865106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96907 96011 1111 63 0 96844 0
vsize: 387628
[startup+680.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 409472 0 0 0 67122 883 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220032 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+690.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 418654 0 0 0 68102 904 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+700.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 427659 0 0 0 69081 924 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+710.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 436623 0 0 0 70061 945 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+720.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 444828 0 0 0 71042 964 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+730.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 453122 0 0 0 72024 982 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+740.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 461402 0 0 0 73004 1002 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+750.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 469531 0 0 0 73986 1020 0 0 25 0 1 0 829187979 396951552 96022 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96912 96026 1111 63 0 96849 0
vsize: 387648
[startup+760.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 477425 0 0 0 74970 1037 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+770.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 484945 0 0 0 75952 1055 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220072 1074138163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+780.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 492428 0 0 0 76935 1072 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+790.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 499284 0 0 0 77920 1088 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+800.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 506528 0 0 0 78903 1105 0 0 25 0 1 0 829187979 397279232 96170 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96992 96170 1111 63 0 96929 0
vsize: 387968
[startup+810.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 513782 0 0 0 79885 1122 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+820.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 520707 0 0 0 80870 1138 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+830.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 527618 0 0 0 81855 1153 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+840.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 534063 0 0 0 82841 1168 0 0 25 0 1 0 829187979 397627392 96164 4294967295 134512640 134714508 3221221776 3221218896 1074865092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97077 96164 1111 63 0 97014 0
vsize: 388308
[startup+850.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 540568 0 0 0 83827 1182 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219968 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+860.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 546869 0 0 0 84813 1196 0 0 25 0 1 0 829187979 396673024 96044 4294967295 134512640 134714508 3221221776 3221220192 1074116190 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96844 96044 1111 63 0 96781 0
vsize: 387376
[startup+870.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 553577 0 0 0 85798 1211 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220064 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+880.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 559808 0 0 0 86784 1226 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220112 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+890.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 566100 0 0 0 87770 1239 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219920 1074206911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+900.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 572268 0 0 0 88757 1252 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219896 1074138158 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+910.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 578083 0 0 0 89745 1265 0 0 25 0 1 0 829187979 396759040 96065 4294967295 134512640 134714508 3221221776 3221219504 1075635518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96865 96065 1111 63 0 96802 0
vsize: 387460
[startup+920.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 583821 0 0 0 90733 1278 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221219928 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+930.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 589933 0 0 0 91720 1290 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+940.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 595406 0 0 0 92708 1303 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221219968 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+950.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 600896 0 0 0 93695 1315 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220072 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+960.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 606594 0 0 0 94684 1327 0 0 25 0 1 0 829187979 396836864 96052 4294967295 134512640 134714508 3221221776 3221219624 1075007302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96884 96052 1111 63 0 96821 0
vsize: 387536
[startup+970.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 612110 0 0 0 95669 1341 0 0 25 0 1 0 829187979 397664256 96100 4294967295 134512640 134714508 3221221776 3221219600 1075823363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97086 96100 1111 63 0 97023 0
vsize: 388344
[startup+980.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 617655 0 0 0 96658 1352 0 0 25 0 1 0 829187979 397668352 96101 4294967295 134512640 134714508 3221221776 3221219424 1075817957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97087 96101 1111 63 0 97024 0
vsize: 388348
[startup+990.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 623008 0 0 0 97646 1365 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 628518 0 0 0 98633 1377 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 634014 0 0 0 99620 1391 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 638966 0 0 0 100610 1401 0 0 25 0 1 0 829187979 396419072 95957 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96782 95961 1111 63 0 96719 0
vsize: 387128
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 644785 0 0 0 101595 1416 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220064 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 649922 0 0 0 102583 1428 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 655744 0 0 0 103569 1442 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220064 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 660851 0 0 0 104557 1454 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220040 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 665982 0 0 0 105545 1467 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 671108 0 0 0 106532 1480 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 676194 0 0 0 107521 1491 0 0 25 0 1 0 829187979 396271616 95946 4294967295 134512640 134714508 3221221776 3221220064 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96746 95946 1111 63 0 96683 0
vsize: 386984
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 681452 0 0 0 108509 1503 0 0 25 0 1 0 829187979 397860864 96128 4294967295 134512640 134714508 3221221776 3221219696 1075799503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97134 96128 1111 63 0 97071 0
vsize: 388536
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 686537 0 0 0 109497 1515 0 0 25 0 1 0 829187979 397864960 96129 4294967295 134512640 134714508 3221221776 3221219888 1074867358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97135 96129 1111 63 0 97072 0
vsize: 388540
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 691459 0 0 0 110486 1527 0 0 25 0 1 0 829187979 396271616 95946 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96746 95946 1111 63 0 96683 0
vsize: 386984
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 696550 0 0 0 111474 1539 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 701687 0 0 0 112462 1551 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 706798 0 0 0 113451 1563 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 711907 0 0 0 114439 1574 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220080 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 717076 0 0 0 115426 1588 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220032 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 721480 0 0 0 116416 1598 0 0 25 0 1 0 829187979 396271616 95946 4294967295 134512640 134714508 3221221776 3221220016 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96746 95946 1111 63 0 96683 0
vsize: 386984
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 726561 0 0 0 117404 1610 0 0 25 0 1 0 829187979 396242944 95939 4294967295 134512640 134714508 3221221776 3221219404 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 26699
Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 731133 0 0 0 118394 1620 0 0 25 0 1 0 829187979 397881344 96133 4294967295 134512640 134714508 3221221776 3221219696 1075799503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97139 96133 1111 63 0 97076 0
vsize: 388556
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 26699
Raw data (stat): 26699 (bsolo_lpr) Z 26698 7876 7672 0 -1 1036 731133 0 0 0 118394 1638 0 0 25 0 1 0 829187979 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.25
CPU time (s): 1200.33
CPU user time (s): 1183.94
CPU system time (s): 16.3855
CPU usage (%): 100.007
Max. virtual memory (Kb): 398048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####