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/milp/normalized-mps-v2-13-7-bienst2.opb
MD5SUM	3c3e6264ad2029dcb2dc81be78ef5988
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	103.29
Number of variables	9183
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	592
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 26853

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 17:16:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19423 boxname=wulflinc30 idbench=1495 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3c3e6264ad2029dcb2dc81be78ef5988  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-bienst2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-bienst2.opb
IDLAUNCH: 19423
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        446448 kB
Buffers:          5388 kB
Cached:         551336 kB
SwapCached:        672 kB
Active:          23604 kB
Inactive:       535356 kB
HighTotal:      131008 kB
HighFree:         5152 kB
LowTotal:       903652 kB
LowFree:        441296 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            23720 kB
Committed_AS:    63576 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:36:35 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 19423 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9183 variables and 725 constraints.
c After prepocess the problem consists of 6361 variables and 897 constraints.
c preprocess terminated 5.318 s
c Initial Lower Bound: 1501
c Lower Bound Elapsed time: 9.48725
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): 1.01 0.99 1.00 2/54 24836
Raw data (stat): 24836 (runsolver) R 24835 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831966028 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 13168 0 0 0 967 30 0 0 25 0 1 0 831966028 54902784 12588 4294967295 134512640 134714508 3221224592 3221220556 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13404 12588 1111 63 0 13341 0
vsize: 53616
[startup+20.0013 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 15647 0 0 0 1961 36 0 0 25 0 1 0 831966028 53923840 12395 4294967295 134512640 134714508 3221224592 3221223028 134648661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13165 12395 1111 63 0 13102 0
vsize: 52660
[startup+30.0018 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 17499 0 0 0 2957 40 0 0 25 0 1 0 831966028 58028032 13335 4294967295 134512640 134714508 3221224592 3221220496 1074875101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14167 13335 1111 63 0 14104 0
vsize: 56668
[startup+40.0019 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 17538 0 0 0 3957 40 0 0 25 0 1 0 831966028 58040320 13362 4294967295 134512640 134714508 3221224592 3221220688 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14170 13362 1111 63 0 14107 0
vsize: 56680
[startup+50.0029 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 4947 50 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+60.0022 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 5944 52 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+70.0032 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 6943 54 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+80.0041 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 7942 54 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+90.0036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 8942 55 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223220 134696264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+100.01 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 9942 56 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+110.021 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 10943 56 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+120.027 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 11943 57 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+130.027 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 12942 58 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+140.027 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 13941 59 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+150.028 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 14941 60 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223272 1076648037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+160.033 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 15941 60 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+170.033 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 16940 62 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223556 134575936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+180.033 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 17939 62 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+190.033 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 18939 63 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+200.034 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 19939 63 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223032 1077377504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+210.033 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 20939 63 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+220.034 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 21938 64 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+230.034 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 22937 65 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+240.034 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 23936 66 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+250.034 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 24936 67 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+260.034 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 25935 68 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+270.035 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 26935 68 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+280.035 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 27934 69 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223176 134543634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+290.035 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 28933 70 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+300.034 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 29932 72 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+310.034 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 30931 73 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+320.035 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 31931 73 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223216 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+330.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 32930 74 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+340.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 33930 75 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+350.037 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 34929 76 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223360 134592098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+360.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 35928 77 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134548556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+370.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 36927 78 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+380.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 37927 78 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+390.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 38926 80 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+400.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 39925 81 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+410.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 40924 82 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+420.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 41923 82 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+430.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 42922 84 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+440.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 43922 84 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+450.035 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 44921 85 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+460.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 45921 86 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+470.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 46920 86 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223352 134613509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+480.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 47920 87 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+490.036 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 48919 88 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+500.037 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 49919 88 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+510.037 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 50918 89 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+520.037 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 51918 90 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223232 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+530.038 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 52917 91 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223336 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+540.038 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 53917 91 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+550.038 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 54915 93 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+560.038 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 55914 94 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+570.038 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 56914 94 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+580.038 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 57913 95 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223392 134597730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+590.038 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 58912 96 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+600.038 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 59911 98 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+610.039 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 60910 99 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223372 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+620.039 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 61909 100 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+630.04 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 62909 101 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+640.04 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 63908 102 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+650.04 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 64907 103 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+660.04 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 65905 105 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+670.04 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 66905 105 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+680.04 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 67904 106 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+690.04 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 68903 108 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+700.04 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 69902 109 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223336 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+710.041 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 70901 110 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+720.041 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 71900 111 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+730.042 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 72900 112 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223180 134551980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+740.042 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 73899 112 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+750.043 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 74898 114 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+760.042 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 75898 114 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+770.043 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 76897 115 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+780.043 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 77896 116 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+790.043 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 78895 117 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223376 134597611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+800.044 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 79894 118 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223360 134551791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+810.044 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 80894 119 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+820.044 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 81893 120 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+830.044 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 82892 121 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134600357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+840.044 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 83891 122 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+850.045 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 84890 123 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+860.045 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 85890 124 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+870.046 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 86889 124 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223160 1077378409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+880.046 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 87889 125 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+890.046 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 88888 126 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+900.047 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 89887 127 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+910.047 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 90887 128 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223372 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+920.048 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 91886 129 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+930.048 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 92885 130 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+940.048 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 93885 130 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+950.048 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 94884 131 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223360 134597631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+960.048 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 95883 132 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+970.048 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 96882 134 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+980.048 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 97881 135 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223220 1077374062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+990.048 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 98880 135 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223160 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 99880 136 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 100879 137 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 101879 138 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 102878 139 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 103877 140 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 104876 141 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 105875 142 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 106874 143 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 107874 144 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223280 134524415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 108873 145 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223232 134696094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 109872 145 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 110872 146 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 111871 147 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223372 134613543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 112871 148 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 113870 150 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 114870 150 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 115869 151 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 116868 152 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 55820
[startup+1174.89 s]
Raw data (loadavg): 1.00 0.99 1.00 1/53 24836
Raw data (stat): 24836 (bsolo_lpr) R 24835 22056 22055 0 -1 0 22431 0 0 0 116868 152 0 0 25 0 1 0 831966028 57159680 13171 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13955 13171 1111 63 0 13892 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.03
CPU user time (s): 1173.48
CPU system time (s): 1.54976
CPU usage (%): 100.013
Max. virtual memory (Kb): 56680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####