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-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	666682247
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	666682247
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.04
Number of variables	2520
Total number of constraints	142
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	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 26897

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 17:49:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19228 boxname=wulflinc1 idbench=1480 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ddd1f838c1e3a248aad1987162b1d40d  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran10x12.opb
IDLAUNCH: 19228
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        387876 kB
Buffers:         38508 kB
Cached:         577708 kB
SwapCached:          0 kB
Active:          83848 kB
Inactive:       535476 kB
HighTotal:      131008 kB
HighFree:        23464 kB
LowTotal:       903652 kB
LowFree:        364412 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            21700 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:09:19 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 19228 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2520 variables and 164 constraints.
c After prepocess the problem consists of 1326 variables and 233 constraints.
c preprocess terminated 2.25 s
c Initial Lower Bound: 310558
c Lower Bound Elapsed time: 0.2584
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.96 2/55 10206
Raw data (stat): 10206 (runsolver) R 10205 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 717089608 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.99986 s]
Raw data (loadavg): 0.93 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 7846 0 0 0 979 18 0 0 25 0 1 0 717089608 21299200 4461 4294967295 134512640 134714508 3221224592 3221220556 1074860608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 4461 1111 63 0 5137 0
vsize: 20800
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 10976 0 0 0 1971 26 0 0 25 0 1 0 717089608 20889600 4389 4294967295 134512640 134714508 3221224592 3221222848 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5100 4389 1111 63 0 5037 0
vsize: 20400
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 14155 0 0 0 2962 35 0 0 25 0 1 0 717089608 21082112 4428 4294967295 134512640 134714508 3221224592 3221221696 1074138844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5147 4428 1111 63 0 5084 0
vsize: 20588
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 17368 0 0 0 3954 43 0 0 25 0 1 0 717089608 21168128 4429 4294967295 134512640 134714508 3221224592 3221221512 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 4429 1111 63 0 5105 0
vsize: 20672
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 20507 0 0 0 4945 52 0 0 25 0 1 0 717089608 21069824 4423 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5144 4423 1111 63 0 5081 0
vsize: 20576
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 23561 0 0 0 5937 60 0 0 25 0 1 0 717089608 20975616 4411 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5121 4411 1111 63 0 5058 0
vsize: 20484
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 26247 0 0 0 6929 69 0 0 25 0 1 0 717089608 20889600 4390 4294967295 134512640 134714508 3221224592 3221222896 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5100 4390 1111 63 0 5037 0
vsize: 20400
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27194 0 0 0 7925 73 0 0 25 0 1 0 717089608 20889600 4390 4294967295 134512640 134714508 3221224592 3221222320 1075828462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5100 4390 1111 63 0 5037 0
vsize: 20400
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27262 0 0 0 8925 73 0 0 25 0 1 0 717089608 20889600 4390 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5100 4390 1111 63 0 5037 0
vsize: 20400
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27335 0 0 0 9924 75 0 0 25 0 1 0 717089608 20889600 4390 4294967295 134512640 134714508 3221224592 3221221936 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5100 4390 1111 63 0 5037 0
vsize: 20400
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27357 0 0 0 10923 76 0 0 25 0 1 0 717089608 20889600 4390 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5100 4390 1111 63 0 5037 0
vsize: 20400
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 11922 77 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222896 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 12921 77 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221221880 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 13921 78 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 14920 79 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222528 1074052036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 15919 80 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222472 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 16919 80 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222608 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 17918 81 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222428 1074206272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 18918 82 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222752 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 19917 83 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223040 1073990251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 20916 84 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 21916 84 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222496 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 22915 85 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222640 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 23914 86 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222560 1074247404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 24914 87 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222656 1075961767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 25913 87 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 26913 88 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 27912 89 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 28911 89 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222336 1075646924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 29911 90 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221221168 1076046840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 30911 90 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222736 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 31911 91 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222496 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 32910 91 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 33910 92 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222992 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 34910 92 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 35909 93 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221221716 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 36909 93 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222592 1074056591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 37908 94 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 38908 94 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 39908 95 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222592 1074916528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 40907 95 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222496 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 41907 96 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223328 134556385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 42907 96 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222336 1075640272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 43906 97 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222592 1074916804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 44905 98 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222376 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 45905 99 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222504 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 46904 99 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 47904 100 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221221712 1074866155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 48903 101 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222380 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 49903 102 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222992 1074118784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 50902 102 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 51902 102 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 52902 103 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222184 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 53901 104 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222704 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 54901 104 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222408 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 55900 105 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222752 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 56900 106 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222560 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 57899 106 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 58899 107 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223056 1074121015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 59898 108 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10206
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 60898 108 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221220624 1074790402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.96 3/58 10243
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 61898 108 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223232 134649193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10259
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 62898 108 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10259
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 63898 109 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223232 134649103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10259
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 64897 109 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223008 1074116193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10259
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 65897 110 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222464 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10259
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 66897 110 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222092 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10261
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 67896 111 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221221936 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 68896 111 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222592 1074921288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 69896 112 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074115446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 70895 112 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 71895 112 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222496 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 72895 112 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222512 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 73895 113 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222320 1075829986 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 74894 114 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222720 1077379745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 75893 115 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 76893 115 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 77893 116 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222320 1075828228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 78893 116 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222592 1074918345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 79892 117 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 80892 117 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221220664 1074950215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 81891 118 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222560 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 82891 118 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221221512 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 83891 119 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221221576 1074831423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 84890 119 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 85890 120 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221220856 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 86889 120 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222360 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 87889 121 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 88889 122 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 89888 122 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+910.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 90888 122 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222512 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 91888 123 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222496 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 92888 123 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221221104 1075240464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 93887 124 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222704 1074867323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10263
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 94887 124 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222376 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 95887 125 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222480 1074051040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 96887 125 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222572 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 97887 125 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+990.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 98886 126 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222992 1074119048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 99886 126 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 100885 127 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222704 1075125699 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 101885 128 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 102885 128 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222856 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 103884 129 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 104884 129 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 105883 130 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 106883 131 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221220556 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 107883 131 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 108882 131 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 109882 132 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 110882 132 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 111882 132 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 112881 133 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 113881 134 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222592 1074919246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 114880 135 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222336 1075646215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 115880 135 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221221744 1075969871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 116880 135 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222864 1073986868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 20276
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 10265
Raw data (stat): 10206 (bsolo_lpr) R 10205 8378 8377 0 -1 0 27361 0 0 0 116880 135 0 0 25 0 1 0 717089608 20762624 4363 4294967295 134512640 134714508 3221224592 3221222864 1073986868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4363 1111 63 0 5006 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.07
CPU user time (s): 1173.7
CPU system time (s): 1.36679
CPU usage (%): 100.01
Max. virtual memory (Kb): 20800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####