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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb
MD5SUM	482f3c6a016323a565c292702d2c5673
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	183640
Biggest coefficient in the objective function	179765856174080000
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	6977628092477113102
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	179765856174080000
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	6977628092477113102
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.14967
Number of variables	228990
Total number of constraints	5220
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	5220
Minimum length of a constraint	10
Maximum length of a constraint	3330
Trace number 29044

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 04:34:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10429 boxname=wulflinc5 idbench=803 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  482f3c6a016323a565c292702d2c5673  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-80bau3b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-80bau3b.opb
IDLAUNCH: 10429
/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:        814556 kB
Buffers:         10664 kB
Cached:         187696 kB
SwapCached:        472 kB
Active:          43392 kB
Inactive:       157088 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814304 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5220 kB
Slab:            13992 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:54:27 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 10429 7 1200.23 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.64 0.82 0.86 2/54 19515
Raw data (stat): 19515 (runsolver) R 19514 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777814585 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.0005 s]
Raw data (loadavg): 0.69 0.82 0.86 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 1640 0 0 0 993 6 0 0 25 0 1 0 777814585 15208448 1618 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 1618 1111 63 0 3650 0
vsize: 14852
[startup+20.0082 s]
Raw data (loadavg): 0.74 0.83 0.86 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 1684 0 0 0 1994 6 0 0 25 0 1 0 777814585 15355904 1662 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3749 1662 1111 63 0 3686 0
vsize: 14996
[startup+30.009 s]
Raw data (loadavg): 0.78 0.83 0.86 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 1728 0 0 0 2994 6 0 0 25 0 1 0 777814585 15507456 1706 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 1706 1111 63 0 3723 0
vsize: 15144
[startup+40.0097 s]
Raw data (loadavg): 0.89 0.85 0.87 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 1773 0 0 0 3994 7 0 0 25 0 1 0 777814585 15790080 1751 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3855 1751 1111 63 0 3792 0
vsize: 15420
[startup+50.0094 s]
Raw data (loadavg): 0.91 0.86 0.87 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 1824 0 0 0 4994 7 0 0 25 0 1 0 777814585 15933440 1802 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3890 1802 1111 63 0 3827 0
vsize: 15560
[startup+60.0092 s]
Raw data (loadavg): 0.92 0.86 0.87 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 1868 0 0 0 5993 7 0 0 25 0 1 0 777814585 16080896 1846 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3926 1846 1111 63 0 3863 0
vsize: 15704
[startup+70.0089 s]
Raw data (loadavg): 0.93 0.87 0.87 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 1912 0 0 0 6993 8 0 0 25 0 1 0 777814585 16379904 1890 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1890 1111 63 0 3936 0
vsize: 15996
[startup+80.0101 s]
Raw data (loadavg): 0.94 0.87 0.87 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 1955 0 0 0 7993 8 0 0 25 0 1 0 777814585 16531456 1933 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4036 1933 1111 63 0 3973 0
vsize: 16144
[startup+90.0104 s]
Raw data (loadavg): 0.95 0.87 0.87 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2001 0 0 0 8993 9 0 0 25 0 1 0 777814585 16678912 1979 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 1979 1111 63 0 4009 0
vsize: 16288
[startup+100.011 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2045 0 0 0 9992 9 0 0 25 0 1 0 777814585 16814080 2023 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4105 2023 1111 63 0 4042 0
vsize: 16420
[startup+110.011 s]
Raw data (loadavg): 1.04 0.90 0.88 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2099 0 0 0 10993 9 0 0 25 0 1 0 777814585 17096704 2077 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4174 2077 1111 63 0 4111 0
vsize: 16696
[startup+120.012 s]
Raw data (loadavg): 1.11 0.92 0.88 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2151 0 0 0 11992 9 0 0 25 0 1 0 777814585 17235968 2129 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 2129 1111 63 0 4145 0
vsize: 16832
[startup+130.013 s]
Raw data (loadavg): 1.09 0.92 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2208 0 0 0 12992 10 0 0 25 0 1 0 777814585 17534976 2186 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4281 2186 1111 63 0 4218 0
vsize: 17124
[startup+140.014 s]
Raw data (loadavg): 1.08 0.92 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2261 0 0 0 13992 10 0 0 25 0 1 0 777814585 17690624 2239 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4319 2239 1111 63 0 4256 0
vsize: 17276
[startup+150.014 s]
Raw data (loadavg): 1.07 0.92 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2313 0 0 0 14992 11 0 0 25 0 1 0 777814585 17989632 2291 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4392 2291 1111 63 0 4329 0
vsize: 17568
[startup+160.019 s]
Raw data (loadavg): 1.06 0.92 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2370 0 0 0 15992 11 0 0 25 0 1 0 777814585 18137088 2348 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4428 2348 1111 63 0 4365 0
vsize: 17712
[startup+170.018 s]
Raw data (loadavg): 1.05 0.93 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2422 0 0 0 16992 11 0 0 25 0 1 0 777814585 18436096 2400 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 2400 1111 63 0 4438 0
vsize: 18004
[startup+180.019 s]
Raw data (loadavg): 1.04 0.93 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2481 0 0 0 17991 12 0 0 25 0 1 0 777814585 18714624 2459 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4569 2459 1111 63 0 4506 0
vsize: 18276
[startup+190.02 s]
Raw data (loadavg): 1.03 0.93 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2533 0 0 0 18991 12 0 0 25 0 1 0 777814585 18862080 2511 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4605 2511 1111 63 0 4542 0
vsize: 18420
[startup+200.02 s]
Raw data (loadavg): 1.03 0.93 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2595 0 0 0 19991 13 0 0 25 0 1 0 777814585 19161088 2573 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4678 2573 1111 63 0 4615 0
vsize: 18712
[startup+210.02 s]
Raw data (loadavg): 1.02 0.93 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2678 0 0 0 20990 13 0 0 25 0 1 0 777814585 19439616 2656 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4746 2656 1111 63 0 4683 0
vsize: 18984
[startup+220.021 s]
Raw data (loadavg): 1.02 0.94 0.89 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2736 0 0 0 21990 14 0 0 25 0 1 0 777814585 19730432 2714 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4817 2714 1111 63 0 4754 0
vsize: 19268
[startup+230.022 s]
Raw data (loadavg): 1.02 0.94 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2788 0 0 0 22990 14 0 0 25 0 1 0 777814585 19877888 2766 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4853 2766 1111 63 0 4790 0
vsize: 19412
[startup+240.022 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2832 0 0 0 23990 14 0 0 25 0 1 0 777814585 20029440 2810 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4890 2810 1111 63 0 4827 0
vsize: 19560
[startup+250.021 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2882 0 0 0 24989 15 0 0 25 0 1 0 777814585 20328448 2860 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4963 2860 1111 63 0 4900 0
vsize: 19852
[startup+260.022 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 2953 0 0 0 25989 15 0 0 25 0 1 0 777814585 20619264 2931 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5034 2931 1111 63 0 4971 0
vsize: 20136
[startup+270.022 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3010 0 0 0 26989 15 0 0 25 0 1 0 777814585 20762624 2988 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 2988 1111 63 0 5006 0
vsize: 20276
[startup+280.023 s]
Raw data (loadavg): 1.00 0.94 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3067 0 0 0 27989 16 0 0 25 0 1 0 777814585 21057536 3045 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5141 3045 1111 63 0 5078 0
vsize: 20564
[startup+290.023 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3130 0 0 0 28989 16 0 0 25 0 1 0 777814585 21344256 3108 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5211 3108 1111 63 0 5148 0
vsize: 20844
[startup+300.023 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3188 0 0 0 29989 16 0 0 25 0 1 0 777814585 21483520 3166 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5245 3166 1111 63 0 5182 0
vsize: 20980
[startup+310.023 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3233 0 0 0 30988 17 0 0 25 0 1 0 777814585 21762048 3211 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5313 3211 1111 63 0 5250 0
vsize: 21252
[startup+320.024 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3276 0 0 0 31988 17 0 0 25 0 1 0 777814585 21909504 3254 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5349 3254 1111 63 0 5286 0
vsize: 21396
[startup+330.024 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3333 0 0 0 32988 18 0 0 25 0 1 0 777814585 22204416 3311 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5421 3311 1111 63 0 5358 0
vsize: 21684
[startup+340.024 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3390 0 0 0 33988 18 0 0 25 0 1 0 777814585 22347776 3368 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5456 3368 1111 63 0 5393 0
vsize: 21824
[startup+350.024 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3443 0 0 0 34988 18 0 0 25 0 1 0 777814585 22650880 3421 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 3421 1111 63 0 5467 0
vsize: 22120
[startup+360.025 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3486 0 0 0 35988 18 0 0 25 0 1 0 777814585 22802432 3464 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 3464 1111 63 0 5504 0
vsize: 22268
[startup+370.025 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3556 0 0 0 36987 19 0 0 25 0 1 0 777814585 23085056 3534 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5636 3534 1111 63 0 5573 0
vsize: 22544
[startup+380.025 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3644 0 0 0 37987 19 0 0 25 0 1 0 777814585 23367680 3622 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 3622 1111 63 0 5642 0
vsize: 22820
[startup+390.026 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3690 0 0 0 38987 20 0 0 25 0 1 0 777814585 23662592 3668 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3668 1111 63 0 5714 0
vsize: 23108
[startup+400.026 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3742 0 0 0 39987 20 0 0 25 0 1 0 777814585 23810048 3720 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 3720 1111 63 0 5750 0
vsize: 23252
[startup+410.025 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3797 0 0 0 40986 20 0 0 25 0 1 0 777814585 24092672 3775 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5882 3775 1111 63 0 5819 0
vsize: 23528
[startup+420.026 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3872 0 0 0 41986 20 0 0 25 0 1 0 777814585 24375296 3850 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5951 3850 1111 63 0 5888 0
vsize: 23804
[startup+430.027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3936 0 0 0 42986 21 0 0 25 0 1 0 777814585 24662016 3914 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6021 3914 1111 63 0 5958 0
vsize: 24084
[startup+440.027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 3995 0 0 0 43986 21 0 0 25 0 1 0 777814585 24809472 3973 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6057 3973 1111 63 0 5994 0
vsize: 24228
[startup+450.026 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4052 0 0 0 44986 22 0 0 25 0 1 0 777814585 25104384 4030 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6129 4030 1111 63 0 6066 0
vsize: 24516
[startup+460.027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4096 0 0 0 45986 22 0 0 25 0 1 0 777814585 25255936 4074 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6166 4074 1111 63 0 6103 0
vsize: 24664
[startup+470.027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4172 0 0 0 46985 22 0 0 25 0 1 0 777814585 25542656 4150 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 4150 1111 63 0 6173 0
vsize: 24944
[startup+480.027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4230 0 0 0 47985 23 0 0 25 0 1 0 777814585 25833472 4208 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6307 4208 1111 63 0 6244 0
vsize: 25228
[startup+490.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4274 0 0 0 48985 23 0 0 25 0 1 0 777814585 25985024 4252 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6344 4252 1111 63 0 6281 0
vsize: 25376
[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4326 0 0 0 49985 24 0 0 25 0 1 0 777814585 26279936 4304 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6416 4304 1111 63 0 6353 0
vsize: 25664
[startup+510.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4401 0 0 0 50985 24 0 0 25 0 1 0 777814585 26566656 4379 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 4379 1111 63 0 6423 0
vsize: 25944
[startup+520.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4472 0 0 0 51984 24 0 0 25 0 1 0 777814585 26853376 4450 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6556 4450 1111 63 0 6493 0
vsize: 26224
[startup+530.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4517 0 0 0 52984 25 0 0 25 0 1 0 777814585 27000832 4495 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6592 4495 1111 63 0 6529 0
vsize: 26368
[startup+540.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4580 0 0 0 53984 25 0 0 25 0 1 0 777814585 27295744 4558 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6664 4558 1111 63 0 6601 0
vsize: 26656
[startup+550.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4631 0 0 0 54983 26 0 0 25 0 1 0 777814585 27439104 4609 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6699 4609 1111 63 0 6636 0
vsize: 26796
[startup+560.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4682 0 0 0 55983 26 0 0 25 0 1 0 777814585 27729920 4660 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6770 4660 1111 63 0 6707 0
vsize: 27080
[startup+570.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4747 0 0 0 56983 27 0 0 25 0 1 0 777814585 27885568 4725 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6808 4725 1111 63 0 6745 0
vsize: 27232
[startup+580.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4791 0 0 0 57982 27 0 0 25 0 1 0 777814585 28180480 4769 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6880 4769 1111 63 0 6817 0
vsize: 27520
[startup+590.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4848 0 0 0 58982 28 0 0 25 0 1 0 777814585 28323840 4826 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6915 4826 1111 63 0 6852 0
vsize: 27660
[startup+600.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4906 0 0 0 59982 28 0 0 25 0 1 0 777814585 28618752 4884 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6987 4884 1111 63 0 6924 0
vsize: 27948
[startup+610.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 4989 0 0 0 60981 29 0 0 25 0 1 0 777814585 28905472 4967 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7057 4967 1111 63 0 6994 0
vsize: 28228
[startup+620.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5046 0 0 0 61981 29 0 0 25 0 1 0 777814585 29192192 5024 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7127 5024 1111 63 0 7064 0
vsize: 28508
[startup+630.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5103 0 0 0 62980 30 0 0 25 0 1 0 777814585 29339648 5081 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7163 5081 1111 63 0 7100 0
vsize: 28652
[startup+640.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5148 0 0 0 63980 30 0 0 25 0 1 0 777814585 29634560 5126 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7235 5126 1111 63 0 7172 0
vsize: 28940
[startup+650.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5244 0 0 0 64980 30 0 0 25 0 1 0 777814585 29908992 5222 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7302 5222 1111 63 0 7239 0
vsize: 29208
[startup+660.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5333 0 0 0 65980 31 0 0 25 0 1 0 777814585 30339072 5311 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7407 5311 1111 63 0 7344 0
vsize: 29628
[startup+670.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5434 0 0 0 66980 31 0 0 25 0 1 0 777814585 30752768 5412 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7508 5412 1111 63 0 7445 0
vsize: 30032
[startup+680.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5541 0 0 0 67979 32 0 0 25 0 1 0 777814585 31166464 5519 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7609 5519 1111 63 0 7546 0
vsize: 30436
[startup+690.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5643 0 0 0 68979 32 0 0 25 0 1 0 777814585 31588352 5621 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7712 5621 1111 63 0 7649 0
vsize: 30848
[startup+700.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5714 0 0 0 69979 32 0 0 25 0 1 0 777814585 31862784 5692 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7779 5692 1111 63 0 7716 0
vsize: 31116
[startup+710.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5815 0 0 0 70979 32 0 0 25 0 1 0 777814585 32288768 5793 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7883 5793 1111 63 0 7820 0
vsize: 31532
[startup+720.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5911 0 0 0 71979 32 0 0 25 0 1 0 777814585 32710656 5889 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7986 5889 1111 63 0 7923 0
vsize: 31944
[startup+730.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 5994 0 0 0 72979 33 0 0 25 0 1 0 777814585 32980992 5972 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8052 5972 1111 63 0 7989 0
vsize: 32208
[startup+740.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6077 0 0 0 73979 33 0 0 25 0 1 0 777814585 33411072 6055 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 6055 1111 63 0 8094 0
vsize: 32628
[startup+750.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6161 0 0 0 74978 34 0 0 25 0 1 0 777814585 33697792 6139 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8227 6139 1111 63 0 8164 0
vsize: 32908
[startup+760.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6244 0 0 0 75978 34 0 0 25 0 1 0 777814585 34127872 6222 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 6222 1111 63 0 8269 0
vsize: 33328
[startup+770.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6375 0 0 0 76978 34 0 0 25 0 1 0 777814585 34684928 6353 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8468 6353 1111 63 0 8405 0
vsize: 33872
[startup+780.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6476 0 0 0 77977 35 0 0 25 0 1 0 777814585 35098624 6454 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8569 6454 1111 63 0 8506 0
vsize: 34276
[startup+790.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6554 0 0 0 78977 36 0 0 25 0 1 0 777814585 35389440 6532 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8640 6532 1111 63 0 8577 0
vsize: 34560
[startup+800.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6610 0 0 0 79977 36 0 0 25 0 1 0 777814585 35672064 6588 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 6588 1111 63 0 8646 0
vsize: 34836
[startup+810.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6698 0 0 0 80977 37 0 0 25 0 1 0 777814585 35954688 6676 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 6676 1111 63 0 8715 0
vsize: 35112
[startup+820.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6775 0 0 0 81977 37 0 0 25 0 1 0 777814585 36233216 6753 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8846 6753 1111 63 0 8783 0
vsize: 35384
[startup+830.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6851 0 0 0 82977 37 0 0 25 0 1 0 777814585 36659200 6829 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8950 6829 1111 63 0 8887 0
vsize: 35800
[startup+840.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 6933 0 0 0 83976 38 0 0 25 0 1 0 777814585 36941824 6911 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9019 6911 1111 63 0 8956 0
vsize: 36076
[startup+850.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7016 0 0 0 84976 38 0 0 25 0 1 0 777814585 37212160 6994 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9085 6994 1111 63 0 9022 0
vsize: 36340
[startup+860.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7118 0 0 0 85976 39 0 0 25 0 1 0 777814585 37638144 7096 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9189 7096 1111 63 0 9126 0
vsize: 36756
[startup+870.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7206 0 0 0 86976 39 0 0 25 0 1 0 777814585 38055936 7184 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9291 7184 1111 63 0 9228 0
vsize: 37164
[startup+880.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7282 0 0 0 87976 39 0 0 25 0 1 0 777814585 38334464 7260 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9359 7260 1111 63 0 9296 0
vsize: 37436
[startup+890.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7370 0 0 0 88976 39 0 0 25 0 1 0 777814585 38752256 7348 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9461 7348 1111 63 0 9398 0
vsize: 37844
[startup+900.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7452 0 0 0 89976 39 0 0 25 0 1 0 777814585 39030784 7430 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9529 7430 1111 63 0 9466 0
vsize: 38116
[startup+910.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7528 0 0 0 90976 39 0 0 25 0 1 0 777814585 39309312 7506 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9597 7506 1111 63 0 9534 0
vsize: 38388
[startup+920.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7598 0 0 0 91976 40 0 0 25 0 1 0 777814585 39600128 7576 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9668 7576 1111 63 0 9605 0
vsize: 38672
[startup+930.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7669 0 0 0 92976 40 0 0 25 0 1 0 777814585 39882752 7647 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9737 7647 1111 63 0 9674 0
vsize: 38948
[startup+940.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7759 0 0 0 93976 40 0 0 25 0 1 0 777814585 40308736 7737 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9841 7737 1111 63 0 9778 0
vsize: 39364
[startup+950.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7866 0 0 0 94976 40 0 0 25 0 1 0 777814585 40718336 7844 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9941 7844 1111 63 0 9878 0
vsize: 39764
[startup+960.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 7960 0 0 0 95976 40 0 0 25 0 1 0 777814585 41132032 7938 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10042 7938 1111 63 0 9979 0
vsize: 40168
[startup+970.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8050 0 0 0 96976 40 0 0 25 0 1 0 777814585 41549824 8028 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10144 8028 1111 63 0 10081 0
vsize: 40576
[startup+980.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8138 0 0 0 97976 41 0 0 25 0 1 0 777814585 41828352 8116 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10212 8116 1111 63 0 10149 0
vsize: 40848
[startup+990.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8226 0 0 0 98976 41 0 0 25 0 1 0 777814585 42250240 8204 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 8204 1111 63 0 10252 0
vsize: 41260
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8290 0 0 0 99976 41 0 0 25 0 1 0 777814585 42536960 8268 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 8268 1111 63 0 10322 0
vsize: 41540
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8373 0 0 0 100976 41 0 0 25 0 1 0 777814585 42827776 8351 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10456 8351 1111 63 0 10393 0
vsize: 41824
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8444 0 0 0 101976 41 0 0 25 0 1 0 777814585 43110400 8422 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10525 8422 1111 63 0 10462 0
vsize: 42100
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8527 0 0 0 102976 42 0 0 25 0 1 0 777814585 43393024 8505 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10594 8505 1111 63 0 10531 0
vsize: 42376
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8599 0 0 0 103976 42 0 0 25 0 1 0 777814585 43671552 8577 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10662 8577 1111 63 0 10599 0
vsize: 42648
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8680 0 0 0 104976 42 0 0 25 0 1 0 777814585 44097536 8658 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10766 8658 1111 63 0 10703 0
vsize: 43064
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8775 0 0 0 105976 42 0 0 25 0 1 0 777814585 44515328 8753 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 8753 1111 63 0 10805 0
vsize: 43472
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8850 0 0 0 106976 42 0 0 25 0 1 0 777814585 44797952 8828 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 8828 1111 63 0 10874 0
vsize: 43748
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 8927 0 0 0 107976 42 0 0 25 0 1 0 777814585 45084672 8905 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11007 8905 1111 63 0 10944 0
vsize: 44028
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9022 0 0 0 108976 42 0 0 25 0 1 0 777814585 45502464 9000 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11109 9000 1111 63 0 11046 0
vsize: 44436
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9098 0 0 0 109976 43 0 0 25 0 1 0 777814585 45776896 9076 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11176 9076 1111 63 0 11113 0
vsize: 44704
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9194 0 0 0 110976 43 0 0 25 0 1 0 777814585 46190592 9172 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11277 9172 1111 63 0 11214 0
vsize: 45108
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9301 0 0 0 111976 43 0 0 25 0 1 0 777814585 46612480 9279 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11380 9279 1111 63 0 11317 0
vsize: 45520
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9377 0 0 0 112976 43 0 0 25 0 1 0 777814585 46891008 9355 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11448 9355 1111 63 0 11385 0
vsize: 45792
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9477 0 0 0 113976 43 0 0 25 0 1 0 777814585 47304704 9455 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11549 9455 1111 63 0 11486 0
vsize: 46196
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9535 0 0 0 114976 43 0 0 25 0 1 0 777814585 47587328 9513 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11618 9513 1111 63 0 11555 0
vsize: 46472
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9612 0 0 0 115976 43 0 0 25 0 1 0 777814585 47878144 9590 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11689 9590 1111 63 0 11626 0
vsize: 46756
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9688 0 0 0 116976 44 0 0 25 0 1 0 777814585 48164864 9666 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11759 9666 1111 63 0 11696 0
vsize: 47036
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9794 0 0 0 117976 44 0 0 25 0 1 0 777814585 48574464 9772 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11859 9772 1111 63 0 11796 0
vsize: 47436
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9879 0 0 0 118976 45 0 0 25 0 1 0 777814585 49000448 9857 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11963 9857 1111 63 0 11900 0
vsize: 47852
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19515
Raw data (stat): 19515 (bsolo_mis) R 19514 7266 7265 0 -1 0 9999 0 0 0 119976 45 0 0 25 0 1 0 777814585 49405952 9977 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12062 9977 1111 63 0 11999 0
vsize: 48248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 19515
Raw data (stat): 19515 (bsolo_mis) Z 19514 7266 7265 0 -1 1036 9999 0 0 0 119976 47 0 0 25 0 1 0 777814585 0 0 4294967295 0 0 0 0 0 0 0 7 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.23
CPU user time (s): 1199.76
CPU system time (s): 0.470928
CPU usage (%): 100.014
Max. virtual memory (Kb): 48248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####