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/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	08a1ce7c6c4cc8e461ae1aeabdf15da0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3289593
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 25785

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 11:34:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17538 boxname=wulflinc31 idbench=1350 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  08a1ce7c6c4cc8e461ae1aeabdf15da0  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 17538
/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:        642568 kB
Buffers:         15328 kB
Cached:         356448 kB
SwapCached:        932 kB
Active:         179632 kB
Inactive:       194320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        642316 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12492 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 11:54:28 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 17538 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 789 constraints.
c preprocess terminated 755.284 s
c Initial Lower Bound: 172728
c Lower Bound Elapsed time: 1.11075
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (runsolver) R 24437 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 812616443 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.0003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 14310 0 0 0 961 34 0 0 25 0 1 0 812616443 61960192 14199 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15127 14204 1111 63 0 15064 0
vsize: 60508
[startup+20.0013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17664 0 0 0 1952 43 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+30.0022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17701 0 0 0 2952 44 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+40.0021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17770 0 0 0 3951 44 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+50.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17946 0 0 0 4950 45 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+60.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 17962 0 0 0 5950 46 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+70.0029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 18176 0 0 0 6949 47 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134557562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+80.0039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 18488 0 0 0 7948 48 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+90.0038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 19148 0 0 0 8946 51 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+100.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 20500 0 0 0 9941 56 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 24553 0 0 0 10928 69 0 0 25 0 1 0 812616443 75313152 17479 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18387 17479 1111 63 0 18324 0
vsize: 73548
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 29122 0 0 0 11915 82 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 33688 0 0 0 12904 94 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 39356 0 0 0 13888 109 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 45196 0 0 0 14872 125 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 52286 0 0 0 15855 143 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220496 134618229 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 59757 0 0 0 16836 162 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 68723 0 0 0 17811 186 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 77729 0 0 0 18787 211 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 86942 0 0 0 19763 234 0 0 25 0 1 0 812616443 75468800 17483 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18425 17489 1111 63 0 18362 0
vsize: 73700
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 97212 0 0 0 20737 261 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 107620 0 0 0 21710 288 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220200 1077377316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 118812 0 0 0 22682 316 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 130472 0 0 0 23650 348 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 142322 0 0 0 24617 381 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 154185 0 0 0 25587 412 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 167360 0 0 0 26554 444 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 180693 0 0 0 27517 481 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 194110 0 0 0 28483 516 0 0 25 0 1 0 812616443 75153408 17453 4294967295 134512640 134714508 3221221776 3221220260 1077374174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18348 17453 1111 63 0 18285 0
vsize: 73392
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198283 0 0 0 29474 525 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198360 0 0 0 30473 526 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198459 0 0 0 31473 526 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198629 0 0 0 32472 527 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198748 0 0 0 33472 527 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 198930 0 0 0 34471 529 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 199112 0 0 0 35470 530 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 200146 0 0 0 36467 533 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 201672 0 0 0 37461 539 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 202879 0 0 0 38457 543 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 205659 0 0 0 39447 553 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 208507 0 0 0 40439 561 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 211471 0 0 0 41430 570 0 0 25 0 1 0 812616443 75632640 17570 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17570 1111 63 0 18402 0
vsize: 73860
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 213850 0 0 0 42423 578 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+440.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 215202 0 0 0 43418 583 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220200 1077377854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 216786 0 0 0 44411 589 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 218460 0 0 0 45406 595 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 221526 0 0 0 46396 605 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 224671 0 0 0 47387 614 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 229069 0 0 0 48374 627 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 233435 0 0 0 49361 640 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 237862 0 0 0 50348 653 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 242817 0 0 0 51335 667 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 248838 0 0 0 52317 685 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 254852 0 0 0 53301 701 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 260924 0 0 0 54284 718 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+560.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 267024 0 0 0 55267 734 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 274598 0 0 0 56248 754 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 281837 0 0 0 57228 774 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+590.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 289121 0 0 0 58208 794 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 296666 0 0 0 59188 814 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 303950 0 0 0 60168 834 0 0 25 0 1 0 812616443 75718656 17591 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18486 17591 1111 63 0 18423 0
vsize: 73944
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304514 0 0 0 61166 836 0 0 25 0 1 0 812616443 76042240 17670 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18565 17670 1111 63 0 18502 0
vsize: 74260
[startup+630.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 62165 837 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 63165 837 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 64165 837 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+660.029 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 65165 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+670.03 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 66165 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+680.029 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 67165 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+690.03 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 68165 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+700.03 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 69164 838 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220200 1077378083 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+710.031 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 70164 839 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+720.031 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 71164 839 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+730.031 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 72164 839 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+740.032 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 73163 840 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+750.032 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 304695 0 0 0 74163 841 0 0 25 0 1 0 812616443 76795904 17851 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18749 17851 1111 63 0 18686 0
vsize: 74996
[startup+760.036 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306858 0 0 0 75157 847 0 0 25 0 1 0 812616443 77053952 18061 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18061 1111 63 0 18749 0
vsize: 75248
[startup+770.036 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306862 0 0 0 76157 847 0 0 25 0 1 0 812616443 77053952 18065 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18812 18065 1111 63 0 18749 0
vsize: 75248
[startup+780.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 77155 849 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+790.035 s]
Raw data (loadavg): 1.08 1.01 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 78154 850 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+800.036 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 79154 851 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+810.037 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 80153 851 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+820.036 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 81152 852 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+830.036 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 82152 853 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+840.036 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 83152 853 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+850.036 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 84152 854 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+860.037 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 85152 854 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597733 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+870.037 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 86151 855 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+880.037 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 87150 855 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+890.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 88150 856 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+900.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 89149 857 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+910.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 90149 858 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+920.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 91148 858 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+930.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 92148 859 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 93148 859 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220556 134600348 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 94147 860 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 95147 860 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 96146 861 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 97146 862 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 98145 862 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 99145 862 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 100145 863 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 101144 864 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 102144 864 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 103143 865 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 104143 866 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 105143 866 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 106142 867 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613526 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 107142 867 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220568 134597569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 108141 868 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 109141 869 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 110141 869 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 111140 870 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 112140 870 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 113140 871 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 114139 871 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 115139 872 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 116138 872 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 75248
[startup+1174.99 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 24438
Raw data (stat): 24438 (bsolo_lpr) R 24437 7876 7672 0 -1 0 306865 0 0 0 116138 872 0 0 25 0 1 0 812616443 77053952 18068 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18812 18068 1111 63 0 18749 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.06
CPU user time (s): 1166.3
CPU system time (s): 8.76367
CPU usage (%): 100.006
Max. virtual memory (Kb): 75248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####