PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
MD5SUM	6ffc5f91e7ad7c6593868bb0012c33e4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	249428
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	1724124944012305800
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	4.54331
Number of variables	488988
Total number of constraints	12168
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	12168
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 25538

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 08:09:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19373 boxname=wulflinc31 idbench=1491 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6ffc5f91e7ad7c6593868bb0012c33e4  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fome11.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fome11.opb
IDLAUNCH: 19373
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        693152 kB
Buffers:         10068 kB
Cached:         310424 kB
SwapCached:        944 kB
Active:         215916 kB
Inactive:       106700 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        692900 kB
SwapTotal:     2097892 kB
SwapFree:      2095936 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            13116 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 08:29:21 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 19373 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.84 0.93 0.97 2/55 30400
Raw data (stat): 30400 (runsolver) R 30399 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 794100937 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.86 0.93 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 1884 0 0 0 989 8 0 0 25 0 1 0 794100937 15204352 1861 4294967295 134512640 134714540 3221221776 3221220004 1077414418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3712 1861 1111 63 0 3649 0
vsize: 14848
[startup+20.0019 s]
Raw data (loadavg): 0.88 0.93 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 1946 0 0 0 1989 8 0 0 25 0 1 0 794100937 15482880 1923 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3780 1923 1111 63 0 3717 0
vsize: 15120
[startup+30.0028 s]
Raw data (loadavg): 0.90 0.93 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2001 0 0 0 2989 8 0 0 25 0 1 0 794100937 15765504 1978 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3849 1978 1111 63 0 3786 0
vsize: 15396
[startup+40.0031 s]
Raw data (loadavg): 0.91 0.94 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2064 0 0 0 3989 9 0 0 25 0 1 0 794100937 16052224 2041 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3919 2041 1111 63 0 3856 0
vsize: 15676
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.94 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2126 0 0 0 4989 9 0 0 25 0 1 0 794100937 16191488 2103 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2103 1111 63 0 3890 0
vsize: 15812
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.94 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2194 0 0 0 5989 9 0 0 25 0 1 0 794100937 16470016 2171 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4021 2171 1111 63 0 3958 0
vsize: 16084
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.94 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2250 0 0 0 6989 9 0 0 25 0 1 0 794100937 16752640 2227 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4090 2227 1111 63 0 4027 0
vsize: 16360
[startup+80.0035 s]
Raw data (loadavg): 0.95 0.94 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2311 0 0 0 7989 9 0 0 25 0 1 0 794100937 17035264 2288 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4159 2288 1111 63 0 4096 0
vsize: 16636
[startup+90.0035 s]
Raw data (loadavg): 0.96 0.94 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2374 0 0 0 8989 9 0 0 25 0 1 0 794100937 17321984 2351 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4229 2351 1111 63 0 4166 0
vsize: 16916
[startup+100.004 s]
Raw data (loadavg): 0.97 0.94 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2430 0 0 0 9989 9 0 0 25 0 1 0 794100937 17461248 2407 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4263 2407 1111 63 0 4200 0
vsize: 17052
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2498 0 0 0 10989 10 0 0 25 0 1 0 794100937 17743872 2475 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4332 2475 1111 63 0 4269 0
vsize: 17328
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2556 0 0 0 11989 10 0 0 25 0 1 0 794100937 18034688 2533 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4403 2533 1111 63 0 4340 0
vsize: 17612
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2624 0 0 0 12989 10 0 0 25 0 1 0 794100937 18317312 2601 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4472 2601 1111 63 0 4409 0
vsize: 17888
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2681 0 0 0 13989 10 0 0 25 0 1 0 794100937 18464768 2658 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4508 2658 1111 63 0 4445 0
vsize: 18032
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2743 0 0 0 14989 10 0 0 25 0 1 0 794100937 18743296 2720 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4576 2720 1111 63 0 4513 0
vsize: 18304
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2804 0 0 0 15989 11 0 0 25 0 1 0 794100937 19025920 2781 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 2781 1111 63 0 4582 0
vsize: 18580
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2872 0 0 0 16989 11 0 0 25 0 1 0 794100937 19304448 2849 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4713 2849 1111 63 0 4650 0
vsize: 18852
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2934 0 0 0 17989 11 0 0 25 0 1 0 794100937 19587072 2911 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4782 2911 1111 63 0 4719 0
vsize: 19128
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 2998 0 0 0 18989 11 0 0 25 0 1 0 794100937 19873792 2975 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 2975 1111 63 0 4789 0
vsize: 19408
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3053 0 0 0 19989 11 0 0 25 0 1 0 794100937 20017152 3030 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3030 1111 63 0 4824 0
vsize: 19548
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3121 0 0 0 20989 11 0 0 25 0 1 0 794100937 20295680 3098 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4955 3098 1111 63 0 4892 0
vsize: 19820
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3176 0 0 0 21989 11 0 0 25 0 1 0 794100937 20578304 3153 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5024 3153 1111 63 0 4961 0
vsize: 20096
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3244 0 0 0 22990 11 0 0 25 0 1 0 794100937 20852736 3221 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5091 3221 1111 63 0 5028 0
vsize: 20364
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3306 0 0 0 23990 11 0 0 25 0 1 0 794100937 21139456 3283 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5161 3283 1111 63 0 5098 0
vsize: 20644
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3374 0 0 0 24990 11 0 0 25 0 1 0 794100937 21422080 3351 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5230 3351 1111 63 0 5167 0
vsize: 20920
[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3436 0 0 0 25990 11 0 0 25 0 1 0 794100937 21561344 3413 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5264 3413 1111 63 0 5201 0
vsize: 21056
[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3498 0 0 0 26990 12 0 0 25 0 1 0 794100937 21843968 3475 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5333 3475 1111 63 0 5270 0
vsize: 21332
[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3555 0 0 0 27990 12 0 0 25 0 1 0 794100937 22130688 3532 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5403 3532 1111 63 0 5340 0
vsize: 21612
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3623 0 0 0 28990 12 0 0 25 0 1 0 794100937 22413312 3600 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5472 3600 1111 63 0 5409 0
vsize: 21888
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3685 0 0 0 29989 13 0 0 25 0 1 0 794100937 22691840 3662 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5540 3662 1111 63 0 5477 0
vsize: 22160
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3748 0 0 0 30989 13 0 0 25 0 1 0 794100937 22831104 3725 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5574 3725 1111 63 0 5511 0
vsize: 22296
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3809 0 0 0 31989 13 0 0 25 0 1 0 794100937 23113728 3786 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5643 3786 1111 63 0 5580 0
vsize: 22572
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3872 0 0 0 32989 13 0 0 25 0 1 0 794100937 23400448 3849 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5713 3849 1111 63 0 5650 0
vsize: 22852
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3934 0 0 0 33989 14 0 0 25 0 1 0 794100937 23683072 3911 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5782 3911 1111 63 0 5719 0
vsize: 23128
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 3995 0 0 0 34989 14 0 0 25 0 1 0 794100937 23961600 3972 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5850 3972 1111 63 0 5787 0
vsize: 23400
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4057 0 0 0 35989 14 0 0 25 0 1 0 794100937 24104960 4034 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5885 4034 1111 63 0 5822 0
vsize: 23540
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4119 0 0 0 36989 14 0 0 25 0 1 0 794100937 24383488 4096 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5953 4096 1111 63 0 5890 0
vsize: 23812
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4176 0 0 0 37989 14 0 0 25 0 1 0 794100937 24670208 4153 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6023 4153 1111 63 0 5960 0
vsize: 24092
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4237 0 0 0 38989 15 0 0 25 0 1 0 794100937 24952832 4214 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6092 4214 1111 63 0 6029 0
vsize: 24368
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4292 0 0 0 39989 15 0 0 25 0 1 0 794100937 25092096 4269 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6126 4269 1111 63 0 6063 0
vsize: 24504
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4354 0 0 0 40989 15 0 0 25 0 1 0 794100937 25374720 4331 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6195 4331 1111 63 0 6132 0
vsize: 24780
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4423 0 0 0 41989 15 0 0 25 0 1 0 794100937 25653248 4400 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6263 4400 1111 63 0 6200 0
vsize: 25052
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4486 0 0 0 42989 15 0 0 25 0 1 0 794100937 25939968 4463 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6333 4463 1111 63 0 6270 0
vsize: 25332
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4541 0 0 0 43989 16 0 0 25 0 1 0 794100937 26083328 4518 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6368 4518 1111 63 0 6305 0
vsize: 25472
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4612 0 0 0 44989 16 0 0 25 0 1 0 794100937 26509312 4589 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6472 4589 1111 63 0 6409 0
vsize: 25888
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4677 0 0 0 45989 16 0 0 25 0 1 0 794100937 26664960 4654 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4654 1111 63 0 6447 0
vsize: 26040
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4735 0 0 0 46989 16 0 0 25 0 1 0 794100937 26943488 4712 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6578 4712 1111 63 0 6515 0
vsize: 26312
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4803 0 0 0 47989 16 0 0 25 0 1 0 794100937 27230208 4780 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6648 4780 1111 63 0 6585 0
vsize: 26592
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4871 0 0 0 48989 16 0 0 25 0 1 0 794100937 27512832 4848 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6717 4848 1111 63 0 6654 0
vsize: 26868
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4927 0 0 0 49989 17 0 0 25 0 1 0 794100937 27795456 4904 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6786 4904 1111 63 0 6723 0
vsize: 27144
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 4996 0 0 0 50990 17 0 0 25 0 1 0 794100937 28073984 4973 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6854 4973 1111 63 0 6791 0
vsize: 27416
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5053 0 0 0 51990 17 0 0 25 0 1 0 794100937 28221440 5030 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6890 5030 1111 63 0 6827 0
vsize: 27560
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5120 0 0 0 52990 17 0 0 25 0 1 0 794100937 28504064 5097 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6959 5097 1111 63 0 6896 0
vsize: 27836
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5175 0 0 0 53990 17 0 0 25 0 1 0 794100937 28782592 5152 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7027 5152 1111 63 0 6964 0
vsize: 28108
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5231 0 0 0 54990 17 0 0 25 0 1 0 794100937 28921856 5208 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7061 5208 1111 63 0 6998 0
vsize: 28244
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5300 0 0 0 55990 17 0 0 25 0 1 0 794100937 29204480 5277 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7130 5277 1111 63 0 7067 0
vsize: 28520
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5363 0 0 0 56990 18 0 0 25 0 1 0 794100937 29491200 5340 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7200 5340 1111 63 0 7137 0
vsize: 28800
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5425 0 0 0 57990 18 0 0 25 0 1 0 794100937 29773824 5402 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7269 5402 1111 63 0 7206 0
vsize: 29076
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5493 0 0 0 58990 18 0 0 25 0 1 0 794100937 30052352 5470 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7337 5470 1111 63 0 7274 0
vsize: 29348
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5555 0 0 0 59990 18 0 0 25 0 1 0 794100937 30334976 5532 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7406 5532 1111 63 0 7343 0
vsize: 29624
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5619 0 0 0 60990 18 0 0 25 0 1 0 794100937 30621696 5596 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7476 5596 1111 63 0 7413 0
vsize: 29904
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5688 0 0 0 61990 18 0 0 25 0 1 0 794100937 30904320 5665 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7545 5665 1111 63 0 7482 0
vsize: 30180
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5743 0 0 0 62990 18 0 0 25 0 1 0 794100937 31043584 5720 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7579 5720 1111 63 0 7516 0
vsize: 30316
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5812 0 0 0 63990 18 0 0 25 0 1 0 794100937 31326208 5789 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7648 5789 1111 63 0 7585 0
vsize: 30592
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5867 0 0 0 64991 18 0 0 25 0 1 0 794100937 31604736 5844 4294967295 134512640 134714540 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7716 5844 1111 63 0 7653 0
vsize: 30864
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5936 0 0 0 65991 18 0 0 25 0 1 0 794100937 31891456 5913 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7786 5913 1111 63 0 7723 0
vsize: 31144
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 5993 0 0 0 66991 19 0 0 25 0 1 0 794100937 32030720 5970 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7820 5970 1111 63 0 7757 0
vsize: 31280
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6061 0 0 0 67991 19 0 0 25 0 1 0 794100937 32313344 6038 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7889 6038 1111 63 0 7826 0
vsize: 31556
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6123 0 0 0 68991 19 0 0 25 0 1 0 794100937 32595968 6100 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7958 6100 1111 63 0 7895 0
vsize: 31832
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6185 0 0 0 69991 19 0 0 25 0 1 0 794100937 32874496 6162 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8026 6162 1111 63 0 7963 0
vsize: 32104
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6255 0 0 0 70991 19 0 0 25 0 1 0 794100937 33161216 6232 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8096 6232 1111 63 0 8033 0
vsize: 32384
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6323 0 0 0 71991 19 0 0 25 0 1 0 794100937 33443840 6300 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8165 6300 1111 63 0 8102 0
vsize: 32660
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6386 0 0 0 72991 19 0 0 25 0 1 0 794100937 33726464 6363 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8234 6363 1111 63 0 8171 0
vsize: 32936
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6448 0 0 0 73991 20 0 0 25 0 1 0 794100937 34004992 6425 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8302 6425 1111 63 0 8239 0
vsize: 33208
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6511 0 0 0 74991 20 0 0 25 0 1 0 794100937 34148352 6488 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8337 6488 1111 63 0 8274 0
vsize: 33348
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6573 0 0 0 75991 20 0 0 25 0 1 0 794100937 34435072 6550 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8407 6550 1111 63 0 8344 0
vsize: 33628
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6641 0 0 0 76991 20 0 0 25 0 1 0 794100937 34713600 6618 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8475 6618 1111 63 0 8412 0
vsize: 33900
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6709 0 0 0 77991 20 0 0 25 0 1 0 794100937 34996224 6686 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8544 6686 1111 63 0 8481 0
vsize: 34176
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6771 0 0 0 78991 20 0 0 25 0 1 0 794100937 35278848 6748 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8613 6748 1111 63 0 8550 0
vsize: 34452
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6835 0 0 0 79991 21 0 0 25 0 1 0 794100937 35565568 6812 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8683 6812 1111 63 0 8620 0
vsize: 34732
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6903 0 0 0 80991 21 0 0 25 0 1 0 794100937 35844096 6880 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8751 6880 1111 63 0 8688 0
vsize: 35004
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 6965 0 0 0 81991 21 0 0 25 0 1 0 794100937 36126720 6942 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8820 6942 1111 63 0 8757 0
vsize: 35280
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7027 0 0 0 82991 21 0 0 25 0 1 0 794100937 36265984 7004 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8854 7004 1111 63 0 8791 0
vsize: 35416
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7097 0 0 0 83991 21 0 0 25 0 1 0 794100937 36544512 7074 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8922 7074 1111 63 0 8859 0
vsize: 35688
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7152 0 0 0 84991 21 0 0 25 0 1 0 794100937 36835328 7129 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8993 7129 1111 63 0 8930 0
vsize: 35972
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7220 0 0 0 85991 22 0 0 25 0 1 0 794100937 37113856 7197 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9061 7197 1111 63 0 8998 0
vsize: 36244
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7282 0 0 0 86991 22 0 0 25 0 1 0 794100937 37396480 7259 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9130 7259 1111 63 0 9067 0
vsize: 36520
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7344 0 0 0 87991 22 0 0 25 0 1 0 794100937 37675008 7321 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9198 7321 1111 63 0 9135 0
vsize: 36792
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7426 0 0 0 88991 23 0 0 25 0 1 0 794100937 38002688 7403 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9278 7403 1111 63 0 9215 0
vsize: 37112
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7494 0 0 0 89990 23 0 0 25 0 1 0 794100937 38285312 7471 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9347 7471 1111 63 0 9284 0
vsize: 37388
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7562 0 0 0 90990 23 0 0 25 0 1 0 794100937 38563840 7539 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9415 7539 1111 63 0 9352 0
vsize: 37660
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7618 0 0 0 91990 23 0 0 25 0 1 0 794100937 38846464 7595 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9484 7595 1111 63 0 9421 0
vsize: 37936
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7681 0 0 0 92990 23 0 0 25 0 1 0 794100937 38985728 7658 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9518 7658 1111 63 0 9455 0
vsize: 38072
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7742 0 0 0 93990 24 0 0 25 0 1 0 794100937 39276544 7719 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9589 7719 1111 63 0 9526 0
vsize: 38356
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7805 0 0 0 94990 24 0 0 25 0 1 0 794100937 39555072 7782 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9657 7782 1111 63 0 9594 0
vsize: 38628
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7867 0 0 0 95990 24 0 0 25 0 1 0 794100937 39837696 7844 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9726 7844 1111 63 0 9663 0
vsize: 38904
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7935 0 0 0 96990 25 0 0 25 0 1 0 794100937 40116224 7912 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9794 7912 1111 63 0 9731 0
vsize: 39176
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 7999 0 0 0 97990 25 0 0 25 0 1 0 794100937 40402944 7976 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9864 7976 1111 63 0 9801 0
vsize: 39456
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8061 0 0 0 98990 25 0 0 25 0 1 0 794100937 40542208 8038 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9898 8038 1111 63 0 9835 0
vsize: 39592
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8123 0 0 0 99990 25 0 0 25 0 1 0 794100937 40824832 8100 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9967 8100 1111 63 0 9904 0
vsize: 39868
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8185 0 0 0 100990 25 0 0 25 0 1 0 794100937 41107456 8162 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10036 8162 1111 63 0 9973 0
vsize: 40144
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8253 0 0 0 101990 26 0 0 25 0 1 0 794100937 41385984 8230 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10104 8230 1111 63 0 10041 0
vsize: 40416
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8317 0 0 0 102990 26 0 0 25 0 1 0 794100937 41672704 8294 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10174 8294 1111 63 0 10111 0
vsize: 40696
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8379 0 0 0 103990 26 0 0 25 0 1 0 794100937 41955328 8356 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10243 8356 1111 63 0 10180 0
vsize: 40972
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8447 0 0 0 104990 26 0 0 25 0 1 0 794100937 42237952 8424 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10312 8424 1111 63 0 10249 0
vsize: 41248
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8510 0 0 0 105990 26 0 0 25 0 1 0 794100937 42377216 8487 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10346 8487 1111 63 0 10283 0
vsize: 41384
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8573 0 0 0 106990 26 0 0 25 0 1 0 794100937 42659840 8550 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10415 8550 1111 63 0 10352 0
vsize: 41660
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8635 0 0 0 107990 26 0 0 25 0 1 0 794100937 42946560 8612 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10485 8612 1111 63 0 10422 0
vsize: 41940
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8697 0 0 0 108990 26 0 0 25 0 1 0 794100937 43225088 8674 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10553 8674 1111 63 0 10490 0
vsize: 42212
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8758 0 0 0 109990 26 0 0 25 0 1 0 794100937 43507712 8735 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10622 8735 1111 63 0 10559 0
vsize: 42488
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8820 0 0 0 110990 27 0 0 25 0 1 0 794100937 43646976 8797 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10656 8797 1111 63 0 10593 0
vsize: 42624
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8883 0 0 0 111990 27 0 0 25 0 1 0 794100937 43933696 8860 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10726 8860 1111 63 0 10663 0
vsize: 42904
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 8945 0 0 0 112990 27 0 0 25 0 1 0 794100937 44216320 8922 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10795 8922 1111 63 0 10732 0
vsize: 43180
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 9007 0 0 0 113990 27 0 0 25 0 1 0 794100937 44494848 8984 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10863 8984 1111 63 0 10800 0
vsize: 43452
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 9068 0 0 0 114990 28 0 0 25 0 1 0 794100937 44777472 9045 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10932 9045 1111 63 0 10869 0
vsize: 43728
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 9130 0 0 0 115990 28 0 0 25 0 1 0 794100937 44916736 9107 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10966 9107 1111 63 0 10903 0
vsize: 43864
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 9194 0 0 0 116990 28 0 0 25 0 1 0 794100937 45207552 9171 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11037 9171 1111 63 0 10974 0
vsize: 44148
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 9263 0 0 0 117990 28 0 0 25 0 1 0 794100937 45486080 9240 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11105 9240 1111 63 0 11042 0
vsize: 44420
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 9331 0 0 0 118990 28 0 0 25 0 1 0 794100937 45768704 9308 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11174 9308 1111 63 0 11111 0
vsize: 44696
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 30400
Raw data (stat): 30400 (bsolo_mis) R 30399 7876 7672 0 -1 0 9400 0 0 0 119990 29 0 0 25 0 1 0 794100937 46047232 9377 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11242 9377 1111 63 0 11179 0
vsize: 44968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 30400
Raw data (stat): 30400 (bsolo_mis) Z 30399 7876 7672 0 -1 1036 9400 0 0 0 119990 30 0 0 25 0 1 0 794100937 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.21
CPU user time (s): 1199.9
CPU system time (s): 0.309952
CPU usage (%): 100.013
Max. virtual memory (Kb): 44968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####