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/miplib3/normalized-mps-v2-13-7-flugpl.opb
MD5SUM	1b5898327a7b85a882e36ea549878fdf
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1843200
Optimality of the best value was proved	NO
Number of terms in the objective function	195
Biggest coefficient in the objective function	47185920
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	103639200
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	78643200
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	159755625
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.181972
Number of variables	195
Total number of constraints	29
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	29
Minimum length of a constraint	5
Maximum length of a constraint	45
Trace number 27126

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-24 19:20:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18359 boxname=wulflinc8 idbench=1413 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  1b5898327a7b85a882e36ea549878fdf  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-flugpl.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-flugpl.opb
IDLAUNCH: 18359
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        487424 kB
Buffers:         34940 kB
Cached:         491108 kB
SwapCached:          0 kB
Active:          67564 kB
Inactive:       461496 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        487172 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7060 kB
Slab:            12428 kB
Committed_AS:    63696 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:40:01 (client local time) WITH STATUS 10 IN 1178.25 SECONDS
stats: 18359 0 1178.25 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 195 variables and 35 constraints.
c After prepocess the problem consists of 159 variables and 32 constraints.
c preprocess terminated 0.051 s
c Initial Lower Bound: 783360
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2043427 @ 0.238
c NEW SOLUTION FOUND: 2035235 @ 0.24
c NEW SOLUTION FOUND: 2027043 @ 0.246
c NEW SOLUTION FOUND: 2022947 @ 0.251
c NEW SOLUTION FOUND: 2018851 @ 0.278
c NEW SOLUTION FOUND: 2016803 @ 0.45
c NEW SOLUTION FOUND: 2015779 @ 0.728
c NEW SOLUTION FOUND: 2014755 @ 0.819
c NEW SOLUTION FOUND: 2014243 @ 2.418
c NEW SOLUTION FOUND: 2013731 @ 2.648
c NEW SOLUTION FOUND: 2013603 @ 31.574
c NEW SOLUTION FOUND: 2013539 @ 187.712
c NEW SOLUTION FOUND: 2013507 @ 641.483
c NEW SOLUTION FOUND: 2013491 @ 641.873
c NEW SOLUTION FOUND: 2013475 @ 642.243
c NEW SOLUTION FOUND: 2013459 @ 642.746
c NEW SOLUTION FOUND: 2013451 @ 643.118
s SATISFIABLE
v -STM1_bit_7 -STM1_bit_6 -STM1_bit_5 -STM1_bit_4 -STM1_bit_3 -STM1_bit_2 -STM1_bit_1 -STM1_bit0 -STM1_bit1 STM1_bit2 STM1_bit3 STM1_bit4 STM1_bit5 -STM1_bit6 -STM1_bit7 -STM1_bit8 -STM1_bit9 -STM1_bit10 -STM1_bit11 -STM1_bit12 -ANM1_bit0 -ANM1_bit1 -ANM1_bit2 -ANM1_bit3 ANM1_bit4 UE1_bit_7 UE1_bit_6 -UE1_bit_5 -UE1_bit_4 -UE1_bit_3 -UE1_bit_2 -UE1_bit_1 -UE1_bit0 -UE1_bit1 -UE1_bit2 UE1_bit3 UE1_bit4 -UE1_bit5 UE1_bit6 -UE1_bit7 -UE1_bit8 UE1_bit9 -UE1_bit10 -UE1_bit11 -UE1_bit12 STM2_bit0 -STM2_bit1 STM2_bit2 STM2_bit3 -STM2_bit4 ANM2_bit0 ANM2_bit1 ANM2_bit2 -ANM2_bit3 -ANM2_bit4 -UE2_bit_7 -UE2_bit_6 -UE2_bit_5 -UE2_bit_4 -UE2_bit_3 -UE2_bit_2 -UE2_bit_1 -UE2_bit0 -UE2_bit1 -UE2_bit2 -UE2_bit3 -UE2_bit4 -UE2_bit5 -UE2_bit6 -UE2_bit7 -UE2_bit8 -UE2_bit9 -UE2_bit10 -UE2_bit11 -UE2_bit12 STM3_bit0 -STM3_bit1 STM3_bit2 STM3_bit3 -STM3_bit4 ANM3_bit0 ANM3_bit1 ANM3_bit2 -ANM3_bit3 -ANM3_bit4 -UE3_bit_7 -UE3_bit_6 -UE3_bit_5 -UE3_bit_4 -UE3_bit_3 -UE3_bit_2 -UE3_bit_1 -UE3_bit0 -UE3_bit1 -UE3_bit2 -UE3_bit3 -UE3_bit4 -UE3_bit5 -UE3_bit6 -UE3_bit7 -UE3_bit8 -UE3_bit9 -UE3_bit10 -UE3_bit11 -UE3_bit12 STM4_bit0 -STM4_bit1 STM4_bit2 STM4_bit3 -STM4_bit4 ANM4_bit0 ANM4_bit1 ANM4_bit2 -ANM4_bit3 -ANM4_bit4 -UE4_bit_7 -UE4_bit_6 UE4_bit_5 -UE4_bit_4 -UE4_bit_3 -UE4_bit_2 -UE4_bit_1 -UE4_bit0 -UE4_bit1 -UE4_bit2 UE4_bit3 -UE4_bit4 -UE4_bit5 UE4_bit6 UE4_bit7 -UE4_bit8 -UE4_bit9 -UE4_bit10 -UE4_bit11 -UE4_bit12 STM5_bit0 -STM5_bit1 STM5_bit2 STM5_bit3 -STM5_bit4 ANM5_bit0 -ANM5_bit1 -ANM5_bit2 ANM5_bit3 -ANM5_bit4 -UE5_bit_7 -UE5_bit_6 -UE5_bit_5 -UE5_bit_4 -UE5_bit_3 -UE5_bit_2 -UE5_bit_1 -UE5_bit0 -UE5_bit1 -UE5_bit2 -UE5_bit3 -UE5_bit4 -UE5_bit5 -UE5_bit6 -UE5_bit7 -UE5_bit8 -UE5_bit9 -UE5_bit10 -UE5_bit11 -UE5_bit12 STM6_bit0 STM6_bit1 STM6_bit2 STM6_bit3 -STM6_bit4 -ANM6_bit0 -ANM6_bit1 -ANM6_bit2 -ANM6_bit3 -ANM6_bit4 -UE6_bit_7 -UE6_bit_6 UE6_bit_5 -UE6_bit_4 -UE6_bit_3 -UE6_bit_2 -UE6_bit_1 -UE6_bit0 -UE6_bit1 -UE6_bit2 -UE6_bit3 UE6_bit4 UE6_bit5 -UE6_bit6 UE6_bit7 -UE6_bit8 -UE6_bit9 UE6_bit10 -UE6_bit11 -UE6_bit12 
c Exit Code: 10
c Total time: 1178.2 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.72 0.88 0.90 2/54 7135
Raw data (stat): 7135 (runsolver) R 7134 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 760924097 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.76 0.88 0.90 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 6982 0 0 0 981 17 0 0 25 0 1 0 760924097 32546816 6939 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7946 6939 1111 63 0 7883 0
vsize: 31784
[startup+20.0014 s]
Raw data (loadavg): 0.80 0.88 0.90 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 6998 0 0 0 1981 17 0 0 25 0 1 0 760924097 32681984 6955 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7979 6955 1111 63 0 7916 0
vsize: 31916
[startup+30.0018 s]
Raw data (loadavg): 0.83 0.89 0.90 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 8599 0 0 0 2977 21 0 0 25 0 1 0 760924097 39608320 8501 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9670 8501 1111 63 0 9607 0
vsize: 38680
[startup+40.0016 s]
Raw data (loadavg): 0.85 0.89 0.90 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 11974 0 0 0 3966 31 0 0 25 0 1 0 760924097 53567488 11845 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13078 11845 1111 63 0 13015 0
vsize: 52312
[startup+50.0029 s]
Raw data (loadavg): 0.87 0.89 0.90 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 11976 0 0 0 4966 31 0 0 25 0 1 0 760924097 53567488 11847 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13078 11847 1111 63 0 13015 0
vsize: 52312
[startup+60.0022 s]
Raw data (loadavg): 0.89 0.90 0.90 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 11976 0 0 0 5966 32 0 0 25 0 1 0 760924097 53567488 11847 4294967295 134512640 134714540 3221224592 3221223316 134622911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13078 11847 1111 63 0 13015 0
vsize: 52312
[startup+70.0029 s]
Raw data (loadavg): 0.91 0.90 0.90 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 11976 0 0 0 6966 32 0 0 25 0 1 0 760924097 53567488 11847 4294967295 134512640 134714540 3221224592 3221223392 134622489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13078 11847 1111 63 0 13015 0
vsize: 52312
[startup+80.004 s]
Raw data (loadavg): 0.92 0.90 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 11976 0 0 0 7966 32 0 0 25 0 1 0 760924097 53567488 11847 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13078 11847 1111 63 0 13015 0
vsize: 52312
[startup+90.0034 s]
Raw data (loadavg): 0.93 0.91 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 11977 0 0 0 8967 32 0 0 25 0 1 0 760924097 53567488 11848 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13078 11848 1111 63 0 13015 0
vsize: 52312
[startup+100.003 s]
Raw data (loadavg): 0.94 0.91 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 12373 0 0 0 9966 33 0 0 25 0 1 0 760924097 55189504 12244 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12244 1111 63 0 13411 0
vsize: 53896
[startup+110.003 s]
Raw data (loadavg): 0.95 0.91 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 12373 0 0 0 10966 33 0 0 25 0 1 0 760924097 55189504 12244 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12244 1111 63 0 13411 0
vsize: 53896
[startup+120.004 s]
Raw data (loadavg): 0.96 0.91 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 12373 0 0 0 11966 33 0 0 25 0 1 0 760924097 55189504 12244 4294967295 134512640 134714540 3221224592 3221223376 134622534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12244 1111 63 0 13411 0
vsize: 53896
[startup+130.004 s]
Raw data (loadavg): 0.96 0.92 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 12373 0 0 0 12966 33 0 0 25 0 1 0 760924097 55189504 12244 4294967295 134512640 134714540 3221224592 3221223388 134536922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12244 1111 63 0 13411 0
vsize: 53896
[startup+140.004 s]
Raw data (loadavg): 0.97 0.92 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 12373 0 0 0 13966 33 0 0 25 0 1 0 760924097 55189504 12244 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12244 1111 63 0 13411 0
vsize: 53896
[startup+150.004 s]
Raw data (loadavg): 0.97 0.92 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 12395 0 0 0 14966 33 0 0 25 0 1 0 760924097 55189504 12266 4294967295 134512640 134714540 3221224592 3221223380 134622497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12266 1111 63 0 13411 0
vsize: 53896
[startup+160.004 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 12395 0 0 0 15967 33 0 0 25 0 1 0 760924097 55189504 12266 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12266 1111 63 0 13411 0
vsize: 53896
[startup+170.005 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 12395 0 0 0 16967 33 0 0 25 0 1 0 760924097 55189504 12266 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12266 1111 63 0 13411 0
vsize: 53896
[startup+180.004 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 13385 0 0 0 17964 36 0 0 25 0 1 0 760924097 59117568 13255 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14433 13255 1111 63 0 14370 0
vsize: 57732
[startup+190.004 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 16160 0 0 0 18958 42 0 0 25 0 1 0 760924097 71671808 15921 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17498 15921 1111 63 0 17435 0
vsize: 69992
[startup+200.004 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 16555 0 0 0 19957 43 0 0 25 0 1 0 760924097 73158656 16316 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17861 16316 1111 63 0 17798 0
vsize: 71444
[startup+210.004 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 16555 0 0 0 20957 43 0 0 25 0 1 0 760924097 73158656 16316 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17861 16316 1111 63 0 17798 0
vsize: 71444
[startup+220.004 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 16557 0 0 0 21957 43 0 0 25 0 1 0 760924097 73158656 16318 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17861 16318 1111 63 0 17798 0
vsize: 71444
[startup+230.005 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 16679 0 0 0 22957 43 0 0 25 0 1 0 760924097 73764864 16435 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18009 16435 1111 63 0 17946 0
vsize: 72036
[startup+240.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 16679 0 0 0 23957 43 0 0 25 0 1 0 760924097 73764864 16435 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18009 16435 1111 63 0 17946 0
vsize: 72036
[startup+250.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 16679 0 0 0 24957 43 0 0 25 0 1 0 760924097 73764864 16435 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18009 16435 1111 63 0 17946 0
vsize: 72036
[startup+260.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 16682 0 0 0 25957 43 0 0 25 0 1 0 760924097 73764864 16438 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18009 16438 1111 63 0 17946 0
vsize: 72036
[startup+270.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 16839 0 0 0 26957 43 0 0 25 0 1 0 760924097 74452992 16593 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18177 16593 1111 63 0 18114 0
vsize: 72708
[startup+280.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17203 0 0 0 27957 44 0 0 25 0 1 0 760924097 75804672 16957 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18507 16957 1111 63 0 18444 0
vsize: 74028
[startup+290.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17221 0 0 0 28957 44 0 0 25 0 1 0 760924097 75939840 16975 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18540 16975 1111 63 0 18477 0
vsize: 74160
[startup+300.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17221 0 0 0 29957 44 0 0 25 0 1 0 760924097 75939840 16975 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18540 16975 1111 63 0 18477 0
vsize: 74160
[startup+310.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17222 0 0 0 30957 44 0 0 25 0 1 0 760924097 75939840 16976 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18540 16976 1111 63 0 18477 0
vsize: 74160
[startup+320.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17234 0 0 0 31958 44 0 0 25 0 1 0 760924097 75939840 16988 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18540 16988 1111 63 0 18477 0
vsize: 74160
[startup+330.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17248 0 0 0 32958 44 0 0 25 0 1 0 760924097 76075008 17002 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18573 17002 1111 63 0 18510 0
vsize: 74292
[startup+340.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17332 0 0 0 33958 44 0 0 25 0 1 0 760924097 76345344 17086 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18639 17086 1111 63 0 18576 0
vsize: 74556
[startup+350.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17617 0 0 0 34958 45 0 0 25 0 1 0 760924097 77561856 17371 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18936 17371 1111 63 0 18873 0
vsize: 75744
[startup+360.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 35956 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+370.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 36957 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+380.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 37957 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+390.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 38957 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+400.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 39957 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+410.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 40957 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+420.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 41958 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+430.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 42958 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+440.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 43958 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+450.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 44958 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+460.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 45958 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+470.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17933 0 0 0 46959 46 0 0 25 0 1 0 760924097 78880768 17678 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19258 17678 1111 63 0 19195 0
vsize: 77032
[startup+480.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17972 0 0 0 47959 46 0 0 25 0 1 0 760924097 79015936 17717 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 17717 1111 63 0 19228 0
vsize: 77164
[startup+490.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17972 0 0 0 48959 46 0 0 25 0 1 0 760924097 79015936 17717 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 17717 1111 63 0 19228 0
vsize: 77164
[startup+500.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17972 0 0 0 49959 46 0 0 25 0 1 0 760924097 79015936 17717 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 17717 1111 63 0 19228 0
vsize: 77164
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17972 0 0 0 50959 46 0 0 25 0 1 0 760924097 79015936 17717 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 17717 1111 63 0 19228 0
vsize: 77164
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17972 0 0 0 51960 46 0 0 25 0 1 0 760924097 79015936 17717 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 17717 1111 63 0 19228 0
vsize: 77164
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 17972 0 0 0 52960 46 0 0 25 0 1 0 760924097 79015936 17717 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 17717 1111 63 0 19228 0
vsize: 77164
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18026 0 0 0 53960 46 0 0 25 0 1 0 760924097 79286272 17771 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19357 17771 1111 63 0 19294 0
vsize: 77428
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18026 0 0 0 54960 46 0 0 25 0 1 0 760924097 79286272 17771 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19357 17771 1111 63 0 19294 0
vsize: 77428
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18026 0 0 0 55960 46 0 0 25 0 1 0 760924097 79286272 17771 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19357 17771 1111 63 0 19294 0
vsize: 77428
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18026 0 0 0 56960 46 0 0 25 0 1 0 760924097 79286272 17771 4294967295 134512640 134714540 3221224592 3221223312 134622764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19357 17771 1111 63 0 19294 0
vsize: 77428
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18026 0 0 0 57961 46 0 0 25 0 1 0 760924097 79286272 17771 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19357 17771 1111 63 0 19294 0
vsize: 77428
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18027 0 0 0 58961 46 0 0 25 0 1 0 760924097 79286272 17772 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19357 17772 1111 63 0 19294 0
vsize: 77428
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18027 0 0 0 59961 46 0 0 25 0 1 0 760924097 79286272 17772 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19357 17772 1111 63 0 19294 0
vsize: 77428
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18027 0 0 0 60961 46 0 0 25 0 1 0 760924097 79286272 17772 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19357 17772 1111 63 0 19294 0
vsize: 77428
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18027 0 0 0 61961 46 0 0 25 0 1 0 760924097 79286272 17772 4294967295 134512640 134714540 3221224592 3221223392 134622525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19357 17772 1111 63 0 19294 0
vsize: 77428
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 18636 0 0 0 62960 48 0 0 25 0 1 0 760924097 81674240 18381 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19940 18381 1111 63 0 19877 0
vsize: 79760
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 19246 0 0 0 63959 50 0 0 25 0 1 0 760924097 84455424 18975 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20619 18975 1111 63 0 20556 0
vsize: 82476
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20109 0 0 0 64957 51 0 0 25 0 1 0 760924097 88268800 19802 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21550 19802 1111 63 0 21487 0
vsize: 86200
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20110 0 0 0 65957 51 0 0 25 0 1 0 760924097 88268800 19803 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21550 19803 1111 63 0 21487 0
vsize: 86200
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20112 0 0 0 66957 51 0 0 25 0 1 0 760924097 88268800 19805 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21550 19805 1111 63 0 21487 0
vsize: 86200
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20112 0 0 0 67957 51 0 0 25 0 1 0 760924097 88268800 19805 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21550 19805 1111 63 0 21487 0
vsize: 86200
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20113 0 0 0 68957 51 0 0 25 0 1 0 760924097 88268800 19806 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21550 19806 1111 63 0 21487 0
vsize: 86200
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20115 0 0 0 69957 51 0 0 25 0 1 0 760924097 88268800 19808 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21550 19808 1111 63 0 21487 0
vsize: 86200
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20143 0 0 0 70958 51 0 0 25 0 1 0 760924097 88403968 19836 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21583 19836 1111 63 0 21520 0
vsize: 86332
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20143 0 0 0 71958 51 0 0 25 0 1 0 760924097 88403968 19836 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21583 19836 1111 63 0 21520 0
vsize: 86332
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20473 0 0 0 72957 53 0 0 25 0 1 0 760924097 89681920 20162 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21895 20162 1111 63 0 21832 0
vsize: 87580
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20473 0 0 0 73957 53 0 0 25 0 1 0 760924097 89681920 20162 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21895 20162 1111 63 0 21832 0
vsize: 87580
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20513 0 0 0 74957 53 0 0 25 0 1 0 760924097 89952256 20202 4294967295 134512640 134714540 3221224592 3221223312 134622941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21961 20202 1111 63 0 21898 0
vsize: 87844
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20513 0 0 0 75957 53 0 0 25 0 1 0 760924097 89952256 20202 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21961 20202 1111 63 0 21898 0
vsize: 87844
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20517 0 0 0 76958 53 0 0 25 0 1 0 760924097 89952256 20206 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21961 20206 1111 63 0 21898 0
vsize: 87844
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20519 0 0 0 77958 53 0 0 25 0 1 0 760924097 89952256 20208 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21961 20208 1111 63 0 21898 0
vsize: 87844
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20641 0 0 0 78957 53 0 0 25 0 1 0 760924097 90357760 20330 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22060 20330 1111 63 0 21997 0
vsize: 88240
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 79957 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 80958 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 81958 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 82958 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 83958 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223308 134543124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 84958 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 85959 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 86959 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 87959 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 88959 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 89960 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 90960 53 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20687 0 0 0 91960 54 0 0 25 0 1 0 760924097 90628096 20376 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20376 1111 63 0 22063 0
vsize: 88504
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 92960 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 93960 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 94960 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 95961 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 96961 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 97961 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 98961 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 99962 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 100962 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20689 0 0 0 101962 54 0 0 25 0 1 0 760924097 90628096 20378 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22126 20378 1111 63 0 22063 0
vsize: 88504
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20725 0 0 0 102962 54 0 0 25 0 1 0 760924097 90763264 20414 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20414 1111 63 0 22096 0
vsize: 88636
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20725 0 0 0 103962 54 0 0 25 0 1 0 760924097 90763264 20414 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20414 1111 63 0 22096 0
vsize: 88636
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20725 0 0 0 104962 54 0 0 25 0 1 0 760924097 90763264 20414 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20414 1111 63 0 22096 0
vsize: 88636
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20725 0 0 0 105963 54 0 0 25 0 1 0 760924097 90763264 20414 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20414 1111 63 0 22096 0
vsize: 88636
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20725 0 0 0 106963 54 0 0 25 0 1 0 760924097 90763264 20414 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20414 1111 63 0 22096 0
vsize: 88636
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20725 0 0 0 107963 54 0 0 25 0 1 0 760924097 90763264 20414 4294967295 134512640 134714540 3221224592 3221223408 134622556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20414 1111 63 0 22096 0
vsize: 88636
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20725 0 0 0 108963 54 0 0 25 0 1 0 760924097 90763264 20414 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20414 1111 63 0 22096 0
vsize: 88636
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20725 0 0 0 109963 54 0 0 25 0 1 0 760924097 90763264 20414 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20414 1111 63 0 22096 0
vsize: 88636
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20736 0 0 0 110964 54 0 0 25 0 1 0 760924097 90763264 20425 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20425 1111 63 0 22096 0
vsize: 88636
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20736 0 0 0 111964 54 0 0 25 0 1 0 760924097 90763264 20425 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20425 1111 63 0 22096 0
vsize: 88636
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20736 0 0 0 112964 54 0 0 25 0 1 0 760924097 90763264 20425 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20425 1111 63 0 22096 0
vsize: 88636
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20736 0 0 0 113964 54 0 0 25 0 1 0 760924097 90763264 20425 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20425 1111 63 0 22096 0
vsize: 88636
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20736 0 0 0 114964 54 0 0 25 0 1 0 760924097 90763264 20425 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20425 1111 63 0 22096 0
vsize: 88636
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20738 0 0 0 115964 54 0 0 25 0 1 0 760924097 90763264 20427 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20427 1111 63 0 22096 0
vsize: 88636
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20738 0 0 0 116965 54 0 0 25 0 1 0 760924097 90763264 20427 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20427 1111 63 0 22096 0
vsize: 88636
[startup+1178.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 7135
Raw data (stat): 7135 (bsolo_mis) R 7134 3132 3131 0 -1 0 20738 0 0 0 116965 54 0 0 25 0 1 0 760924097 90763264 20427 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22159 20427 1111 63 0 22096 0
vsize: 0

Child status: 10
Real time (s): 1178.09
CPU time (s): 1178.25
CPU user time (s): 1177.66
CPU system time (s): 0.580911
CPU usage (%): 100.014
Max. virtual memory (Kb): 88636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2013451
#### END VERIFIER DATA ####