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-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb
MD5SUM	0f3e1a19529370afcd1348994ae2c757
Bench Category	optimization, big integers (OPTBIGINT)
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	6480
Biggest coefficient in the objective function	5242880000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	755791986840
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	5242880000
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	755791986840
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	1246.02
Number of variables	11280
Total number of constraints	1307
Number of constraints which are clauses	11
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1296
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 25407

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 02:04:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19930 boxname=wulflinc31 idbench=1534 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  0f3e1a19529370afcd1348994ae2c757  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bg512142.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bg512142.opb
IDLAUNCH: 19930
/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:        864864 kB
Buffers:          6920 kB
Cached:         137620 kB
SwapCached:       5400 kB
Active:          86964 kB
Inactive:        64236 kB
HighTotal:      131008 kB
HighFree:         3612 kB
LowTotal:       903652 kB
LowFree:        861252 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13012 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 02:23:56 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 19930 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11280 variables and 1185 constraints.
c After prepocess the problem consists of 10593 variables and 1312 constraints.
c preprocess terminated 62.005 s
c Initial Lower Bound: 18478601
c Lower Bound Elapsed time: 27.3675
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.96 0.91 2/55 16219
Raw data (stat): 16219 (runsolver) R 16218 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 783269899 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.88 0.96 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 7737 0 0 0 977 18 0 0 25 0 1 0 783269899 44630016 7660 4294967295 134512640 134714508 3221221776 3221219824 1077314053 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10896 7660 1111 63 0 10833 0
vsize: 43584
[startup+20.0024 s]
Raw data (loadavg): 0.90 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 12805 0 0 0 1963 31 0 0 25 0 1 0 783269899 55459840 12638 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13540 12638 1111 63 0 13477 0
vsize: 54160
[startup+30.0032 s]
Raw data (loadavg): 0.91 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 12874 0 0 0 2963 32 0 0 25 0 1 0 783269899 55730176 12704 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13606 12704 1111 63 0 13543 0
vsize: 54424
[startup+40.0041 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 12875 0 0 0 3963 32 0 0 25 0 1 0 783269899 55730176 12704 4294967295 134512640 134714508 3221221776 3221220576 134617452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13606 12704 1111 63 0 13543 0
vsize: 54424
[startup+50.0049 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 12875 0 0 0 4963 32 0 0 25 0 1 0 783269899 55730176 12704 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13606 12704 1111 63 0 13543 0
vsize: 54424
[startup+60.0059 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 12875 0 0 0 5964 32 0 0 25 0 1 0 783269899 55730176 12704 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13606 12704 1111 63 0 13543 0
vsize: 54424
[startup+70.0069 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 14957 0 0 0 6959 36 0 0 25 0 1 0 783269899 60887040 14024 4294967295 134512640 134714508 3221221776 3221217936 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14865 14024 1111 63 0 14802 0
vsize: 59460
[startup+80.0067 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 15003 0 0 0 7958 36 0 0 25 0 1 0 783269899 60977152 14049 4294967295 134512640 134714508 3221221776 3221217680 1074875074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14887 14049 1111 63 0 14824 0
vsize: 59548
[startup+90.0076 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 15045 0 0 0 8958 37 0 0 25 0 1 0 783269899 60977152 14071 4294967295 134512640 134714508 3221221776 3221217552 1074867688 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14887 14071 1111 63 0 14824 0
vsize: 59548
[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 16033 0 0 0 9957 38 0 0 25 0 1 0 783269899 59695104 13757 4294967295 134512640 134714508 3221221776 3221217680 1074875065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14574 13757 1111 63 0 14511 0
vsize: 58296
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 16037 0 0 0 10957 38 0 0 25 0 1 0 783269899 59695104 13761 4294967295 134512640 134714508 3221221776 3221217768 1074950223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14574 13761 1111 63 0 14511 0
vsize: 58296
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16219
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 16037 0 0 0 11957 38 0 0 25 0 1 0 783269899 59695104 13761 4294967295 134512640 134714508 3221221776 3221217572 1074786399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14574 13761 1111 63 0 14511 0
vsize: 58296
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 16976 0 0 0 12953 43 0 0 25 0 1 0 783269899 60698624 14075 4294967295 134512640 134714508 3221221776 3221220176 1074031936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14819 14075 1111 63 0 14756 0
vsize: 59276
[startup+140.015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 21672 0 0 0 13942 54 0 0 25 0 1 0 783269899 69607424 16250 4294967295 134512640 134714508 3221221776 3221219848 1074950119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16994 16250 1111 63 0 16931 0
vsize: 67976
[startup+150.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 22760 0 0 0 14938 60 0 0 25 0 1 0 783269899 72720384 16978 4294967295 134512640 134714508 3221221776 3221220052 1077374438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17754 16978 1111 63 0 17691 0
vsize: 71016
[startup+160.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 26874 0 0 0 15927 71 0 0 25 0 1 0 783269899 78479360 18416 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19160 18416 1111 63 0 19097 0
vsize: 76640
[startup+170.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 28358 0 0 0 16920 78 0 0 25 0 1 0 783269899 83083264 19540 4294967295 134512640 134714508 3221221776 3221219900 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20284 19540 1111 63 0 20221 0
vsize: 81136
[startup+180.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30607 0 0 0 17914 84 0 0 25 0 1 0 783269899 83390464 19616 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19616 1111 63 0 20296 0
vsize: 81436
[startup+190.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30609 0 0 0 18914 84 0 0 25 0 1 0 783269899 83390464 19618 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+200.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30609 0 0 0 19914 84 0 0 25 0 1 0 783269899 83390464 19618 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+210.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30609 0 0 0 20914 84 0 0 25 0 1 0 783269899 83390464 19618 4294967295 134512640 134714508 3221221776 3221220564 134597610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+220.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30609 0 0 0 21914 85 0 0 25 0 1 0 783269899 83390464 19618 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+230.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30609 0 0 0 22914 85 0 0 25 0 1 0 783269899 83390464 19618 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+240.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30609 0 0 0 23913 86 0 0 25 0 1 0 783269899 83390464 19618 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+250.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30609 0 0 0 24913 86 0 0 25 0 1 0 783269899 83390464 19618 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+260.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30609 0 0 0 25913 87 0 0 25 0 1 0 783269899 83390464 19618 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+270.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30609 0 0 0 26912 87 0 0 25 0 1 0 783269899 83390464 19618 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19618 1111 63 0 20296 0
vsize: 81436
[startup+280.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 27912 88 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+290.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 28912 88 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+300.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 29911 89 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+310.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 30911 89 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+320.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 31911 90 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+330.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 32911 90 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+340.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 33910 91 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+350.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 34910 91 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+360.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 35910 91 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+370.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 36910 91 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+380.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 37910 92 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+390.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 38910 92 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+400.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 39910 92 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+410.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 40910 93 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+420.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 41909 93 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+430.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 42909 94 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+440.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 43909 94 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+450.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 44908 95 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+460.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 45908 95 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220560 134597614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 46907 96 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 47907 96 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+490.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 48907 97 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+500.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 49907 97 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 50907 97 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+520.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 51907 98 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+530.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 52906 98 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+540.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 53906 99 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+550.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 54906 99 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+560.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 55906 99 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+570.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 56905 100 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+580.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 57905 100 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+590.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 58905 101 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+600.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 59905 101 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+610.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 60905 101 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220264 1076648037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+620.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 61905 102 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 62905 102 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+640.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 63904 102 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+650.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 64904 103 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+660.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 65904 103 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+670.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 66904 104 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220404 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+680.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 67904 104 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+690.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 68903 104 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220464 134594338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+700.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 69903 105 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+710.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 70903 105 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+720.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 71903 105 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+730.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 72903 106 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+740.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 73902 106 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+750.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 74902 107 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+760.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 75902 107 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+770.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 76902 107 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+780.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 77902 108 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 78902 108 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+800.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 79901 108 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+810.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 80901 109 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+820.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 81901 109 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+830.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 82901 110 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+840.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 83901 110 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+850.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 84901 110 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+860.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 85901 110 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+870.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 86901 110 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+880.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 87901 111 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+890.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 88901 111 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220248 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+900.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 89901 111 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+910.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 90901 111 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+920.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 91901 111 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 92900 112 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+940.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 93900 112 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+950.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 94900 113 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220332 134539334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+960.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 95899 113 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+970.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 96899 114 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+980.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 97899 114 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+990.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 98899 114 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220544 134597631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 99898 114 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 100898 115 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 101898 115 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 102898 116 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220504 134591837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 103898 116 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 104898 116 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220480 134524573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 105898 117 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 106897 117 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 107897 117 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 108897 118 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 109897 118 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220556 134600348 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 110897 118 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 111897 119 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 112897 119 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 113896 120 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 114896 120 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 115896 120 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 116895 121 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 81436
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16221
Raw data (stat): 16219 (bsolo_lpr) R 16218 7876 7672 0 -1 0 30611 0 0 0 116895 121 0 0 25 0 1 0 783269899 83390464 19620 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20359 19620 1111 63 0 20296 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.06
CPU user time (s): 1173.81
CPU system time (s): 1.24981
CPU usage (%): 100.009
Max. virtual memory (Kb): 81436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####