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/miplib/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	1b379137169731592d0d61cac8bf57af
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
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	1243.61
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 27501

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 22:12:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16836 boxname=wulflinc11 idbench=1296 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  1b379137169731592d0d61cac8bf57af  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 16836
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        882144 kB
Buffers:         23184 kB
Cached:         103564 kB
SwapCached:        752 kB
Active:          25760 kB
Inactive:       107012 kB
HighTotal:      131008 kB
HighFree:        99400 kB
LowTotal:       903652 kB
LowFree:        782744 kB
SwapTotal:     2097136 kB
SwapFree:      2095700 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5568 kB
Slab:            14200 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:32:10 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 16836 7 1175.05 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 816.165 s
c Initial Lower Bound: 172728
c Lower Bound Elapsed time: 1.1395
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 31485
Raw data (stat): 31485 (runsolver) R 31484 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775519405 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99993 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 8801 0 0 0 975 22 0 0 25 0 1 0 775519405 49131520 8725 4294967295 134512640 134714508 3221224592 3221221212 1077255789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11995 8725 1111 63 0 11932 0
vsize: 47980
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 17662 0 0 0 1949 47 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 17725 0 0 0 2949 47 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 17788 0 0 0 3949 47 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223240 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 17873 0 0 0 4949 47 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 18026 0 0 0 5949 48 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223268 134606688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 18043 0 0 0 6949 48 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 18242 0 0 0 7949 48 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 18554 0 0 0 8948 49 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 19072 0 0 0 9945 52 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 20376 0 0 0 10940 58 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 23667 0 0 0 11931 67 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 27895 0 0 0 12920 79 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 32007 0 0 0 13908 91 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 36477 0 0 0 14895 104 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 42153 0 0 0 15878 120 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 47770 0 0 0 16863 137 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 54764 0 0 0 17841 158 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 62142 0 0 0 18818 181 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 70404 0 0 0 19798 202 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 78782 0 0 0 20773 227 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 87218 0 0 0 21750 250 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 96748 0 0 0 22724 276 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 106477 0 0 0 23695 306 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 116820 0 0 0 24664 337 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 127915 0 0 0 25634 367 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 139114 0 0 0 26604 397 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 150441 0 0 0 27571 430 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 162149 0 0 0 28539 463 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 174477 0 0 0 29504 498 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 186657 0 0 0 30469 533 0 0 25 0 1 0 775519405 75227136 17471 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17471 1111 63 0 18303 0
vsize: 73464
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 198680 0 0 0 31435 567 0 0 25 0 1 0 775519405 75702272 17586 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18482 17586 1111 63 0 18419 0
vsize: 73928
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 198725 0 0 0 32435 568 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 198767 0 0 0 33435 568 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 198850 0 0 0 34435 568 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 199010 0 0 0 35435 568 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223264 134606848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 199122 0 0 0 36435 569 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 199304 0 0 0 37434 570 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 199460 0 0 0 38434 570 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 200098 0 0 0 39432 573 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 201398 0 0 0 40427 578 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 202472 0 0 0 41423 581 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 204295 0 0 0 42417 588 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 206853 0 0 0 43409 596 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223264 134606911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 209556 0 0 0 44401 604 0 0 25 0 1 0 775519405 75866112 17605 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18522 17605 1111 63 0 18459 0
vsize: 74088
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 212214 0 0 0 45393 612 0 0 25 0 1 0 775519405 75710464 17589 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17589 1111 63 0 18421 0
vsize: 73936
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 213591 0 0 0 46388 618 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 214775 0 0 0 47382 623 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 216133 0 0 0 48378 628 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 217363 0 0 0 49373 633 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 220282 0 0 0 50363 644 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 223159 0 0 0 51354 653 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 227178 0 0 0 52343 664 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 231287 0 0 0 53331 676 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 235509 0 0 0 54319 688 0 0 25 0 1 0 775519405 75952128 17636 4294967295 134512640 134714508 3221224592 3221223076 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18543 17636 1111 63 0 18480 0
vsize: 74172
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 239599 0 0 0 55308 699 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 245040 0 0 0 56291 716 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 250510 0 0 0 57275 732 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223300 134618239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 255980 0 0 0 58259 749 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+600.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 261421 0 0 0 59244 764 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+610.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 268045 0 0 0 60225 783 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+620.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 274921 0 0 0 61204 804 0 0 25 0 1 0 775519405 76111872 17655 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18582 17655 1111 63 0 18519 0
vsize: 74328
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 281636 0 0 0 62182 827 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 288351 0 0 0 63162 847 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 295327 0 0 0 64142 867 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302071 0 0 0 65121 888 0 0 25 0 1 0 775519405 75796480 17610 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17610 1111 63 0 18442 0
vsize: 74020
[startup+670.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302692 0 0 0 66120 890 0 0 25 0 1 0 775519405 76115968 17688 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18583 17688 1111 63 0 18520 0
vsize: 74332
[startup+680.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 67119 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+690.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 68120 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+700.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 69120 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+710.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 70120 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+720.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 71120 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 72120 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+740.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 73121 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+750.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 74121 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+760.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 75121 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+770.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 76121 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 77121 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+790.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 78122 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+800.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 79122 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223016 1077377331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+810.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 302873 0 0 0 80122 890 0 0 25 0 1 0 775519405 76869632 17869 4294967295 134512640 134714508 3221224592 3221223372 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17869 1111 63 0 18704 0
vsize: 75068
[startup+820.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 304855 0 0 0 81117 895 0 0 25 0 1 0 775519405 77119488 18074 4294967295 134512640 134714508 3221224592 3221222832 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18828 18074 1111 63 0 18765 0
vsize: 75312
[startup+830.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305490 0 0 0 82116 896 0 0 25 0 1 0 775519405 77123584 18080 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18080 1111 63 0 18766 0
vsize: 75316
[startup+840.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 83115 897 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+850.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 84115 898 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+860.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 85114 899 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+870.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 86114 899 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+880.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 87113 900 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 88113 901 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+900.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 89112 902 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+910.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 90111 902 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+920.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 91111 903 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+930.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 92110 904 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+940.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 93110 905 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+950.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 94109 905 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+960.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 95109 906 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+970.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 96108 907 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223392 134597688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+980.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 97107 908 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+990.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 98107 908 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 99107 909 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 100106 910 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 101105 910 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 102104 911 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 103104 912 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 104103 913 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 105103 914 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 106102 915 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 107102 915 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 108101 916 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 109101 917 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 110100 917 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 111100 918 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 112099 919 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 113099 919 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 114098 920 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 115098 921 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 116097 921 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 75316
[startup+1174.89 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 31485
Raw data (stat): 31485 (bsolo_lpr) R 31484 25830 25829 0 -1 0 305495 0 0 0 116097 921 0 0 25 0 1 0 775519405 77123584 18085 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18085 1111 63 0 18766 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.05
CPU user time (s): 1165.79
CPU system time (s): 9.25559
CPU usage (%): 100.013
Max. virtual memory (Kb): 75316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####