PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb
MD5SUM	c76102ddcf7f5ab3b2677033d320eaa3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	756736
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	502612132
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	502612132
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	422.405
Number of variables	2100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 26901

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-24 17:52:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19202 boxname=wulflinc10 idbench=1478 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c76102ddcf7f5ab3b2677033d320eaa3  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-ran10x10b.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-ran10x10b.opb
IDLAUNCH: 19202
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        795432 kB
Buffers:         34732 kB
Cached:         183664 kB
SwapCached:        224 kB
Active:          74520 kB
Inactive:       146716 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        795180 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            12300 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:12:26 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 19202 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2100 variables and 140 constraints.
c After prepocess the problem consists of 1092 variables and 189 constraints.
c preprocess terminated 1.415 s
c Initial Lower Bound: 334528
c Lower Bound Elapsed time: 0.1321
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.95 0.90 2/54 19256
Raw data (stat): 19256 (runsolver) R 19255 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773977895 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 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+10.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 7122 0 0 0 979 19 0 0 25 0 1 0 773977895 16646144 3359 4294967295 134512640 134714508 3221224592 3221222552 1074138322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4103 3360 1111 63 0 4040 0
vsize: 16256
[startup+19.9996 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 10197 0 0 0 1971 26 0 0 25 0 1 0 773977895 16646144 3360 4294967295 134512640 134714508 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3360 1111 63 0 4001 0
vsize: 16256
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 12865 0 0 0 2962 35 0 0 25 0 1 0 773977895 17010688 3388 4294967295 134512640 134714508 3221224592 3221220604 1074860372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4153 3388 1111 63 0 4090 0
vsize: 16612
[startup+40.0001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 15229 0 0 0 3954 43 0 0 25 0 1 0 773977895 16646144 3364 4294967295 134512640 134714508 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3364 1111 63 0 4001 0
vsize: 16256
[startup+50.0003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 16113 0 0 0 4951 47 0 0 25 0 1 0 773977895 16646144 3364 4294967295 134512640 134714508 3221224592 3221221696 1074138887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3364 1111 63 0 4001 0
vsize: 16256
[startup+60.0002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 16305 0 0 0 5948 50 0 0 25 0 1 0 773977895 16646144 3364 4294967295 134512640 134714508 3221224592 3221222112 1074051652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3364 1111 63 0 4001 0
vsize: 16256
[startup+69.9998 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 16520 0 0 0 6946 52 0 0 25 0 1 0 773977895 16646144 3364 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3364 1111 63 0 4001 0
vsize: 16256
[startup+80 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 17263 0 0 0 7942 57 0 0 25 0 1 0 773977895 16646144 3364 4294967295 134512640 134714508 3221224592 3221222336 1075640393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3364 1111 63 0 4001 0
vsize: 16256
[startup+89.9999 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 23290 0 0 0 8921 77 0 0 25 0 1 0 773977895 16723968 3383 4294967295 134512640 134714508 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4083 3383 1111 63 0 4020 0
vsize: 16332
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 30378 0 0 0 9900 99 0 0 25 0 1 0 773977895 16797696 3401 4294967295 134512640 134714508 3221224592 3221222752 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3401 1111 63 0 4038 0
vsize: 16404
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 38251 0 0 0 10877 122 0 0 25 0 1 0 773977895 16908288 3427 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4162 3430 1111 63 0 4099 0
vsize: 16512
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 44480 0 0 0 11859 140 0 0 25 0 1 0 773977895 17248256 3456 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4211 3456 1111 63 0 4148 0
vsize: 16844
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 50547 0 0 0 12839 160 0 0 25 0 1 0 773977895 16973824 3402 4294967295 134512640 134714508 3221224592 3221222320 1075828239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4144 3402 1111 63 0 4081 0
vsize: 16576
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 57137 0 0 0 13817 182 0 0 25 0 1 0 773977895 17186816 3409 4294967295 134512640 134714508 3221224592 3221221632 1075860307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4196 3409 1111 63 0 4133 0
vsize: 16784
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 63650 0 0 0 14795 204 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222336 1075646870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 71337 0 0 0 15772 227 0 0 25 0 1 0 773977895 17092608 3420 4294967295 134512640 134714508 3221224592 3221220960 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4173 3420 1111 63 0 4110 0
vsize: 16692
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 77177 0 0 0 16752 246 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222560 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 83195 0 0 0 17733 266 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222416 1075824339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 89164 0 0 0 18714 286 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222512 1075799720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 94793 0 0 0 19694 306 0 0 25 0 1 0 773977895 16875520 3404 4294967295 134512640 134714508 3221224592 3221222992 1074118808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4120 3404 1111 63 0 4057 0
vsize: 16480
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 100366 0 0 0 20674 325 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 105873 0 0 0 21655 345 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 111424 0 0 0 22635 365 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 117325 0 0 0 23615 385 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 122687 0 0 0 24594 406 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 128369 0 0 0 25574 427 0 0 25 0 1 0 773977895 16822272 3402 4294967295 134512640 134714508 3221224592 3221222592 1074916922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 133730 0 0 0 26551 450 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 138668 0 0 0 27530 472 0 0 25 0 1 0 773977895 16977920 3405 4294967295 134512640 134714508 3221224592 3221221712 1074865627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4145 3405 1111 63 0 4082 0
vsize: 16580
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 143740 0 0 0 28511 491 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222512 1075799747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 148660 0 0 0 29492 509 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 153763 0 0 0 30474 528 0 0 25 0 1 0 773977895 16957440 3405 4294967295 134512640 134714508 3221224592 3221221784 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4195 3409 1111 63 0 4132 0
vsize: 16560
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 159019 0 0 0 31455 547 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222472 1077378596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 164345 0 0 0 32437 566 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222520 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 169956 0 0 0 33415 587 0 0 25 0 1 0 773977895 16822272 3402 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 175077 0 0 0 34399 604 0 0 25 0 1 0 773977895 16875520 3403 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16480
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 180285 0 0 0 35382 621 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222416 1075824339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 185167 0 0 0 36363 639 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 190272 0 0 0 37345 658 0 0 25 0 1 0 773977895 17186816 3420 4294967295 134512640 134714508 3221224592 3221220592 1074788717 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4196 3421 1111 63 0 4133 0
vsize: 16784
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 195838 0 0 0 38326 677 0 0 25 0 1 0 773977895 16822272 3402 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 201661 0 0 0 39306 698 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222800 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 207316 0 0 0 40288 716 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222512 1075799689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 213046 0 0 0 41267 737 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221223432 134556493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19256
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 218773 0 0 0 42247 757 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222688 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+440.004 s]
Raw data (loadavg): 1.22 1.02 0.93 2/54 19309
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 224538 0 0 0 43227 777 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222320 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+450.005 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 19309
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 230024 0 0 0 44209 796 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221223232 134696048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+460.005 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 19309
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 236526 0 0 0 45189 816 0 0 25 0 1 0 773977895 17141760 3406 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4185 3409 1111 63 0 4122 0
vsize: 16740
[startup+470.004 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 19309
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 242489 0 0 0 46169 836 0 0 25 0 1 0 773977895 17186816 3420 4294967295 134512640 134714508 3221224592 3221220856 1076079125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4171 3420 1111 63 0 4108 0
vsize: 16784
[startup+480.004 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 19309
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 249875 0 0 0 47148 857 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222936 1074153333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+490.005 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 19309
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 258828 0 0 0 48121 884 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+500.005 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 264420 0 0 0 49103 902 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222520 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+510.005 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 270077 0 0 0 50085 920 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+520.004 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 275805 0 0 0 51067 939 0 0 25 0 1 0 773977895 17125376 3406 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3405 1111 63 0 4081 0
vsize: 16724
[startup+530.005 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 281313 0 0 0 52049 957 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222608 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+540.005 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 286874 0 0 0 53029 977 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222568 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+550.005 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 292177 0 0 0 54008 998 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222632 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+560.005 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 297071 0 0 0 54992 1014 0 0 25 0 1 0 773977895 16961536 3402 4294967295 134512640 134714508 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+570.005 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 301997 0 0 0 55973 1034 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222944 1074142933 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+580.006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 307098 0 0 0 56956 1051 0 0 25 0 1 0 773977895 16822272 3402 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+590.005 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 312000 0 0 0 57938 1069 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+600.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 316962 0 0 0 58920 1088 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222724 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+610.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 321896 0 0 0 59903 1105 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222928 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+620.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 327142 0 0 0 60886 1122 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222656 1075961829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16564
[startup+630.005 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 332261 0 0 0 61866 1142 0 0 25 0 1 0 773977895 16822272 3404 4294967295 134512640 134714508 3221224592 3221222724 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3404 1111 63 0 4044 0
vsize: 16428
[startup+640.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 337425 0 0 0 62851 1158 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221221872 1074140055 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3406 1111 63 0 4117 0
vsize: 16404
[startup+650.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 342804 0 0 0 63833 1175 0 0 25 0 1 0 773977895 16855040 3403 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4115 3403 1111 63 0 4052 0
vsize: 16460
[startup+660.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 348141 0 0 0 64814 1195 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222496 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+670.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 353308 0 0 0 65794 1215 0 0 25 0 1 0 773977895 16822272 3402 4294967295 134512640 134714508 3221224592 3221222592 1074918347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+680.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 358382 0 0 0 66779 1230 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222320 1075828353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+690.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 363491 0 0 0 67761 1249 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+700.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 368306 0 0 0 68743 1266 0 0 25 0 1 0 773977895 16822272 3402 4294967295 134512640 134714508 3221224592 3221222872 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+710.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 373167 0 0 0 69725 1285 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222512 1075799723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+720.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 377985 0 0 0 70708 1302 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222928 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+730.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 382780 0 0 0 71690 1320 0 0 25 0 1 0 773977895 17182720 3421 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 3421 1111 63 0 4132 0
vsize: 16780
[startup+740.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 387840 0 0 0 72672 1338 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222320 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+750.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 392620 0 0 0 73655 1355 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+760.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 397387 0 0 0 74641 1370 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+770.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 401814 0 0 0 75625 1386 0 0 25 0 1 0 773977895 16928768 3415 4294967295 134512640 134714508 3221224592 3221222992 1074118794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3415 1111 63 0 4070 0
vsize: 16532
[startup+780.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 406189 0 0 0 76608 1404 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221223212 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+790.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19311
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 410540 0 0 0 77591 1420 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222320 1075829522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+800.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 414844 0 0 0 78576 1435 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222832 1074143680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+810.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 419164 0 0 0 79560 1452 0 0 25 0 1 0 773977895 16928768 3415 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3405 1111 63 0 4044 0
vsize: 16532
[startup+820.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 423478 0 0 0 80545 1467 0 0 25 0 1 0 773977895 16797696 3402 4294967295 134512640 134714508 3221224592 3221222684 1075963931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3402 1111 63 0 4038 0
vsize: 16404
[startup+830.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 429312 0 0 0 81526 1486 0 0 25 0 1 0 773977895 16961536 3403 4294967295 134512640 134714508 3221224592 3221222512 1075799488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3403 1111 63 0 4078 0
vsize: 16564
[startup+840.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 436432 0 0 0 82501 1511 0 0 25 0 1 0 773977895 17129472 3405 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4182 3405 1111 63 0 4119 0
vsize: 16728
[startup+850.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 443625 0 0 0 83478 1535 0 0 25 0 1 0 773977895 16822272 3402 4294967295 134512640 134714508 3221224592 3221222872 1074138256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3402 1111 63 0 4044 0
vsize: 16428
[startup+860.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 451207 0 0 0 84453 1560 0 0 25 0 1 0 773977895 16797696 3403 4294967295 134512640 134714508 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3403 1111 63 0 4038 0
vsize: 16404
[startup+870.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 459250 0 0 0 85424 1589 0 0 25 0 1 0 773977895 17195008 3424 4294967295 134512640 134714508 3221224592 3221220736 1074969408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4198 3424 1111 63 0 4135 0
vsize: 16792
[startup+880.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 460120 0 0 0 86416 1598 0 0 25 0 1 0 773977895 17121280 3479 4294967295 134512640 134714508 3221224592 3221222712 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+890.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 460923 0 0 0 87408 1605 0 0 25 0 1 0 773977895 17121280 3479 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+900.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 462667 0 0 0 88399 1615 0 0 25 0 1 0 773977895 17121280 3479 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3479 1111 63 0 4154 0
vsize: 16720
[startup+910.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 464382 0 0 0 89390 1624 0 0 25 0 1 0 773977895 17264640 3484 4294967295 134512640 134714508 3221224592 3221220912 1075170073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3484 1111 63 0 4152 0
vsize: 16860
[startup+920.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 466102 0 0 0 90381 1633 0 0 25 0 1 0 773977895 17121280 3479 4294967295 134512640 134714508 3221224592 3221223228 134649372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 467903 0 0 0 91372 1642 0 0 25 0 1 0 773977895 17121280 3479 4294967295 134512640 134714508 3221224592 3221222512 1075799697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+940.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 469604 0 0 0 92362 1652 0 0 25 0 1 0 773977895 17121280 3479 4294967295 134512640 134714508 3221224592 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+950.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 471600 0 0 0 93353 1662 0 0 25 0 1 0 773977895 17121280 3479 4294967295 134512640 134714508 3221224592 3221223008 1074116576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+960.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 473843 0 0 0 94340 1675 0 0 25 0 1 0 773977895 17121280 3479 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3479 1111 63 0 4117 0
vsize: 16720
[startup+970.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 477100 0 0 0 95325 1690 0 0 25 0 1 0 773977895 17121280 3480 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3480 1111 63 0 4117 0
vsize: 16720
[startup+980.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 479169 0 0 0 96317 1698 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+990.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 481117 0 0 0 97309 1706 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 482985 0 0 0 98299 1717 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 484951 0 0 0 99289 1726 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221222432 1075798469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 486938 0 0 0 100279 1737 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 488955 0 0 0 101268 1748 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 491011 0 0 0 102260 1756 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221222880 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 493077 0 0 0 103250 1767 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221221824 1075552774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 495108 0 0 0 104239 1778 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221223388 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 497348 0 0 0 105230 1787 0 0 25 0 1 0 773977895 17121280 3481 4294967295 134512640 134714508 3221224592 3221222800 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3481 1111 63 0 4117 0
vsize: 16720
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 500742 0 0 0 106218 1800 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 505862 0 0 0 107200 1817 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 510747 0 0 0 108183 1835 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221222784 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 515187 0 0 0 109168 1850 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221222592 1074915922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 519217 0 0 0 110152 1866 0 0 25 0 1 0 773977895 17408000 3494 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4250 3494 1111 63 0 4187 0
vsize: 17000
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 523187 0 0 0 111140 1879 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221223040 1073990411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 527186 0 0 0 112126 1892 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 531245 0 0 0 113111 1908 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 535356 0 0 0 114097 1922 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221223048 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 539486 0 0 0 115082 1938 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221222592 1074917021 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 16720
[startup+1174.86 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 19313
Raw data (stat): 19256 (bsolo_lpr) R 19255 15547 15546 0 -1 0 539486 0 0 0 115082 1938 0 0 25 0 1 0 773977895 17121280 3482 4294967295 134512640 134714508 3221224592 3221222592 1074917021 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3482 1111 63 0 4117 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.04
CPU user time (s): 1155.6
CPU system time (s): 19.448
CPU usage (%): 100.015
Max. virtual memory (Kb): 17000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####