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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
MD5SUMb74fb9cd57e8b4068255c4ac98aa23ca
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3191
Optimality of the best value was proved NO
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 12800
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 416734
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.12
Number of variables5932
Total number of constraints1321
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint1
Maximum length of a constraint453

Trace number 40319

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 06:50:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28383 boxname=wulflinc6 idbench=1339 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b74fb9cd57e8b4068255c4ac98aa23ca  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-aflow30a.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-aflow30a.opb
IDLAUNCH: 28383
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        888972 kB
Buffers:         16368 kB
Cached:         108256 kB
SwapCached:        972 kB
Active:          27720 kB
Inactive:        98956 kB
HighTotal:      131008 kB
HighFree:        58128 kB
LowTotal:       903652 kB
LowFree:        830844 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13436 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 07:10:21 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 28383 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5932 variables and 958 constraints.
c After prepocess the problem consists of 5910 variables and 1000 constraints.
c preprocess terminated 92.793 s
c Initial Lower Bound: 986
c Lower Bound Elapsed time: 1.0535
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 27023
Raw data (stat): 27023 (runsolver) R 27022 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899608234 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 27738 0 0 0 921 75 0 0 25 0 1 0 899608234 61190144 14074 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14939 14074 1111 63 0 14876 0
vsize: 59756
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 33376 0 0 0 1909 88 0 0 25 0 1 0 899608234 83275776 19457 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20331 19457 1111 63 0 20268 0
vsize: 81324
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 35479 0 0 0 2906 92 0 0 25 0 1 0 899608234 91750400 21526 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22400 21526 1111 63 0 22337 0
vsize: 89600
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 35479 0 0 0 3906 92 0 0 25 0 1 0 899608234 91750400 21526 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22400 21526 1111 63 0 22337 0
vsize: 89600
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 35480 0 0 0 4906 92 0 0 25 0 1 0 899608234 91750400 21527 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22400 21527 1111 63 0 22337 0
vsize: 89600
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 35484 0 0 0 5907 92 0 0 25 0 1 0 899608234 91750400 21531 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22400 21531 1111 63 0 22337 0
vsize: 89600
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 35490 0 0 0 6907 92 0 0 25 0 1 0 899608234 91885568 21537 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22433 21537 1111 63 0 22370 0
vsize: 89732
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 35499 0 0 0 7907 92 0 0 25 0 1 0 899608234 91885568 21546 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22433 21546 1111 63 0 22370 0
vsize: 89732
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 35503 0 0 0 8908 92 0 0 25 0 1 0 899608234 91885568 21550 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22433 21550 1111 63 0 22370 0
vsize: 89732
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41111 0 0 0 9896 103 0 0 25 0 1 0 899608234 95449088 22565 4294967295 134512640 134716908 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23303 22565 1111 63 0 23240 0
vsize: 93212
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41120 0 0 0 10895 104 0 0 25 0 1 0 899608234 95449088 22574 4294967295 134512640 134716908 3221224576 3221223116 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23303 22574 1111 63 0 23240 0
vsize: 93212
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41192 0 0 0 11895 105 0 0 25 0 1 0 899608234 95731712 22622 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23372 22622 1111 63 0 23309 0
vsize: 93488
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 12895 105 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223172 134542664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 13894 106 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223316 134591993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 14893 108 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223376 134597695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 15893 108 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223344 134592137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 16893 109 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 17892 110 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223196 134549503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 18892 110 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 19892 111 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 20892 111 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 21892 112 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 22891 112 0 0 25 0 1 0 899608234 95903744 22685 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22685 1111 63 0 23351 0
vsize: 93656
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 23891 112 0 0 25 0 1 0 899608234 95891456 22682 4294967295 134512640 134716908 3221224576 3221223328 134592441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23411 22682 1111 63 0 23348 0
vsize: 93644
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41257 0 0 0 24892 113 0 0 25 0 1 0 899608234 95891456 22682 4294967295 134512640 134716908 3221224576 3221223132 134539248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23411 22682 1111 63 0 23348 0
vsize: 93644
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41297 0 0 0 25891 114 0 0 25 0 1 0 899608234 95920128 22689 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23418 22689 1111 63 0 23355 0
vsize: 93672
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41485 0 0 0 26890 115 0 0 25 0 1 0 899608234 96751616 22877 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23621 22877 1111 63 0 23558 0
vsize: 94484
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41534 0 0 0 27890 115 0 0 25 0 1 0 899608234 96952320 22926 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23670 22926 1111 63 0 23607 0
vsize: 94680
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41534 0 0 0 28890 116 0 0 25 0 1 0 899608234 96952320 22926 4294967295 134512640 134716908 3221224576 3221223216 134613447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23670 22926 1111 63 0 23607 0
vsize: 94680
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41535 0 0 0 29890 116 0 0 25 0 1 0 899608234 96952320 22927 4294967295 134512640 134716908 3221224576 3221223384 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23670 22927 1111 63 0 23607 0
vsize: 94680
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41535 0 0 0 30890 117 0 0 25 0 1 0 899608234 96952320 22927 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23670 22927 1111 63 0 23607 0
vsize: 94680
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41535 0 0 0 31890 117 0 0 25 0 1 0 899608234 96952320 22927 4294967295 134512640 134716908 3221224576 3221223216 134539437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23670 22927 1111 63 0 23607 0
vsize: 94680
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41535 0 0 0 32890 117 0 0 25 0 1 0 899608234 96952320 22927 4294967295 134512640 134716908 3221224576 3221223376 134597759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23670 22927 1111 63 0 23607 0
vsize: 94680
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41539 0 0 0 33890 118 0 0 25 0 1 0 899608234 96952320 22931 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23670 22931 1111 63 0 23607 0
vsize: 94680
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41557 0 0 0 34890 118 0 0 25 0 1 0 899608234 97087488 22949 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23703 22949 1111 63 0 23640 0
vsize: 94812
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41573 0 0 0 35890 118 0 0 25 0 1 0 899608234 97087488 22965 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23703 22965 1111 63 0 23640 0
vsize: 94812
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41592 0 0 0 36891 118 0 0 25 0 1 0 899608234 97222656 22984 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23736 22984 1111 63 0 23673 0
vsize: 94944
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41592 0 0 0 37891 118 0 0 25 0 1 0 899608234 97222656 22984 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23736 22984 1111 63 0 23673 0
vsize: 94944
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41592 0 0 0 38891 118 0 0 25 0 1 0 899608234 97222656 22984 4294967295 134512640 134716908 3221224576 3221223316 134591990 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23736 22984 1111 63 0 23673 0
vsize: 94944
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41610 0 0 0 39891 118 0 0 25 0 1 0 899608234 97222656 23002 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23736 23002 1111 63 0 23673 0
vsize: 94944
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41610 0 0 0 40892 118 0 0 25 0 1 0 899608234 97222656 23002 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23736 23002 1111 63 0 23673 0
vsize: 94944
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41610 0 0 0 41892 118 0 0 25 0 1 0 899608234 97222656 23002 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23736 23002 1111 63 0 23673 0
vsize: 94944
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41615 0 0 0 42892 118 0 0 25 0 1 0 899608234 97222656 23007 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23736 23007 1111 63 0 23673 0
vsize: 94944
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41633 0 0 0 43892 118 0 0 25 0 1 0 899608234 97357824 23025 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23769 23025 1111 63 0 23706 0
vsize: 95076
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41633 0 0 0 44892 119 0 0 25 0 1 0 899608234 96964608 22944 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23673 22944 1111 63 0 23610 0
vsize: 94692
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41720 0 0 0 45892 120 0 0 25 0 1 0 899608234 97366016 23031 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23771 23031 1111 63 0 23708 0
vsize: 95084
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41753 0 0 0 46891 121 0 0 25 0 1 0 899608234 97484800 23064 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23800 23064 1111 63 0 23737 0
vsize: 95200
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41790 0 0 0 47891 122 0 0 25 0 1 0 899608234 97570816 23092 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23821 23092 1111 63 0 23758 0
vsize: 95284
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41866 0 0 0 48891 122 0 0 25 0 1 0 899608234 97984512 23168 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23922 23168 1111 63 0 23859 0
vsize: 95688
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41882 0 0 0 49891 122 0 0 25 0 1 0 899608234 97984512 23184 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23922 23184 1111 63 0 23859 0
vsize: 95688
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41891 0 0 0 50890 123 0 0 25 0 1 0 899608234 98123776 23193 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23956 23193 1111 63 0 23893 0
vsize: 95824
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41892 0 0 0 51890 123 0 0 25 0 1 0 899608234 98123776 23194 4294967295 134512640 134716908 3221224576 3221223312 134558542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23956 23194 1111 63 0 23893 0
vsize: 95824
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41894 0 0 0 52890 124 0 0 25 0 1 0 899608234 98123776 23196 4294967295 134512640 134716908 3221224576 3221223368 134558587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23956 23196 1111 63 0 23893 0
vsize: 95824
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41901 0 0 0 53890 124 0 0 25 0 1 0 899608234 98123776 23203 4294967295 134512640 134716908 3221224576 3221223216 134613467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23956 23203 1111 63 0 23893 0
vsize: 95824
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27023
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41901 0 0 0 54890 125 0 0 25 0 1 0 899608234 98123776 23203 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23956 23203 1111 63 0 23893 0
vsize: 95824
[startup+560.014 s]
Raw data (loadavg): 1.15 1.00 0.92 4/58 27055
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41902 0 0 0 55889 126 0 0 25 0 1 0 899608234 98123776 23204 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23956 23204 1111 63 0 23893 0
vsize: 95824
[startup+570.016 s]
Raw data (loadavg): 1.28 1.04 0.93 2/58 27076
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41902 0 0 0 56889 126 0 0 25 0 1 0 899608234 98123776 23204 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23956 23204 1111 63 0 23893 0
vsize: 95824
[startup+580.016 s]
Raw data (loadavg): 1.24 1.03 0.93 2/54 27076
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41902 0 0 0 57889 127 0 0 25 0 1 0 899608234 98123776 23204 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23956 23204 1111 63 0 23893 0
vsize: 95824
[startup+590.016 s]
Raw data (loadavg): 1.20 1.03 0.93 2/54 27076
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41909 0 0 0 58889 127 0 0 25 0 1 0 899608234 98123776 23211 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23956 23211 1111 63 0 23893 0
vsize: 95824
[startup+600.016 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 27076
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 59889 127 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223316 134555030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+610.016 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 27076
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 60890 127 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223136 134552035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+620.016 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 27076
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 61890 128 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+630.017 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 27076
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 62890 128 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223204 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+640.018 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 63890 128 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+650.018 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 64890 128 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+660.018 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 65890 129 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+670.018 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 66890 129 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+680.018 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 67891 129 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+690.019 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41916 0 0 0 68891 129 0 0 25 0 1 0 899608234 98050048 23209 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 23209 1111 63 0 23875 0
vsize: 95752
[startup+700.019 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41918 0 0 0 69891 129 0 0 25 0 1 0 899608234 98185216 23211 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23211 1111 63 0 23908 0
vsize: 95884
[startup+710.019 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 70891 130 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+720.019 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 71891 130 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+730.019 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 72891 130 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223284 134524590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+740.019 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 73891 130 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+750.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 74891 130 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223144 1077377227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+760.019 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 75891 131 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+770.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 76892 131 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+780.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 77892 131 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223184 134548846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+790.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 78892 131 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223144 1077377891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+800.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41927 0 0 0 79892 132 0 0 25 0 1 0 899608234 98185216 23220 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23220 1111 63 0 23908 0
vsize: 95884
[startup+810.021 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41933 0 0 0 80892 132 0 0 25 0 1 0 899608234 98185216 23226 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23226 1111 63 0 23908 0
vsize: 95884
[startup+820.021 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 81892 132 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+830.021 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 82892 133 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+840.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 83892 133 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+850.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 84892 133 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+860.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 85892 133 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 86892 134 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223264 134594338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+880.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27078
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 87892 134 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+890.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 88892 134 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 89892 135 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 90892 135 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+920.023 s]
Raw data (loadavg): 1.00 1.00 0.93 3/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 91892 135 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 92892 136 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 93891 136 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 94891 136 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 95891 136 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 96892 137 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+980.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 97892 137 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 98892 137 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 99892 138 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 100892 138 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223316 134591993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 101892 138 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223244 134551637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41943 0 0 0 102892 139 0 0 25 0 1 0 899608234 98185216 23236 4294967295 134512640 134716908 3221224576 3221223132 134539282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23971 23236 1111 63 0 23908 0
vsize: 95884
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41959 0 0 0 103892 139 0 0 25 0 1 0 899608234 97464320 23066 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23795 23066 1111 63 0 23732 0
vsize: 95180
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41959 0 0 0 104891 140 0 0 25 0 1 0 899608234 97464320 23066 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23795 23066 1111 63 0 23732 0
vsize: 95180
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41959 0 0 0 105891 140 0 0 25 0 1 0 899608234 97464320 23066 4294967295 134512640 134716908 3221224576 3221223136 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23795 23066 1111 63 0 23732 0
vsize: 95180
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41959 0 0 0 106892 141 0 0 25 0 1 0 899608234 97464320 23066 4294967295 134512640 134716908 3221224576 3221223204 134536674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23795 23066 1111 63 0 23732 0
vsize: 95180
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41959 0 0 0 107891 141 0 0 25 0 1 0 899608234 97464320 23066 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23795 23066 1111 63 0 23732 0
vsize: 95180
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41959 0 0 0 108891 142 0 0 25 0 1 0 899608234 97464320 23066 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23795 23066 1111 63 0 23732 0
vsize: 95180
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 41959 0 0 0 109891 142 0 0 25 0 1 0 899608234 97464320 23066 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23795 23066 1111 63 0 23732 0
vsize: 95180
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 42001 0 0 0 110891 143 0 0 25 0 1 0 899608234 97599488 23084 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23828 23084 1111 63 0 23765 0
vsize: 95312
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 42057 0 0 0 111890 144 0 0 25 0 1 0 899608234 97501184 23075 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23804 23075 1111 63 0 23741 0
vsize: 95216
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 42153 0 0 0 112890 144 0 0 25 0 1 0 899608234 97914880 23171 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23905 23171 1111 63 0 23842 0
vsize: 95620
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 42153 0 0 0 113890 145 0 0 25 0 1 0 899608234 97914880 23171 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23905 23171 1111 63 0 23842 0
vsize: 95620
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 42153 0 0 0 114890 146 0 0 25 0 1 0 899608234 97914880 23171 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23905 23171 1111 63 0 23842 0
vsize: 95620
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 42153 0 0 0 115889 146 0 0 25 0 1 0 899608234 97914880 23171 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23905 23171 1111 63 0 23842 0
vsize: 95620
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 42153 0 0 0 116890 146 0 0 25 0 1 0 899608234 97914880 23171 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23905 23171 1111 63 0 23842 0
vsize: 95620
[startup+1174.76 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 27080
Raw data (stat): 27023 (bsolo_lpr-v2) R 27022 25568 25567 0 -1 0 42153 0 0 0 116890 146 0 0 25 0 1 0 899608234 97914880 23171 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23905 23171 1111 63 0 23842 0
vsize: 0

Child status: 0
Real time (s): 1174.76
CPU time (s): 1175.09
CPU user time (s): 1173.58
CPU system time (s): 1.51277
CPU usage (%): 100.028
Max. virtual memory (Kb): 95884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####