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/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
MD5SUM	7100a312d793a62875e04da08d79c5f4
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	641
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2174
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.350946
Number of variables	2221
Total number of constraints	3050
Number of constraints which are clauses	2330
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	720
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 24459

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 17:03:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2370 boxname=wulflinc31 idbench=264 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  7100a312d793a62875e04da08d79c5f4  /oldhome/oroussel/tmp/wulflinc31/normalized-blast-tlan2.ucl.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-blast-tlan2.ucl.opb
IDLAUNCH: 2370
/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:        289100 kB
Buffers:         47048 kB
Cached:         664540 kB
SwapCached:        644 kB
Active:         313000 kB
Inactive:       400948 kB
HighTotal:      131008 kB
HighFree:        26012 kB
LowTotal:       903652 kB
LowFree:        263088 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25928 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 17:22:38 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 2370 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2221 variables and 3050 constraints.
c After prepocess the problem consists of 1732 variables and 2164 constraints.
c preprocess terminated 128.417 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
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.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (runsolver) R 11928 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 710893769 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.001 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3612 0 0 0 986 10 0 0 25 0 1 0 710893769 18558976 3587 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4531 3587 1111 63 0 4468 0
vsize: 18124
[startup+20.0018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3634 0 0 0 1986 10 0 0 25 0 1 0 710893769 18558976 3609 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4531 3609 1111 63 0 4468 0
vsize: 18124
[startup+30.0033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3712 0 0 0 2987 10 0 0 25 0 1 0 710893769 18915328 3687 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4618 3687 1111 63 0 4555 0
vsize: 18472
[startup+40.0036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3712 0 0 0 3987 10 0 0 25 0 1 0 710893769 18915328 3687 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4618 3687 1111 63 0 4555 0
vsize: 18472
[startup+50.0045 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3868 0 0 0 4987 10 0 0 25 0 1 0 710893769 19521536 3843 4294967295 134512640 134714540 3221221792 3221220344 1077377781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3843 1111 63 0 4703 0
vsize: 19064
[startup+60.0048 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3868 0 0 0 5987 10 0 0 25 0 1 0 710893769 19521536 3843 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3843 1111 63 0 4703 0
vsize: 19064
[startup+70.0054 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3868 0 0 0 6987 10 0 0 25 0 1 0 710893769 19521536 3843 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3843 1111 63 0 4703 0
vsize: 19064
[startup+80.0063 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3868 0 0 0 7987 10 0 0 25 0 1 0 710893769 19521536 3843 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3843 1111 63 0 4703 0
vsize: 19064
[startup+90.0069 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3868 0 0 0 8988 10 0 0 25 0 1 0 710893769 19521536 3843 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3843 1111 63 0 4703 0
vsize: 19064
[startup+100.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3868 0 0 0 9988 10 0 0 25 0 1 0 710893769 19521536 3843 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3843 1111 63 0 4703 0
vsize: 19064
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3868 0 0 0 10988 10 0 0 25 0 1 0 710893769 19521536 3843 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3843 1111 63 0 4703 0
vsize: 19064
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3877 0 0 0 11988 10 0 0 25 0 1 0 710893769 19611648 3852 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4788 3852 1111 63 0 4725 0
vsize: 19152
[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 3898 0 0 0 12988 11 0 0 25 0 1 0 710893769 19611648 3873 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4788 3873 1111 63 0 4725 0
vsize: 19152
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 5302 0 0 0 13983 16 0 0 25 0 1 0 710893769 25423872 5277 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6207 5277 1111 63 0 6144 0
vsize: 24828
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 6253 0 0 0 14980 19 0 0 25 0 1 0 710893769 29208576 6228 4294967295 134512640 134714540 3221221792 3221220424 134536665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7131 6228 1111 63 0 7068 0
vsize: 28524
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 7129 0 0 0 15977 22 0 0 25 0 1 0 710893769 32862208 7104 4294967295 134512640 134714540 3221221792 3221220448 134523971 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8023 7104 1111 63 0 7960 0
vsize: 32092
[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 7959 0 0 0 16975 25 0 0 25 0 1 0 710893769 36241408 7934 4294967295 134512640 134714540 3221221792 3221220448 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8848 7934 1111 63 0 8785 0
vsize: 35392
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 9087 0 0 0 17971 28 0 0 25 0 1 0 710893769 40972288 9062 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10003 9062 1111 63 0 9940 0
vsize: 40012
[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 10166 0 0 0 18968 32 0 0 25 0 1 0 710893769 45318144 10140 4294967295 134512640 134714540 3221221792 3221220480 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11064 10140 1111 63 0 11001 0
vsize: 44256
[startup+200.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 11028 0 0 0 19966 35 0 0 25 0 1 0 710893769 48975872 11001 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11957 11001 1111 63 0 11894 0
vsize: 47828
[startup+210.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 12120 0 0 0 20961 39 0 0 25 0 1 0 710893769 53436416 12092 4294967295 134512640 134714540 3221221792 3221220532 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13046 12092 1111 63 0 12983 0
vsize: 52184
[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 13180 0 0 0 21959 42 0 0 25 0 1 0 710893769 57798656 13152 4294967295 134512640 134714540 3221221792 3221220352 134696609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14111 13152 1111 63 0 14048 0
vsize: 56444
[startup+230.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 13955 0 0 0 22957 44 0 0 25 0 1 0 710893769 60911616 13926 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14871 13926 1111 63 0 14808 0
vsize: 59484
[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 14989 0 0 0 23952 49 0 0 25 0 1 0 710893769 65277952 14960 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15937 14961 1111 63 0 15874 0
vsize: 63748
[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 16056 0 0 0 24949 52 0 0 25 0 1 0 710893769 69672960 16023 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17010 16023 1111 63 0 16947 0
vsize: 68040
[startup+260.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 16558 0 0 0 25947 54 0 0 25 0 1 0 710893769 71729152 16524 4294967295 134512640 134714540 3221221792 3221220416 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17512 16524 1111 63 0 17449 0
vsize: 70048
[startup+270.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 16895 0 0 0 26946 55 0 0 25 0 1 0 710893769 73080832 16859 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17842 16859 1111 63 0 17779 0
vsize: 71368
[startup+280.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 17175 0 0 0 27945 56 0 0 25 0 1 0 710893769 74227712 17135 4294967295 134512640 134714540 3221221792 3221220496 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18122 17135 1111 63 0 18059 0
vsize: 72488
[startup+290.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 17515 0 0 0 28944 57 0 0 25 0 1 0 710893769 75755520 17473 4294967295 134512640 134714540 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17473 1111 63 0 18432 0
vsize: 73980
[startup+300.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 17953 0 0 0 29942 60 0 0 25 0 1 0 710893769 77660160 17909 4294967295 134512640 134714540 3221221792 3221220444 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18960 17909 1111 63 0 18897 0
vsize: 75840
[startup+310.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 18256 0 0 0 30940 62 0 0 25 0 1 0 710893769 78884864 18209 4294967295 134512640 134714540 3221221792 3221220416 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19259 18209 1111 63 0 19196 0
vsize: 77036
[startup+320.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 18581 0 0 0 31939 64 0 0 25 0 1 0 710893769 80236544 18534 4294967295 134512640 134714540 3221221792 3221220352 134549730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19589 18534 1111 63 0 19526 0
vsize: 78356
[startup+330.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 18752 0 0 0 32938 65 0 0 25 0 1 0 710893769 80912384 18705 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19754 18705 1111 63 0 19691 0
vsize: 79016
[startup+340.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 18866 0 0 0 33937 65 0 0 25 0 1 0 710893769 81317888 18819 4294967295 134512640 134714540 3221221792 3221220304 134535017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19853 18819 1111 63 0 19790 0
vsize: 79412
[startup+350.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 18959 0 0 0 34937 66 0 0 25 0 1 0 710893769 81723392 18912 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19952 18912 1111 63 0 19889 0
vsize: 79808
[startup+360.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 19141 0 0 0 35937 66 0 0 25 0 1 0 710893769 82538496 19094 4294967295 134512640 134714540 3221221792 3221220416 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20151 19094 1111 63 0 20088 0
vsize: 80604
[startup+370.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 19234 0 0 0 36936 67 0 0 25 0 1 0 710893769 82944000 19187 4294967295 134512640 134714540 3221221792 3221220452 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20250 19187 1111 63 0 20187 0
vsize: 81000
[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 19324 0 0 0 37936 67 0 0 25 0 1 0 710893769 83214336 19277 4294967295 134512640 134714540 3221221792 3221220384 134549588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20316 19277 1111 63 0 20253 0
vsize: 81264
[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 19512 0 0 0 38935 68 0 0 25 0 1 0 710893769 84025344 19465 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20514 19465 1111 63 0 20451 0
vsize: 82056
[startup+400.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 19621 0 0 0 39935 69 0 0 25 0 1 0 710893769 84430848 19574 4294967295 134512640 134714540 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20613 19574 1111 63 0 20550 0
vsize: 82452
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 19748 0 0 0 40935 69 0 0 25 0 1 0 710893769 84971520 19701 4294967295 134512640 134714540 3221221792 3221220348 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20745 19701 1111 63 0 20682 0
vsize: 82980
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 19857 0 0 0 41934 70 0 0 25 0 1 0 710893769 85377024 19810 4294967295 134512640 134714540 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20844 19810 1111 63 0 20781 0
vsize: 83376
[startup+430.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 19991 0 0 0 42934 71 0 0 25 0 1 0 710893769 85917696 19944 4294967295 134512640 134714540 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20976 19944 1111 63 0 20913 0
vsize: 83904
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 20110 0 0 0 43933 71 0 0 25 0 1 0 710893769 86458368 20063 4294967295 134512640 134714540 3221221792 3221220364 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21108 20063 1111 63 0 21045 0
vsize: 84432
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 20276 0 0 0 44933 72 0 0 25 0 1 0 710893769 87134208 20229 4294967295 134512640 134714540 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21273 20229 1111 63 0 21210 0
vsize: 85092
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 20422 0 0 0 45932 73 0 0 25 0 1 0 710893769 87810048 20375 4294967295 134512640 134714540 3221221792 3221220544 134588020 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21438 20375 1111 63 0 21375 0
vsize: 85752
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 20821 0 0 0 46931 74 0 0 25 0 1 0 710893769 89432064 20774 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21834 20774 1111 63 0 21771 0
vsize: 87336
[startup+480.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 20999 0 0 0 47930 75 0 0 25 0 1 0 710893769 90107904 20952 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21999 20952 1111 63 0 21936 0
vsize: 87996
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 21100 0 0 0 48930 76 0 0 25 0 1 0 710893769 90513408 21053 4294967295 134512640 134714540 3221221792 3221220552 134523849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22098 21053 1111 63 0 22035 0
vsize: 88392
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 21216 0 0 0 49929 76 0 0 25 0 1 0 710893769 90918912 21169 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22197 21169 1111 63 0 22134 0
vsize: 88788
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 21347 0 0 0 50929 76 0 0 25 0 1 0 710893769 91459584 21300 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22329 21300 1111 63 0 22266 0
vsize: 89316
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 21464 0 0 0 51929 77 0 0 25 0 1 0 710893769 92000256 21417 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22461 21417 1111 63 0 22398 0
vsize: 89844
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 21585 0 0 0 52929 77 0 0 25 0 1 0 710893769 92540928 21538 4294967295 134512640 134714540 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22593 21538 1111 63 0 22530 0
vsize: 90372
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 21699 0 0 0 53928 78 0 0 25 0 1 0 710893769 92946432 21652 4294967295 134512640 134714540 3221221792 3221220560 134529115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22692 21652 1111 63 0 22629 0
vsize: 90768
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 21821 0 0 0 54927 79 0 0 25 0 1 0 710893769 93487104 21774 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22824 21774 1111 63 0 22761 0
vsize: 91296
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 21958 0 0 0 55926 80 0 0 25 0 1 0 710893769 94027776 21911 4294967295 134512640 134714540 3221221792 3221220576 134529184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22956 21911 1111 63 0 22893 0
vsize: 91824
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 22072 0 0 0 56926 81 0 0 25 0 1 0 710893769 94433280 22025 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23055 22025 1111 63 0 22992 0
vsize: 92220
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 22176 0 0 0 57926 81 0 0 25 0 1 0 710893769 94990336 22129 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23191 22129 1111 63 0 23128 0
vsize: 92764
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 22269 0 0 0 58926 81 0 0 25 0 1 0 710893769 95395840 22222 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23290 22222 1111 63 0 23227 0
vsize: 93160
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 22358 0 0 0 59925 82 0 0 25 0 1 0 710893769 95666176 22311 4294967295 134512640 134714540 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23356 22311 1111 63 0 23293 0
vsize: 93424
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 22648 0 0 0 60925 83 0 0 25 0 1 0 710893769 96882688 22601 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23653 22601 1111 63 0 23590 0
vsize: 94612
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 23005 0 0 0 61923 84 0 0 25 0 1 0 710893769 98369536 22958 4294967295 134512640 134714540 3221221792 3221220512 134535760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24016 22958 1111 63 0 23953 0
vsize: 96064
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 23111 0 0 0 62923 85 0 0 25 0 1 0 710893769 98775040 23064 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23064 1111 63 0 24052 0
vsize: 96460
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 23219 0 0 0 63923 85 0 0 25 0 1 0 710893769 99180544 23172 4294967295 134512640 134714540 3221221792 3221220348 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24214 23172 1111 63 0 24151 0
vsize: 96856
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 23324 0 0 0 64922 86 0 0 25 0 1 0 710893769 99721216 23277 4294967295 134512640 134714540 3221221792 3221220448 134536627 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24346 23277 1111 63 0 24283 0
vsize: 97384
[startup+660.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 23440 0 0 0 65922 86 0 0 25 0 1 0 710893769 100126720 23393 4294967295 134512640 134714540 3221221792 3221220352 134542312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24445 23393 1111 63 0 24382 0
vsize: 97780
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 23559 0 0 0 66921 87 0 0 25 0 1 0 710893769 100667392 23512 4294967295 134512640 134714540 3221221792 3221220552 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24577 23512 1111 63 0 24514 0
vsize: 98308
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 23667 0 0 0 67921 88 0 0 25 0 1 0 710893769 101072896 23620 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24676 23620 1111 63 0 24613 0
vsize: 98704
[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 23777 0 0 0 68921 88 0 0 25 0 1 0 710893769 101478400 23730 4294967295 134512640 134714540 3221221792 3221220400 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24775 23730 1111 63 0 24712 0
vsize: 99100
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 24261 0 0 0 69919 90 0 0 25 0 1 0 710893769 103505920 24214 4294967295 134512640 134714540 3221221792 3221220560 134529157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25270 24214 1111 63 0 25207 0
vsize: 101080
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 24515 0 0 0 70918 91 0 0 25 0 1 0 710893769 104591360 24467 4294967295 134512640 134714540 3221221792 3221220388 134543680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25535 24467 1111 63 0 25472 0
vsize: 102140
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 24708 0 0 0 71917 92 0 0 25 0 1 0 710893769 105435136 24660 4294967295 134512640 134714540 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25741 24660 1111 63 0 25678 0
vsize: 102964
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 24893 0 0 0 72917 93 0 0 25 0 1 0 710893769 106110976 24845 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25906 24845 1111 63 0 25843 0
vsize: 103624
[startup+740.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 25074 0 0 0 73917 93 0 0 25 0 1 0 710893769 106921984 25026 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26104 25026 1111 63 0 26041 0
vsize: 104416
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 25266 0 0 0 74916 94 0 0 25 0 1 0 710893769 107732992 25218 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26302 25218 1111 63 0 26239 0
vsize: 105208
[startup+760.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 25501 0 0 0 75916 95 0 0 25 0 1 0 710893769 108679168 25453 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26533 25453 1111 63 0 26470 0
vsize: 106132
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 25727 0 0 0 76915 95 0 0 25 0 1 0 710893769 109625344 25679 4294967295 134512640 134714540 3221221792 3221220348 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26764 25679 1111 63 0 26701 0
vsize: 107056
[startup+780.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 25942 0 0 0 77914 96 0 0 25 0 1 0 710893769 110436352 25894 4294967295 134512640 134714540 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26962 25894 1111 63 0 26899 0
vsize: 107848
[startup+790.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 26170 0 0 0 78913 97 0 0 25 0 1 0 710893769 111382528 26122 4294967295 134512640 134714540 3221221792 3221220556 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27193 26122 1111 63 0 27130 0
vsize: 108772
[startup+800.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 26356 0 0 0 79912 98 0 0 25 0 1 0 710893769 112193536 26307 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27391 26307 1111 63 0 27328 0
vsize: 109564
[startup+810.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 26549 0 0 0 80911 100 0 0 25 0 1 0 710893769 113004544 26500 4294967295 134512640 134714540 3221221792 3221220496 134528721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27589 26500 1111 63 0 27526 0
vsize: 110356
[startup+820.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 26714 0 0 0 81911 100 0 0 25 0 1 0 710893769 113680384 26665 4294967295 134512640 134714540 3221221792 3221220460 134536748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27754 26665 1111 63 0 27691 0
vsize: 111016
[startup+830.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 26883 0 0 0 82910 101 0 0 25 0 1 0 710893769 114356224 26834 4294967295 134512640 134714540 3221221792 3221220496 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27919 26834 1111 63 0 27856 0
vsize: 111676
[startup+840.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 27043 0 0 0 83909 102 0 0 25 0 1 0 710893769 114896896 26994 4294967295 134512640 134714540 3221221792 3221220576 134529192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28051 26994 1111 63 0 27988 0
vsize: 112204
[startup+850.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 27212 0 0 0 84909 102 0 0 25 0 1 0 710893769 115707904 27163 4294967295 134512640 134714540 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28249 27163 1111 63 0 28186 0
vsize: 112996
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 27420 0 0 0 85909 103 0 0 25 0 1 0 710893769 116518912 27371 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28447 27371 1111 63 0 28384 0
vsize: 113788
[startup+870.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 27593 0 0 0 86908 104 0 0 25 0 1 0 710893769 117194752 27544 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28612 27544 1111 63 0 28549 0
vsize: 114448
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 27777 0 0 0 87908 105 0 0 25 0 1 0 710893769 118005760 27728 4294967295 134512640 134714540 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28810 27728 1111 63 0 28747 0
vsize: 115240
[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 28126 0 0 0 88906 107 0 0 25 0 1 0 710893769 119414784 28068 4294967295 134512640 134714540 3221221792 3221220428 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29154 28068 1111 63 0 29091 0
vsize: 116616
[startup+900.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 28469 0 0 0 89904 108 0 0 25 0 1 0 710893769 120901632 28411 4294967295 134512640 134714540 3221221792 3221220348 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29517 28411 1111 63 0 29454 0
vsize: 118068
[startup+910.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 28826 0 0 0 90903 110 0 0 25 0 1 0 710893769 122417152 28764 4294967295 134512640 134714540 3221221792 3221220436 134536686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29887 28764 1111 63 0 29824 0
vsize: 119548
[startup+920.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 29252 0 0 0 91901 112 0 0 25 0 1 0 710893769 124112896 29189 4294967295 134512640 134714540 3221221792 3221219956 134697509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30301 29189 1111 63 0 30238 0
vsize: 121204
[startup+930.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 29698 0 0 0 92900 113 0 0 25 0 1 0 710893769 126070784 29631 4294967295 134512640 134714540 3221221792 3221220496 134528702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30779 29631 1111 63 0 30716 0
vsize: 123116
[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 29939 0 0 0 93900 114 0 0 25 0 1 0 710893769 127152128 29872 4294967295 134512640 134714540 3221221792 3221220320 134535335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31043 29872 1111 63 0 30980 0
vsize: 124172
[startup+950.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 30141 0 0 0 94898 115 0 0 25 0 1 0 710893769 128016384 30070 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31254 30070 1111 63 0 31191 0
vsize: 125016
[startup+960.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 30340 0 0 0 95898 116 0 0 25 0 1 0 710893769 128827392 30269 4294967295 134512640 134714540 3221221792 3221220432 134536700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31452 30269 1111 63 0 31389 0
vsize: 125808
[startup+970.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 30527 0 0 0 96897 117 0 0 25 0 1 0 710893769 129503232 30456 4294967295 134512640 134714540 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31617 30456 1111 63 0 31554 0
vsize: 126468
[startup+980.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 30717 0 0 0 97897 118 0 0 25 0 1 0 710893769 130314240 30646 4294967295 134512640 134714540 3221221792 3221220448 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31815 30646 1111 63 0 31752 0
vsize: 127260
[startup+990.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 30934 0 0 0 98896 118 0 0 25 0 1 0 710893769 131125248 30863 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32013 30863 1111 63 0 31950 0
vsize: 128052
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 31163 0 0 0 99895 119 0 0 25 0 1 0 710893769 132071424 31092 4294967295 134512640 134714540 3221221792 3221220248 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32244 31092 1111 63 0 32181 0
vsize: 128976
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 31374 0 0 0 100894 120 0 0 25 0 1 0 710893769 132972544 31291 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32464 31291 1111 63 0 32401 0
vsize: 129856
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 31493 0 0 0 101894 120 0 0 25 0 1 0 710893769 133513216 31410 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32596 31410 1111 63 0 32533 0
vsize: 130384
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 31635 0 0 0 102894 121 0 0 25 0 1 0 710893769 134053888 31552 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32728 31552 1111 63 0 32665 0
vsize: 130912
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 31770 0 0 0 103893 122 0 0 25 0 1 0 710893769 134594560 31687 4294967295 134512640 134714540 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32860 31687 1111 63 0 32797 0
vsize: 131440
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 31945 0 0 0 104893 122 0 0 25 0 1 0 710893769 135405568 31862 4294967295 134512640 134714540 3221221792 3221220452 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33058 31862 1111 63 0 32995 0
vsize: 132232
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 32067 0 0 0 105893 123 0 0 25 0 1 0 710893769 135823360 31983 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33160 31983 1111 63 0 33097 0
vsize: 132640
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 32189 0 0 0 106892 123 0 0 25 0 1 0 710893769 136364032 32105 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33292 32105 1111 63 0 33229 0
vsize: 133168
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 32379 0 0 0 107892 124 0 0 25 0 1 0 710893769 137175040 32295 4294967295 134512640 134714540 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33490 32295 1111 63 0 33427 0
vsize: 133960
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 32554 0 0 0 108891 125 0 0 25 0 1 0 710893769 137850880 32470 4294967295 134512640 134714540 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33655 32470 1111 63 0 33592 0
vsize: 134620
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 32698 0 0 0 109890 126 0 0 25 0 1 0 710893769 138391552 32614 4294967295 134512640 134714540 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33787 32614 1111 63 0 33724 0
vsize: 135148
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 32878 0 0 0 110889 127 0 0 25 0 1 0 710893769 139206656 32794 4294967295 134512640 134714540 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33986 32794 1111 63 0 33923 0
vsize: 135944
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 33026 0 0 0 111888 128 0 0 25 0 1 0 710893769 139747328 32942 4294967295 134512640 134714540 3221221792 3221220448 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34118 32942 1111 63 0 34055 0
vsize: 136472
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 33167 0 0 0 112887 129 0 0 25 0 1 0 710893769 140423168 33083 4294967295 134512640 134714540 3221221792 3221220444 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34283 33083 1111 63 0 34220 0
vsize: 137132
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 33515 0 0 0 113887 130 0 0 25 0 1 0 710893769 141848576 33430 4294967295 134512640 134714540 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34631 33430 1111 63 0 34568 0
vsize: 138524
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 33674 0 0 0 114886 131 0 0 25 0 1 0 710893769 142524416 33589 4294967295 134512640 134714540 3221221792 3221220476 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34796 33589 1111 63 0 34733 0
vsize: 139184
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 33778 0 0 0 115886 131 0 0 25 0 1 0 710893769 142929920 33693 4294967295 134512640 134714540 3221221792 3221220560 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34895 33693 1111 63 0 34832 0
vsize: 139580
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 33881 0 0 0 116886 132 0 0 25 0 1 0 710893769 143335424 33796 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34994 33796 1111 63 0 34931 0
vsize: 139976
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.98 0.95 1/53 11929
Raw data (stat): 11929 (bsolo_mis) R 11928 7876 7672 0 -1 0 33881 0 0 0 116886 132 0 0 25 0 1 0 710893769 143335424 33796 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34994 33796 1111 63 0 34931 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.1
CPU user time (s): 1173.71
CPU system time (s): 1.38779
CPU usage (%): 100.012
Max. virtual memory (Kb): 139976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####