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-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01384
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 27061

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-24 18:58:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18905 boxname=wulflinc8 idbench=1455 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 18905
/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:        493648 kB
Buffers:         34816 kB
Cached:         485316 kB
SwapCached:          0 kB
Active:          64652 kB
Inactive:       458440 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        493396 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7060 kB
Slab:            12312 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:18:03 (client local time) WITH STATUS 10 IN 1175.09 SECONDS
stats: 18905 0 1175.09 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.104 s
c Initial Lower Bound: 13
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.105
c NEW SOLUTION FOUND: 36 @ 0.106
c NEW SOLUTION FOUND: 35 @ 0.108
c NEW SOLUTION FOUND: 34 @ 0.113
c NEW SOLUTION FOUND: 33 @ 0.135
c NEW SOLUTION FOUND: 32 @ 0.162
c NEW SOLUTION FOUND: 31 @ 0.525
c NEW SOLUTION FOUND: 30 @ 3.967
s SATISFIABLE
v -V0001_bit0 -V0002_bit0 V0003_bit0 V0004_bit0 V0005_bit0 -V0006_bit0 -V0007_bit0 V0008_bit0 V0009_bit0 V0010_bit0 V0011_bit0 V0012_bit0 -V0013_bit0 V0014_bit0 -V0015_bit0 V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 -V0020_bit0 V0021_bit0 V0022_bit0 -V0023_bit0 -V0024_bit0 V0025_bit0 V0026_bit0 -V0027_bit0 V0028_bit0 -V0029_bit0 V0030_bit0 V0031_bit0 V0032_bit0 V0033_bit0 V0034_bit0 V0035_bit0 V0036_bit0 V0037_bit0 V0038_bit0 -V0039_bit0 V0040_bit0 -V0041_bit0 V0042_bit0 V0043_bit0 -V0044_bit0 V0045_bit0 
c Exit Code: 10
c Total time: 1175.02 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.91 0.97 0.93 2/54 6234
Raw data (stat): 6234 (runsolver) R 6233 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 760792616 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+10.0013 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 6234
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 3368 0 0 0 989 9 0 0 25 0 1 0 760792616 17473536 3344 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4266 3344 1111 63 0 4203 0
vsize: 17064
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 6234
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 4689 0 0 0 1984 15 0 0 25 0 1 0 760792616 22970368 4663 4294967295 134512640 134714540 3221224592 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5608 4664 1111 63 0 5545 0
vsize: 22432
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 6234
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 5681 0 0 0 2980 18 0 0 25 0 1 0 760792616 26894336 5655 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6566 5655 1111 63 0 6503 0
vsize: 26264
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 6234
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 6495 0 0 0 3978 21 0 0 25 0 1 0 760792616 30281728 6469 4294967295 134512640 134714540 3221224592 3221223136 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 6469 1111 63 0 7330 0
vsize: 29572
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 6234
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 7198 0 0 0 4975 24 0 0 25 0 1 0 760792616 33251328 7172 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8118 7172 1111 63 0 8055 0
vsize: 32472
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 6234
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 7708 0 0 0 5973 26 0 0 25 0 1 0 760792616 35430400 7682 4294967295 134512640 134714540 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8650 7682 1111 63 0 8587 0
vsize: 34600
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 6234
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 8243 0 0 0 6971 29 0 0 25 0 1 0 760792616 37597184 8217 4294967295 134512640 134714540 3221224592 3221223184 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9179 8217 1111 63 0 9116 0
vsize: 36716
[startup+80.0025 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 6234
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 8766 0 0 0 7969 31 0 0 25 0 1 0 760792616 39788544 8739 4294967295 134512640 134714540 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9714 8739 1111 63 0 9651 0
vsize: 38856
[startup+90.003 s]
Raw data (loadavg): 1.12 1.00 0.94 2/54 6234
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 9276 0 0 0 8967 33 0 0 25 0 1 0 760792616 41984000 9247 4294967295 134512640 134714540 3221224592 3221223208 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10250 9247 1111 63 0 10187 0
vsize: 41000
[startup+100.003 s]
Raw data (loadavg): 1.18 1.02 0.94 2/54 6287
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 9790 0 0 0 9965 35 0 0 25 0 1 0 760792616 44060672 9760 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10757 9760 1111 63 0 10694 0
vsize: 43028
[startup+110.004 s]
Raw data (loadavg): 1.15 1.02 0.94 2/54 6287
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 10208 0 0 0 10963 37 0 0 25 0 1 0 760792616 45842432 10178 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11192 10178 1111 63 0 11129 0
vsize: 44768
[startup+120.005 s]
Raw data (loadavg): 1.13 1.02 0.94 2/54 6287
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 10671 0 0 0 11961 39 0 0 25 0 1 0 760792616 47734784 10641 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11654 10641 1111 63 0 11591 0
vsize: 46616
[startup+130.004 s]
Raw data (loadavg): 1.11 1.02 0.94 2/54 6287
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 11047 0 0 0 12959 41 0 0 25 0 1 0 760792616 49242112 11016 4294967295 134512640 134714540 3221224592 3221223100 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12022 11016 1111 63 0 11959 0
vsize: 48088
[startup+140.005 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 6287
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 11416 0 0 0 13957 43 0 0 25 0 1 0 760792616 50761728 11385 4294967295 134512640 134714540 3221224592 3221223280 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12393 11385 1111 63 0 12330 0
vsize: 49572
[startup+150.006 s]
Raw data (loadavg): 1.08 1.01 0.94 2/54 6287
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 11775 0 0 0 14956 45 0 0 25 0 1 0 760792616 52285440 11743 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12765 11743 1111 63 0 12702 0
vsize: 51060
[startup+160.007 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 6287
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 12132 0 0 0 15954 47 0 0 25 0 1 0 760792616 53780480 12099 4294967295 134512640 134714540 3221224592 3221223248 134536716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13130 12099 1111 63 0 13067 0
vsize: 52520
[startup+170.008 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 12471 0 0 0 16953 48 0 0 25 0 1 0 760792616 55136256 12438 4294967295 134512640 134714540 3221224592 3221223148 134535628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13461 12438 1111 63 0 13398 0
vsize: 53844
[startup+180.007 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 12965 0 0 0 17951 50 0 0 25 0 1 0 760792616 56868864 12848 4294967295 134512640 134714540 3221224592 3221223184 134549770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13884 12848 1111 63 0 13821 0
vsize: 55536
[startup+190.008 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 13433 0 0 0 18950 52 0 0 25 0 1 0 760792616 58601472 13274 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14307 13274 1111 63 0 14244 0
vsize: 57228
[startup+200.008 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 13738 0 0 0 19949 53 0 0 25 0 1 0 760792616 59817984 13579 4294967295 134512640 134714540 3221224592 3221223328 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14604 13579 1111 63 0 14541 0
vsize: 58416
[startup+210.009 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 14040 0 0 0 20947 55 0 0 25 0 1 0 760792616 61063168 13879 4294967295 134512640 134714540 3221224592 3221223196 134536787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14908 13879 1111 63 0 14845 0
vsize: 59632
[startup+220.01 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 14287 0 0 0 21945 57 0 0 25 0 1 0 760792616 62177280 14125 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15180 14125 1111 63 0 15117 0
vsize: 60720
[startup+230.009 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 14616 0 0 0 22944 59 0 0 25 0 1 0 760792616 63541248 14454 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15513 14454 1111 63 0 15450 0
vsize: 62052
[startup+240.01 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 14919 0 0 0 23943 60 0 0 25 0 1 0 760792616 64757760 14757 4294967295 134512640 134714540 3221224592 3221223152 134696544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15810 14757 1111 63 0 15747 0
vsize: 63240
[startup+250.01 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 15214 0 0 0 24941 62 0 0 25 0 1 0 760792616 65974272 15052 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16107 15052 1111 63 0 16044 0
vsize: 64428
[startup+260.01 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 15537 0 0 0 25941 62 0 0 25 0 1 0 760792616 67428352 15374 4294967295 134512640 134714540 3221224592 3221223216 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16462 15374 1111 63 0 16399 0
vsize: 65848
[startup+270.01 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 15789 0 0 0 26940 64 0 0 25 0 1 0 760792616 68509696 15626 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16726 15626 1111 63 0 16663 0
vsize: 66904
[startup+280.01 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 16090 0 0 0 27938 65 0 0 25 0 1 0 760792616 69746688 15927 4294967295 134512640 134714540 3221224592 3221223328 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17028 15927 1111 63 0 16965 0
vsize: 68112
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 16384 0 0 0 28937 66 0 0 25 0 1 0 760792616 71008256 16219 4294967295 134512640 134714540 3221224592 3221223080 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 16219 1111 63 0 17273 0
vsize: 69344
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 16700 0 0 0 29936 67 0 0 25 0 1 0 760792616 72409088 16534 4294967295 134512640 134714540 3221224592 3221223232 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17678 16534 1111 63 0 17615 0
vsize: 70712
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 17003 0 0 0 30935 69 0 0 25 0 1 0 760792616 73625600 16837 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17975 16837 1111 63 0 17912 0
vsize: 71900
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 17296 0 0 0 31934 70 0 0 25 0 1 0 760792616 74846208 17129 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18273 17129 1111 63 0 18210 0
vsize: 73092
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 17514 0 0 0 32933 71 0 0 25 0 1 0 760792616 75677696 17346 4294967295 134512640 134714540 3221224592 3221223108 134535481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18476 17346 1111 63 0 18413 0
vsize: 73904
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 17720 0 0 0 33932 73 0 0 25 0 1 0 760792616 76488704 17552 4294967295 134512640 134714540 3221224592 3221223136 134549742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18674 17552 1111 63 0 18611 0
vsize: 74696
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 17994 0 0 0 34930 74 0 0 25 0 1 0 760792616 77570048 17826 4294967295 134512640 134714540 3221224592 3221223232 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18938 17826 1111 63 0 18875 0
vsize: 75752
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 18225 0 0 0 35930 75 0 0 25 0 1 0 760792616 78532608 18057 4294967295 134512640 134714540 3221224592 3221223272 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19173 18057 1111 63 0 19110 0
vsize: 76692
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 18468 0 0 0 36929 76 0 0 25 0 1 0 760792616 79544320 18300 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19420 18300 1111 63 0 19357 0
vsize: 77680
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 18745 0 0 0 37927 78 0 0 25 0 1 0 760792616 80760832 18577 4294967295 134512640 134714540 3221224592 3221223184 134549773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19717 18577 1111 63 0 19654 0
vsize: 78868
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 18966 0 0 0 38927 79 0 0 25 0 1 0 760792616 81707008 18798 4294967295 134512640 134714540 3221224592 3221223304 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19948 18798 1111 63 0 19885 0
vsize: 79792
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 19187 0 0 0 39926 80 0 0 25 0 1 0 760792616 82518016 19018 4294967295 134512640 134714540 3221224592 3221223248 134528653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20146 19018 1111 63 0 20083 0
vsize: 80584
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6289
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 19437 0 0 0 40925 81 0 0 25 0 1 0 760792616 83599360 19268 4294967295 134512640 134714540 3221224592 3221223100 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20410 19268 1111 63 0 20347 0
vsize: 81640
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 19625 0 0 0 41925 81 0 0 25 0 1 0 760792616 84275200 19456 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20575 19456 1111 63 0 20512 0
vsize: 82300
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 19816 0 0 0 42924 82 0 0 25 0 1 0 760792616 85151744 19646 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20789 19646 1111 63 0 20726 0
vsize: 83156
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 19981 0 0 0 43924 83 0 0 25 0 1 0 760792616 85692416 19811 4294967295 134512640 134714540 3221224592 3221223184 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20921 19811 1111 63 0 20858 0
vsize: 83684
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 20148 0 0 0 44923 83 0 0 25 0 1 0 760792616 86368256 19978 4294967295 134512640 134714540 3221224592 3221223184 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21086 19978 1111 63 0 21023 0
vsize: 84344
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 20358 0 0 0 45923 84 0 0 25 0 1 0 760792616 87314432 20188 4294967295 134512640 134714540 3221224592 3221223148 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21317 20188 1111 63 0 21254 0
vsize: 85268
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 20551 0 0 0 46922 85 0 0 25 0 1 0 760792616 87990272 20381 4294967295 134512640 134714540 3221224592 3221223184 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21482 20381 1111 63 0 21419 0
vsize: 85928
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 20793 0 0 0 47921 86 0 0 25 0 1 0 760792616 89071616 20623 4294967295 134512640 134714540 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21746 20623 1111 63 0 21683 0
vsize: 86984
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 21012 0 0 0 48920 87 0 0 25 0 1 0 760792616 89882624 20842 4294967295 134512640 134714540 3221224592 3221223180 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21944 20842 1111 63 0 21881 0
vsize: 87776
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 21232 0 0 0 49920 88 0 0 25 0 1 0 760792616 90828800 21061 4294967295 134512640 134714540 3221224592 3221223092 134535329 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22175 21061 1111 63 0 22112 0
vsize: 88700
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 21464 0 0 0 50918 89 0 0 25 0 1 0 760792616 91774976 21293 4294967295 134512640 134714540 3221224592 3221223248 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22406 21293 1111 63 0 22343 0
vsize: 89624
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 21701 0 0 0 51918 90 0 0 25 0 1 0 760792616 92778496 21525 4294967295 134512640 134714540 3221224592 3221223328 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22651 21525 1111 63 0 22588 0
vsize: 90604
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 21961 0 0 0 52917 91 0 0 25 0 1 0 760792616 93913088 21784 4294967295 134512640 134714540 3221224592 3221223040 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22928 21784 1111 63 0 22865 0
vsize: 91712
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 22158 0 0 0 53917 92 0 0 25 0 1 0 760792616 94724096 21981 4294967295 134512640 134714540 3221224592 3221223216 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23126 21981 1111 63 0 23063 0
vsize: 92504
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 22376 0 0 0 54916 93 0 0 25 0 1 0 760792616 95535104 22199 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23324 22199 1111 63 0 23261 0
vsize: 93296
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 22586 0 0 0 55915 94 0 0 25 0 1 0 760792616 96346112 22409 4294967295 134512640 134714540 3221224592 3221223308 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23522 22409 1111 63 0 23459 0
vsize: 94088
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 22811 0 0 0 56914 95 0 0 25 0 1 0 760792616 97431552 22632 4294967295 134512640 134714540 3221224592 3221223148 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23787 22632 1111 63 0 23724 0
vsize: 95148
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 23021 0 0 0 57912 97 0 0 25 0 1 0 760792616 98242560 22842 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23985 22842 1111 63 0 23922 0
vsize: 95940
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 23267 0 0 0 58911 98 0 0 25 0 1 0 760792616 99188736 23088 4294967295 134512640 134714540 3221224592 3221223308 134552579 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24216 23088 1111 63 0 24153 0
vsize: 96864
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 23524 0 0 0 59910 99 0 0 25 0 1 0 760792616 100290560 23345 4294967295 134512640 134714540 3221224592 3221223040 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24485 23345 1111 63 0 24422 0
vsize: 97940
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 23704 0 0 0 60910 100 0 0 25 0 1 0 760792616 101003264 23525 4294967295 134512640 134714540 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24659 23525 1111 63 0 24596 0
vsize: 98636
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 23918 0 0 0 61908 102 0 0 25 0 1 0 760792616 101957632 23737 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24892 23737 1111 63 0 24829 0
vsize: 99568
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 24130 0 0 0 62908 102 0 0 25 0 1 0 760792616 102768640 23949 4294967295 134512640 134714540 3221224592 3221223312 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25090 23949 1111 63 0 25027 0
vsize: 100360
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 24362 0 0 0 63907 103 0 0 25 0 1 0 760792616 103780352 24172 4294967295 134512640 134714540 3221224592 3221223152 134549730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25337 24172 1111 63 0 25274 0
vsize: 101348
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 24599 0 0 0 64906 104 0 0 25 0 1 0 760792616 104796160 24409 4294967295 134512640 134714540 3221224592 3221223376 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25585 24409 1111 63 0 25522 0
vsize: 102340
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 24796 0 0 0 65906 105 0 0 25 0 1 0 760792616 105607168 24606 4294967295 134512640 134714540 3221224592 3221223196 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25783 24606 1111 63 0 25720 0
vsize: 103132
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 24979 0 0 0 66905 106 0 0 25 0 1 0 760792616 106418176 24789 4294967295 134512640 134714540 3221224592 3221223316 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25981 24789 1111 63 0 25918 0
vsize: 103924
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 25811 0 0 0 67904 108 0 0 25 0 1 0 760792616 108392448 25285 4294967295 134512640 134714540 3221224592 3221223280 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26463 25285 1111 63 0 26400 0
vsize: 105852
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 26026 0 0 0 68902 109 0 0 25 0 1 0 760792616 109412352 25500 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26712 25500 1111 63 0 26649 0
vsize: 106848
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 26247 0 0 0 69902 110 0 0 25 0 1 0 760792616 110223360 25721 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26910 25721 1111 63 0 26847 0
vsize: 107640
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 26453 0 0 0 70901 111 0 0 25 0 1 0 760792616 111034368 25927 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27108 25927 1111 63 0 27045 0
vsize: 108432
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 26634 0 0 0 71901 112 0 0 25 0 1 0 760792616 111910912 26108 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27322 26108 1111 63 0 27259 0
vsize: 109288
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 26804 0 0 0 72900 112 0 0 25 0 1 0 760792616 112689152 26275 4294967295 134512640 134714540 3221224592 3221223184 134549648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27512 26275 1111 63 0 27449 0
vsize: 110048
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 27018 0 0 0 73899 114 0 0 25 0 1 0 760792616 113500160 26489 4294967295 134512640 134714540 3221224592 3221223088 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27710 26489 1111 63 0 27647 0
vsize: 110840
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 27241 0 0 0 74898 115 0 0 25 0 1 0 760792616 114483200 26712 4294967295 134512640 134714540 3221224592 3221223216 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27950 26712 1111 63 0 27887 0
vsize: 111800
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 27456 0 0 0 75897 116 0 0 25 0 1 0 760792616 115318784 26926 4294967295 134512640 134714540 3221224592 3221223124 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28154 26926 1111 63 0 28091 0
vsize: 112616
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 27650 0 0 0 76897 117 0 0 25 0 1 0 760792616 116129792 27120 4294967295 134512640 134714540 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28352 27120 1111 63 0 28289 0
vsize: 113408
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 27800 0 0 0 77896 118 0 0 25 0 1 0 760792616 116805632 27270 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28517 27270 1111 63 0 28454 0
vsize: 114068
[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 27974 0 0 0 78896 118 0 0 25 0 1 0 760792616 117481472 27444 4294967295 134512640 134714540 3221224592 3221223100 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28682 27444 1111 63 0 28619 0
vsize: 114728
[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 28152 0 0 0 79895 119 0 0 25 0 1 0 760792616 118157312 27622 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28847 27622 1111 63 0 28784 0
vsize: 115388
[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 28313 0 0 0 80895 120 0 0 25 0 1 0 760792616 118882304 27779 4294967295 134512640 134714540 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29024 27779 1111 63 0 28961 0
vsize: 116096
[startup+820.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 28522 0 0 0 81894 121 0 0 25 0 1 0 760792616 119734272 27988 4294967295 134512640 134714540 3221224592 3221223100 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29232 27988 1111 63 0 29169 0
vsize: 116928
[startup+830.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 28714 0 0 0 82893 121 0 0 25 0 1 0 760792616 120651776 28177 4294967295 134512640 134714540 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29456 28177 1111 63 0 29393 0
vsize: 117824
[startup+840.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 28881 0 0 0 83893 122 0 0 25 0 1 0 760792616 121327616 28344 4294967295 134512640 134714540 3221224592 3221223328 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29621 28344 1111 63 0 29558 0
vsize: 118484
[startup+850.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 29076 0 0 0 84893 122 0 0 25 0 1 0 760792616 122204160 28537 4294967295 134512640 134714540 3221224592 3221223148 134535984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29835 28537 1111 63 0 29772 0
vsize: 119340
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 29274 0 0 0 85892 123 0 0 25 0 1 0 760792616 123101184 28734 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30054 28734 1111 63 0 29991 0
vsize: 120216
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 29340 0 0 0 86892 124 0 0 25 0 1 0 760792616 123371520 28800 4294967295 134512640 134714540 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30120 28800 1111 63 0 30057 0
vsize: 120480
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 29472 0 0 0 87891 125 0 0 25 0 1 0 760792616 123985920 28932 4294967295 134512640 134714540 3221224592 3221223088 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30270 28932 1111 63 0 30207 0
vsize: 121080
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 29623 0 0 0 88891 125 0 0 25 0 1 0 760792616 124526592 29083 4294967295 134512640 134714540 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30402 29083 1111 63 0 30339 0
vsize: 121608
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 29778 0 0 0 89890 127 0 0 25 0 1 0 760792616 125202432 29238 4294967295 134512640 134714540 3221224592 3221223184 134549825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30567 29238 1111 63 0 30504 0
vsize: 122268
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 29910 0 0 0 90889 127 0 0 25 0 1 0 760792616 125743104 29370 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30699 29370 1111 63 0 30636 0
vsize: 122796
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 30045 0 0 0 91889 128 0 0 25 0 1 0 760792616 126283776 29505 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30831 29505 1111 63 0 30768 0
vsize: 123324
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 30185 0 0 0 92889 128 0 0 25 0 1 0 760792616 126885888 29645 4294967295 134512640 134714540 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30978 29645 1111 63 0 30915 0
vsize: 123912
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 30320 0 0 0 93888 129 0 0 25 0 1 0 760792616 127426560 29780 4294967295 134512640 134714540 3221224592 3221223148 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31110 29780 1111 63 0 31047 0
vsize: 124440
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 30490 0 0 0 94888 129 0 0 25 0 1 0 760792616 128147456 29946 4294967295 134512640 134714540 3221224592 3221223136 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31286 29946 1111 63 0 31223 0
vsize: 125144
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 30646 0 0 0 95887 130 0 0 25 0 1 0 760792616 128823296 30102 4294967295 134512640 134714540 3221224592 3221223280 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31451 30102 1111 63 0 31388 0
vsize: 125804
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 30819 0 0 0 96887 131 0 0 25 0 1 0 760792616 129568768 30272 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31633 30272 1111 63 0 31570 0
vsize: 126532
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 30978 0 0 0 97886 132 0 0 25 0 1 0 760792616 130244608 30431 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31798 30431 1111 63 0 31735 0
vsize: 127192
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 31138 0 0 0 98885 133 0 0 25 0 1 0 760792616 130924544 30591 4294967295 134512640 134714540 3221224592 3221223148 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31964 30591 1111 63 0 31901 0
vsize: 127856
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 31290 0 0 0 99885 134 0 0 25 0 1 0 760792616 131465216 30743 4294967295 134512640 134714540 3221224592 3221223148 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32096 30743 1111 63 0 32033 0
vsize: 128384
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 31451 0 0 0 100884 134 0 0 25 0 1 0 760792616 132141056 30904 4294967295 134512640 134714540 3221224592 3221223104 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32261 30904 1111 63 0 32198 0
vsize: 129044
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 31606 0 0 0 101884 135 0 0 25 0 1 0 760792616 132698112 31059 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32397 31059 1111 63 0 32334 0
vsize: 129588
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 31753 0 0 0 102883 136 0 0 25 0 1 0 760792616 133373952 31206 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32562 31206 1111 63 0 32499 0
vsize: 130248
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 31888 0 0 0 103883 136 0 0 25 0 1 0 760792616 133980160 31341 4294967295 134512640 134714540 3221224592 3221223228 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32710 31341 1111 63 0 32647 0
vsize: 130840
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 32049 0 0 0 104882 137 0 0 25 0 1 0 760792616 134856704 31500 4294967295 134512640 134714540 3221224592 3221223224 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32924 31500 1111 63 0 32861 0
vsize: 131696
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 32170 0 0 0 105882 138 0 0 25 0 1 0 760792616 135307264 31620 4294967295 134512640 134714540 3221224592 3221223328 134529192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33034 31620 1111 63 0 32971 0
vsize: 132136
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 32294 0 0 0 106881 138 0 0 25 0 1 0 760792616 135847936 31744 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33166 31744 1111 63 0 33103 0
vsize: 132664
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 32476 0 0 0 107881 139 0 0 25 0 1 0 760792616 136663040 31925 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33365 31925 1111 63 0 33302 0
vsize: 133460
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 32674 0 0 0 108880 140 0 0 25 0 1 0 760792616 137338880 32123 4294967295 134512640 134714540 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33530 32123 1111 63 0 33467 0
vsize: 134120
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 32865 0 0 0 109880 141 0 0 25 0 1 0 760792616 138149888 32314 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33728 32314 1111 63 0 33665 0
vsize: 134912
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 33043 0 0 0 110879 141 0 0 25 0 1 0 760792616 138960896 32492 4294967295 134512640 134714540 3221224592 3221223328 134529269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33926 32492 1111 63 0 33863 0
vsize: 135704
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 33200 0 0 0 111879 142 0 0 25 0 1 0 760792616 139501568 32649 4294967295 134512640 134714540 3221224592 3221223148 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34058 32649 1111 63 0 33995 0
vsize: 136232
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 33391 0 0 0 112878 143 0 0 25 0 1 0 760792616 140378112 32831 4294967295 134512640 134714540 3221224592 3221223188 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34272 32831 1111 63 0 34209 0
vsize: 137088
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 33574 0 0 0 113878 143 0 0 25 0 1 0 760792616 141119488 33008 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34453 33008 1111 63 0 34390 0
vsize: 137812
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 33771 0 0 0 114877 144 0 0 25 0 1 0 760792616 141930496 33205 4294967295 134512640 134714540 3221224592 3221223328 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34651 33205 1111 63 0 34588 0
vsize: 138604
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 33962 0 0 0 115877 145 0 0 25 0 1 0 760792616 142741504 33396 4294967295 134512640 134714540 3221224592 3221223168 134549852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34849 33396 1111 63 0 34786 0
vsize: 139396
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 34115 0 0 0 116876 145 0 0 25 0 1 0 760792616 143417344 33549 4294967295 134512640 134714540 3221224592 3221223136 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35014 33549 1111 63 0 34951 0
vsize: 140056
[startup+1174.91 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 6291
Raw data (stat): 6234 (bsolo_mis) R 6233 3132 3131 0 -1 0 34115 0 0 0 116876 145 0 0 25 0 1 0 760792616 143417344 33549 4294967295 134512640 134714540 3221224592 3221223136 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35014 33549 1111 63 0 34951 0
vsize: 0

Child status: 10
Real time (s): 1174.91
CPU time (s): 1175.09
CPU user time (s): 1173.57
CPU system time (s): 1.52577
CPU usage (%): 100.016
Max. virtual memory (Kb): 140056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####